1 ; RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -mattr=sse < %s | FileCheck %s --check-prefix=SSE
2 ; RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -mattr=avx < %s | FileCheck %s --check-prefix=AVX
4 ; Verify that 128-bit vector logical ops are reassociated.
6 define <4 x i32> @reassociate_and_v4i32(<4 x i32> %x0, <4 x i32> %x1, <4 x i32> %x2, <4 x i32> %x3) {
7 ; SSE-LABEL: reassociate_and_v4i32:
9 ; SSE-NEXT: paddd %xmm1, %xmm0
10 ; SSE-NEXT: pand %xmm3, %xmm2
11 ; SSE-NEXT: pand %xmm2, %xmm0
14 ; AVX-LABEL: reassociate_and_v4i32:
16 ; AVX-NEXT: vpaddd %xmm1, %xmm0, %xmm0
17 ; AVX-NEXT: vpand %xmm3, %xmm2, %xmm1
18 ; AVX-NEXT: vpand %xmm1, %xmm0, %xmm0
21 %t0 = add <4 x i32> %x0, %x1
22 %t1 = and <4 x i32> %x2, %t0
23 %t2 = and <4 x i32> %x3, %t1
27 define <4 x i32> @reassociate_or_v4i32(<4 x i32> %x0, <4 x i32> %x1, <4 x i32> %x2, <4 x i32> %x3) {
28 ; SSE-LABEL: reassociate_or_v4i32:
30 ; SSE-NEXT: paddd %xmm1, %xmm0
31 ; SSE-NEXT: por %xmm3, %xmm2
32 ; SSE-NEXT: por %xmm2, %xmm0
35 ; AVX-LABEL: reassociate_or_v4i32:
37 ; AVX-NEXT: vpaddd %xmm1, %xmm0, %xmm0
38 ; AVX-NEXT: vpor %xmm3, %xmm2, %xmm1
39 ; AVX-NEXT: vpor %xmm1, %xmm0, %xmm0
42 %t0 = add <4 x i32> %x0, %x1
43 %t1 = or <4 x i32> %x2, %t0
44 %t2 = or <4 x i32> %x3, %t1
48 define <4 x i32> @reassociate_xor_v4i32(<4 x i32> %x0, <4 x i32> %x1, <4 x i32> %x2, <4 x i32> %x3) {
49 ; SSE-LABEL: reassociate_xor_v4i32:
51 ; SSE-NEXT: paddd %xmm1, %xmm0
52 ; SSE-NEXT: pxor %xmm3, %xmm2
53 ; SSE-NEXT: pxor %xmm2, %xmm0
56 ; AVX-LABEL: reassociate_xor_v4i32:
58 ; AVX-NEXT: vpaddd %xmm1, %xmm0, %xmm0
59 ; AVX-NEXT: vpxor %xmm3, %xmm2, %xmm1
60 ; AVX-NEXT: vpxor %xmm1, %xmm0, %xmm0
63 %t0 = add <4 x i32> %x0, %x1
64 %t1 = xor <4 x i32> %x2, %t0
65 %t2 = xor <4 x i32> %x3, %t1