1 ; RUN: llc -mtriple=aarch64-linux-gnu -o - %s | FileCheck %s 2 3 define i64 @dotests_616() { 4 ; CHECK-LABEL: dotests_616 5 ; CHECK: movi d0, #0000000000000000 6 ; CHECK-NEXT: fmov x0, d0 7 ; CHECK-NEXT: ret 8 entry: 9 %0 = bitcast <2 x i64> zeroinitializer to <8 x i16> 10 %1 = and <8 x i16> zeroinitializer, %0 11 %2 = icmp ne <8 x i16> %1, zeroinitializer 12 %3 = extractelement <8 x i1> %2, i32 2 13 %vgetq_lane285 = sext i1 %3 to i16 14 %vset_lane = insertelement <4 x i16> undef, i16 %vgetq_lane285, i32 0 15 %4 = bitcast <4 x i16> %vset_lane to <1 x i64> 16 %vget_lane = extractelement <1 x i64> %4, i32 0 17 ret i64 %vget_lane 18 } 19 20 ; PR25763 - folding constant vector comparisons with sign-extended result 21 define <8 x i16> @dotests_458() { 22 ; CHECK-LABEL: .LCPI1_0: 23 ; CHECK: .hword 0 // 0x0 24 ; CHECK-NEXT: .hword 0 // 0x0 25 ; CHECK-NEXT: .hword 65535 // 0xffff 26 ; CHECK-NEXT: .hword 0 // 0x0 27 ; CHECK-NEXT: .hword 0 // 0x0 28 ; CHECK-NEXT: .hword 0 // 0x0 29 ; CHECK-NEXT: .hword 0 // 0x0 30 ; CHECK-NEXT: .hword 0 // 0x0 31 32 ; CHECK-LABEL: dotests_458 33 ; CHECK: adrp x8, .LCPI1_0 34 ; CHECK-NEXT: ldr q0, [x8, :lo12:.LCPI1_0] 35 ; CHECK-NEXT: ret 36 entry: 37 %vclz_v.i = call <8 x i8> @llvm.ctlz.v8i8(<8 x i8> <i8 127, i8 38, i8 -1, i8 -128, i8 127, i8 0, i8 0, i8 0>, i1 false) #6 38 %vsra_n = lshr <8 x i8> %vclz_v.i, <i8 5, i8 5, i8 5, i8 5, i8 5, i8 5, i8 5, i8 5> 39 %name_6 = or <8 x i8> %vsra_n, <i8 127, i8 -128, i8 -1, i8 67, i8 84, i8 127, i8 -1, i8 0> 40 %cmp.i603 = icmp slt <8 x i8> %name_6, <i8 -57, i8 -128, i8 127, i8 -128, i8 -1, i8 0, i8 -1, i8 -1> 41 %vmovl.i4.i = sext <8 x i1> %cmp.i603 to <8 x i16> 42 ret <8 x i16> %vmovl.i4.i 43 } 44 declare <8 x i8> @llvm.ctlz.v8i8(<8 x i8>, i1) 45
