[all-commits] [llvm/llvm-project] 893ad3: [InstCombine] Add test for add of zext and sext (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 893ad30d117b7af2416a022485ecb74793cd00f1
      https://github.com/llvm/llvm-project/commit/893ad30d117b7af2416a022485ecb74793cd00f1
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-14 (Fri, 14 Jul 2023)

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

  Log Message:
  -----------
  [InstCombine] Add test for add of zext and sext (NFC)


  Commit: 21827268ada2ee62eaee49fcfa1133ed06a63d25
      https://github.com/llvm/llvm-project/commit/21827268ada2ee62eaee49fcfa1133ed06a63d25
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-14 (Fri, 14 Jul 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/test/Transforms/InstCombine/add.ll
    M llvm/test/Transforms/InstCombine/shift.ll

  Log Message:
  -----------
  [InstCombine] Fold add of zext and sext of i1

(zext a) + (sext a) is 0 if a is a bool.

The regression is in a fuzzer-generated test.

Proof: https://alive2.llvm.org/ce/z/KotnN6


Compare: https://github.com/llvm/llvm-project/compare/96e50797d6ea...21827268ada2