Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(103)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: tests_lit/reader_tests/insertextract.ll

Issue 686913003: Fix insert/extract element vector operations to check index is literal (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Fix nits and reformat. Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« src/PNaClTranslator.cpp ('K') | « src/PNaClTranslator.cpp ('k') | tests_lit/reader_tests/insertextract-err.ll » ('j') | tests_lit/reader_tests/insertextract-err.ll » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests_lit/reader_tests/insertextract.ll
diff --git a/tests_lit/reader_tests/insertextract.ll b/tests_lit/reader_tests/insertextract.ll
index bc34011f9495fdb9d85e166d3bb5ca2f4ce6bdf9..a7ba9d84c0788c1400d7f819559f32c4be791e47 100644
--- a/tests_lit/reader_tests/insertextract.ll
+++ b/tests_lit/reader_tests/insertextract.ll
@@ -1,184 +1,379 @@
; Tests insertelement and extractelement vector instructions.
; RUN: %p2i -i %s --insts | FileCheck %s
+; RUN: %l2i -i %s --insts | FileCheck %s
+; RUN: %lc2i -i %s --insts | FileCheck %s
-; TODO(kschimpf): Change index arguments to valid constant indices once
-; we can handle constants.
-
-define void @ExtractV4xi1(<4 x i1> %v, i32 %i) {
+define void @ExtractV4xi1(<4 x i1> %v) {
entry:
- %e = extractelement <4 x i1> %v, i32 %i
+ %e0 = extractelement <4 x i1> %v, i32 0
+ %e1 = extractelement <4 x i1> %v, i32 1
+ %e2 = extractelement <4 x i1> %v, i32 2
+ %e3 = extractelement <4 x i1> %v, i32 3
ret void
}
-; CHECK: define void @ExtractV4xi1(<4 x i1> %v, i32 %i) {
+; CHECK: define void @ExtractV4xi1(<4 x i1> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <4 x i1> %v, i32 %i
+; CHECK-NEXT: %e0 = extractelement <4 x i1> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <4 x i1> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <4 x i1> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <4 x i1> %v, i32 3
; CHECK-NEXT: ret void
; CHECK-NEXT: }
-define void @ExtractV8xi1(<8 x i1> %v, i32 %i) {
+define void @ExtractV8xi1(<8 x i1> %v) {
entry:
- %e = extractelement <8 x i1> %v, i32 %i
+ %e0 = extractelement <8 x i1> %v, i32 0
+ %e1 = extractelement <8 x i1> %v, i32 1
+ %e2 = extractelement <8 x i1> %v, i32 2
+ %e3 = extractelement <8 x i1> %v, i32 3
+ %e4 = extractelement <8 x i1> %v, i32 4
+ %e5 = extractelement <8 x i1> %v, i32 5
+ %e6 = extractelement <8 x i1> %v, i32 6
+ %e7 = extractelement <8 x i1> %v, i32 7
ret void
}
-; CHECK-NEXT: define void @ExtractV8xi1(<8 x i1> %v, i32 %i) {
+; CHECK-NEXT: define void @ExtractV8xi1(<8 x i1> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <8 x i1> %v, i32 %i
+; CHECK-NEXT: %e0 = extractelement <8 x i1> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <8 x i1> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <8 x i1> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <8 x i1> %v, i32 3
+; CHECK-NEXT: %e4 = extractelement <8 x i1> %v, i32 4
+; CHECK-NEXT: %e5 = extractelement <8 x i1> %v, i32 5
+; CHECK-NEXT: %e6 = extractelement <8 x i1> %v, i32 6
+; CHECK-NEXT: %e7 = extractelement <8 x i1> %v, i32 7
; CHECK-NEXT: ret void
; CHECK-NEXT: }
-define void @ExtractV16xi1(<16 x i1> %v, i32 %i) {
+define void @ExtractV16xi1(<16 x i1> %v) {
entry:
- %e = extractelement <16 x i1> %v, i32 %i
+ %e0 = extractelement <16 x i1> %v, i32 0
+ %e1 = extractelement <16 x i1> %v, i32 1
+ %e2 = extractelement <16 x i1> %v, i32 2
+ %e3 = extractelement <16 x i1> %v, i32 3
+ %e4 = extractelement <16 x i1> %v, i32 4
+ %e5 = extractelement <16 x i1> %v, i32 5
+ %e6 = extractelement <16 x i1> %v, i32 6
+ %e7 = extractelement <16 x i1> %v, i32 7
+ %e8 = extractelement <16 x i1> %v, i32 8
+ %e9 = extractelement <16 x i1> %v, i32 9
+ %e10 = extractelement <16 x i1> %v, i32 10
+ %e11 = extractelement <16 x i1> %v, i32 11
+ %e12 = extractelement <16 x i1> %v, i32 12
+ %e13 = extractelement <16 x i1> %v, i32 13
+ %e14 = extractelement <16 x i1> %v, i32 14
+ %e15 = extractelement <16 x i1> %v, i32 15
ret void
}
-; CHECK-NEXT: define void @ExtractV16xi1(<16 x i1> %v, i32 %i) {
+; CHECK-NEXT: define void @ExtractV16xi1(<16 x i1> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <16 x i1> %v, i32 %i
+; CHECK-NEXT: %e0 = extractelement <16 x i1> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <16 x i1> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <16 x i1> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <16 x i1> %v, i32 3
+; CHECK-NEXT: %e4 = extractelement <16 x i1> %v, i32 4
+; CHECK-NEXT: %e5 = extractelement <16 x i1> %v, i32 5
+; CHECK-NEXT: %e6 = extractelement <16 x i1> %v, i32 6
+; CHECK-NEXT: %e7 = extractelement <16 x i1> %v, i32 7
+; CHECK-NEXT: %e8 = extractelement <16 x i1> %v, i32 8
+; CHECK-NEXT: %e9 = extractelement <16 x i1> %v, i32 9
+; CHECK-NEXT: %e10 = extractelement <16 x i1> %v, i32 10
+; CHECK-NEXT: %e11 = extractelement <16 x i1> %v, i32 11
+; CHECK-NEXT: %e12 = extractelement <16 x i1> %v, i32 12
+; CHECK-NEXT: %e13 = extractelement <16 x i1> %v, i32 13
+; CHECK-NEXT: %e14 = extractelement <16 x i1> %v, i32 14
+; CHECK-NEXT: %e15 = extractelement <16 x i1> %v, i32 15
; CHECK-NEXT: ret void
; CHECK-NEXT: }
define void @ExtractV16xi8(<16 x i8> %v, i32 %i) {
entry:
- %e = extractelement <16 x i8> %v, i32 %i
+ %e0 = extractelement <16 x i8> %v, i32 0
+ %e1 = extractelement <16 x i8> %v, i32 1
+ %e2 = extractelement <16 x i8> %v, i32 2
+ %e3 = extractelement <16 x i8> %v, i32 3
+ %e4 = extractelement <16 x i8> %v, i32 4
+ %e5 = extractelement <16 x i8> %v, i32 5
+ %e6 = extractelement <16 x i8> %v, i32 6
+ %e7 = extractelement <16 x i8> %v, i32 7
+ %e8 = extractelement <16 x i8> %v, i32 8
+ %e9 = extractelement <16 x i8> %v, i32 9
+ %e10 = extractelement <16 x i8> %v, i32 10
+ %e11 = extractelement <16 x i8> %v, i32 11
+ %e12 = extractelement <16 x i8> %v, i32 12
+ %e13 = extractelement <16 x i8> %v, i32 13
+ %e14 = extractelement <16 x i8> %v, i32 14
+ %e15 = extractelement <16 x i8> %v, i32 15
ret void
}
; CHECK-NEXT: define void @ExtractV16xi8(<16 x i8> %v, i32 %i) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <16 x i8> %v, i32 %i
+; CHECK-NEXT: %e0 = extractelement <16 x i8> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <16 x i8> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <16 x i8> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <16 x i8> %v, i32 3
+; CHECK-NEXT: %e4 = extractelement <16 x i8> %v, i32 4
+; CHECK-NEXT: %e5 = extractelement <16 x i8> %v, i32 5
+; CHECK-NEXT: %e6 = extractelement <16 x i8> %v, i32 6
+; CHECK-NEXT: %e7 = extractelement <16 x i8> %v, i32 7
+; CHECK-NEXT: %e8 = extractelement <16 x i8> %v, i32 8
+; CHECK-NEXT: %e9 = extractelement <16 x i8> %v, i32 9
+; CHECK-NEXT: %e10 = extractelement <16 x i8> %v, i32 10
+; CHECK-NEXT: %e11 = extractelement <16 x i8> %v, i32 11
+; CHECK-NEXT: %e12 = extractelement <16 x i8> %v, i32 12
+; CHECK-NEXT: %e13 = extractelement <16 x i8> %v, i32 13
+; CHECK-NEXT: %e14 = extractelement <16 x i8> %v, i32 14
+; CHECK-NEXT: %e15 = extractelement <16 x i8> %v, i32 15
; CHECK-NEXT: ret void
; CHECK-NEXT: }
-define void @ExtractV8xi16(<8 x i16> %v, i32 %i) {
+define void @ExtractV8xi16(<8 x i16> %v) {
entry:
- %e = extractelement <8 x i16> %v, i32 %i
+ %e0 = extractelement <8 x i16> %v, i32 0
+ %e1 = extractelement <8 x i16> %v, i32 1
+ %e2 = extractelement <8 x i16> %v, i32 2
+ %e3 = extractelement <8 x i16> %v, i32 3
+ %e4 = extractelement <8 x i16> %v, i32 4
+ %e5 = extractelement <8 x i16> %v, i32 5
+ %e6 = extractelement <8 x i16> %v, i32 6
+ %e7 = extractelement <8 x i16> %v, i32 7
ret void
}
-; CHECK-NEXT: define void @ExtractV8xi16(<8 x i16> %v, i32 %i) {
+; CHECK-NEXT: define void @ExtractV8xi16(<8 x i16> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <8 x i16> %v, i32 %i
+; CHECK-NEXT: %e0 = extractelement <8 x i16> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <8 x i16> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <8 x i16> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <8 x i16> %v, i32 3
+; CHECK-NEXT: %e4 = extractelement <8 x i16> %v, i32 4
+; CHECK-NEXT: %e5 = extractelement <8 x i16> %v, i32 5
+; CHECK-NEXT: %e6 = extractelement <8 x i16> %v, i32 6
+; CHECK-NEXT: %e7 = extractelement <8 x i16> %v, i32 7
; CHECK-NEXT: ret void
; CHECK-NEXT: }
-define i32 @ExtractV4xi32(<4 x i32> %v, i32 %i) {
+define i32 @ExtractV4xi32(<4 x i32> %v) {
entry:
- %e = extractelement <4 x i32> %v, i32 %i
- ret i32 %e
+ %e0 = extractelement <4 x i32> %v, i32 0
+ %e1 = extractelement <4 x i32> %v, i32 1
+ %e2 = extractelement <4 x i32> %v, i32 2
+ %e3 = extractelement <4 x i32> %v, i32 3
+ ret i32 %e0
}
-; CHECK-NEXT: define i32 @ExtractV4xi32(<4 x i32> %v, i32 %i) {
+; CHECK-NEXT: define i32 @ExtractV4xi32(<4 x i32> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <4 x i32> %v, i32 %i
-; CHECK-NEXT: ret i32 %e
+; CHECK-NEXT: %e0 = extractelement <4 x i32> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <4 x i32> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <4 x i32> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <4 x i32> %v, i32 3
+; CHECK-NEXT: ret i32 %e0
; CHECK-NEXT: }
-define float @ExtractV4xfloat(<4 x float> %v, i32 %i) {
+define float @ExtractV4xfloat(<4 x float> %v) {
entry:
- %e = extractelement <4 x float> %v, i32 %i
- ret float %e
+ %e0 = extractelement <4 x float> %v, i32 0
+ %e1 = extractelement <4 x float> %v, i32 1
+ %e2 = extractelement <4 x float> %v, i32 2
+ %e3 = extractelement <4 x float> %v, i32 3
+ ret float %e0
}
-; CHECK-NEXT: define float @ExtractV4xfloat(<4 x float> %v, i32 %i) {
+; CHECK-NEXT: define float @ExtractV4xfloat(<4 x float> %v) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %e = extractelement <4 x float> %v, i32 %i
-; CHECK-NEXT: ret float %e
+; CHECK-NEXT: %e0 = extractelement <4 x float> %v, i32 0
+; CHECK-NEXT: %e1 = extractelement <4 x float> %v, i32 1
+; CHECK-NEXT: %e2 = extractelement <4 x float> %v, i32 2
+; CHECK-NEXT: %e3 = extractelement <4 x float> %v, i32 3
+; CHECK-NEXT: ret float %e0
; CHECK-NEXT: }
-define <4 x i1> @InsertV4xi1(<4 x i1> %v, i32 %pe, i32 %i) {
+define <4 x i1> @InsertV4xi1(<4 x i1> %v, i32 %pe) {
entry:
%e = trunc i32 %pe to i1
- %r = insertelement <4 x i1> %v, i1 %e, i32 %i
- ret <4 x i1> %r
+ %r0 = insertelement <4 x i1> %v, i1 %e, i32 0
+ %r1 = insertelement <4 x i1> %v, i1 %e, i32 1
+ %r2 = insertelement <4 x i1> %v, i1 %e, i32 2
+ %r3 = insertelement <4 x i1> %v, i1 %e, i32 3
+ ret <4 x i1> %r3
}
-; CHECK-NEXT: define <4 x i1> @InsertV4xi1(<4 x i1> %v, i32 %pe, i32 %i) {
+; CHECK-NEXT: define <4 x i1> @InsertV4xi1(<4 x i1> %v, i32 %pe) {
; CHECK-NEXT: entry:
; CHECK-NEXT: %e = trunc i32 %pe to i1
-; CHECK-NEXT: %r = insertelement <4 x i1> %v, i1 %e, i32 %i
-; CHECK-NEXT: ret <4 x i1> %r
+; CHECK-NEXT: %r0 = insertelement <4 x i1> %v, i1 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <4 x i1> %v, i1 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <4 x i1> %v, i1 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <4 x i1> %v, i1 %e, i32 3
+; CHECK-NEXT: ret <4 x i1> %r3
; CHECK-NEXT: }
-define <8 x i1> @InsertV8xi1(<8 x i1> %v, i32 %pe, i32 %i) {
+define <8 x i1> @InsertV8xi1(<8 x i1> %v, i32 %pe) {
entry:
%e = trunc i32 %pe to i1
- %r = insertelement <8 x i1> %v, i1 %e, i32 %i
- ret <8 x i1> %r
+ %r0 = insertelement <8 x i1> %v, i1 %e, i32 0
+ %r1 = insertelement <8 x i1> %v, i1 %e, i32 1
+ %r2 = insertelement <8 x i1> %v, i1 %e, i32 2
+ %r3 = insertelement <8 x i1> %v, i1 %e, i32 3
+ %r4 = insertelement <8 x i1> %v, i1 %e, i32 4
+ %r5 = insertelement <8 x i1> %v, i1 %e, i32 5
+ %r6 = insertelement <8 x i1> %v, i1 %e, i32 6
+ %r7 = insertelement <8 x i1> %v, i1 %e, i32 7
+ ret <8 x i1> %r7
}
-; CHECK-NEXT: define <8 x i1> @InsertV8xi1(<8 x i1> %v, i32 %pe, i32 %i) {
+; CHECK-NEXT: define <8 x i1> @InsertV8xi1(<8 x i1> %v, i32 %pe) {
; CHECK-NEXT: entry:
; CHECK-NEXT: %e = trunc i32 %pe to i1
-; CHECK-NEXT: %r = insertelement <8 x i1> %v, i1 %e, i32 %i
-; CHECK-NEXT: ret <8 x i1> %r
+; CHECK-NEXT: %r0 = insertelement <8 x i1> %v, i1 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <8 x i1> %v, i1 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <8 x i1> %v, i1 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <8 x i1> %v, i1 %e, i32 3
+; CHECK-NEXT: %r4 = insertelement <8 x i1> %v, i1 %e, i32 4
+; CHECK-NEXT: %r5 = insertelement <8 x i1> %v, i1 %e, i32 5
+; CHECK-NEXT: %r6 = insertelement <8 x i1> %v, i1 %e, i32 6
+; CHECK-NEXT: %r7 = insertelement <8 x i1> %v, i1 %e, i32 7
+; CHECK-NEXT: ret <8 x i1> %r7
; CHECK-NEXT: }
-define <16 x i1> @InsertV16xi1(<16 x i1> %v, i32 %pe, i32 %i) {
+define <16 x i1> @InsertV16xi1(<16 x i1> %v, i32 %pe) {
entry:
%e = trunc i32 %pe to i1
- %r = insertelement <16 x i1> %v, i1 %e, i32 %i
- ret <16 x i1> %r
+ %r0 = insertelement <16 x i1> %v, i1 %e, i32 0
+ %r1 = insertelement <16 x i1> %v, i1 %e, i32 1
+ %r2 = insertelement <16 x i1> %v, i1 %e, i32 2
+ %r3 = insertelement <16 x i1> %v, i1 %e, i32 3
+ %r4 = insertelement <16 x i1> %v, i1 %e, i32 4
+ %r5 = insertelement <16 x i1> %v, i1 %e, i32 5
+ %r6 = insertelement <16 x i1> %v, i1 %e, i32 6
+ %r7 = insertelement <16 x i1> %v, i1 %e, i32 7
+ %r8 = insertelement <16 x i1> %v, i1 %e, i32 8
+ %r9 = insertelement <16 x i1> %v, i1 %e, i32 9
+ %r10 = insertelement <16 x i1> %v, i1 %e, i32 10
+ %r11 = insertelement <16 x i1> %v, i1 %e, i32 11
+ %r12 = insertelement <16 x i1> %v, i1 %e, i32 12
+ %r13 = insertelement <16 x i1> %v, i1 %e, i32 13
+ %r14 = insertelement <16 x i1> %v, i1 %e, i32 14
+ %r15 = insertelement <16 x i1> %v, i1 %e, i32 15
+ ret <16 x i1> %r15
}
-; CHECK-NEXT: define <16 x i1> @InsertV16xi1(<16 x i1> %v, i32 %pe, i32 %i) {
+; CHECK-NEXT: define <16 x i1> @InsertV16xi1(<16 x i1> %v, i32 %pe) {
; CHECK-NEXT: entry:
; CHECK-NEXT: %e = trunc i32 %pe to i1
-; CHECK-NEXT: %r = insertelement <16 x i1> %v, i1 %e, i32 %i
-; CHECK-NEXT: ret <16 x i1> %r
+; CHECK-NEXT: %r0 = insertelement <16 x i1> %v, i1 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <16 x i1> %v, i1 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <16 x i1> %v, i1 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <16 x i1> %v, i1 %e, i32 3
+; CHECK-NEXT: %r4 = insertelement <16 x i1> %v, i1 %e, i32 4
+; CHECK-NEXT: %r5 = insertelement <16 x i1> %v, i1 %e, i32 5
+; CHECK-NEXT: %r6 = insertelement <16 x i1> %v, i1 %e, i32 6
+; CHECK-NEXT: %r7 = insertelement <16 x i1> %v, i1 %e, i32 7
+; CHECK-NEXT: %r8 = insertelement <16 x i1> %v, i1 %e, i32 8
+; CHECK-NEXT: %r9 = insertelement <16 x i1> %v, i1 %e, i32 9
+; CHECK-NEXT: %r10 = insertelement <16 x i1> %v, i1 %e, i32 10
+; CHECK-NEXT: %r11 = insertelement <16 x i1> %v, i1 %e, i32 11
+; CHECK-NEXT: %r12 = insertelement <16 x i1> %v, i1 %e, i32 12
+; CHECK-NEXT: %r13 = insertelement <16 x i1> %v, i1 %e, i32 13
+; CHECK-NEXT: %r14 = insertelement <16 x i1> %v, i1 %e, i32 14
+; CHECK-NEXT: %r15 = insertelement <16 x i1> %v, i1 %e, i32 15
+; CHECK-NEXT: ret <16 x i1> %r15
; CHECK-NEXT: }
-define <16 x i8> @InsertV16xi8(<16 x i8> %v, i32 %pe, i32 %i) {
+define <16 x i8> @InsertV16xi8(<16 x i8> %v, i32 %pe) {
entry:
%e = trunc i32 %pe to i8
- %r = insertelement <16 x i8> %v, i8 %e, i32 %i
- ret <16 x i8> %r
+ %r0 = insertelement <16 x i8> %v, i8 %e, i32 0
+ %r1 = insertelement <16 x i8> %v, i8 %e, i32 1
+ %r2 = insertelement <16 x i8> %v, i8 %e, i32 2
+ %r3 = insertelement <16 x i8> %v, i8 %e, i32 3
+ %r4 = insertelement <16 x i8> %v, i8 %e, i32 4
+ %r5 = insertelement <16 x i8> %v, i8 %e, i32 5
+ %r6 = insertelement <16 x i8> %v, i8 %e, i32 6
+ %r7 = insertelement <16 x i8> %v, i8 %e, i32 7
+ ret <16 x i8> %r7
}
-; CHECK-NEXT: define <16 x i8> @InsertV16xi8(<16 x i8> %v, i32 %pe, i32 %i) {
+; CHECK-NEXT: define <16 x i8> @InsertV16xi8(<16 x i8> %v, i32 %pe) {
; CHECK-NEXT: entry:
; CHECK-NEXT: %e = trunc i32 %pe to i8
-; CHECK-NEXT: %r = insertelement <16 x i8> %v, i8 %e, i32 %i
-; CHECK-NEXT: ret <16 x i8> %r
+; CHECK-NEXT: %r0 = insertelement <16 x i8> %v, i8 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <16 x i8> %v, i8 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <16 x i8> %v, i8 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <16 x i8> %v, i8 %e, i32 3
+; CHECK-NEXT: %r4 = insertelement <16 x i8> %v, i8 %e, i32 4
+; CHECK-NEXT: %r5 = insertelement <16 x i8> %v, i8 %e, i32 5
+; CHECK-NEXT: %r6 = insertelement <16 x i8> %v, i8 %e, i32 6
+; CHECK-NEXT: %r7 = insertelement <16 x i8> %v, i8 %e, i32 7
+; CHECK-NEXT: ret <16 x i8> %r7
; CHECK-NEXT: }
-define <8 x i16> @InsertV8xi16(<8 x i16> %v, i32 %pe, i32 %i) {
+define <8 x i16> @InsertV8xi16(<8 x i16> %v, i32 %pe) {
entry:
%e = trunc i32 %pe to i16
- %r = insertelement <8 x i16> %v, i16 %e, i32 %i
- ret <8 x i16> %r
+ %r0 = insertelement <8 x i16> %v, i16 %e, i32 0
+ %r1 = insertelement <8 x i16> %v, i16 %e, i32 1
+ %r2 = insertelement <8 x i16> %v, i16 %e, i32 2
+ %r3 = insertelement <8 x i16> %v, i16 %e, i32 3
+ %r4 = insertelement <8 x i16> %v, i16 %e, i32 4
+ %r5 = insertelement <8 x i16> %v, i16 %e, i32 5
+ %r6 = insertelement <8 x i16> %v, i16 %e, i32 6
+ %r7 = insertelement <8 x i16> %v, i16 %e, i32 7
+ ret <8 x i16> %r7
}
-; CHECK-NEXT: define <8 x i16> @InsertV8xi16(<8 x i16> %v, i32 %pe, i32 %i) {
+; CHECK-NEXT: define <8 x i16> @InsertV8xi16(<8 x i16> %v, i32 %pe) {
; CHECK-NEXT: entry:
; CHECK-NEXT: %e = trunc i32 %pe to i16
-; CHECK-NEXT: %r = insertelement <8 x i16> %v, i16 %e, i32 %i
-; CHECK-NEXT: ret <8 x i16> %r
+; CHECK-NEXT: %r0 = insertelement <8 x i16> %v, i16 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <8 x i16> %v, i16 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <8 x i16> %v, i16 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <8 x i16> %v, i16 %e, i32 3
+; CHECK-NEXT: %r4 = insertelement <8 x i16> %v, i16 %e, i32 4
+; CHECK-NEXT: %r5 = insertelement <8 x i16> %v, i16 %e, i32 5
+; CHECK-NEXT: %r6 = insertelement <8 x i16> %v, i16 %e, i32 6
+; CHECK-NEXT: %r7 = insertelement <8 x i16> %v, i16 %e, i32 7
+; CHECK-NEXT: ret <8 x i16> %r7
; CHECK-NEXT: }
-define <4 x i32> @InsertV4xi32(<4 x i32> %v, i32 %e, i32 %i) {
+define <4 x i32> @InsertV4xi32(<4 x i32> %v, i32 %e) {
entry:
- %r = insertelement <4 x i32> %v, i32 %e, i32 %i
- ret <4 x i32> %r
+ %r0 = insertelement <4 x i32> %v, i32 %e, i32 0
+ %r1 = insertelement <4 x i32> %v, i32 %e, i32 1
+ %r2 = insertelement <4 x i32> %v, i32 %e, i32 2
+ %r3 = insertelement <4 x i32> %v, i32 %e, i32 3
+ ret <4 x i32> %r3
}
-; CHECK-NEXT: define <4 x i32> @InsertV4xi32(<4 x i32> %v, i32 %e, i32 %i) {
+; CHECK-NEXT: define <4 x i32> @InsertV4xi32(<4 x i32> %v, i32 %e) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %r = insertelement <4 x i32> %v, i32 %e, i32 %i
-; CHECK-NEXT: ret <4 x i32> %r
+; CHECK-NEXT: %r0 = insertelement <4 x i32> %v, i32 %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <4 x i32> %v, i32 %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <4 x i32> %v, i32 %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <4 x i32> %v, i32 %e, i32 3
+; CHECK-NEXT: ret <4 x i32> %r3
; CHECK-NEXT: }
-define <4 x float> @InsertV4xfloat(<4 x float> %v, float %e, i32 %i) {
+define <4 x float> @InsertV4xfloat(<4 x float> %v, float %e) {
entry:
- %r = insertelement <4 x float> %v, float %e, i32 %i
- ret <4 x float> %r
+ %r0 = insertelement <4 x float> %v, float %e, i32 0
+ %r1 = insertelement <4 x float> %v, float %e, i32 1
+ %r2 = insertelement <4 x float> %v, float %e, i32 2
+ %r3 = insertelement <4 x float> %v, float %e, i32 3
+ ret <4 x float> %r3
}
-; CHECK-NEXT: define <4 x float> @InsertV4xfloat(<4 x float> %v, float %e, i32 %i) {
+; CHECK-NEXT: define <4 x float> @InsertV4xfloat(<4 x float> %v, float %e) {
; CHECK-NEXT: entry:
-; CHECK-NEXT: %r = insertelement <4 x float> %v, float %e, i32 %i
-; CHECK-NEXT: ret <4 x float> %r
+; CHECK-NEXT: %r0 = insertelement <4 x float> %v, float %e, i32 0
+; CHECK-NEXT: %r1 = insertelement <4 x float> %v, float %e, i32 1
+; CHECK-NEXT: %r2 = insertelement <4 x float> %v, float %e, i32 2
+; CHECK-NEXT: %r3 = insertelement <4 x float> %v, float %e, i32 3
+; CHECK-NEXT: ret <4 x float> %r3
; CHECK-NEXT: }
« src/PNaClTranslator.cpp ('K') | « src/PNaClTranslator.cpp ('k') | tests_lit/reader_tests/insertextract-err.ll » ('j') | tests_lit/reader_tests/insertextract-err.ll » ('J')

Powered by Google App Engine
This is Rietveld 408576698