[all-commits] [llvm/llvm-project] c726b3: Add a test for D144333

[Juneyoung Lee via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c726b34ea01b74741dd9a6ae072e5ca4d9a3e623
      https://github.com/llvm/llvm-project/commit/c726b34ea01b74741dd9a6ae072e5ca4d9a3e623
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2023-02-18 (Sat, 18 Feb 2023)

  Changed paths:
    A llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll

  Log Message:
  -----------
  Add a test for D144333


  Commit: 2ad0cc9186d4952b3009e1b8c3c606f0b13ea38a
      https://github.com/llvm/llvm-project/commit/2ad0cc9186d4952b3009e1b8c3c606f0b13ea38a
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2023-02-18 (Sat, 18 Feb 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DivRemPairs.cpp
    M llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll

  Log Message:
  -----------
  [DivRemPairs] Strip division's poison generating flag

Given this transformation: X % Y -> X - (X / Y) * Y

This patch strips off the poison-generating flag of X / Y such as exact, because it may make the optimized form result poison whereas X % Y does not.

The issue was reported here: https://github.com/llvm/llvm-project/issues/60748

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D144333


Compare: https://github.com/llvm/llvm-project/compare/c31bc7bdf810...2ad0cc9186d4