Skip to content

Commit b6b18f1

Browse files
RKSimonRKSimon
authored
[Reassociate] Don't reassociate vXi1 logical expressions (#123329)
Extends what we already do for i1 types and don't serialize vXi1 logical expressions to improve ILP. llvm-test-suite numbers #64840 (comment) indicate that both reassociations are a net win. Fixes #64840 Fixes #63946
1 parent 455b3d6 commit b6b18f1

File tree

2 files changed

+76
-74
lines changed

2 files changed

+76
-74
lines changed

‎llvm/lib/Transforms/Scalar/Reassociate.cpp

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2174,13 +2174,14 @@ void ReassociatePass::OptimizeInst(Instruction *I) {
21742174
if (isa<FPMathOperator>(I) && !hasFPAssociativeFlags(I))
21752175
return;
21762176

2177-
// Do not reassociate boolean (i1) expressions. We want to preserve the
2177+
// Do not reassociate boolean (i1/vXi1) expressions. We want to preserve the
21782178
// original order of evaluation for short-circuited comparisons that
21792179
// SimplifyCFG has folded to AND/OR expressions. If the expression
21802180
// is not further optimized, it is likely to be transformed back to a
21812181
// short-circuited form for code gen, and the source order may have been
2182-
// optimized for the most likely conditions.
2183-
if (I->getType()->isIntegerTy(1))
2182+
// optimized for the most likely conditions. For vector boolean expressions,
2183+
// we should be optimizing for ILP and not serializing the logical operations.
2184+
if (I->getType()->isIntOrIntVectorTy(1))
21842185
return;
21852186

21862187
// If this is a bitwise or instruction of operands

‎llvm/test/Transforms/Reassociate/reassoc_bool_vec.ll

Lines changed: 72 additions & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,13 @@
44
define <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) {
55
; CHECK-LABEL: define <8 x i1> @vector0(
66
; 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: [[OR67:%.*]] = or <8 x i1> [[B1]], [[B0]]
8-
; CHECK-NEXT: [[OR45:%.*]] = or <8 x i1> [[OR67]], [[B2]]
9-
; CHECK-NEXT: [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[B3]]
10-
; CHECK-NEXT: [[OR23:%.*]] = or <8 x i1> [[OR4567]], [[B4]]
11-
; CHECK-NEXT: [[OR01:%.*]] = or <8 x i1> [[OR23]], [[B5]]
12-
; CHECK-NEXT: [[OR0123:%.*]] = or <8 x i1> [[OR01]], [[B6]]
13-
; CHECK-NEXT: [[OR01234567:%.*]] = or <8 x i1> [[OR0123]], [[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]]
1414
; CHECK-NEXT: ret <8 x i1> [[OR01234567]]
1515
;
1616
%or01 = or <8 x i1> %b0, %b1
@@ -26,13 +26,13 @@ define <8 x i1> @vector0(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3,
2626
define <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) {
2727
; CHECK-LABEL: define <8 x i1> @vector1(
2828
; 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: [[OR67:%.*]] = and <8 x i1> [[B1]], [[B0]]
30-
; CHECK-NEXT: [[OR45:%.*]] = and <8 x i1> [[OR67]], [[B2]]
31-
; CHECK-NEXT: [[OR4567:%.*]] = and <8 x i1> [[OR45]], [[B3]]
32-
; CHECK-NEXT: [[OR23:%.*]] = and <8 x i1> [[OR4567]], [[B4]]
33-
; CHECK-NEXT: [[OR01:%.*]] = and <8 x i1> [[OR23]], [[B5]]
34-
; CHECK-NEXT: [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[B6]]
35-
; CHECK-NEXT: [[OR01234567:%.*]] = and <8 x i1> [[OR0123]], [[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]]
3636
; CHECK-NEXT: ret <8 x i1> [[OR01234567]]
3737
;
3838
%or01 = and <8 x i1> %b0, %b1
@@ -48,27 +48,28 @@ define <8 x i1> @vector1(<8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2, <8 x i1> %b3,
4848
define <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) {
4949
; CHECK-LABEL: define <8 x i1> @vector2(
5050
; 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> [[B0]], [[A]]
52-
; CHECK-NEXT: [[OR1:%.*]] = or <8 x i1> [[B1]], [[A]]
53-
; CHECK-NEXT: [[OR2:%.*]] = or <8 x i1> [[B2]], [[A]]
54-
; CHECK-NEXT: [[OR3:%.*]] = or <8 x i1> [[B3]], [[A]]
55-
; CHECK-NEXT: [[OR4:%.*]] = or <8 x i1> [[B4]], [[A]]
56-
; CHECK-NEXT: [[OR5:%.*]] = or <8 x i1> [[B5]], [[A]]
57-
; CHECK-NEXT: [[OR6:%.*]] = or <8 x i1> [[B6]], [[A]]
58-
; CHECK-NEXT: [[OR7:%.*]] = or <8 x i1> [[B7]], [[A]]
59-
; CHECK-NEXT: [[XOR2:%.*]] = xor <8 x i1> [[OR1]], [[OR0]]
60-
; CHECK-NEXT: [[OR045:%.*]] = xor <8 x i1> [[XOR2]], [[OR2]]
61-
; CHECK-NEXT: [[XOR3:%.*]] = xor <8 x i1> [[OR045]], [[OR3]]
62-
; CHECK-NEXT: [[XOR4:%.*]] = xor <8 x i1> [[XOR3]], [[OR4]]
63-
; CHECK-NEXT: [[XOR5:%.*]] = xor <8 x i1> [[XOR4]], [[OR5]]
64-
; CHECK-NEXT: [[XOR6:%.*]] = xor <8 x i1> [[XOR5]], [[OR6]]
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]]
6562
; 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]]
6666
; CHECK-NEXT: [[OR4560:%.*]] = or <8 x i1> [[OR045]], [[XOR2]]
67-
; CHECK-NEXT: [[OR023:%.*]] = or <8 x i1> [[OR4560]], [[XOR3]]
67+
; CHECK-NEXT: [[OR23:%.*]] = or <8 x i1> [[XOR6]], [[XOR7]]
6868
; 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]]
6971
; CHECK-NEXT: [[OR0123:%.*]] = or <8 x i1> [[OR001]], [[XOR5]]
70-
; CHECK-NEXT: [[OR01234567:%.*]] = or <8 x i1> [[OR0123]], [[XOR6]]
71-
; CHECK-NEXT: [[OR1234567:%.*]] = or <8 x i1> [[OR01234567]], [[XOR7]]
72+
; CHECK-NEXT: [[OR1234567:%.*]] = or <8 x i1> [[OR123]], [[OR0123]]
7273
; CHECK-NEXT: ret <8 x i1> [[OR1234567]]
7374
;
7475
%or0 = or <8 x i1> %b0, %a
@@ -99,20 +100,20 @@ define <8 x i1> @vector2(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2,
99100
define <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) {
100101
; CHECK-LABEL: define <8 x i1> @vector3(
101102
; 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:%.*]]) {
102-
; CHECK-NEXT: [[OR0:%.*]] = or <8 x i1> [[B0]], [[A]]
103-
; CHECK-NEXT: [[OR1:%.*]] = or <8 x i1> [[B1]], [[A]]
104-
; CHECK-NEXT: [[OR2:%.*]] = or <8 x i1> [[B2]], [[A]]
105-
; CHECK-NEXT: [[OR3:%.*]] = or <8 x i1> [[B3]], [[A]]
106-
; CHECK-NEXT: [[OR4:%.*]] = or <8 x i1> [[B4]], [[A]]
107-
; CHECK-NEXT: [[OR5:%.*]] = or <8 x i1> [[B5]], [[A]]
108-
; CHECK-NEXT: [[OR6:%.*]] = or <8 x i1> [[B6]], [[A]]
109-
; CHECK-NEXT: [[OR7:%.*]] = or <8 x i1> [[B7]], [[A]]
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]]
110111
; CHECK-NEXT: [[XOR3:%.*]] = xor <8 x i1> [[OR1]], [[OR0]]
111-
; CHECK-NEXT: [[XOR2:%.*]] = xor <8 x i1> [[XOR3]], [[OR2]]
112+
; CHECK-NEXT: [[XOR1:%.*]] = xor <8 x i1> [[OR2]], [[OR4]]
112113
; CHECK-NEXT: [[XOR7:%.*]] = xor <8 x i1> [[XOR2]], [[OR3]]
113-
; CHECK-NEXT: [[XOR0:%.*]] = xor <8 x i1> [[XOR7]], [[OR4]]
114114
; CHECK-NEXT: [[XOR4:%.*]] = xor <8 x i1> [[XOR0]], [[OR5]]
115-
; CHECK-NEXT: [[XOR5:%.*]] = xor <8 x i1> [[XOR4]], [[OR6]]
115+
; CHECK-NEXT: [[XOR5:%.*]] = xor <8 x i1> [[XOR3]], [[XOR1]]
116+
; CHECK-NEXT: [[OR7:%.*]] = xor <8 x i1> [[XOR7]], [[XOR4]]
116117
; CHECK-NEXT: [[OR4560:%.*]] = xor <8 x i1> [[XOR5]], [[OR7]]
117118
; CHECK-NEXT: ret <8 x i1> [[OR4560]]
118119
;
@@ -137,20 +138,20 @@ define <8 x i1> @vector3(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2,
137138
define <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) {
138139
; CHECK-LABEL: define <8 x i1> @vector4(
139140
; 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:%.*]]) {
140-
; CHECK-NEXT: [[XOR0:%.*]] = xor <8 x i1> [[B0]], [[A]]
141-
; CHECK-NEXT: [[XOR1:%.*]] = xor <8 x i1> [[B1]], [[A]]
142-
; CHECK-NEXT: [[XOR2:%.*]] = xor <8 x i1> [[B2]], [[A]]
143-
; CHECK-NEXT: [[XOR3:%.*]] = xor <8 x i1> [[B3]], [[A]]
144-
; CHECK-NEXT: [[XOR4:%.*]] = xor <8 x i1> [[B4]], [[A]]
145-
; CHECK-NEXT: [[XOR5:%.*]] = xor <8 x i1> [[B5]], [[A]]
146-
; CHECK-NEXT: [[XOR6:%.*]] = xor <8 x i1> [[B6]], [[A]]
147-
; CHECK-NEXT: [[XOR7:%.*]] = xor <8 x i1> [[B7]], [[A]]
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]]
148149
; CHECK-NEXT: [[AND3:%.*]] = and <8 x i1> [[XOR1]], [[XOR0]]
149-
; CHECK-NEXT: [[AND2:%.*]] = and <8 x i1> [[AND3]], [[XOR2]]
150+
; CHECK-NEXT: [[AND4:%.*]] = and <8 x i1> [[XOR2]], [[XOR4]]
150151
; CHECK-NEXT: [[OR23:%.*]] = and <8 x i1> [[AND2]], [[XOR3]]
151-
; CHECK-NEXT: [[AND1:%.*]] = and <8 x i1> [[OR23]], [[XOR4]]
152152
; CHECK-NEXT: [[AND0:%.*]] = and <8 x i1> [[AND1]], [[XOR5]]
153-
; CHECK-NEXT: [[OR01:%.*]] = and <8 x i1> [[AND0]], [[XOR6]]
153+
; CHECK-NEXT: [[OR01:%.*]] = and <8 x i1> [[AND3]], [[AND4]]
154+
; CHECK-NEXT: [[XOR7:%.*]] = and <8 x i1> [[OR23]], [[AND0]]
154155
; CHECK-NEXT: [[OR0123:%.*]] = and <8 x i1> [[OR01]], [[XOR7]]
155156
; CHECK-NEXT: ret <8 x i1> [[OR0123]]
156157
;
@@ -175,29 +176,29 @@ define <8 x i1> @vector4(<8 x i1> %a, <8 x i1> %b0, <8 x i1> %b1, <8 x i1> %b2,
175176
define <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) {
176177
; CHECK-LABEL: define <8 x i1> @vector5(
177178
; 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:%.*]]) {
178-
; CHECK-NEXT: [[XOR0:%.*]] = xor <8 x i1> [[B0]], [[A]]
179-
; CHECK-NEXT: [[XOR1:%.*]] = xor <8 x i1> [[B1]], [[A]]
180-
; CHECK-NEXT: [[XOR2:%.*]] = xor <8 x i1> [[B2]], [[A]]
181-
; CHECK-NEXT: [[XOR3:%.*]] = xor <8 x i1> [[B3]], [[A]]
182-
; CHECK-NEXT: [[XOR4:%.*]] = xor <8 x i1> [[B4]], [[A]]
183-
; CHECK-NEXT: [[XOR5:%.*]] = xor <8 x i1> [[B5]], [[A]]
184-
; CHECK-NEXT: [[XOR6:%.*]] = xor <8 x i1> [[B6]], [[A]]
185-
; CHECK-NEXT: [[XOR7:%.*]] = xor <8 x i1> [[B7]], [[A]]
186-
; CHECK-NEXT: [[OR3:%.*]] = or <8 x i1> [[B1]], [[B0]]
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]]
187187
; CHECK-NEXT: [[OR2:%.*]] = or <8 x i1> [[OR3]], [[XOR0]]
188-
; CHECK-NEXT: [[OR23:%.*]] = or <8 x i1> [[OR2]], [[B2]]
189188
; CHECK-NEXT: [[OR1:%.*]] = or <8 x i1> [[OR23]], [[XOR1]]
190-
; CHECK-NEXT: [[OR0:%.*]] = or <8 x i1> [[OR1]], [[B3]]
191189
; CHECK-NEXT: [[OR01:%.*]] = or <8 x i1> [[OR0]], [[XOR2]]
192-
; CHECK-NEXT: [[OR0123:%.*]] = or <8 x i1> [[OR01]], [[B4]]
193190
; CHECK-NEXT: [[OR7:%.*]] = or <8 x i1> [[OR0123]], [[XOR3]]
194-
; CHECK-NEXT: [[OR6:%.*]] = or <8 x i1> [[OR7]], [[B5]]
195-
; CHECK-NEXT: [[OR67:%.*]] = or <8 x i1> [[OR6]], [[XOR4]]
196-
; CHECK-NEXT: [[OR5:%.*]] = or <8 x i1> [[OR67]], [[B6]]
197-
; CHECK-NEXT: [[OR4:%.*]] = or <8 x i1> [[OR5]], [[XOR5]]
198-
; CHECK-NEXT: [[OR45:%.*]] = or <8 x i1> [[OR4]], [[B7]]
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]]
199197
; CHECK-NEXT: [[OR4567:%.*]] = or <8 x i1> [[OR45]], [[XOR6]]
200-
; CHECK-NEXT: [[OR01234567:%.*]] = or <8 x i1> [[OR4567]], [[XOR7]]
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]]
201202
; CHECK-NEXT: ret <8 x i1> [[OR01234567]]
202203
;
203204
%xor0 = xor <8 x i1> %b0, %a

0 commit comments

Comments
 (0)