diff options
Diffstat (limited to 'llvm/test/Transforms/FunctionAttrs/nosync.ll')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/nosync.ll | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/nosync.ll b/llvm/test/Transforms/FunctionAttrs/nosync.ll index 1d7f46af203..c86facb8192 100644 --- a/llvm/test/Transforms/FunctionAttrs/nosync.ll +++ b/llvm/test/Transforms/FunctionAttrs/nosync.ll @@ -180,13 +180,12 @@ define void @call_might_sync() nounwind uwtable noinline { ret void } -; TEST 11 - negative, should not deduce nosync -; volatile operation in same scc. Call volatile_load defined in TEST 8. +; TEST 11 - positive, should deduce nosync +; volatile operation in same scc but dead. Call volatile_load defined in TEST 8. ; FNATTR: Function Attrs: nofree noinline nounwind uwtable ; FNATTR-NEXT: define i32 @scc1(i32* %0) -; ATTRIBUTOR: Function Attrs: nofree noinline nounwind uwtable -; ATTRIBUTOR-NOT: nosync +; ATTRIBUTOR: Function Attrs: nofree noinline noreturn nosync nounwind uwtable ; ATTRIBUTOR-NEXT: define i32 @scc1(i32* %0) define i32 @scc1(i32* %0) noinline nounwind uwtable { tail call void @scc2(i32* %0); @@ -196,8 +195,7 @@ define i32 @scc1(i32* %0) noinline nounwind uwtable { ; FNATTR: Function Attrs: nofree noinline nounwind uwtable ; FNATTR-NEXT: define void @scc2(i32* %0) -; ATTRIBUTOR: Function Attrs: nofree noinline nounwind uwtable -; ATTRIBUTOR-NOT: nosync +; ATTRIBUTOR: Function Attrs: nofree noinline noreturn nosync nounwind uwtable ; ATTRIBUTOR-NEXT: define void @scc2(i32* %0) define void @scc2(i32* %0) noinline nounwind uwtable { tail call i32 @scc1(i32* %0); |
