OLD | NEW |
1 ; This tests some of the subtleties of Phi lowering. In particular, | 1 ; This tests some of the subtleties of Phi lowering. In particular, |
2 ; it tests that it does the right thing when it tries to enable | 2 ; it tests that it does the right thing when it tries to enable |
3 ; compare/branch fusing. | 3 ; compare/branch fusing. |
4 | 4 |
5 ; TODO(kschimpf) Find out why lc2i must be used. | 5 ; TODO(kschimpf) Find out why lc2i must be used. |
6 ; REQUIRES: allow_llvm_ir_as_input | 6 ; REQUIRES: allow_llvm_ir_as_input |
7 ; RUN: %lc2i -i %s --args -O2 --verbose none --phi-edge-split=0 \ | 7 ; RUN: %lc2i -i %s --args -O2 --verbose none --phi-edge-split=0 \ |
8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 8 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ |
9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - | FileCheck %s | 9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - | FileCheck %s |
10 ; RUN: %lc2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s | 10 ; RUN: %lc2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s |
11 ; RUN: %lc2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s | 11 ; RUN: %lc2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s |
12 | 12 |
13 define internal i32 @testPhi1(i32 %arg) { | 13 define internal i32 @testPhi1(i32 %arg) { |
14 entry: | 14 entry: |
15 %cmp1 = icmp sgt i32 %arg, 0 | 15 %cmp1 = icmp sgt i32 %arg, 0 |
16 br i1 %cmp1, label %next, label %target | 16 br i1 %cmp1, label %next, label %target |
17 next: | 17 next: |
18 br label %target | 18 br label %target |
(...skipping 76 matching lines...) Loading... |
95 | 95 |
96 ; CHECK-LABEL: testPhi3 | 96 ; CHECK-LABEL: testPhi3 |
97 ; CHECK: push [[EBX:.*]] | 97 ; CHECK: push [[EBX:.*]] |
98 ; CHECK: mov {{.*}}, dword ptr [esp | 98 ; CHECK: mov {{.*}}, dword ptr [esp |
99 ; CHECK: mov | 99 ; CHECK: mov |
100 ; CHECK: mov {{.*}}[[ADDR:.*1000]] | 100 ; CHECK: mov {{.*}}[[ADDR:.*1000]] |
101 ; CHECK: cmp {{.*}}, 0 | 101 ; CHECK: cmp {{.*}}, 0 |
102 ; CHECK: jne | 102 ; CHECK: jne |
103 ; CHECK: mov {{.*}}[[ADDR]] | 103 ; CHECK: mov {{.*}}[[ADDR]] |
104 ; CHECK: pop [[EBX]] | 104 ; CHECK: pop [[EBX]] |
OLD | NEW |