1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
4 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
6 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
8 define <vscale x 2 x double> @fneg(<vscale x 2 x double> %val) {
10 ; CHECK-NEXT: ret <vscale x 2 x double> undef
12 %r = fneg <vscale x 2 x double> undef
13 ret <vscale x 2 x double> %r
16 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
18 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
20 define <vscale x 4 x i32> @add() {
22 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
24 %r = add <vscale x 4 x i32> undef, undef
25 ret <vscale x 4 x i32> %r
28 define <vscale x 4 x float> @fadd() {
30 ; CHECK-NEXT: ret <vscale x 4 x float> undef
32 %r = fadd <vscale x 4 x float> undef, undef
33 ret <vscale x 4 x float> %r
36 define <vscale x 4 x i32> @sub() {
38 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
40 %r = sub <vscale x 4 x i32> undef, undef
41 ret <vscale x 4 x i32> %r
44 define <vscale x 4 x i32> @sub_splat() {
45 ; CHECK-LABEL: @sub_splat(
46 ; CHECK-NEXT: ret <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 -16, i32 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer)
48 %r = sub <vscale x 4 x i32> zeroinitializer, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 16, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer)
49 ret <vscale x 4 x i32> %r
52 define <vscale x 4 x float> @fsub() {
54 ; CHECK-NEXT: ret <vscale x 4 x float> undef
56 %r = fsub <vscale x 4 x float> undef, undef
57 ret <vscale x 4 x float> %r
60 define <vscale x 4 x i32> @mul() {
62 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
64 %r = mul <vscale x 4 x i32> undef, undef
65 ret <vscale x 4 x i32> %r
68 define <vscale x 4 x float> @fmul() {
70 ; CHECK-NEXT: ret <vscale x 4 x float> undef
72 %r = fmul <vscale x 4 x float> undef, undef
73 ret <vscale x 4 x float> %r
76 define <vscale x 4 x i32> @udiv() {
78 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
80 %r = udiv <vscale x 4 x i32> undef, undef
81 ret <vscale x 4 x i32> %r
84 define <vscale x 4 x i32> @udiv_splat_zero() {
85 ; CHECK-LABEL: @udiv_splat_zero(
86 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
88 %r = udiv <vscale x 4 x i32> zeroinitializer, zeroinitializer
89 ret <vscale x 4 x i32> %r
92 define <vscale x 4 x i32> @sdiv() {
94 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
96 %r = sdiv <vscale x 4 x i32> undef, undef
97 ret <vscale x 4 x i32> %r
100 define <vscale x 4 x float> @fdiv() {
101 ; CHECK-LABEL: @fdiv(
102 ; CHECK-NEXT: ret <vscale x 4 x float> undef
104 %r = fdiv <vscale x 4 x float> undef, undef
105 ret <vscale x 4 x float> %r
108 define <vscale x 4 x i32> @urem() {
109 ; CHECK-LABEL: @urem(
110 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
112 %r = urem <vscale x 4 x i32> undef, undef
113 ret <vscale x 4 x i32> %r
116 define <vscale x 4 x i32> @srem() {
117 ; CHECK-LABEL: @srem(
118 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
120 %r = srem <vscale x 4 x i32> undef, undef
121 ret <vscale x 4 x i32> %r
124 define <vscale x 4 x float> @frem() {
125 ; CHECK-LABEL: @frem(
126 ; CHECK-NEXT: ret <vscale x 4 x float> undef
128 %r = frem <vscale x 4 x float> undef, undef
129 ret <vscale x 4 x float> %r
132 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
133 ;; Bitwise Binary Operations
134 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
136 define <vscale x 4 x i32> @shl() {
138 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
140 %r = shl <vscale x 4 x i32> undef, undef
141 ret <vscale x 4 x i32> %r
144 define <vscale x 4 x i32> @lshr() {
145 ; CHECK-LABEL: @lshr(
146 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
148 %r = lshr <vscale x 4 x i32> undef, undef
149 ret <vscale x 4 x i32> %r
152 define <vscale x 4 x i32> @ashr() {
153 ; CHECK-LABEL: @ashr(
154 ; CHECK-NEXT: ret <vscale x 4 x i32> poison
156 %r = ashr <vscale x 4 x i32> undef, undef
157 ret <vscale x 4 x i32> %r
160 define <vscale x 4 x i32> @and() {
162 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
164 %r = and <vscale x 4 x i32> undef, undef
165 ret <vscale x 4 x i32> %r
168 define <vscale x 4 x i32> @or() {
170 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
172 %r = or <vscale x 4 x i32> undef, undef
173 ret <vscale x 4 x i32> %r
176 define <vscale x 4 x i32> @xor() {
178 ; CHECK-NEXT: ret <vscale x 4 x i32> zeroinitializer
180 %r = xor <vscale x 4 x i32> undef, undef
181 ret <vscale x 4 x i32> %r
184 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
186 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
188 define <vscale x 4 x i32> @insertelement() {
189 ; CHECK-LABEL: @insertelement(
190 ; CHECK-NEXT: ret <vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0)
192 %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0
193 ret <vscale x 4 x i32> %i
196 define <vscale x 4 x i32> @shufflevector() {
197 ; CHECK-LABEL: @shufflevector(
198 ; CHECK-NEXT: ret <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer)
200 %i = insertelement <vscale x 4 x i32> undef, i32 1, i32 0
201 %i2 = shufflevector <vscale x 4 x i32> %i, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer
202 ret <vscale x 4 x i32> %i2
205 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
206 ;; Memory Access and Addressing Operations
207 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
209 define <vscale x 2 x double> @load() {
210 ; CHECK-LABEL: @load(
211 ; CHECK-NEXT: [[R:%.*]] = load <vscale x 2 x double>, <vscale x 2 x double>* getelementptr (<vscale x 2 x double>, <vscale x 2 x double>* null, i64 1), align 16
212 ; CHECK-NEXT: ret <vscale x 2 x double> [[R]]
214 %r = load <vscale x 2 x double>, <vscale x 2 x double>* getelementptr (<vscale x 2 x double>, <vscale x 2 x double>* null, i64 1)
215 ret <vscale x 2 x double> %r
218 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
219 ;; Conversion Operations
220 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
222 define <vscale x 4 x float> @bitcast() {
223 ; CHECK-LABEL: @bitcast(
224 ; CHECK-NEXT: ret <vscale x 4 x float> bitcast (<vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> undef, i32 1, i32 0), <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer) to <vscale x 4 x float>)
226 %i1 = insertelement <vscale x 4 x i32> undef, i32 1, i32 0
227 %i2 = shufflevector <vscale x 4 x i32> %i1, <vscale x 4 x i32> undef, <vscale x 4 x i32> zeroinitializer
228 %i3 = bitcast <vscale x 4 x i32> %i2 to <vscale x 4 x float>
229 ret <vscale x 4 x float> %i3
232 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
234 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
236 define <vscale x 4 x i32> @select() {
237 ; CHECK-LABEL: @select(
238 ; CHECK-NEXT: ret <vscale x 4 x i32> undef
240 %r = select <vscale x 4 x i1> undef, <vscale x 4 x i32> zeroinitializer, <vscale x 4 x i32> undef
241 ret <vscale x 4 x i32> %r
244 declare <vscale x 16 x i8> @llvm.something(<vscale x 16 x i8>, <vscale x 16 x i8>)
246 define <vscale x 16 x i8> @call() {
247 ; CHECK-LABEL: @call(
248 ; CHECK-NEXT: [[R:%.*]] = call <vscale x 16 x i8> @llvm.something(<vscale x 16 x i8> undef, <vscale x 16 x i8> undef)
249 ; CHECK-NEXT: ret <vscale x 16 x i8> [[R]]
251 %r = call <vscale x 16 x i8> @llvm.something(<vscale x 16 x i8> undef, <vscale x 16 x i8> undef)
252 ret <vscale x 16 x i8> %r
255 define <vscale x 4 x i1> @icmp_undef() {
256 ; CHECK-LABEL: @icmp_undef(
257 ; CHECK-NEXT: ret <vscale x 4 x i1> undef
259 %r = icmp eq <vscale x 4 x i32> undef, undef
260 ret <vscale x 4 x i1> %r
263 define <vscale x 4 x i1> @icmp_zero() {
264 ; CHECK-LABEL: @icmp_zero(
265 ; CHECK-NEXT: ret <vscale x 4 x i1> shufflevector (<vscale x 4 x i1> insertelement (<vscale x 4 x i1> poison, i1 true, i32 0), <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer)
267 %r = icmp eq <vscale x 4 x i32> zeroinitializer, zeroinitializer
268 ret <vscale x 4 x i1> %r
271 define <vscale x 4 x i1> @fcmp_true() {
272 ; CHECK-LABEL: @fcmp_true(
273 ; CHECK-NEXT: ret <vscale x 4 x i1> shufflevector (<vscale x 4 x i1> insertelement (<vscale x 4 x i1> poison, i1 true, i32 0), <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer)
275 %r = fcmp true <vscale x 4 x float> undef, undef
276 ret <vscale x 4 x i1> %r
279 define <vscale x 4 x i1> @fcmp_false() {
280 ; CHECK-LABEL: @fcmp_false(
281 ; CHECK-NEXT: ret <vscale x 4 x i1> zeroinitializer
283 %r = fcmp false <vscale x 4 x float> undef, undef
284 ret <vscale x 4 x i1> %r
287 define <vscale x 4 x i1> @fcmp_undef() {
288 ; CHECK-LABEL: @fcmp_undef(
289 ; CHECK-NEXT: ret <vscale x 4 x i1> undef
291 %r = icmp ne <vscale x 4 x i32> undef, undef
292 ret <vscale x 4 x i1> %r
295 define <vscale x 4 x i1> @fcmp_not_equality() {
296 ; CHECK-LABEL: @fcmp_not_equality(
297 ; CHECK-NEXT: ret <vscale x 4 x i1> shufflevector (<vscale x 4 x i1> insertelement (<vscale x 4 x i1> poison, i1 true, i32 0), <vscale x 4 x i1> poison, <vscale x 4 x i32> zeroinitializer)
299 %r = icmp ule <vscale x 4 x i32> undef, zeroinitializer
300 ret <vscale x 4 x i1> %r