1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s 3 4 define i32 @mask_negated_zext_bool1(i1 %x) { 5 ; CHECK-LABEL: mask_negated_zext_bool1: 6 ; CHECK: # %bb.0: 7 ; CHECK-NEXT: andl $1, %edi 8 ; CHECK-NEXT: movl %edi, %eax 9 ; CHECK-NEXT: retq 10 %ext = zext i1 %x to i32 11 %neg = sub i32 0, %ext 12 %and = and i32 %neg, 1 13 ret i32 %and 14 } 15 16 define i32 @mask_negated_zext_bool2(i1 zeroext %x) { 17 ; CHECK-LABEL: mask_negated_zext_bool2: 18 ; CHECK: # %bb.0: 19 ; CHECK-NEXT: movl %edi, %eax 20 ; CHECK-NEXT: retq 21 %ext = zext i1 %x to i32 22 %neg = sub i32 0, %ext 23 %and = and i32 %neg, 1 24 ret i32 %and 25 } 26 27 define <4 x i32> @mask_negated_zext_bool_vec(<4 x i1> %x) { 28 ; CHECK-LABEL: mask_negated_zext_bool_vec: 29 ; CHECK: # %bb.0: 30 ; CHECK-NEXT: andps {{.*}}(%rip), %xmm0 31 ; CHECK-NEXT: retq 32 %ext = zext <4 x i1> %x to <4 x i32> 33 %neg = sub <4 x i32> zeroinitializer, %ext 34 %and = and <4 x i32> %neg, <i32 1, i32 1, i32 1, i32 1> 35 ret <4 x i32> %and 36 } 37 38 define i32 @mask_negated_sext_bool1(i1 %x) { 39 ; CHECK-LABEL: mask_negated_sext_bool1: 40 ; CHECK: # %bb.0: 41 ; CHECK-NEXT: andl $1, %edi 42 ; CHECK-NEXT: movl %edi, %eax 43 ; CHECK-NEXT: retq 44 %ext = sext i1 %x to i32 45 %neg = sub i32 0, %ext 46 %and = and i32 %neg, 1 47 ret i32 %and 48 } 49 50 define i32 @mask_negated_sext_bool2(i1 zeroext %x) { 51 ; CHECK-LABEL: mask_negated_sext_bool2: 52 ; CHECK: # %bb.0: 53 ; CHECK-NEXT: movl %edi, %eax 54 ; CHECK-NEXT: retq 55 %ext = sext i1 %x to i32 56 %neg = sub i32 0, %ext 57 %and = and i32 %neg, 1 58 ret i32 %and 59 } 60 61 define <4 x i32> @mask_negated_sext_bool_vec(<4 x i1> %x) { 62 ; CHECK-LABEL: mask_negated_sext_bool_vec: 63 ; CHECK: # %bb.0: 64 ; CHECK-NEXT: andps {{.*}}(%rip), %xmm0 65 ; CHECK-NEXT: retq 66 %ext = sext <4 x i1> %x to <4 x i32> 67 %neg = sub <4 x i32> zeroinitializer, %ext 68 %and = and <4 x i32> %neg, <i32 1, i32 1, i32 1, i32 1> 69 ret <4 x i32> %and 70 } 71 72
