[all-commits] [llvm/llvm-project] dfb8a0: [InstCombine] add tests for 'not' of cast of cast; ...

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dfb8a0c99d7aae71382d4ca63d7a356663283a76
      https://github.com/llvm/llvm-project/commit/dfb8a0c99d7aae71382d4ca63d7a356663283a76
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2023-01-24 (Tue, 24 Jan 2023)

  Changed paths:
    M llvm/test/Transforms/InstCombine/not.ll

  Log Message:
  -----------
  [InstCombine] add tests for 'not' of cast of cast; NFC


  Commit: 0bb7be5ff61e910addc5d8a7887f54d78a2d43ae
      https://github.com/llvm/llvm-project/commit/0bb7be5ff61e910addc5d8a7887f54d78a2d43ae
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2023-01-24 (Tue, 24 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
    M llvm/test/Transforms/InstCombine/not.ll

  Log Message:
  -----------
  [InstCombine] canonicalize 'not' ahead of bitcast+sext

not (bitcast (sext i1 X)) --> bitcast (sext (not i1 X))

https://alive2.llvm.org/ce/z/-6Ygkd

This shows up as a potential regression if we change
canonicalization of ashr+not to icmp+sext.


Compare: https://github.com/llvm/llvm-project/compare/0647f4a77a2f...0bb7be5ff61e