| 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 |