1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=core-avx2 -mattr=+avx2 | FileCheck %s 2 3 ; CHECK: vpandn 4 ; CHECK: vpandn %ymm 5 ; CHECK: ret 6 define <4 x i64> @vpandn(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp { 7 entry: 8 ; Force the execution domain with an add. 9 %a2 = add <4 x i64> %a, <i64 1, i64 1, i64 1, i64 1> 10 %y = xor <4 x i64> %a2, <i64 -1, i64 -1, i64 -1, i64 -1> 11 %x = and <4 x i64> %a, %y 12 ret <4 x i64> %x 13 } 14 15 ; CHECK: vpand 16 ; CHECK: vpand %ymm 17 ; CHECK: ret 18 define <4 x i64> @vpand(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp { 19 entry: 20 ; Force the execution domain with an add. 21 %a2 = add <4 x i64> %a, <i64 1, i64 1, i64 1, i64 1> 22 %x = and <4 x i64> %a2, %b 23 ret <4 x i64> %x 24 } 25 26 ; CHECK: vpor 27 ; CHECK: vpor %ymm 28 ; CHECK: ret 29 define <4 x i64> @vpor(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp { 30 entry: 31 ; Force the execution domain with an add. 32 %a2 = add <4 x i64> %a, <i64 1, i64 1, i64 1, i64 1> 33 %x = or <4 x i64> %a2, %b 34 ret <4 x i64> %x 35 } 36 37 ; CHECK: vpxor 38 ; CHECK: vpxor %ymm 39 ; CHECK: ret 40 define <4 x i64> @vpxor(<4 x i64> %a, <4 x i64> %b) nounwind uwtable readnone ssp { 41 entry: 42 ; Force the execution domain with an add. 43 %a2 = add <4 x i64> %a, <i64 1, i64 1, i64 1, i64 1> 44 %x = xor <4 x i64> %a2, %b 45 ret <4 x i64> %x 46 } 47 48 ; CHECK: vpblendvb 49 ; CHECK: vpblendvb %ymm 50 ; CHECK: ret 51 define <32 x i8> @vpblendvb(<32 x i1> %cond, <32 x i8> %x, <32 x i8> %y) { 52 %min = select <32 x i1> %cond, <32 x i8> %x, <32 x i8> %y 53 ret <32 x i8> %min 54 } 55 56 define <8 x i32> @signd(<8 x i32> %a, <8 x i32> %b) nounwind { 57 entry: 58 ; CHECK-LABEL: signd: 59 ; CHECK: psignd 60 ; CHECK-NOT: sub 61 ; CHECK: ret 62 %b.lobit = ashr <8 x i32> %b, <i32 31, i32 31, i32 31, i32 31, i32 31, i32 31, i32 31, i32 31> 63 %sub = sub nsw <8 x i32> zeroinitializer, %a 64 %0 = xor <8 x i32> %b.lobit, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1> 65 %1 = and <8 x i32> %a, %0 66 %2 = and <8 x i32> %b.lobit, %sub 67 %cond = or <8 x i32> %1, %2 68 ret <8 x i32> %cond 69 } 70 71 define <8 x i32> @blendvb(<8 x i32> %b, <8 x i32> %a, <8 x i32> %c) nounwind { 72 entry: 73 ; CHECK-LABEL: blendvb: 74 ; CHECK: pblendvb 75 ; CHECK: ret 76 %b.lobit = ashr <8 x i32> %b, <i32 31, i32 31, i32 31, i32 31, i32 31, i32 31, i32 31, i32 31> 77 %sub = sub nsw <8 x i32> zeroinitializer, %a 78 %0 = xor <8 x i32> %b.lobit, <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1> 79 %1 = and <8 x i32> %c, %0 80 %2 = and <8 x i32> %a, %b.lobit 81 %cond = or <8 x i32> %1, %2 82 ret <8 x i32> %cond 83 } 84 85 define <8 x i32> @allOnes() nounwind { 86 ; CHECK: vpcmpeqd 87 ; CHECK-NOT: vinsert 88 ret <8 x i32> <i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1> 89 } 90 91 define <16 x i16> @allOnes2() nounwind { 92 ; CHECK: vpcmpeqd 93 ; CHECK-NOT: vinsert 94 ret <16 x i16> <i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1> 95 } 96
