@@ -29,7 +29,7 @@ define i32 @vqdot_vv(<16 x i8> %a, <16 x i8> %b) {
2929entry:
3030 %a.sext = sext <16 x i8 > %a to <16 x i32 >
3131 %b.sext = sext <16 x i8 > %b to <16 x i32 >
32- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
32+ %mul = mul <16 x i32 > %a.sext , %b.sext
3333 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
3434 ret i32 %res
3535}
@@ -48,7 +48,7 @@ define i32 @vqdot_vx_constant(<16 x i8> %a) {
4848; CHECK-NEXT: ret
4949entry:
5050 %a.sext = sext <16 x i8 > %a to <16 x i32 >
51- %mul = mul nuw nsw <16 x i32 > %a.sext , splat (i32 23 )
51+ %mul = mul <16 x i32 > %a.sext , splat (i32 23 )
5252 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
5353 ret i32 %res
5454}
@@ -67,7 +67,7 @@ define i32 @vqdot_vx_constant_swapped(<16 x i8> %a) {
6767; CHECK-NEXT: ret
6868entry:
6969 %a.sext = sext <16 x i8 > %a to <16 x i32 >
70- %mul = mul nuw nsw <16 x i32 > splat (i32 23 ), %a.sext
70+ %mul = mul <16 x i32 > splat (i32 23 ), %a.sext
7171 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
7272 ret i32 %res
7373}
@@ -97,7 +97,7 @@ define i32 @vqdotu_vv(<16 x i8> %a, <16 x i8> %b) {
9797entry:
9898 %a.zext = zext <16 x i8 > %a to <16 x i32 >
9999 %b.zext = zext <16 x i8 > %b to <16 x i32 >
100- %mul = mul nuw nsw <16 x i32 > %a.zext , %b.zext
100+ %mul = mul <16 x i32 > %a.zext , %b.zext
101101 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
102102 ret i32 %res
103103}
@@ -116,7 +116,7 @@ define i32 @vqdotu_vx_constant(<16 x i8> %a) {
116116; CHECK-NEXT: ret
117117entry:
118118 %a.zext = zext <16 x i8 > %a to <16 x i32 >
119- %mul = mul nuw nsw <16 x i32 > %a.zext , splat (i32 123 )
119+ %mul = mul <16 x i32 > %a.zext , splat (i32 123 )
120120 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
121121 ret i32 %res
122122}
@@ -146,7 +146,7 @@ define i32 @vqdotsu_vv(<16 x i8> %a, <16 x i8> %b) {
146146entry:
147147 %a.sext = sext <16 x i8 > %a to <16 x i32 >
148148 %b.zext = zext <16 x i8 > %b to <16 x i32 >
149- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.zext
149+ %mul = mul <16 x i32 > %a.sext , %b.zext
150150 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
151151 ret i32 %res
152152}
@@ -176,7 +176,7 @@ define i32 @vqdotsu_vv_swapped(<16 x i8> %a, <16 x i8> %b) {
176176entry:
177177 %a.sext = sext <16 x i8 > %a to <16 x i32 >
178178 %b.zext = zext <16 x i8 > %b to <16 x i32 >
179- %mul = mul nuw nsw <16 x i32 > %b.zext , %a.sext
179+ %mul = mul <16 x i32 > %b.zext , %a.sext
180180 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
181181 ret i32 %res
182182}
@@ -195,7 +195,7 @@ define i32 @vdotqsu_vx_constant(<16 x i8> %a) {
195195; CHECK-NEXT: ret
196196entry:
197197 %a.sext = sext <16 x i8 > %a to <16 x i32 >
198- %mul = mul nuw nsw <16 x i32 > %a.sext , splat (i32 123 )
198+ %mul = mul <16 x i32 > %a.sext , splat (i32 123 )
199199 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
200200 ret i32 %res
201201}
@@ -215,7 +215,7 @@ define i32 @vdotqus_vx_constant(<16 x i8> %a) {
215215; CHECK-NEXT: ret
216216entry:
217217 %a.zext = zext <16 x i8 > %a to <16 x i32 >
218- %mul = mul nuw nsw <16 x i32 > %a.zext , splat (i32 -23 )
218+ %mul = mul <16 x i32 > %a.zext , splat (i32 -23 )
219219 %res = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
220220 ret i32 %res
221221}
@@ -326,7 +326,7 @@ define i32 @vqdot_vv_accum(<16 x i8> %a, <16 x i8> %b, <16 x i32> %x) {
326326entry:
327327 %a.sext = sext <16 x i8 > %a to <16 x i32 >
328328 %b.sext = sext <16 x i8 > %b to <16 x i32 >
329- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
329+ %mul = mul <16 x i32 > %a.sext , %b.sext
330330 %add = add <16 x i32 > %mul , %x
331331 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %add )
332332 ret i32 %sum
@@ -360,7 +360,7 @@ define i32 @vqdotu_vv_accum(<16 x i8> %a, <16 x i8> %b, <16 x i32> %x) {
360360entry:
361361 %a.zext = zext <16 x i8 > %a to <16 x i32 >
362362 %b.zext = zext <16 x i8 > %b to <16 x i32 >
363- %mul = mul nuw nsw <16 x i32 > %a.zext , %b.zext
363+ %mul = mul <16 x i32 > %a.zext , %b.zext
364364 %add = add <16 x i32 > %mul , %x
365365 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %add )
366366 ret i32 %sum
@@ -394,7 +394,7 @@ define i32 @vqdotsu_vv_accum(<16 x i8> %a, <16 x i8> %b, <16 x i32> %x) {
394394entry:
395395 %a.sext = sext <16 x i8 > %a to <16 x i32 >
396396 %b.zext = zext <16 x i8 > %b to <16 x i32 >
397- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.zext
397+ %mul = mul <16 x i32 > %a.sext , %b.zext
398398 %add = add <16 x i32 > %mul , %x
399399 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %add )
400400 ret i32 %sum
@@ -425,7 +425,7 @@ define i32 @vqdot_vv_scalar_add(<16 x i8> %a, <16 x i8> %b, i32 %x) {
425425entry:
426426 %a.sext = sext <16 x i8 > %a to <16 x i32 >
427427 %b.sext = sext <16 x i8 > %b to <16 x i32 >
428- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
428+ %mul = mul <16 x i32 > %a.sext , %b.sext
429429 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
430430 %add = add i32 %sum , %x
431431 ret i32 %add
@@ -456,7 +456,7 @@ define i32 @vqdotu_vv_scalar_add(<16 x i8> %a, <16 x i8> %b, i32 %x) {
456456entry:
457457 %a.zext = zext <16 x i8 > %a to <16 x i32 >
458458 %b.zext = zext <16 x i8 > %b to <16 x i32 >
459- %mul = mul nuw nsw <16 x i32 > %a.zext , %b.zext
459+ %mul = mul <16 x i32 > %a.zext , %b.zext
460460 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
461461 %add = add i32 %sum , %x
462462 ret i32 %add
@@ -487,7 +487,7 @@ define i32 @vqdotsu_vv_scalar_add(<16 x i8> %a, <16 x i8> %b, i32 %x) {
487487entry:
488488 %a.sext = sext <16 x i8 > %a to <16 x i32 >
489489 %b.zext = zext <16 x i8 > %b to <16 x i32 >
490- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.zext
490+ %mul = mul <16 x i32 > %a.sext , %b.zext
491491 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %mul )
492492 %add = add i32 %sum , %x
493493 ret i32 %add
@@ -522,10 +522,10 @@ define i32 @vqdot_vv_split(<16 x i8> %a, <16 x i8> %b, <16 x i8> %c, <16 x i8> %
522522entry:
523523 %a.sext = sext <16 x i8 > %a to <16 x i32 >
524524 %b.sext = sext <16 x i8 > %b to <16 x i32 >
525- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
525+ %mul = mul <16 x i32 > %a.sext , %b.sext
526526 %c.sext = sext <16 x i8 > %c to <16 x i32 >
527527 %d.sext = sext <16 x i8 > %d to <16 x i32 >
528- %mul2 = mul nuw nsw <16 x i32 > %c.sext , %d.sext
528+ %mul2 = mul <16 x i32 > %c.sext , %d.sext
529529 %add = add <16 x i32 > %mul , %mul2
530530 %sum = tail call i32 @llvm.vector.reduce.add.v16i32 (<16 x i32 > %add )
531531 ret i32 %sum
@@ -554,7 +554,7 @@ define <4 x i32> @vqdot_vv_partial_reduce(<16 x i8> %a, <16 x i8> %b) {
554554entry:
555555 %a.sext = sext <16 x i8 > %a to <16 x i32 >
556556 %b.sext = sext <16 x i8 > %b to <16 x i32 >
557- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
557+ %mul = mul <16 x i32 > %a.sext , %b.sext
558558 %res = call <4 x i32 > @llvm.experimental.vector.partial.reduce.add (<4 x i32 > zeroinitializer , <16 x i32 > %mul )
559559 ret <4 x i32 > %res
560560}
@@ -583,7 +583,7 @@ define <4 x i32> @vqdot_vv_partial_reduce2(<16 x i8> %a, <16 x i8> %b, <4 x i32>
583583entry:
584584 %a.sext = sext <16 x i8 > %a to <16 x i32 >
585585 %b.sext = sext <16 x i8 > %b to <16 x i32 >
586- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
586+ %mul = mul <16 x i32 > %a.sext , %b.sext
587587 %res = call <4 x i32 > @llvm.experimental.vector.partial.reduce.add (<4 x i32 > %accum , <16 x i32 > %mul )
588588 ret <4 x i32 > %res
589589}
@@ -599,7 +599,7 @@ define <16 x i32> @vqdot_vv_partial_reduce3(<16 x i8> %a, <16 x i8> %b) {
599599entry:
600600 %a.sext = sext <16 x i8 > %a to <16 x i32 >
601601 %b.sext = sext <16 x i8 > %b to <16 x i32 >
602- %mul = mul nuw nsw <16 x i32 > %a.sext , %b.sext
602+ %mul = mul <16 x i32 > %a.sext , %b.sext
603603 %res = call <16 x i32 > @llvm.experimental.vector.partial.reduce.add.nvx8i32.nvx16i32.nvx16i32 (<16 x i32 > %mul , <16 x i32 > zeroinitializer )
604604 ret <16 x i32 > %res
605605}
0 commit comments