[all-commits] [llvm/llvm-project] 357c33: [InstCombine][test] add test for potential miscomp...

[RotateRight via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 357c339ec83c94ec83314174553ef8be2bda3c8b
      https://github.com/llvm/llvm-project/commit/357c339ec83c94ec83314174553ef8be2bda3c8b
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-06-28 (Mon, 28 Jun 2021)

  Changed paths:
    M llvm/test/Transforms/InstCombine/indexed-gep-compares.ll

  Log Message:
  -----------
  [InstCombine][test] add test for potential miscompile with constant expression; NFC (PR50906)


  Commit: 9d0bf7699c0292041b65a0c0bac371003e067ef3
      https://github.com/llvm/llvm-project/commit/9d0bf7699c0292041b65a0c0bac371003e067ef3
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2021-06-28 (Mon, 28 Jun 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/indexed-gep-compares.ll

  Log Message:
  -----------
  [InstCombine] don't try to fold a constant expression that can trap (PR50906)

We could use a bigger hammer and bail out on any constant
expression, but there's a regression test that appears to
validly do the transform (although it may not have been
intending to check that optimization).


Compare: https://github.com/llvm/llvm-project/compare/8aee282f57f4...9d0bf7699c02