xref: /llvm-project/llvm/test/Transforms/Reassociate/reassoc_bool_vec.ll (revision b6b18f1eb8f85040629eaeb07a168e3362fdb97b) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2; RUN: opt < %s -passes=reassociate -S | FileCheck %s
3
4define <8 x i1> @vector0(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
5; CHECK-LABEL: define <8 x i1> @vector0(
6; CHECK-SAME: <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
7; CHECK-NEXT:    [[OR01:%.*]] = or <8 x i1> [[B0]], [[B1]]
8; CHECK-NEXT:    [[OR23:%.*]] = or <8 x i1> [[B2]], [[B3]]
9; CHECK-NEXT:    [[OR45:%.*]] = or <8 x i1> [[B4]], [[B5]]
10; CHECK-NEXT:    [[OR67:%.*]] = or <8 x i1> [[B6]], [[B7]]
11; CHECK-NEXT:    [[OR0123:%.*]] = or <8 x i1> [[OR01]], [[OR23]]
12; CHECK-NEXT:    [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[OR67]]
13; CHECK-NEXT:    [[OR01234567:%.*]] = or <8 x i1> [[OR0123]], [[OR4567]]
14; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
15;
16  %or01 = or <8 x i1> %b0, %b1
17  %or23 = or <8 x i1> %b2, %b3
18  %or45 = or <8 x i1> %b4, %b5
19  %or67 = or <8 x i1> %b6, %b7
20  %or0123 = or <8 x i1> %or01, %or23
21  %or4567 = or <8 x i1> %or45, %or67
22  %or01234567 = or <8 x i1> %or0123, %or4567
23  ret <8 x i1> %or01234567
24}
25
26define <8 x i1> @vector1(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
27; CHECK-LABEL: define <8 x i1> @vector1(
28; CHECK-SAME: <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
29; CHECK-NEXT:    [[OR01:%.*]] = and <8 x i1> [[B0]], [[B1]]
30; CHECK-NEXT:    [[OR23:%.*]] = and <8 x i1> [[B2]], [[B3]]
31; CHECK-NEXT:    [[OR45:%.*]] = and <8 x i1> [[B4]], [[B5]]
32; CHECK-NEXT:    [[OR67:%.*]] = and <8 x i1> [[B6]], [[B7]]
33; CHECK-NEXT:    [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[OR23]]
34; CHECK-NEXT:    [[OR4567:%.*]] = and <8 x i1> [[OR45]], [[OR67]]
35; CHECK-NEXT:    [[OR01234567:%.*]] = and <8 x i1> [[OR0123]], [[OR4567]]
36; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
37;
38  %or01 = and <8 x i1> %b0, %b1
39  %or23 = and <8 x i1> %b2, %b3
40  %or45 = and <8 x i1> %b4, %b5
41  %or67 = and <8 x i1> %b6, %b7
42  %or0123 = and <8 x i1> %or01, %or23
43  %or4567 = and <8 x i1> %or45, %or67
44  %or01234567 = and <8 x i1> %or0123, %or4567
45  ret <8 x i1> %or01234567
46}
47
48define <8 x i1> @vector2(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
49; CHECK-LABEL: define <8 x i1> @vector2(
50; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
51; CHECK-NEXT:    [[OR0:%.*]] = or <8 x i1> [[A]], [[B0]]
52; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[A]], [[B1]]
53; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[A]], [[B2]]
54; CHECK-NEXT:    [[OR3:%.*]] = or <8 x i1> [[A]], [[B3]]
55; CHECK-NEXT:    [[OR7:%.*]] = or <8 x i1> [[A]], [[B4]]
56; CHECK-NEXT:    [[OR5:%.*]] = or <8 x i1> [[A]], [[B5]]
57; CHECK-NEXT:    [[OR6:%.*]] = or <8 x i1> [[A]], [[B6]]
58; CHECK-NEXT:    [[OR8:%.*]] = or <8 x i1> [[A]], [[B7]]
59; CHECK-NEXT:    [[OR045:%.*]] = xor <8 x i1> [[OR0]], [[OR1]]
60; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[OR045]], [[OR2]]
61; CHECK-NEXT:    [[XOR6:%.*]] = xor <8 x i1> [[XOR2]], [[OR3]]
62; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[XOR6]], [[OR7]]
63; CHECK-NEXT:    [[OR023:%.*]] = xor <8 x i1> [[XOR7]], [[OR5]]
64; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[OR023]], [[OR6]]
65; CHECK-NEXT:    [[XOR8:%.*]] = xor <8 x i1> [[XOR4]], [[OR8]]
66; CHECK-NEXT:    [[OR4560:%.*]] = or <8 x i1> [[OR045]], [[XOR2]]
67; CHECK-NEXT:    [[OR23:%.*]] = or <8 x i1> [[XOR6]], [[XOR7]]
68; CHECK-NEXT:    [[OR001:%.*]] = or <8 x i1> [[OR023]], [[XOR4]]
69; CHECK-NEXT:    [[XOR5:%.*]] = or <8 x i1> [[OR045]], [[XOR8]]
70; CHECK-NEXT:    [[OR123:%.*]] = or <8 x i1> [[OR4560]], [[OR23]]
71; CHECK-NEXT:    [[OR0123:%.*]] = or <8 x i1> [[OR001]], [[XOR5]]
72; CHECK-NEXT:    [[OR1234567:%.*]] = or <8 x i1> [[OR123]], [[OR0123]]
73; CHECK-NEXT:    ret <8 x i1> [[OR1234567]]
74;
75  %or0 = or <8 x i1> %b0, %a
76  %or1 = or <8 x i1> %b1, %a
77  %or2 = or <8 x i1> %b2, %a
78  %or3 = or <8 x i1> %b3, %a
79  %or4 = or <8 x i1> %b4, %a
80  %or5 = or <8 x i1> %b5, %a
81  %or6 = or <8 x i1> %b6, %a
82  %or7 = or <8 x i1> %b7, %a
83  %xor0 = xor <8 x i1> %or0, %or1
84  %xor1 = xor <8 x i1> %xor0, %or2
85  %xor2 = xor <8 x i1> %xor1, %or3
86  %xor3 = xor <8 x i1> %xor2, %or4
87  %xor4 = xor <8 x i1> %xor3, %or5
88  %xor5 = xor <8 x i1> %xor4, %or6
89  %xor6 = xor <8 x i1> %xor5, %or7
90  %or001 = or <8 x i1> %xor0, %xor1
91  %or023 = or <8 x i1> %xor2, %xor3
92  %or045 = or <8 x i1> %xor4, %xor5
93  %or060 = or <8 x i1> %xor6, %xor0
94  %or0123 = or <8 x i1> %or001, %or023
95  %or4560 = or <8 x i1> %or045, %or060
96  %or01234567 = or <8 x i1> %or0123, %or4560
97  ret <8 x i1> %or01234567
98}
99
100define <8 x i1> @vector3(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
101; CHECK-LABEL: define <8 x i1> @vector3(
102; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
103; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[A]], [[B0]]
104; CHECK-NEXT:    [[OR0:%.*]] = or <8 x i1> [[A]], [[B1]]
105; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[A]], [[B2]]
106; CHECK-NEXT:    [[OR4:%.*]] = or <8 x i1> [[A]], [[B3]]
107; CHECK-NEXT:    [[XOR2:%.*]] = or <8 x i1> [[A]], [[B4]]
108; CHECK-NEXT:    [[OR3:%.*]] = or <8 x i1> [[A]], [[B5]]
109; CHECK-NEXT:    [[XOR0:%.*]] = or <8 x i1> [[A]], [[B6]]
110; CHECK-NEXT:    [[OR5:%.*]] = or <8 x i1> [[A]], [[B7]]
111; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[OR1]], [[OR0]]
112; CHECK-NEXT:    [[XOR1:%.*]] = xor <8 x i1> [[OR2]], [[OR4]]
113; CHECK-NEXT:    [[XOR7:%.*]] = xor <8 x i1> [[XOR2]], [[OR3]]
114; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[XOR0]], [[OR5]]
115; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[XOR3]], [[XOR1]]
116; CHECK-NEXT:    [[OR7:%.*]] = xor <8 x i1> [[XOR7]], [[XOR4]]
117; CHECK-NEXT:    [[OR4560:%.*]] = xor <8 x i1> [[XOR5]], [[OR7]]
118; CHECK-NEXT:    ret <8 x i1> [[OR4560]]
119;
120  %or0 = or <8 x i1> %b0, %a
121  %or1 = or <8 x i1> %b1, %a
122  %or2 = or <8 x i1> %b2, %a
123  %or3 = or <8 x i1> %b3, %a
124  %or4 = or <8 x i1> %b4, %a
125  %or5 = or <8 x i1> %b5, %a
126  %or6 = or <8 x i1> %b6, %a
127  %or7 = or <8 x i1> %b7, %a
128  %xor0 = xor <8 x i1> %or0, %or1
129  %xor1 = xor <8 x i1> %or2, %or3
130  %xor2 = xor <8 x i1> %or4, %or5
131  %xor3 = xor <8 x i1> %or6, %or7
132  %or01 = xor <8 x i1> %xor0, %xor1
133  %or23 = xor <8 x i1> %xor2, %xor3
134  %or0123 = xor <8 x i1> %or01, %or23
135  ret <8 x i1> %or0123
136}
137
138define <8 x i1> @vector4(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
139; CHECK-LABEL: define <8 x i1> @vector4(
140; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
141; CHECK-NEXT:    [[XOR1:%.*]] = xor <8 x i1> [[A]], [[B0]]
142; CHECK-NEXT:    [[XOR0:%.*]] = xor <8 x i1> [[A]], [[B1]]
143; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[A]], [[B2]]
144; CHECK-NEXT:    [[XOR4:%.*]] = xor <8 x i1> [[A]], [[B3]]
145; CHECK-NEXT:    [[AND2:%.*]] = xor <8 x i1> [[A]], [[B4]]
146; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[A]], [[B5]]
147; CHECK-NEXT:    [[AND1:%.*]] = xor <8 x i1> [[A]], [[B6]]
148; CHECK-NEXT:    [[XOR5:%.*]] = xor <8 x i1> [[A]], [[B7]]
149; CHECK-NEXT:    [[AND3:%.*]] = and <8 x i1> [[XOR1]], [[XOR0]]
150; CHECK-NEXT:    [[AND4:%.*]] = and <8 x i1> [[XOR2]], [[XOR4]]
151; CHECK-NEXT:    [[OR23:%.*]] = and <8 x i1> [[AND2]], [[XOR3]]
152; CHECK-NEXT:    [[AND0:%.*]] = and <8 x i1> [[AND1]], [[XOR5]]
153; CHECK-NEXT:    [[OR01:%.*]] = and <8 x i1> [[AND3]], [[AND4]]
154; CHECK-NEXT:    [[XOR7:%.*]] = and <8 x i1> [[OR23]], [[AND0]]
155; CHECK-NEXT:    [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[XOR7]]
156; CHECK-NEXT:    ret <8 x i1> [[OR0123]]
157;
158  %xor0 = xor <8 x i1> %b0, %a
159  %xor1 = xor <8 x i1> %b1, %a
160  %xor2 = xor <8 x i1> %b2, %a
161  %xor3 = xor <8 x i1> %b3, %a
162  %xor4 = xor <8 x i1> %b4, %a
163  %xor5 = xor <8 x i1> %b5, %a
164  %xor6 = xor <8 x i1> %b6, %a
165  %xor7 = xor <8 x i1> %b7, %a
166  %and0 = and <8 x i1> %xor0, %xor1
167  %and1 = and <8 x i1> %xor2, %xor3
168  %and2 = and <8 x i1> %xor4, %xor5
169  %and3 = and <8 x i1> %xor6, %xor7
170  %or01 = and <8 x i1> %and0, %and1
171  %or23 = and <8 x i1> %and2, %and3
172  %or0123 = and <8 x i1> %or01, %or23
173  ret <8 x i1> %or0123
174}
175
176define <8 x i1> @vector5(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3, <8 x i1> %b4, <8 x i1> %b5, <8 x i1> %b6, <8 x i1> %b7) {
177; CHECK-LABEL: define <8 x i1> @vector5(
178; CHECK-SAME: <8 x i1> [[A:%.*]], <8 x i1> [[B0:%.*]], <8 x i1> [[B1:%.*]], <8 x i1> [[B2:%.*]], <8 x i1> [[B3:%.*]], <8 x i1> [[B4:%.*]], <8 x i1> [[B5:%.*]], <8 x i1> [[B6:%.*]], <8 x i1> [[B7:%.*]]) {
179; CHECK-NEXT:    [[OR3:%.*]] = xor <8 x i1> [[A]], [[B0]]
180; CHECK-NEXT:    [[XOR0:%.*]] = xor <8 x i1> [[A]], [[B1]]
181; CHECK-NEXT:    [[OR23:%.*]] = xor <8 x i1> [[A]], [[B2]]
182; CHECK-NEXT:    [[XOR1:%.*]] = xor <8 x i1> [[A]], [[B3]]
183; CHECK-NEXT:    [[OR0:%.*]] = xor <8 x i1> [[A]], [[B4]]
184; CHECK-NEXT:    [[XOR2:%.*]] = xor <8 x i1> [[A]], [[B5]]
185; CHECK-NEXT:    [[OR0123:%.*]] = xor <8 x i1> [[A]], [[B6]]
186; CHECK-NEXT:    [[XOR3:%.*]] = xor <8 x i1> [[A]], [[B7]]
187; CHECK-NEXT:    [[OR2:%.*]] = or <8 x i1> [[OR3]], [[XOR0]]
188; CHECK-NEXT:    [[OR1:%.*]] = or <8 x i1> [[OR23]], [[XOR1]]
189; CHECK-NEXT:    [[OR01:%.*]] = or <8 x i1> [[OR0]], [[XOR2]]
190; CHECK-NEXT:    [[OR7:%.*]] = or <8 x i1> [[OR0123]], [[XOR3]]
191; CHECK-NEXT:    [[OR45:%.*]] = or <8 x i1> [[B0]], [[B1]]
192; CHECK-NEXT:    [[XOR6:%.*]] = or <8 x i1> [[B2]], [[B3]]
193; CHECK-NEXT:    [[OR6:%.*]] = or <8 x i1> [[B4]], [[B5]]
194; CHECK-NEXT:    [[OR8:%.*]] = or <8 x i1> [[B6]], [[B7]]
195; CHECK-NEXT:    [[OR4:%.*]] = or <8 x i1> [[OR2]], [[OR1]]
196; CHECK-NEXT:    [[OR24:%.*]] = or <8 x i1> [[OR01]], [[OR7]]
197; CHECK-NEXT:    [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[XOR6]]
198; CHECK-NEXT:    [[OR67:%.*]] = or <8 x i1> [[OR6]], [[OR8]]
199; CHECK-NEXT:    [[OR123:%.*]] = or <8 x i1> [[OR4]], [[OR24]]
200; CHECK-NEXT:    [[OR4568:%.*]] = or <8 x i1> [[OR4567]], [[OR67]]
201; CHECK-NEXT:    [[OR01234567:%.*]] = or <8 x i1> [[OR4568]], [[OR123]]
202; CHECK-NEXT:    ret <8 x i1> [[OR01234567]]
203;
204  %xor0 = xor <8 x i1> %b0, %a
205  %xor1 = xor <8 x i1> %b1, %a
206  %xor2 = xor <8 x i1> %b2, %a
207  %xor3 = xor <8 x i1> %b3, %a
208  %xor4 = xor <8 x i1> %b4, %a
209  %xor5 = xor <8 x i1> %b5, %a
210  %xor6 = xor <8 x i1> %b6, %a
211  %xor7 = xor <8 x i1> %b7, %a
212  %or0 = or <8 x i1> %xor0, %xor1
213  %or1 = or <8 x i1> %xor2, %xor3
214  %or2 = or <8 x i1> %xor4, %xor5
215  %or3 = or <8 x i1> %xor6, %xor7
216  %or4 = or <8 x i1> %b0, %b1
217  %or5 = or <8 x i1> %b2, %b3
218  %or6 = or <8 x i1> %b4, %b5
219  %or7 = or <8 x i1> %b6, %b7
220  %or01 = or <8 x i1> %or0, %or1
221  %or23 = or <8 x i1> %or2, %or3
222  %or45 = or <8 x i1> %or4, %or5
223  %or67 = or <8 x i1> %or6, %or7
224  %or0123 = or <8 x i1> %or01, %or23
225  %or4567 = or <8 x i1> %or45, %or67
226  %or01234567 = or <8 x i1> %or0123, %or4567
227  ret <8 x i1> %or01234567
228}
229