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