Skip to content

Commit fda3a13

Browse files
nikicnikic
committed
[InstCombine] Regenerate test checks (NFC)
1 parent 32a4e3f commit fda3a13

File tree

3 files changed

+61
-49
lines changed

3 files changed

+61
-49
lines changed

‎llvm/test/Transforms/InstCombine/X86/x86-vpermil.ll

Lines changed: 36 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -57,53 +57,53 @@ define <8 x double> @identity_test_vpermilvar_pd_512(<8 x double> %v) {
5757

5858
define <4 x float> @zero_test_vpermilvar_ps_zero(<4 x float> %v) {
5959
; CHECK-LABEL: @zero_test_vpermilvar_ps_zero(
60-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> zeroinitializer
61-
; CHECK-NEXT: ret <4 x float> [[TMP1]]
60+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> zeroinitializer
61+
; CHECK-NEXT: ret <4 x float> [[A]]
6262
;
6363
%a = tail call <4 x float> @llvm.x86.avx.vpermilvar.ps(<4 x float> %v, <4 x i32> zeroinitializer)
6464
ret <4 x float> %a
6565
}
6666

6767
define <8 x float> @zero_test_vpermilvar_ps_256_zero(<8 x float> %v) {
6868
; CHECK-LABEL: @zero_test_vpermilvar_ps_256_zero(
69-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 4, i32 4, i32 4>
70-
; CHECK-NEXT: ret <8 x float> [[TMP1]]
69+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 4, i32 4, i32 4>
70+
; CHECK-NEXT: ret <8 x float> [[A]]
7171
;
7272
%a = tail call <8 x float> @llvm.x86.avx.vpermilvar.ps.256(<8 x float> %v, <8 x i32> zeroinitializer)
7373
ret <8 x float> %a
7474
}
7575

7676
define <16 x float> @zero_test_vpermilvar_ps_512_zero(<16 x float> %v) {
7777
; CHECK-LABEL: @zero_test_vpermilvar_ps_512_zero(
78-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 4, i32 4, i32 4, i32 8, i32 8, i32 8, i32 8, i32 12, i32 12, i32 12, i32 12>
79-
; CHECK-NEXT: ret <16 x float> [[TMP1]]
78+
; CHECK-NEXT: [[A:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 4, i32 4, i32 4, i32 8, i32 8, i32 8, i32 8, i32 12, i32 12, i32 12, i32 12>
79+
; CHECK-NEXT: ret <16 x float> [[A]]
8080
;
8181
%a = tail call <16 x float> @llvm.x86.avx512.vpermilvar.ps.512(<16 x float> %v, <16 x i32> zeroinitializer)
8282
ret <16 x float> %a
8383
}
8484

8585
define <2 x double> @zero_test_vpermilvar_pd_zero(<2 x double> %v) {
8686
; CHECK-LABEL: @zero_test_vpermilvar_pd_zero(
87-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> zeroinitializer
88-
; CHECK-NEXT: ret <2 x double> [[TMP1]]
87+
; CHECK-NEXT: [[A:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> zeroinitializer
88+
; CHECK-NEXT: ret <2 x double> [[A]]
8989
;
9090
%a = tail call <2 x double> @llvm.x86.avx.vpermilvar.pd(<2 x double> %v, <2 x i64> zeroinitializer)
9191
ret <2 x double> %a
9292
}
9393

9494
define <4 x double> @zero_test_vpermilvar_pd_256_zero(<4 x double> %v) {
9595
; CHECK-LABEL: @zero_test_vpermilvar_pd_256_zero(
96-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 0, i32 0, i32 2, i32 2>
97-
; CHECK-NEXT: ret <4 x double> [[TMP1]]
96+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 0, i32 0, i32 2, i32 2>
97+
; CHECK-NEXT: ret <4 x double> [[A]]
9898
;
9999
%a = tail call <4 x double> @llvm.x86.avx.vpermilvar.pd.256(<4 x double> %v, <4 x i64> zeroinitializer)
100100
ret <4 x double> %a
101101
}
102102

103103
define <8 x double> @zero_test_vpermilvar_pd_512_zero(<8 x double> %v) {
104104
; CHECK-LABEL: @zero_test_vpermilvar_pd_512_zero(
105-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 0, i32 0, i32 2, i32 2, i32 4, i32 4, i32 6, i32 6>
106-
; CHECK-NEXT: ret <8 x double> [[TMP1]]
105+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 0, i32 0, i32 2, i32 2, i32 4, i32 4, i32 6, i32 6>
106+
; CHECK-NEXT: ret <8 x double> [[A]]
107107
;
108108
%a = tail call <8 x double> @llvm.x86.avx512.vpermilvar.pd.512(<8 x double> %v, <8 x i64> zeroinitializer)
109109
ret <8 x double> %a
@@ -113,53 +113,53 @@ define <8 x double> @zero_test_vpermilvar_pd_512_zero(<8 x double> %v) {
113113

114114
define <4 x float> @test_vpermilvar_ps(<4 x float> %v) {
115115
; CHECK-LABEL: @test_vpermilvar_ps(
116-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
117-
; CHECK-NEXT: ret <4 x float> [[TMP1]]
116+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
117+
; CHECK-NEXT: ret <4 x float> [[A]]
118118
;
119119
%a = tail call <4 x float> @llvm.x86.avx.vpermilvar.ps(<4 x float> %v, <4 x i32> <i32 3, i32 2, i32 1, i32 0>)
120120
ret <4 x float> %a
121121
}
122122

123123
define <8 x float> @test_vpermilvar_ps_256(<8 x float> %v) {
124124
; CHECK-LABEL: @test_vpermilvar_ps_256(
125-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4>
126-
; CHECK-NEXT: ret <8 x float> [[TMP1]]
125+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4>
126+
; CHECK-NEXT: ret <8 x float> [[A]]
127127
;
128128
%a = tail call <8 x float> @llvm.x86.avx.vpermilvar.ps.256(<8 x float> %v, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>)
129129
ret <8 x float> %a
130130
}
131131

132132
define <16 x float> @test_vpermilvar_ps_512(<16 x float> %v) {
133133
; CHECK-LABEL: @test_vpermilvar_ps_512(
134-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4, i32 11, i32 10, i32 9, i32 8, i32 15, i32 14, i32 13, i32 12>
135-
; CHECK-NEXT: ret <16 x float> [[TMP1]]
134+
; CHECK-NEXT: [[A:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4, i32 11, i32 10, i32 9, i32 8, i32 15, i32 14, i32 13, i32 12>
135+
; CHECK-NEXT: ret <16 x float> [[A]]
136136
;
137137
%a = tail call <16 x float> @llvm.x86.avx512.vpermilvar.ps.512(<16 x float> %v, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>)
138138
ret <16 x float> %a
139139
}
140140

141141
define <2 x double> @test_vpermilvar_pd(<2 x double> %v) {
142142
; CHECK-LABEL: @test_vpermilvar_pd(
143-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> <i32 1, i32 0>
144-
; CHECK-NEXT: ret <2 x double> [[TMP1]]
143+
; CHECK-NEXT: [[A:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> <i32 1, i32 0>
144+
; CHECK-NEXT: ret <2 x double> [[A]]
145145
;
146146
%a = tail call <2 x double> @llvm.x86.avx.vpermilvar.pd(<2 x double> %v, <2 x i64> <i64 2, i64 0>)
147147
ret <2 x double> %a
148148
}
149149

150150
define <4 x double> @test_vpermilvar_pd_256(<4 x double> %v) {
151151
; CHECK-LABEL: @test_vpermilvar_pd_256(
152-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 1, i32 0, i32 3, i32 2>
153-
; CHECK-NEXT: ret <4 x double> [[TMP1]]
152+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 1, i32 0, i32 3, i32 2>
153+
; CHECK-NEXT: ret <4 x double> [[A]]
154154
;
155155
%a = tail call <4 x double> @llvm.x86.avx.vpermilvar.pd.256(<4 x double> %v, <4 x i64> <i64 3, i64 1, i64 2, i64 0>)
156156
ret <4 x double> %a
157157
}
158158

159159
define <8 x double> @test_vpermilvar_pd_512(<8 x double> %v) {
160160
; CHECK-LABEL: @test_vpermilvar_pd_512(
161-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 5, i32 4, i32 7, i32 6>
162-
; CHECK-NEXT: ret <8 x double> [[TMP1]]
161+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 5, i32 4, i32 7, i32 6>
162+
; CHECK-NEXT: ret <8 x double> [[A]]
163163
;
164164
%a = tail call <8 x double> @llvm.x86.avx512.vpermilvar.pd.512(<8 x double> %v, <8 x i64> <i64 3, i64 1, i64 2, i64 0, i64 7, i64 5, i64 6, i64 4>)
165165
ret <8 x double> %a
@@ -169,53 +169,53 @@ define <8 x double> @test_vpermilvar_pd_512(<8 x double> %v) {
169169

170170
define <4 x float> @undef_test_vpermilvar_ps(<4 x float> %v) {
171171
; CHECK-LABEL: @undef_test_vpermilvar_ps(
172-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> <i32 poison, i32 2, i32 1, i32 poison>
173-
; CHECK-NEXT: ret <4 x float> [[TMP1]]
172+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x float> [[V:%.*]], <4 x float> poison, <4 x i32> <i32 poison, i32 2, i32 1, i32 poison>
173+
; CHECK-NEXT: ret <4 x float> [[A]]
174174
;
175175
%a = tail call <4 x float> @llvm.x86.avx.vpermilvar.ps(<4 x float> %v, <4 x i32> <i32 undef, i32 2, i32 1, i32 undef>)
176176
ret <4 x float> %a
177177
}
178178

179179
define <8 x float> @undef_test_vpermilvar_ps_256(<8 x float> %v) {
180180
; CHECK-LABEL: @undef_test_vpermilvar_ps_256(
181-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 poison, i32 2, i32 1, i32 poison, i32 7, i32 6, i32 5, i32 4>
182-
; CHECK-NEXT: ret <8 x float> [[TMP1]]
181+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x float> [[V:%.*]], <8 x float> poison, <8 x i32> <i32 poison, i32 2, i32 1, i32 poison, i32 7, i32 6, i32 5, i32 4>
182+
; CHECK-NEXT: ret <8 x float> [[A]]
183183
;
184184
%a = tail call <8 x float> @llvm.x86.avx.vpermilvar.ps.256(<8 x float> %v, <8 x i32> <i32 undef, i32 6, i32 5, i32 undef, i32 3, i32 2, i32 1, i32 0>)
185185
ret <8 x float> %a
186186
}
187187

188188
define <16 x float> @undef_test_vpermilvar_ps_512(<16 x float> %v) {
189189
; CHECK-LABEL: @undef_test_vpermilvar_ps_512(
190-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 poison, i32 2, i32 1, i32 poison, i32 7, i32 6, i32 5, i32 4, i32 poison, i32 10, i32 9, i32 poison, i32 15, i32 14, i32 13, i32 12>
191-
; CHECK-NEXT: ret <16 x float> [[TMP1]]
190+
; CHECK-NEXT: [[A:%.*]] = shufflevector <16 x float> [[V:%.*]], <16 x float> poison, <16 x i32> <i32 poison, i32 2, i32 1, i32 poison, i32 7, i32 6, i32 5, i32 4, i32 poison, i32 10, i32 9, i32 poison, i32 15, i32 14, i32 13, i32 12>
191+
; CHECK-NEXT: ret <16 x float> [[A]]
192192
;
193193
%a = tail call <16 x float> @llvm.x86.avx512.vpermilvar.ps.512(<16 x float> %v, <16 x i32> <i32 undef, i32 6, i32 5, i32 undef, i32 3, i32 2, i32 1, i32 0, i32 undef, i32 6, i32 5, i32 undef, i32 3, i32 2, i32 1, i32 0>)
194194
ret <16 x float> %a
195195
}
196196

197197
define <2 x double> @undef_test_vpermilvar_pd(<2 x double> %v) {
198198
; CHECK-LABEL: @undef_test_vpermilvar_pd(
199-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> <i32 poison, i32 0>
200-
; CHECK-NEXT: ret <2 x double> [[TMP1]]
199+
; CHECK-NEXT: [[A:%.*]] = shufflevector <2 x double> [[V:%.*]], <2 x double> poison, <2 x i32> <i32 poison, i32 0>
200+
; CHECK-NEXT: ret <2 x double> [[A]]
201201
;
202202
%a = tail call <2 x double> @llvm.x86.avx.vpermilvar.pd(<2 x double> %v, <2 x i64> <i64 undef, i64 0>)
203203
ret <2 x double> %a
204204
}
205205

206206
define <4 x double> @undef_test_vpermilvar_pd_256(<4 x double> %v) {
207207
; CHECK-LABEL: @undef_test_vpermilvar_pd_256(
208-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 poison, i32 0, i32 3, i32 poison>
209-
; CHECK-NEXT: ret <4 x double> [[TMP1]]
208+
; CHECK-NEXT: [[A:%.*]] = shufflevector <4 x double> [[V:%.*]], <4 x double> poison, <4 x i32> <i32 poison, i32 0, i32 3, i32 poison>
209+
; CHECK-NEXT: ret <4 x double> [[A]]
210210
;
211211
%a = tail call <4 x double> @llvm.x86.avx.vpermilvar.pd.256(<4 x double> %v, <4 x i64> <i64 undef, i64 1, i64 2, i64 undef>)
212212
ret <4 x double> %a
213213
}
214214

215215
define <8 x double> @undef_test_vpermilvar_pd_512(<8 x double> %v) {
216216
; CHECK-LABEL: @undef_test_vpermilvar_pd_512(
217-
; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 poison, i32 0, i32 3, i32 poison, i32 poison, i32 4, i32 7, i32 poison>
218-
; CHECK-NEXT: ret <8 x double> [[TMP1]]
217+
; CHECK-NEXT: [[A:%.*]] = shufflevector <8 x double> [[V:%.*]], <8 x double> poison, <8 x i32> <i32 poison, i32 0, i32 3, i32 poison, i32 poison, i32 4, i32 7, i32 poison>
218+
; CHECK-NEXT: ret <8 x double> [[A]]
219219
;
220220
%a = tail call <8 x double> @llvm.x86.avx512.vpermilvar.pd.512(<8 x double> %v, <8 x i64> <i64 undef, i64 1, i64 2, i64 undef, i64 undef, i64 1, i64 2, i64 undef>)
221221
ret <8 x double> %a

‎llvm/test/Transforms/InstCombine/obfuscated_splat-inseltpoison.ll

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎llvm/test/Transforms/InstCombine/obfuscated_splat.ll

Lines changed: 25 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,34 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
12
; RUN: opt -passes=instcombine -S < %s | FileCheck %s
23

3-
define void @test(ptr %in_ptr, ptr %out_ptr) {
4+
define void @test_undef(ptr %in_ptr, ptr %out_ptr) {
5+
; CHECK-LABEL: define void @test_undef(
6+
; CHECK-SAME: ptr [[IN_PTR:%.*]], ptr [[OUT_PTR:%.*]]) {
7+
; CHECK-NEXT: [[A:%.*]] = load <4 x float>, ptr [[IN_PTR]], align 16
8+
; CHECK-NEXT: [[D:%.*]] = shufflevector <4 x float> [[A]], <4 x float> poison, <4 x i32> zeroinitializer
9+
; CHECK-NEXT: store <4 x float> [[D]], ptr [[OUT_PTR]], align 16
10+
; CHECK-NEXT: ret void
11+
;
412
%A = load <4 x float>, ptr %in_ptr, align 16
513
%B = shufflevector <4 x float> %A, <4 x float> undef, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef>
614
%C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef>
715
%D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4>
8-
; CHECK: %D = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> zeroinitializer
16+
store <4 x float> %D, ptr %out_ptr
17+
ret void
18+
}
19+
20+
define void @test_poison(ptr %in_ptr, ptr %out_ptr) {
21+
; CHECK-LABEL: define void @test_poison(
22+
; CHECK-SAME: ptr [[IN_PTR:%.*]], ptr [[OUT_PTR:%.*]]) {
23+
; CHECK-NEXT: [[A:%.*]] = load <4 x float>, ptr [[IN_PTR]], align 16
24+
; CHECK-NEXT: [[D:%.*]] = shufflevector <4 x float> [[A]], <4 x float> poison, <4 x i32> zeroinitializer
25+
; CHECK-NEXT: store <4 x float> [[D]], ptr [[OUT_PTR]], align 16
26+
; CHECK-NEXT: ret void
27+
;
28+
%A = load <4 x float>, ptr %in_ptr, align 16
29+
%B = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef>
30+
%C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef>
31+
%D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4>
932
store <4 x float> %D, ptr %out_ptr
1033
ret void
1134
}

0 commit comments

Comments
 (0)