OLD | NEW |
1 ; This tests the optimization of atomic cmpxchg w/ following cmp + branches. | 1 ; This tests the optimization of atomic cmpxchg w/ following cmp + branches. |
2 | 2 |
3 ; RUN: %p2i -i %s --args -O2 --verbose none \ | 3 ; RUN: %p2i -i %s --args -O2 --verbose none \ |
4 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 4 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
5 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ | 5 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ |
6 ; RUN: | FileCheck --check-prefix=O2 %s | 6 ; RUN: | FileCheck --check-prefix=O2 %s |
7 ; RUN: %p2i -i %s --args -Om1 --verbose none \ | 7 ; RUN: %p2i -i %s --args -Om1 --verbose none \ |
8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ | 8 ; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ | 9 ; RUN: | llvm-objdump -d -symbolize -x86-asm-syntax=intel - \ |
10 ; RUN: | FileCheck --check-prefix=OM1 %s | 10 ; RUN: | FileCheck --check-prefix=OM1 %s |
11 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s | 11 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s |
12 ; TODO(kschimpf) Find out why lc2i is needed. | |
13 ; RUN: %lc2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s | |
14 | 12 |
15 declare i32 @llvm.nacl.atomic.cmpxchg.i32(i32*, i32, i32, i32, i32) | 13 declare i32 @llvm.nacl.atomic.cmpxchg.i32(i32*, i32, i32, i32, i32) |
16 | 14 |
17 | 15 |
18 ; Test that a cmpxchg followed by icmp eq and branch can be optimized to | 16 ; Test that a cmpxchg followed by icmp eq and branch can be optimized to |
19 ; reuse the flags set by the cmpxchg instruction itself. | 17 ; reuse the flags set by the cmpxchg instruction itself. |
20 ; This is only expected to work w/ O2, based on lightweight liveness. | 18 ; This is only expected to work w/ O2, based on lightweight liveness. |
21 ; (Or if we had other means to detect the only use). | 19 ; (Or if we had other means to detect the only use). |
22 declare void @use_value(i32) | 20 declare void @use_value(i32) |
23 | 21 |
(...skipping 121 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
145 ret i32 %r | 143 ret i32 %r |
146 } | 144 } |
147 ; O2-LABEL: test_atomic_cmpxchg_no_opt2 | 145 ; O2-LABEL: test_atomic_cmpxchg_no_opt2 |
148 ; O2: lock | 146 ; O2: lock |
149 ; O2-NEXT: cmpxchg dword ptr [e{{[^a].}}], e{{[^a]}} | 147 ; O2-NEXT: cmpxchg dword ptr [e{{[^a].}}], e{{[^a]}} |
150 ; O2: mov {{.*}} | 148 ; O2: mov {{.*}} |
151 ; O2: cmp | 149 ; O2: cmp |
152 ; O2: je | 150 ; O2: je |
153 | 151 |
154 ; ERRORS-NOT: ICE translation error | 152 ; ERRORS-NOT: ICE translation error |
155 ; DUMP-NOT: SZ | |
OLD | NEW |