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 \ | 6 ; RUN: %llvm2ice -O2 --verbose none %s \ |
7 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 7 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
8 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | 8 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
9 ; RUN: %llvm2ice -Om1 --verbose none %s \ | 9 ; RUN: %llvm2ice -Om1 --verbose none %s \ |
10 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 10 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
(...skipping 28 matching lines...) Expand all Loading... |
39 ; CHECK: call useInt | 39 ; CHECK: call useInt |
40 ; CHECK: cmp | 40 ; CHECK: cmp |
41 ; CHECK: cmp | 41 ; CHECK: cmp |
42 ; CHECK: call useInt | 42 ; CHECK: call useInt |
43 ; CHECK: ret | 43 ; CHECK: ret |
44 | 44 |
45 ; Check for valid addressing mode in the cmp instruction when the | 45 ; Check for valid addressing mode in the cmp instruction when the |
46 ; operand is an immediate. | 46 ; operand is an immediate. |
47 define i32 @testSelectImm32(i32 %a, i32 %b) { | 47 define i32 @testSelectImm32(i32 %a, i32 %b) { |
48 entry: | 48 entry: |
49 %cond = select i1 0, i32 %a, i32 %b | 49 %cond = select i1 false, i32 %a, i32 %b |
50 ret i32 %cond | 50 ret i32 %cond |
51 } | 51 } |
52 ; CHECK-LABEL: testSelectImm32 | 52 ; CHECK-LABEL: testSelectImm32 |
53 ; CHECK-NOT: cmp {{[0-9]+}}, | 53 ; CHECK-NOT: cmp {{[0-9]+}}, |
54 | 54 |
55 ; Check for valid addressing mode in the cmp instruction when the | 55 ; Check for valid addressing mode in the cmp instruction when the |
56 ; operand is an immediate. There is a different x86-32 lowering | 56 ; operand is an immediate. There is a different x86-32 lowering |
57 ; sequence for 64-bit operands. | 57 ; sequence for 64-bit operands. |
58 define i64 @testSelectImm64(i64 %a, i64 %b) { | 58 define i64 @testSelectImm64(i64 %a, i64 %b) { |
59 entry: | 59 entry: |
60 %cond = select i1 1, i64 %a, i64 %b | 60 %cond = select i1 true, i64 %a, i64 %b |
61 ret i64 %cond | 61 ret i64 %cond |
62 } | 62 } |
63 ; CHECK-LABEL: testSelectImm64 | 63 ; CHECK-LABEL: testSelectImm64 |
64 ; CHECK-NOT: cmp {{[0-9]+}}, | 64 ; CHECK-NOT: cmp {{[0-9]+}}, |
65 | 65 |
66 ; ERRORS-NOT: ICE translation error | 66 ; ERRORS-NOT: ICE translation error |
67 ; DUMP-NOT: SZ | 67 ; DUMP-NOT: SZ |
OLD | NEW |