[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / AArch64 / dag-numsignbits.ll
blob217c3df77c9c8c84b28f1c7504ec4b8e0650b90a
1 ; RUN: llc < %s -mtriple=aarch64-unknown | FileCheck %s
3 ; PR32273
5 define void @signbits_vXi1(<4 x i16> %a1) {
6 ; CHECK-LABEL: signbits_vXi1
7 ; CHECK: cmgt v0.4h, v1.4h, v0.4h
8 ; CHECK-NEXT: and v0.8b, v0.8b, v2.8b
9 ; CHECK-NEXT: shl v0.4h, v0.4h, #15
10 ; CHECK-NEXT: sshr v0.4h, v0.4h, #15
11 ; CHECK-NEXT: umov w0, v0.h[0]
12 ; CHECK-NEXT: umov w3, v0.h[3]
13 ; CHECK-NEXT: mov w1, wzr
14 ; CHECK-NEXT: mov w2, wzr
15 ; CHECK-NEXT: b foo
16   %tmp3 = shufflevector <4 x i16> %a1, <4 x i16> undef, <4 x i32> zeroinitializer
17   %tmp5 = add <4 x i16> %tmp3, <i16 18249, i16 6701, i16 -18744, i16 -25086>
18   %tmp6 = icmp slt <4 x i16> %tmp5, <i16 1, i16 1, i16 1, i16 1>
19   %tmp7 = and <4 x i1> %tmp6, <i1 true, i1 false, i1 false, i1 true>
20   %tmp8 = sext <4 x i1> %tmp7 to <4 x i16>
21   %tmp9 = extractelement <4 x i16> %tmp8, i32 0
22   %tmp10 = zext i16 %tmp9 to i32
23   %tmp11 = extractelement <4 x i16> %tmp8, i32 1
24   %tmp12 = zext i16 %tmp11 to i32
25   %tmp13 = extractelement <4 x i16> %tmp8, i32 2
26   %tmp14 = zext i16 %tmp13 to i32
27   %tmp15 = extractelement <4 x i16> %tmp8, i32 3
28   %tmp16 = zext i16 %tmp15 to i32
29   tail call void @foo(i32 %tmp10, i32 %tmp12, i32 %tmp14, i32 %tmp16)
30   ret void
33 declare void @foo(i32, i32, i32, i32)