diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-08-31 21:37:06 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-08-31 21:37:06 +0000 |
| commit | 24adac8b79a35af84fa19d210b00e9fba71e0085 (patch) | |
| tree | 6b5c884b0d81f2a7ca98e8718fffa5a15b132947 /test/Transforms/SCCP | |
| parent | 94fca8300d61cc038030c31014116df38b74e986 (diff) | |
| download | external_llvm-24adac8b79a35af84fa19d210b00e9fba71e0085.zip external_llvm-24adac8b79a35af84fa19d210b00e9fba71e0085.tar.gz external_llvm-24adac8b79a35af84fa19d210b00e9fba71e0085.tar.bz2 | |
Add tests for the transformations SCCP can do on atomic loads and stores (which are safe without any modifications).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138902 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/SCCP')
| -rw-r--r-- | test/Transforms/SCCP/atomic-load-store.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/atomic-load-store.ll b/test/Transforms/SCCP/atomic-load-store.ll new file mode 100644 index 0000000..f4ce019 --- /dev/null +++ b/test/Transforms/SCCP/atomic-load-store.ll @@ -0,0 +1,30 @@ +; RUN: opt < %s -ipsccp -S | FileCheck %s + +; This transformation is safe for atomic loads and stores; check that it works. + +@G = internal global i32 17 +@C = internal constant i32 222 + +define i32 @test1() { + %V = load atomic i32* @G seq_cst, align 4 + %C = icmp eq i32 %V, 17 + br i1 %C, label %T, label %F +T: + store atomic i32 17, i32* @G seq_cst, align 4 + ret i32 %V +F: + store atomic i32 123, i32* @G seq_cst, align 4 + ret i32 0 +} +; CHECK: define i32 @test1 +; CHECK-NOT: store +; CHECK: ret i32 17 + +define i32 @test2() { + %V = load atomic i32* @C seq_cst, align 4 + ret i32 %V +} + +; CHECK: define i32 @test2 +; CHECK-NOT: load +; CHECK: ret i32 222
\ No newline at end of file |