[llvm] Revert "[InstCombine] Folding `(icmp eq/ne (and X, -P2), INT_MIN)`" (PR #111236)

LLVM Continuous Integration via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 4 23:51:18 PDT 2024


llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `premerge-monolithic-linux` running on `premerge-linux-1` while building `llvm` at step 7 "test-build-unified-tree-check-all".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/153/builds/11019

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 7 (test-build-unified-tree-check-all) failure: test (failure)
******************** TEST 'LLVM :: Transforms/InstCombine/and-or-icmps.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 2: /build/buildbot/premerge-monolithic-linux/build/bin/opt < /build/buildbot/premerge-monolithic-linux/llvm-project/llvm/test/Transforms/InstCombine/and-or-icmps.ll -passes=instcombine -S | /build/buildbot/premerge-monolithic-linux/build/bin/FileCheck /build/buildbot/premerge-monolithic-linux/llvm-project/llvm/test/Transforms/InstCombine/and-or-icmps.ll
+ /build/buildbot/premerge-monolithic-linux/build/bin/FileCheck /build/buildbot/premerge-monolithic-linux/llvm-project/llvm/test/Transforms/InstCombine/and-or-icmps.ll
+ /build/buildbot/premerge-monolithic-linux/build/bin/opt -passes=instcombine -S
/build/buildbot/premerge-monolithic-linux/llvm-project/llvm/test/Transforms/InstCombine/and-or-icmps.ll:3338:15: error: CHECK-NEXT: expected string not found in input
; CHECK-NEXT: [[AND2:%.*]] = icmp slt i8 [[X:%.*]], -126
              ^
<stdin>:1604:28: note: scanning from here
define i1 @and_slt_to_mask(i8 %x) {
                           ^
<stdin>:1606:2: note: possible intended match here
 %and2 = icmp eq i8 %1, -128
 ^

Input file: <stdin>
Check file: /build/buildbot/premerge-monolithic-linux/llvm-project/llvm/test/Transforms/InstCombine/and-or-icmps.ll

-dump-input=help explains the following input dump.

Input was:
<<<<<<
             .
             .
             .
          1599:  %cp2 = icmp sle i8 %x, %pow2orz 
          1600:  %r = or i1 %c0, %cp2 
          1601:  ret i1 %r 
          1602: } 
          1603:  
          1604: define i1 @and_slt_to_mask(i8 %x) { 
next:3338'0                                X~~~~~~~~ error: no match found
          1605:  %1 = and i8 %x, -2 
next:3338'0     ~~~~~~~~~~~~~~~~~~~~
          1606:  %and2 = icmp eq i8 %1, -128 
next:3338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
next:3338'1      ?                            possible intended match
          1607:  ret i1 %and2 
next:3338'0     ~~~~~~~~~~~~~~
          1608: } 
next:3338'0     ~~
          1609:  
next:3338'0     ~
          1610: define i1 @and_slt_to_mask_off_by_one(i8 %x) { 
next:3338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          1611:  %cmp = icmp slt i8 %x, -123 
             .
...

```

</details>

https://github.com/llvm/llvm-project/pull/111236


More information about the llvm-commits mailing list