OLD | NEW |
1 ; Simple test of the select instruction. The CHECK lines are only | 1 ; Simple test of the select instruction. The CHECK lines are only |
2 ; checking for basic instruction patterns that should be present | 2 ; checking for basic instruction patterns that should be present |
3 ; regardless of the optimization level, so there are no special OPTM1 | 3 ; regardless of the optimization level, so there are no special OPTM1 |
4 ; match lines. | 4 ; match lines. |
5 | 5 |
6 ; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s | 6 ; RUN: %llvm2ice -O2 --verbose none %s | FileCheck %s |
7 ; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck %s | 7 ; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck %s |
8 ; RUN: %llvm2ice -O2 --verbose none %s \ | 8 ; RUN: %llvm2ice -O2 --verbose none %s \ |
9 ; RUN: | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj | 9 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj |
10 ; RUN: %llvm2ice -Om1 --verbose none %s \ | 10 ; RUN: %llvm2ice -Om1 --verbose none %s \ |
11 ; RUN: | llvm-mc -arch=x86 -x86-asm-syntax=intel -filetype=obj | 11 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj |
12 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s | 12 ; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
13 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s | 13 ; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
14 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ | 14 ; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
15 ; RUN: | FileCheck --check-prefix=DUMP %s | 15 ; RUN: | FileCheck --check-prefix=DUMP %s |
16 | 16 |
17 define void @testSelect(i32 %a, i32 %b) { | 17 define void @testSelect(i32 %a, i32 %b) { |
18 entry: | 18 entry: |
19 %cmp = icmp slt i32 %a, %b | 19 %cmp = icmp slt i32 %a, %b |
20 %cond = select i1 %cmp, i32 %a, i32 %b | 20 %cond = select i1 %cmp, i32 %a, i32 %b |
21 tail call void @useInt(i32 %cond) | 21 tail call void @useInt(i32 %cond) |
22 %cmp1 = icmp sgt i32 %a, %b | 22 %cmp1 = icmp sgt i32 %a, %b |
23 %cond2 = select i1 %cmp1, i32 10, i32 20 | 23 %cond2 = select i1 %cmp1, i32 10, i32 20 |
24 tail call void @useInt(i32 %cond2) | 24 tail call void @useInt(i32 %cond2) |
25 ret void | 25 ret void |
26 } | 26 } |
27 | 27 |
28 declare void @useInt(i32) | 28 declare void @useInt(i32) |
29 | 29 |
30 ; CHECK: .globl testSelect | 30 ; CHECK: .globl testSelect |
31 ; CHECK: cmp | 31 ; CHECK: cmp |
32 ; CHECK: cmp | 32 ; CHECK: cmp |
33 ; CHECK: call useInt | 33 ; CHECK: call useInt |
34 ; CHECK: cmp | 34 ; CHECK: cmp |
35 ; CHECK: cmp | 35 ; CHECK: cmp |
36 ; CHECK: call useInt | 36 ; CHECK: call useInt |
37 ; CHECK: ret | 37 ; CHECK: ret |
38 | 38 |
39 ; ERRORS-NOT: ICE translation error | 39 ; ERRORS-NOT: ICE translation error |
40 ; DUMP-NOT: SZ | 40 ; DUMP-NOT: SZ |
OLD | NEW |