149 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -verify-machineinstrs -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -mattr=+simd128 | FileCheck %s3 4target triple = "wasm64"5 6define i32 @all_true_16_i8(<16 x i8> %v) {7; CHECK-LABEL: all_true_16_i8:8; CHECK: .functype all_true_16_i8 (v128) -> (i32)9; CHECK-NEXT: # %bb.0:10; CHECK-NEXT: i8x16.all_true $push0=, $011; CHECK-NEXT: return $pop012 %1 = icmp eq <16 x i8> %v, zeroinitializer13 %2 = bitcast <16 x i1> %1 to i1614 %3 = icmp eq i16 %2, 015 %conv3 = zext i1 %3 to i3216 ret i32 %conv317}18 19 20define i32 @all_true_4_i32(<4 x i32> %v) {21; CHECK-LABEL: all_true_4_i32:22; CHECK: .functype all_true_4_i32 (v128) -> (i32)23; CHECK-NEXT: # %bb.0:24; CHECK-NEXT: i32x4.all_true $push0=, $025; CHECK-NEXT: return $pop026 %1 = icmp eq <4 x i32> %v, zeroinitializer27 %2 = bitcast <4 x i1> %1 to i428 %3 = icmp eq i4 %2, 029 %conv3 = zext i1 %3 to i3230 ret i32 %conv331}32 33 34define i32 @all_true_8_i16(<8 x i16> %v) {35; CHECK-LABEL: all_true_8_i16:36; CHECK: .functype all_true_8_i16 (v128) -> (i32)37; CHECK-NEXT: # %bb.0:38; CHECK-NEXT: i16x8.all_true $push0=, $039; CHECK-NEXT: return $pop040 %1 = icmp eq <8 x i16> %v, zeroinitializer41 %2 = bitcast <8 x i1> %1 to i842 %3 = icmp eq i8 %2, 043 %conv3 = zext i1 %3 to i3244 ret i32 %conv345}46 47 48define i32 @all_true_2_i64(<2 x i64> %v) {49; CHECK-LABEL: all_true_2_i64:50; CHECK: .functype all_true_2_i64 (v128) -> (i32)51; CHECK-NEXT: # %bb.0:52; CHECK-NEXT: i64x2.all_true $push0=, $053; CHECK-NEXT: return $pop054 %1 = icmp eq <2 x i64> %v, zeroinitializer55 %2 = bitcast <2 x i1> %1 to i256 %3 = icmp eq i2 %2, 057 %conv3 = zext i1 %3 to i3258 ret i32 %conv359}60 61 62define i32 @all_true_4_i64(<4 x i64> %v) {63; CHECK-LABEL: all_true_4_i64:64; CHECK: .functype all_true_4_i64 (v128, v128) -> (i32)65; CHECK-NEXT: # %bb.0:66; CHECK-NEXT: v128.const $push9=, 0, 067; CHECK-NEXT: local.tee $push8=, $2=, $pop968; CHECK-NEXT: i64x2.eq $push1=, $0, $pop869; CHECK-NEXT: i64x2.eq $push0=, $1, $270; CHECK-NEXT: i8x16.shuffle $push2=, $pop1, $pop0, 0, 1, 2, 3, 8, 9, 10, 11, 16, 17, 18, 19, 24, 25, 26, 2771; CHECK-NEXT: v128.any_true $push3=, $pop272; CHECK-NEXT: i32.const $push4=, -173; CHECK-NEXT: i32.xor $push5=, $pop3, $pop474; CHECK-NEXT: i32.const $push6=, 175; CHECK-NEXT: i32.and $push7=, $pop5, $pop676; CHECK-NEXT: return $pop777 %1 = icmp eq <4 x i64> %v, zeroinitializer78 %2 = bitcast <4 x i1> %1 to i479 %3 = icmp eq i4 %2, 080 %conv3 = zext i1 %3 to i3281 ret i32 %conv382}83 84 85; setcc (iN (bitcast (set_cc (vNi1 X), 0, ne)), 0, ne86; => any_true (set_cc (X), 0, ne)87; => any_true (X)88define i32 @any_true_1_4_i32(<4 x i32> %v) {89; CHECK-LABEL: any_true_1_4_i32:90; CHECK: .functype any_true_1_4_i32 (v128) -> (i32)91; CHECK-NEXT: # %bb.0:92; CHECK-NEXT: v128.any_true $push0=, $093; CHECK-NEXT: return $pop094 %1 = icmp ne <4 x i32> %v, zeroinitializer95 %2 = bitcast <4 x i1> %1 to i496 %3 = icmp ne i4 %2, 097 %conv3 = zext i1 %3 to i3298 ret i32 %conv399}100 101; setcc (iN (bitcast (set_cc (vNi1 X), 0, eq)), -1, ne102; => not all_true (set_cc (X), 0, eq)103; => not not any_true (X)104; => any_true (X)105define i32 @any_true_2_4_i32(<4 x i32> %v) {106; CHECK-LABEL: any_true_2_4_i32:107; CHECK: .functype any_true_2_4_i32 (v128) -> (i32)108; CHECK-NEXT: # %bb.0:109; CHECK-NEXT: v128.any_true $push0=, $0110; CHECK-NEXT: return $pop0111 %1 = icmp eq <4 x i32> %v, zeroinitializer112 %2 = bitcast <4 x i1> %1 to i4113 %3 = icmp ne i4 %2, -1114 %conv3 = zext i1 %3 to i32115 ret i32 %conv3116}117 118 119; setcc (iN (bitcast (set_cc (vNi1 X), 0, ne)), -1, eq120; => all_true (set_cc (X), 0, ne)121; => all_true (X)122define i32 @all_true_2_4_i32(<4 x i32> %v) {123; CHECK-LABEL: all_true_2_4_i32:124; CHECK: .functype all_true_2_4_i32 (v128) -> (i32)125; CHECK-NEXT: # %bb.0:126; CHECK-NEXT: i32x4.all_true $push0=, $0127; CHECK-NEXT: return $pop0128 %1 = icmp ne <4 x i32> %v, zeroinitializer129 %2 = bitcast <4 x i1> %1 to i4130 %3 = icmp eq i4 %2, -1131 %conv3 = zext i1 %3 to i32132 ret i32 %conv3133}134 135; Regression test for the intrinsic pattern matcher with nullary intrinsics136define i64 @other_intrinsic() #0 {137; CHECK-LABEL: other_intrinsic:138; CHECK: .functype other_intrinsic () -> (i64)139; CHECK-NEXT: # %bb.0: # %entry140; CHECK-NEXT: global.get $push0=, __tls_align141; CHECK-NEXT: return $pop0142entry:143 %0 = call i64 @llvm.wasm.tls.align.i64()144 ret i64 %0145}146 147attributes #0 = { "target-features"="+atomics" }148 149