[llvm] wasm: recognize `any_true` and `all_true` (PR #155885)
Petr Penzin via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 2 04:43:18 PST 2026
================
@@ -259,15 +271,25 @@ define i1 @test_all_v7i1(<7 x i1> %x) {
; CHECK-LABEL: test_all_v7i1:
; CHECK: .functype test_all_v7i1 (i32, i32, i32, i32, i32, i32, i32) -> (i32)
; CHECK-NEXT: # %bb.0:
-; CHECK-NEXT: i32.and $push0=, $0, $1
-; CHECK-NEXT: i32.and $push1=, $pop0, $2
-; CHECK-NEXT: i32.and $push2=, $pop1, $3
-; CHECK-NEXT: i32.and $push3=, $pop2, $4
-; CHECK-NEXT: i32.and $push4=, $pop3, $5
-; CHECK-NEXT: i32.and $push5=, $pop4, $6
-; CHECK-NEXT: i32.const $push6=, 1
-; CHECK-NEXT: i32.and $push7=, $pop5, $pop6
-; CHECK-NEXT: return $pop7
+; CHECK-NEXT: v128.const $push0=, 0, 0, 0, 0, 0, 0, 0, 1
----------------
ppenzin wrote:
Same here
https://github.com/llvm/llvm-project/pull/155885
More information about the llvm-commits
mailing list