[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:32:41 PDT 2024


llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `clang-cmake-x86_64-avx512-linux` running on `avx512-intel64` while building `llvm` at step 7 "ninja check 1".

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

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

```
Step 7 (ninja check 1) failure: stage 1 checked (failure)
******************** TEST 'LLVM :: Transforms/InstCombine/and-or-icmps.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 2: /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/stage1/bin/opt < /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/llvm/llvm/test/Transforms/InstCombine/and-or-icmps.ll -passes=instcombine -S | /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/stage1/bin/FileCheck /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/llvm/llvm/test/Transforms/InstCombine/and-or-icmps.ll
+ /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/stage1/bin/opt -passes=instcombine -S
+ /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/stage1/bin/FileCheck /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/llvm/llvm/test/Transforms/InstCombine/and-or-icmps.ll
/localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/llvm/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: /localdisk2/buildbot/llvm-worker/clang-cmake-x86_64-avx512-linux/llvm/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