[all-commits] [llvm/llvm-project] 6793c6: [InstCombine] add tests for icmp of zext i1; NFC

[Sanjay Patel via All-commits]

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

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

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


  Commit: 1ebad988b1106e5cb35ea76813a4d3f66070b8f0
      https://github.com/llvm/llvm-project/commit/1ebad988b1106e5cb35ea76813a4d3f66070b8f0
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2022-05-23 (Mon, 23 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 zext bool based on limited range

X <u (zext i1 Y) --> (X == 0) && Y

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

This is a generalization of 4069cccf3b4ff4a based on the post-commit suggestion.
This also adds the i1 type check and tests that were missing from the earlier
attempt; that commit caused several bot fails and was reverted.

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


Compare: https://github.com/llvm/llvm-project/compare/bea86a2d3f23...1ebad988b110