diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-08-16 01:28:22 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-08-16 01:28:22 +0000 |
| commit | a917d4f9b4188fa330f9e89108e8c8d804a0ed22 (patch) | |
| tree | ec44b78f6d678837a4d6b22d543acb6adf76ebaa /llvm/test/Transforms/FunctionAttrs | |
| parent | 311186a6ef20c1636b6b12aab7b727d85fc5d55a (diff) | |
| download | bcm5719-llvm-a917d4f9b4188fa330f9e89108e8c8d804a0ed22.tar.gz bcm5719-llvm-a917d4f9b4188fa330f9e89108e8c8d804a0ed22.zip | |
Revert a bit of r137667; the logic in question can safely handle atomic load/store.
llvm-svn: 137702
Diffstat (limited to 'llvm/test/Transforms/FunctionAttrs')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/atomic.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/atomic.ll b/llvm/test/Transforms/FunctionAttrs/atomic.ll new file mode 100644 index 00000000000..62f8fa5a1df --- /dev/null +++ b/llvm/test/Transforms/FunctionAttrs/atomic.ll @@ -0,0 +1,21 @@ +; RUN: opt -basicaa -functionattrs -S < %s | FileCheck %s + +; Atomic load/store to local doesn't affect whether a function is +; readnone/readonly. +define i32 @test1(i32 %x) uwtable ssp { +; CHECK: define i32 @test1(i32 %x) uwtable readnone ssp { +entry: + %x.addr = alloca i32, align 4 + store atomic i32 %x, i32* %x.addr seq_cst, align 4 + %r = load atomic i32* %x.addr seq_cst, align 4 + ret i32 %r +} + +; A function with an Acquire load is not readonly. +define i32 @test2(i32* %x) uwtable ssp { +; CHECK: define i32 @test2(i32 %x) uwtable ssp { +entry: + %r = load atomic i32* %x seq_cst, align 4 + ret i32 %r +} + |
