diff options
Diffstat (limited to 'llvm/test/Transforms/FunctionAttrs/atomic.ll')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/atomic.ll | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/atomic.ll b/llvm/test/Transforms/FunctionAttrs/atomic.ll deleted file mode 100644 index af87a28770e..00000000000 --- a/llvm/test/Transforms/FunctionAttrs/atomic.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: opt -basicaa -functionattrs -S < %s | FileCheck %s -; RUN: opt -aa-pipeline=basic-aa -passes=function-attrs -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) #0 { -entry: - %x.addr = alloca i32, align 4 - store atomic i32 %x, i32* %x.addr seq_cst, align 4 - %r = load atomic i32, 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* nocapture readonly %x) #1 { -entry: - %r = load atomic i32, i32* %x seq_cst, align 4 - ret i32 %r -} - -; CHECK: attributes #0 = { norecurse nounwind readnone ssp uwtable } -; CHECK: attributes #1 = { norecurse nounwind ssp uwtable } |
