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

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: test/NaCl/Bitcode/pnacl-bcdis/load.ll

Issue 939073008: Rebased PNaCl localmods in LLVM to 223109 (Closed)
Patch Set: undo localmod Created 5 years, 10 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 unified diff | Download patch
« no previous file with comments | « test/NaCl/Bitcode/pnacl-bcdis/intrinsics-bad-types.ll ('k') | test/NaCl/Bitcode/pnacl-bcdis/no-abbreviations.ll » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
1 ; Test the load instruction.
2
3 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-bccompress --remove-abbreviations \
4 ; RUN: | not pnacl-bcdis | FileCheck %s
5
6 ; Test valid loads.
7 define void @GoodTests(i32 %p0) {
8 ; CHECK: | | %b0:
9
10 %ai8 = inttoptr i32 %p0 to i8*
11 %v0 = load i8* %ai8, align 1
12
13 ; CHECK-NEXT: {{.*}}| 3: <20, 1, 1, 3> | %v0 = load i8* %p0, al ign 1;
14
15 %ai16 = inttoptr i32 %p0 to i16*
16 %v1 = load i16* %ai16, align 1
17
18 ; CHECK-NEXT: {{.*}}| 3: <20, 2, 1, 4> | %v1 = load i16* %p0, a lign 1;
19
20 %ai32 = inttoptr i32 %p0 to i32*
21 %v2 = load i32* %ai32, align 1
22
23 ; CHECK-NEXT: {{.*}}| 3: <20, 3, 1, 0> | %v2 = load i32* %p0, a lign 1;
24
25 %ai64 = inttoptr i32 %p0 to i64*
26 %v3 = load i64* %ai64, align 1
27
28 ; CHECK-NEXT: {{.*}}| 3: <20, 4, 1, 5> | %v3 = load i64* %p0, a lign 1;
29
30 %af = inttoptr i32 %p0 to float*
31 %v4 = load float* %af, align 1
32 %v5 = load float* %af, align 4
33
34 ; CHECK-NEXT: {{.*}}| 3: <20, 5, 1, 1> | %v4 = load float* %p0, align 1;
35 ; CHECK-NEXT: {{.*}}| 3: <20, 6, 3, 1> | %v5 = load float* %p0, align 4;
36
37 %ad = inttoptr i32 %p0 to double*
38 %v6 = load double* %ad, align 1
39 %v7 = load double* %ad, align 8
40
41 ; CHECK-NEXT: {{.*}}| 3: <20, 7, 1, 2> | %v6 = load double* %p0 , align 1;
42 ; CHECK-NEXT: {{.*}}| 3: <20, 8, 4, 2> | %v7 = load double* %p0 , align 8;
43
44 %av16_i8 = inttoptr i32 %p0 to <16 x i8>*
45 %v8 = load <16 x i8>* %av16_i8, align 1
46
47 ; CHECK-NEXT: {{.*}}| 3: <20, 9, 1, 6> | %v8 = load <16 x i8>* %p0, align 1;
48
49 %av8_i16 = inttoptr i32 %p0 to <8 x i16>*
50 %v9 = load <8 x i16>* %av8_i16, align 2
51
52 ; CHECK-NEXT: {{.*}}| 3: <20, 10, 2, 7> | %v9 = load <8 x i16>* %p0, align 2;
53
54 %av4_i32 = inttoptr i32 %p0 to <4 x i32>*
55 %v10 = load <4 x i32>* %av4_i32, align 4
56
57 ; CHECK-NEXT: {{.*}}| 3: <20, 11, 3, 8> | %v10 = load <4 x i32>* %p0,
58 ; CHECK-NEXT: | | align 4;
59
60 %av4_f = inttoptr i32 %p0 to <4 x float>*
61 %v11 = load <4 x float>* %av4_f, align 4
62
63 ; CHECK-NEXT: {{.*}}| 3: <20, 12, 3, 9> | %v11 = load <4 x float >* %p0,
64 ; CHECK-NEXT: | | align 4;
65
66 ; Verify correct type loaded.
67 %v12 = add i8 %v0, %v0
68 %v13 = add i16 %v1, %v1
69 %v14 = add i32 %v2, %v2
70 %v15 = add i64 %v3, %v3
71 %v16 = fadd float %v4, %v5
72 %v17 = fadd double %v6, %v7
73 %v18 = add <16 x i8> %v8, %v8
74 %v19 = add <8 x i16> %v9, %v9
75 %v20 = add <4 x i32> %v10, %v10
76 %v21 = fadd <4 x float> %v11, %v11
77
78 ; CHECK-NEXT: {{.*}}| 3: <2, 12, 12, 0> | %v12 = add i8 %v0, %v0 ;
79 ; CHECK-NEXT: {{.*}}| 3: <2, 12, 12, 0> | %v13 = add i16 %v1, %v 1;
80 ; CHECK-NEXT: {{.*}}| 3: <2, 12, 12, 0> | %v14 = add i32 %v2, %v 2;
81 ; CHECK-NEXT: {{.*}}| 3: <2, 12, 12, 0> | %v15 = add i64 %v3, %v 3;
82 ; CHECK-NEXT: {{.*}}| 3: <2, 12, 11, 0> | %v16 = fadd float %v4, %v5;
83 ; CHECK-NEXT: {{.*}}| 3: <2, 11, 10, 0> | %v17 = fadd double %v6 , %v7;
84 ; CHECK-NEXT: {{.*}}| 3: <2, 10, 10, 0> | %v18 = add <16 x i8> % v8, %v8;
85 ; CHECK-NEXT: {{.*}}| 3: <2, 10, 10, 0> | %v19 = add <8 x i16> % v9, %v9;
86 ; CHECK-NEXT: {{.*}}| 3: <2, 10, 10, 0> | %v20 = add <4 x i32> % v10, %v10;
87 ; CHECK-NEXT: {{.*}}| 3: <2, 10, 10, 0> | %v21 = fadd <4 x float > %v11, %v11;
88
89 ret void
90 ; CHECK-NEXT: {{.*}}| 3: <10> | ret void;
91 }
92
93
94
95 ; Test invalid loads.
96 define void @BadTests(i32 %p0) {
97 ; CHECK: | | %b0:
98
99 %ai1 = inttoptr i32 %p0 to i1*
100 %v0 = load i1* %ai1
101
102 ; CHECK-NEXT: {{.*}}| 3: <20, 1, 0, 10> | %v0 = load i1* %p0, al ign 0;
103 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for i1. Expects: 1
104
105 %ai8 = inttoptr i32 %p0 to i8*
106 %v1 = load i8* %ai8
107 ; CHECK-NEXT: {{.*}}| 3: <20, 2, 0, 3> | %v1 = load i8* %p0, al ign 0;
108 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for i8. Expects: 1
109
110 %ai16 = inttoptr i32 %p0 to i16*
111 %v2 = load i16* %ai16
112
113 ; CHECK-NEXT: {{.*}}| 3: <20, 3, 0, 4> | %v2 = load i16* %p0, a lign 0;
114 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for i16. Expects: 1
115
116 %ai32 = inttoptr i32 %p0 to i32*
117 %v3 = load i32* %ai32
118
119 ; CHECK-NEXT: {{.*}}| 3: <20, 4, 0, 0> | %v3 = load i32* %p0, a lign 0;
120 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for i32. Expects: 1
121
122 %ai64 = inttoptr i32 %p0 to i64*
123 %v4 = load i64* %ai64
124
125 ; CHECK-NEXT: {{.*}}| 3: <20, 5, 0, 5> | %v4 = load i64* %p0, a lign 0;
126 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for i64. Expects: 1
127
128 %af = inttoptr i32 %p0 to float*
129 %v5 = load float* %af
130
131 ; CHECK-NEXT: {{.*}}| 3: <20, 6, 0, 1> | %v5 = load float* %p0, align 0;
132 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for float. Expects: 1 or 4
133
134 %ad = inttoptr i32 %p0 to double*
135 %v6 = load double* %ad, align 4
136
137 ; CHECK-NEXT: {{.*}}| 3: <20, 7, 3, 2> | %v6 = load double* %p0 , align 4;
138 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for double. Expects: 1 or 8
139
140 %av16_i8 = inttoptr i32 %p0 to <16 x i8>*
141 %v7 = load <16 x i8>* %av16_i8, align 8
142
143 ; CHECK-NEXT: {{.*}}| 3: <20, 8, 4, 6> | %v7 = load <16 x i8>* %p0, align 8;
144 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for <16 x i8>. Expects: 1
145
146 %av8_i16 = inttoptr i32 %p0 to <8 x i16>*
147 %v8 = load <8 x i16>* %av8_i16, align 1
148
149 ; CHECK-NEXT: {{.*}}| 3: <20, 9, 1, 7> | %v8 = load <8 x i16>* %p0, align 1;
150 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for <8 x i16>. Expects: 2
151
152 %av4_i32 = inttoptr i32 %p0 to <4 x i32>*
153 %v9 = load <4 x i32>* %av4_i32, align 1
154
155 ; CHECK-NEXT: {{.*}}| 3: <20, 10, 1, 8> | %v9 = load <4 x i32>* %p0, align 1;
156 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for <4 x i32>. Expects: 4
157
158 %av4_f = inttoptr i32 %p0 to <4 x float>*
159 %v10 = load <4 x float>* %av4_f, align 1
160
161 ; CHECK-NEXT: {{.*}}| 3: <20, 11, 1, 9> | %v10 = load <4 x float >* %p0,
162 ; CHECK-NEXT: | | align 1;
163 ; CHECK-NEXT:Error({{.*}}): load: Illegal alignment for <4 x float>. Expects: 4
164
165 ; Note: vectors of form <N x i1> can't be loaded because no alignment
166 ; value is valid.
167
168 %av4_i1 = inttoptr i32 %p0 to <4 x i1>*
169 %v11 = load <4 x i1>* %av4_i1, align 1
170
171 ; CHECK-NEXT: {{.*}}| 3: <20, 12, 1, 13> | %v11 = load <4 x i1>* %p0, align 1;
172 ; CHECK-NEXT:Error({{.*}}): load: Not allowed for type: <4 x i1>
173
174 %av8_i1 = inttoptr i32 %p0 to <8 x i1>*
175 %v12 = load <8 x i1>* %av8_i1, align 1
176
177 ; CHECK-NEXT: {{.*}}| 3: <20, 13, 1, 14> | %v12 = load <8 x i1>* %p0, align 1;
178 ; CHECK-NEXT:Error({{.*}}): load: Not allowed for type: <8 x i1>
179
180 %av16_i1 = inttoptr i32 %p0 to <16 x i1>*
181 %v13 = load <16 x i1>* %av16_i1, align 1
182
183 ; CHECK-NEXT: {{.*}}| 3: <20, 14, 1, 15> | %v13 = load <16 x i1>* %p0,
184 ; CHECK-NEXT: | | align 1;
185 ; CHECK-NEXT:Error({{.*}}): load: Not allowed for type: <16 x i1>
186
187 ret void
188 ; CHECK-NEXT: {{.*}}| 3: <10> | ret void;
189
190 }
191
OLDNEW
« no previous file with comments | « test/NaCl/Bitcode/pnacl-bcdis/intrinsics-bad-types.ll ('k') | test/NaCl/Bitcode/pnacl-bcdis/no-abbreviations.ll » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698