[llvm] [DAG] isKnownNeverZero - add ISD::ADD/SUB DemandedElts handling and tests (PR #183958)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 4 06:05:22 PST 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
* 170616 tests passed
* 3097 tests skipped
* 2 tests failed
## Failed Tests
(click on a test name to see its output)
### LLVM
<details>
<summary>LLVM.CodeGen/AArch64/clmul-fixed.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll -o - | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll --check-prefixes=CHECK,CHECK-NEON
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll -o -
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll --check-prefixes=CHECK,CHECK-NEON
# note: command had no output on stdout or stderr
# RUN: at line 3
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll -o - -mattr=+aes | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll --check-prefixes=CHECK,CHECK-AES
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll -o - -mattr=+aes
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll --check-prefixes=CHECK,CHECK-AES
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll:1731:19: error: CHECK-AES-NEXT: expected string not found in input
# | ; CHECK-AES-NEXT: fmov d0, x2
# | ^
# | <stdin>:458:13: note: scanning from here
# | rbit x9, x0
# | ^
# | <stdin>:459:2: note: possible intended match here
# | fmov d0, x3
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul-fixed.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 453: .type clmul_v1i128_neon, at function
# | 454: clmul_v1i128_neon: // @clmul_v1i128_neon
# | 455: .cfi_startproc
# | 456: // %bb.0:
# | 457: rbit x8, x2
# | 458: rbit x9, x0
# | next:1731'0 X error: no match found
# | 459: fmov d0, x3
# | next:1731'0 ~~~~~~~~~~~~~
# | next:1731'1 ? possible intended match
# | 460: fmov d1, x0
# | next:1731'0 ~~~~~~~~~~~~~
# | 461: fmov d2, x2
# | next:1731'0 ~~~~~~~~~~~~~
# | 462: fmov d3, x8
# | next:1731'0 ~~~~~~~~~~~~~
# | 463: fmov d4, x9
# | next:1731'0 ~~~~~~~~~~~~~
# | 464: pmull v0.1q, v1.1d, v0.1d
# | next:1731'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.CodeGen/AArch64/clmul.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll -o - | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll --check-prefixes=CHECK,CHECK-NEON
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll -o -
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll --check-prefixes=CHECK,CHECK-NEON
# note: command had no output on stdout or stderr
# RUN: at line 3
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll -o - -mattr=+aes | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll --check-prefixes=CHECK,CHECK-AES
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=aarch64-linux-unknown-gnu /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll -o - -mattr=+aes
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll --check-prefixes=CHECK,CHECK-AES
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll:182:19: error: CHECK-AES-NEXT: expected string not found in input
# | ; CHECK-AES-NEXT: fmov s0, w1
# | ^
# | <stdin>:38:10: note: scanning from here
# | // %bb.0:
# | ^
# | <stdin>:39:2: note: possible intended match here
# | fmov s0, w0
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll:576:19: error: CHECK-AES-NEXT: expected string not found in input
# | ; CHECK-AES-NEXT: fmov s0, w9
# | ^
# | <stdin>:87:21: note: scanning from here
# | and w9, w1, #0xffff
# | ^
# | <stdin>:88:2: note: possible intended match here
# | fmov s0, w8
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll:692:19: error: CHECK-AES-NEXT: expected string not found in input
# | ; CHECK-AES-NEXT: fmov d0, x9
# | ^
# | <stdin>:104:12: note: scanning from here
# | mov w9, w1
# | ^
# | <stdin>:105:2: note: possible intended match here
# | fmov d0, x8
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/AArch64/clmul.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 33: .globl clmul_i32 // -- Begin function clmul_i32
# | 34: .p2align 2
# | 35: .type clmul_i32, at function
# | 36: clmul_i32: // @clmul_i32
# | 37: .cfi_startproc
# | 38: // %bb.0:
# | next:182'0 X error: no match found
# | 39: fmov s0, w0
# | next:182'0 ~~~~~~~~~~~~~
# | next:182'1 ? possible intended match
# | 40: fmov s1, w1
# | next:182'0 ~~~~~~~~~~~~~
# | 41: pmull v0.1q, v0.1d, v1.1d
# | next:182'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 42: fmov w0, s0
# | next:182'0 ~~~~~~~~~~~~~
# | 43: ret
# | next:182'0 ~~~~~
# | 44: .Lfunc_end2:
# | next:182'0 ~~~~~~~~~~~~~
# | .
# | .
# | .
# | 82: .type clmul_i32_zext, at function
# | 83: clmul_i32_zext: // @clmul_i32_zext
# | 84: .cfi_startproc
# | 85: // %bb.0:
# | 86: and w8, w0, #0xffff
# | 87: and w9, w1, #0xffff
# | next:576'0 X error: no match found
# | 88: fmov s0, w8
# | next:576'0 ~~~~~~~~~~~~~
# | next:576'1 ? possible intended match
# | 89: fmov s1, w9
# | next:576'0 ~~~~~~~~~~~~~
# | 90: pmull v0.1q, v0.1d, v1.1d
# | next:576'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 91: fmov w0, s0
# | next:576'0 ~~~~~~~~~~~~~
# | 92: ret
# | next:576'0 ~~~~~
# | 93: .Lfunc_end5:
# | next:576'0 ~~~~~~~~~~~~~
# | .
# | .
# | .
# | 99: .type clmul_i64_zext, at function
# | next:576'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 100: clmul_i64_zext: // @clmul_i64_zext
# | next:576'0 ~~~~~~~~~~~~~~~
# | 101: .cfi_startproc
# | 102: // %bb.0:
# | 103: mov w8, w0
# | 104: mov w9, w1
# | next:692'0 X error: no match found
# | 105: fmov d0, x8
# | next:692'0 ~~~~~~~~~~~~~
# | next:692'1 ? possible intended match
# | 106: fmov d1, x9
# | next:692'0 ~~~~~~~~~~~~~
# | 107: pmull v0.1q, v0.1d, v1.1d
# | next:692'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 108: fmov x0, d0
# | next:692'0 ~~~~~~~~~~~~~
# | 109: ret
# | next:692'0 ~~~~~
# | 110: .Lfunc_end6:
# | next:692'0 ~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.
https://github.com/llvm/llvm-project/pull/183958
More information about the llvm-commits
mailing list