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