OLD | NEW |
1 ; Simple test of signed and unsigned integer conversions. | 1 ; Simple test of signed and unsigned integer conversions. |
2 | 2 |
3 ; TODO(jvoung): llvm-objdump doesn't symbolize global symbols well, so we | 3 ; RUN: %p2i --assemble --disassemble -i %s --args -O2 --verbose none \ |
4 ; have [0] == i8v, [2] == i16v, [4] == i32v, [8] == i64v, etc. | 4 ; RUN: | FileCheck %s |
5 | 5 ; RUN: %p2i --assemble --disassemble -i %s --args -Om1 --verbose none \ |
6 ; RUN: %p2i -i %s --args -O2 --verbose none \ | 6 ; RUN: | FileCheck %s |
7 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ | |
8 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | |
9 ; RUN: %p2i -i %s --args -Om1 --verbose none \ | |
10 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ | |
11 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | |
12 | 7 |
13 @i8v = internal global [1 x i8] zeroinitializer, align 1 | 8 @i8v = internal global [1 x i8] zeroinitializer, align 1 |
14 @i16v = internal global [2 x i8] zeroinitializer, align 2 | 9 @i16v = internal global [2 x i8] zeroinitializer, align 2 |
15 @i32v = internal global [4 x i8] zeroinitializer, align 4 | 10 @i32v = internal global [4 x i8] zeroinitializer, align 4 |
16 @i64v = internal global [8 x i8] zeroinitializer, align 8 | 11 @i64v = internal global [8 x i8] zeroinitializer, align 8 |
17 @u8v = internal global [1 x i8] zeroinitializer, align 1 | 12 @u8v = internal global [1 x i8] zeroinitializer, align 1 |
18 @u16v = internal global [2 x i8] zeroinitializer, align 2 | 13 @u16v = internal global [2 x i8] zeroinitializer, align 2 |
19 @u32v = internal global [4 x i8] zeroinitializer, align 4 | 14 @u32v = internal global [4 x i8] zeroinitializer, align 4 |
20 @u64v = internal global [8 x i8] zeroinitializer, align 8 | 15 @u64v = internal global [8 x i8] zeroinitializer, align 8 |
21 | 16 |
22 define void @from_int8() { | 17 define void @from_int8() { |
23 entry: | 18 entry: |
24 %__0 = bitcast [1 x i8]* @i8v to i8* | 19 %__0 = bitcast [1 x i8]* @i8v to i8* |
25 %v0 = load i8* %__0, align 1 | 20 %v0 = load i8* %__0, align 1 |
26 %v1 = sext i8 %v0 to i16 | 21 %v1 = sext i8 %v0 to i16 |
27 %__3 = bitcast [2 x i8]* @i16v to i16* | 22 %__3 = bitcast [2 x i8]* @i16v to i16* |
28 store i16 %v1, i16* %__3, align 1 | 23 store i16 %v1, i16* %__3, align 1 |
29 %v2 = sext i8 %v0 to i32 | 24 %v2 = sext i8 %v0 to i32 |
30 %__5 = bitcast [4 x i8]* @i32v to i32* | 25 %__5 = bitcast [4 x i8]* @i32v to i32* |
31 store i32 %v2, i32* %__5, align 1 | 26 store i32 %v2, i32* %__5, align 1 |
32 %v3 = sext i8 %v0 to i64 | 27 %v3 = sext i8 %v0 to i64 |
33 %__7 = bitcast [8 x i8]* @i64v to i64* | 28 %__7 = bitcast [8 x i8]* @i64v to i64* |
34 store i64 %v3, i64* %__7, align 1 | 29 store i64 %v3, i64* %__7, align 1 |
35 ret void | 30 ret void |
36 } | 31 } |
37 ; CHECK-LABEL: from_int8 | 32 ; CHECK-LABEL: from_int8 |
38 ; CHECK: mov {{.*}}, byte ptr [ | 33 ; CHECK: mov {{.*}},BYTE PTR |
39 ; CHECK: movsx e{{.*}}, {{[a-d]l|byte ptr}} | 34 ; CHECK: movsx e{{.*}},{{[a-d]l|BYTE PTR}} |
40 ; CHECK: mov word ptr [ | 35 ; CHECK: mov WORD PTR |
41 ; CHECK: movsx | 36 ; CHECK: movsx |
42 ; CHECK: mov dword ptr [ | 37 ; CHECK: mov DWORD PTR |
43 ; CHECK: movsx | 38 ; CHECK: movsx |
44 ; CHECK: sar {{.*}}, 31 | 39 ; CHECK: sar {{.*}},0x1f |
45 ; This appears to be a bug in llvm-mc. It should be i64v and i64+4. | 40 ; This appears to be a bug in llvm-mc. It should be i64v and i64+4. |
46 ; CHECK-DAG: [.bss] | 41 ; CHECK-DAG: .bss |
47 ; CHECK-DAG: [.bss] | 42 ; CHECK-DAG: .bss |
48 | 43 |
49 define void @from_int16() { | 44 define void @from_int16() { |
50 entry: | 45 entry: |
51 %__0 = bitcast [2 x i8]* @i16v to i16* | 46 %__0 = bitcast [2 x i8]* @i16v to i16* |
52 %v0 = load i16* %__0, align 1 | 47 %v0 = load i16* %__0, align 1 |
53 %v1 = trunc i16 %v0 to i8 | 48 %v1 = trunc i16 %v0 to i8 |
54 %__3 = bitcast [1 x i8]* @i8v to i8* | 49 %__3 = bitcast [1 x i8]* @i8v to i8* |
55 store i8 %v1, i8* %__3, align 1 | 50 store i8 %v1, i8* %__3, align 1 |
56 %v2 = sext i16 %v0 to i32 | 51 %v2 = sext i16 %v0 to i32 |
57 %__5 = bitcast [4 x i8]* @i32v to i32* | 52 %__5 = bitcast [4 x i8]* @i32v to i32* |
58 store i32 %v2, i32* %__5, align 1 | 53 store i32 %v2, i32* %__5, align 1 |
59 %v3 = sext i16 %v0 to i64 | 54 %v3 = sext i16 %v0 to i64 |
60 %__7 = bitcast [8 x i8]* @i64v to i64* | 55 %__7 = bitcast [8 x i8]* @i64v to i64* |
61 store i64 %v3, i64* %__7, align 1 | 56 store i64 %v3, i64* %__7, align 1 |
62 ret void | 57 ret void |
63 } | 58 } |
64 ; CHECK-LABEL: from_int16 | 59 ; CHECK-LABEL: from_int16 |
65 ; CHECK: mov {{.*}}, word ptr [ | 60 ; CHECK: mov {{.*}},WORD PTR |
66 ; CHECK: [.bss] | 61 ; CHECK: .bss |
67 ; CHECK: movsx e{{.*}}, {{.*x|[ds]i|bp|word ptr}} | 62 ; CHECK: movsx e{{.*}},{{.*x|[ds]i|bp|WORD PTR}} |
68 ; CHECK: [.bss] | 63 ; CHECK: .bss |
69 ; CHECK: movsx e{{.*}}, {{.*x|[ds]i|bp|word ptr}} | 64 ; CHECK: movsx e{{.*}},{{.*x|[ds]i|bp|WORD PTR}} |
70 ; CHECK: sar {{.*}}, 31 | 65 ; CHECK: sar {{.*}},0x1f |
71 ; CHECK: [.bss] | 66 ; CHECK: .bss |
72 | 67 |
73 define void @from_int32() { | 68 define void @from_int32() { |
74 entry: | 69 entry: |
75 %__0 = bitcast [4 x i8]* @i32v to i32* | 70 %__0 = bitcast [4 x i8]* @i32v to i32* |
76 %v0 = load i32* %__0, align 1 | 71 %v0 = load i32* %__0, align 1 |
77 %v1 = trunc i32 %v0 to i8 | 72 %v1 = trunc i32 %v0 to i8 |
78 %__3 = bitcast [1 x i8]* @i8v to i8* | 73 %__3 = bitcast [1 x i8]* @i8v to i8* |
79 store i8 %v1, i8* %__3, align 1 | 74 store i8 %v1, i8* %__3, align 1 |
80 %v2 = trunc i32 %v0 to i16 | 75 %v2 = trunc i32 %v0 to i16 |
81 %__5 = bitcast [2 x i8]* @i16v to i16* | 76 %__5 = bitcast [2 x i8]* @i16v to i16* |
82 store i16 %v2, i16* %__5, align 1 | 77 store i16 %v2, i16* %__5, align 1 |
83 %v3 = sext i32 %v0 to i64 | 78 %v3 = sext i32 %v0 to i64 |
84 %__7 = bitcast [8 x i8]* @i64v to i64* | 79 %__7 = bitcast [8 x i8]* @i64v to i64* |
85 store i64 %v3, i64* %__7, align 1 | 80 store i64 %v3, i64* %__7, align 1 |
86 ret void | 81 ret void |
87 } | 82 } |
88 ; CHECK-LABEL: from_int32 | 83 ; CHECK-LABEL: from_int32 |
89 ; CHECK: [.bss] | 84 ; CHECK: .bss |
90 ; CHECK: [.bss] | 85 ; CHECK: .bss |
91 ; CHECK: [.bss] | 86 ; CHECK: .bss |
92 ; CHECK: sar {{.*}}, 31 | 87 ; CHECK: sar {{.*}},0x1f |
93 ; CHECK: [.bss] | 88 ; CHECK: .bss |
94 | 89 |
95 define void @from_int64() { | 90 define void @from_int64() { |
96 entry: | 91 entry: |
97 %__0 = bitcast [8 x i8]* @i64v to i64* | 92 %__0 = bitcast [8 x i8]* @i64v to i64* |
98 %v0 = load i64* %__0, align 1 | 93 %v0 = load i64* %__0, align 1 |
99 %v1 = trunc i64 %v0 to i8 | 94 %v1 = trunc i64 %v0 to i8 |
100 %__3 = bitcast [1 x i8]* @i8v to i8* | 95 %__3 = bitcast [1 x i8]* @i8v to i8* |
101 store i8 %v1, i8* %__3, align 1 | 96 store i8 %v1, i8* %__3, align 1 |
102 %v2 = trunc i64 %v0 to i16 | 97 %v2 = trunc i64 %v0 to i16 |
103 %__5 = bitcast [2 x i8]* @i16v to i16* | 98 %__5 = bitcast [2 x i8]* @i16v to i16* |
104 store i16 %v2, i16* %__5, align 1 | 99 store i16 %v2, i16* %__5, align 1 |
105 %v3 = trunc i64 %v0 to i32 | 100 %v3 = trunc i64 %v0 to i32 |
106 %__7 = bitcast [4 x i8]* @i32v to i32* | 101 %__7 = bitcast [4 x i8]* @i32v to i32* |
107 store i32 %v3, i32* %__7, align 1 | 102 store i32 %v3, i32* %__7, align 1 |
108 ret void | 103 ret void |
109 } | 104 } |
110 ; CHECK-LABEL: from_int64 | 105 ; CHECK-LABEL: from_int64 |
111 ; CHECK: [.bss] | 106 ; CHECK: .bss |
112 ; CHECK: [.bss] | 107 ; CHECK: .bss |
113 ; CHECK: [.bss] | 108 ; CHECK: .bss |
114 ; CHECK: [.bss] | 109 ; CHECK: .bss |
115 | 110 |
116 | 111 |
117 define void @from_uint8() { | 112 define void @from_uint8() { |
118 entry: | 113 entry: |
119 %__0 = bitcast [1 x i8]* @u8v to i8* | 114 %__0 = bitcast [1 x i8]* @u8v to i8* |
120 %v0 = load i8* %__0, align 1 | 115 %v0 = load i8* %__0, align 1 |
121 %v1 = zext i8 %v0 to i16 | 116 %v1 = zext i8 %v0 to i16 |
122 %__3 = bitcast [2 x i8]* @i16v to i16* | 117 %__3 = bitcast [2 x i8]* @i16v to i16* |
123 store i16 %v1, i16* %__3, align 1 | 118 store i16 %v1, i16* %__3, align 1 |
124 %v2 = zext i8 %v0 to i32 | 119 %v2 = zext i8 %v0 to i32 |
125 %__5 = bitcast [4 x i8]* @i32v to i32* | 120 %__5 = bitcast [4 x i8]* @i32v to i32* |
126 store i32 %v2, i32* %__5, align 1 | 121 store i32 %v2, i32* %__5, align 1 |
127 %v3 = zext i8 %v0 to i64 | 122 %v3 = zext i8 %v0 to i64 |
128 %__7 = bitcast [8 x i8]* @i64v to i64* | 123 %__7 = bitcast [8 x i8]* @i64v to i64* |
129 store i64 %v3, i64* %__7, align 1 | 124 store i64 %v3, i64* %__7, align 1 |
130 ret void | 125 ret void |
131 } | 126 } |
132 ; CHECK-LABEL: from_uint8 | 127 ; CHECK-LABEL: from_uint8 |
133 ; CHECK: [.bss] | 128 ; CHECK: .bss |
134 ; CHECK: movzx e{{.*}}, {{[a-d]l|byte ptr}} | 129 ; CHECK: movzx e{{.*}},{{[a-d]l|BYTE PTR}} |
135 ; CHECK: [.bss] | 130 ; CHECK: .bss |
136 ; CHECK: movzx | 131 ; CHECK: movzx |
137 ; CHECK: [.bss] | 132 ; CHECK: .bss |
138 ; CHECK: movzx | 133 ; CHECK: movzx |
139 ; CHECK: mov {{.*}}, 0 | 134 ; CHECK: mov {{.*}},0x0 |
140 ; CHECK: [.bss] | 135 ; CHECK: .bss |
141 | 136 |
142 define void @from_uint16() { | 137 define void @from_uint16() { |
143 entry: | 138 entry: |
144 %__0 = bitcast [2 x i8]* @u16v to i16* | 139 %__0 = bitcast [2 x i8]* @u16v to i16* |
145 %v0 = load i16* %__0, align 1 | 140 %v0 = load i16* %__0, align 1 |
146 %v1 = trunc i16 %v0 to i8 | 141 %v1 = trunc i16 %v0 to i8 |
147 %__3 = bitcast [1 x i8]* @i8v to i8* | 142 %__3 = bitcast [1 x i8]* @i8v to i8* |
148 store i8 %v1, i8* %__3, align 1 | 143 store i8 %v1, i8* %__3, align 1 |
149 %v2 = zext i16 %v0 to i32 | 144 %v2 = zext i16 %v0 to i32 |
150 %__5 = bitcast [4 x i8]* @i32v to i32* | 145 %__5 = bitcast [4 x i8]* @i32v to i32* |
151 store i32 %v2, i32* %__5, align 1 | 146 store i32 %v2, i32* %__5, align 1 |
152 %v3 = zext i16 %v0 to i64 | 147 %v3 = zext i16 %v0 to i64 |
153 %__7 = bitcast [8 x i8]* @i64v to i64* | 148 %__7 = bitcast [8 x i8]* @i64v to i64* |
154 store i64 %v3, i64* %__7, align 1 | 149 store i64 %v3, i64* %__7, align 1 |
155 ret void | 150 ret void |
156 } | 151 } |
157 ; CHECK-LABEL: from_uint16 | 152 ; CHECK-LABEL: from_uint16 |
158 ; CHECK: [.bss] | 153 ; CHECK: .bss |
159 ; CHECK: [.bss] | 154 ; CHECK: .bss |
160 ; CHECK: movzx e{{.*}}, {{.*x|[ds]i|bp|word ptr}} | 155 ; CHECK: movzx e{{.*}},{{.*x|[ds]i|bp|WORD PTR}} |
161 ; CHECK: [.bss] | 156 ; CHECK: .bss |
162 ; CHECK: movzx e{{.*}}, {{.*x|[ds]i|bp|word ptr}} | 157 ; CHECK: movzx e{{.*}},{{.*x|[ds]i|bp|WORD PTR}} |
163 ; CHECK: mov {{.*}}, 0 | 158 ; CHECK: mov {{.*}},0x0 |
164 ; CHECK: [.bss] | 159 ; CHECK: .bss |
165 | 160 |
166 define void @from_uint32() { | 161 define void @from_uint32() { |
167 entry: | 162 entry: |
168 %__0 = bitcast [4 x i8]* @u32v to i32* | 163 %__0 = bitcast [4 x i8]* @u32v to i32* |
169 %v0 = load i32* %__0, align 1 | 164 %v0 = load i32* %__0, align 1 |
170 %v1 = trunc i32 %v0 to i8 | 165 %v1 = trunc i32 %v0 to i8 |
171 %__3 = bitcast [1 x i8]* @i8v to i8* | 166 %__3 = bitcast [1 x i8]* @i8v to i8* |
172 store i8 %v1, i8* %__3, align 1 | 167 store i8 %v1, i8* %__3, align 1 |
173 %v2 = trunc i32 %v0 to i16 | 168 %v2 = trunc i32 %v0 to i16 |
174 %__5 = bitcast [2 x i8]* @i16v to i16* | 169 %__5 = bitcast [2 x i8]* @i16v to i16* |
175 store i16 %v2, i16* %__5, align 1 | 170 store i16 %v2, i16* %__5, align 1 |
176 %v3 = zext i32 %v0 to i64 | 171 %v3 = zext i32 %v0 to i64 |
177 %__7 = bitcast [8 x i8]* @i64v to i64* | 172 %__7 = bitcast [8 x i8]* @i64v to i64* |
178 store i64 %v3, i64* %__7, align 1 | 173 store i64 %v3, i64* %__7, align 1 |
179 ret void | 174 ret void |
180 } | 175 } |
181 ; CHECK-LABEL: from_uint32 | 176 ; CHECK-LABEL: from_uint32 |
182 ; CHECK: [.bss] | 177 ; CHECK: .bss |
183 ; CHECK: [.bss] | 178 ; CHECK: .bss |
184 ; CHECK: [.bss] | 179 ; CHECK: .bss |
185 ; CHECK: mov {{.*}}, 0 | 180 ; CHECK: mov {{.*}},0x0 |
186 ; CHECK: [.bss] | 181 ; CHECK: .bss |
187 | 182 |
188 define void @from_uint64() { | 183 define void @from_uint64() { |
189 entry: | 184 entry: |
190 %__0 = bitcast [8 x i8]* @u64v to i64* | 185 %__0 = bitcast [8 x i8]* @u64v to i64* |
191 %v0 = load i64* %__0, align 1 | 186 %v0 = load i64* %__0, align 1 |
192 %v1 = trunc i64 %v0 to i8 | 187 %v1 = trunc i64 %v0 to i8 |
193 %__3 = bitcast [1 x i8]* @i8v to i8* | 188 %__3 = bitcast [1 x i8]* @i8v to i8* |
194 store i8 %v1, i8* %__3, align 1 | 189 store i8 %v1, i8* %__3, align 1 |
195 %v2 = trunc i64 %v0 to i16 | 190 %v2 = trunc i64 %v0 to i16 |
196 %__5 = bitcast [2 x i8]* @i16v to i16* | 191 %__5 = bitcast [2 x i8]* @i16v to i16* |
197 store i16 %v2, i16* %__5, align 1 | 192 store i16 %v2, i16* %__5, align 1 |
198 %v3 = trunc i64 %v0 to i32 | 193 %v3 = trunc i64 %v0 to i32 |
199 %__7 = bitcast [4 x i8]* @i32v to i32* | 194 %__7 = bitcast [4 x i8]* @i32v to i32* |
200 store i32 %v3, i32* %__7, align 1 | 195 store i32 %v3, i32* %__7, align 1 |
201 ret void | 196 ret void |
202 } | 197 } |
203 ; CHECK-LABEL: from_uint64 | 198 ; CHECK-LABEL: from_uint64 |
204 ; CHECK: [.bss] | 199 ; CHECK: .bss |
205 ; CHECK: [.bss] | 200 ; CHECK: .bss |
206 ; CHECK: [.bss] | 201 ; CHECK: .bss |
207 ; CHECK: [.bss] | 202 ; CHECK: .bss |
OLD | NEW |