OLD | NEW |
1 ; RUIN: %llvm2ice -verbose inst %s | FileCheck %s | 1 ; This is a test of C-level conversion operations that clang lowers |
2 ; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 2 ; into pairs of shifts. |
| 3 |
| 4 ; RUIN: %llvm2ice -O2 --verbose none %s | FileCheck %s |
| 5 ; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck %s |
| 6 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
3 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 7 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
4 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | 8 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
5 ; RUN: | FileCheck --check-prefix=DUMP %s | 9 ; RUN: | FileCheck --check-prefix=DUMP %s |
6 | 10 |
7 @i1 = global [4 x i8] zeroinitializer, align 4 | 11 @i1 = global [4 x i8] zeroinitializer, align 4 |
8 @i2 = global [4 x i8] zeroinitializer, align 4 | 12 @i2 = global [4 x i8] zeroinitializer, align 4 |
9 @u1 = global [4 x i8] zeroinitializer, align 4 | 13 @u1 = global [4 x i8] zeroinitializer, align 4 |
10 | 14 |
11 define void @conv1() { | 15 define void @conv1() { |
12 entry: | 16 entry: |
13 %__0 = bitcast [4 x i8]* @u1 to i32* | 17 %__0 = bitcast [4 x i8]* @u1 to i32* |
14 %v0 = load i32* %__0, align 1 | 18 %v0 = load i32* %__0, align 1 |
15 %sext = shl i32 %v0, 24 | 19 %sext = shl i32 %v0, 24 |
16 %v1 = ashr i32 %sext, 24 | 20 %v1 = ashr i32 %sext, 24 |
17 %__4 = bitcast [4 x i8]* @i1 to i32* | 21 %__4 = bitcast [4 x i8]* @i1 to i32* |
18 store i32 %v1, i32* %__4, align 1 | 22 store i32 %v1, i32* %__4, align 1 |
19 ret void | 23 ret void |
20 ; CHECK: shl eax, 24 | |
21 ; CHECK-NEXT: sar eax, 24 | |
22 } | 24 } |
| 25 ; CHECK: conv1: |
| 26 ; CHECK: shl {{.*}}, 24 |
| 27 ; CHECK: sar {{.*}}, 24 |
23 | 28 |
24 define void @conv2() { | 29 define void @conv2() { |
25 entry: | 30 entry: |
26 %__0 = bitcast [4 x i8]* @u1 to i32* | 31 %__0 = bitcast [4 x i8]* @u1 to i32* |
27 %v0 = load i32* %__0, align 1 | 32 %v0 = load i32* %__0, align 1 |
28 %sext1 = shl i32 %v0, 16 | 33 %sext1 = shl i32 %v0, 16 |
29 %v1 = ashr i32 %sext1, 16 | 34 %v1 = ashr i32 %sext1, 16 |
30 %__4 = bitcast [4 x i8]* @i2 to i32* | 35 %__4 = bitcast [4 x i8]* @i2 to i32* |
31 store i32 %v1, i32* %__4, align 1 | 36 store i32 %v1, i32* %__4, align 1 |
32 ret void | 37 ret void |
33 ; CHECK: shl eax, 16 | |
34 ; CHECK-NEXT: sar eax, 16 | |
35 } | 38 } |
| 39 ; CHECK: conv2: |
| 40 ; CHECK: shl {{.*}}, 16 |
| 41 ; CHECK: sar {{.*}}, 16 |
36 | 42 |
37 ; ERRORS-NOT: ICE translation error | 43 ; ERRORS-NOT: ICE translation error |
38 ; DUMP-NOT: SZ | 44 ; DUMP-NOT: SZ |
OLD | NEW |