[all-commits] [llvm/llvm-project] f3fe38: [InstCombine] add tests for icmp of sext i1; NFC

[Sanjay Patel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f3fe38448b8c41f828ed03dc704e8b918e3b773e
      https://github.com/llvm/llvm-project/commit/f3fe38448b8c41f828ed03dc704e8b918e3b773e
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-05-31 (Tue, 31 May 2022)

  Changed paths:
    M llvm/test/Transforms/InstCombine/icmp-range.ll

  Log Message:
  -----------
  [InstCombine] add tests for icmp of sext i1; NFC

These are adapted from the zext tests added for D126171.


  Commit: 2bf6123f22c65995dec60e02944b459424532d9b
      https://github.com/llvm/llvm-project/commit/2bf6123f22c65995dec60e02944b459424532d9b
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-05-31 (Tue, 31 May 2022)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/test/Transforms/InstCombine/icmp-range.ll

  Log Message:
  -----------
  [InstCombine] fold icmp of sext bool based on limited range

X <=u (sext i1 Y) --> (X == 0) | Y

https://alive2.llvm.org/ce/z/W_tZzo

This is the conjugate/sibling pattern suggested with D126171
for a sign-extended bool value.


Compare: https://github.com/llvm/llvm-project/compare/a7317a5728ed...2bf6123f22c6