diff options
Diffstat (limited to 'llvm/test/Analysis/Lint/noalias-readonly.ll')
| -rw-r--r-- | llvm/test/Analysis/Lint/noalias-readonly.ll | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/llvm/test/Analysis/Lint/noalias-readonly.ll b/llvm/test/Analysis/Lint/noalias-readonly.ll new file mode 100644 index 00000000000..29b288a9bba --- /dev/null +++ b/llvm/test/Analysis/Lint/noalias-readonly.ll @@ -0,0 +1,40 @@ +; RUN: opt < %s -lint -disable-output 2>&1 | FileCheck %s + +declare void @f1(i8* noalias readonly, i8*) + +define void @f2(i8* %a) { +entry: + call void @f1(i8* %a, i8* %a) + ret void +} + +; Lint should complain about us passing %a to both arguments, since the noalias +; argument may depend on writes to the other. +; CHECK: Unusual: noalias argument aliases another argument +; CHECK-NEXT: call void @f1(i8* %a, i8* %a) + +declare void @f3(i8* noalias, i8* readonly) + +define void @f4(i8* %a) { +entry: + call void @f3(i8* %a, i8* %a) + ret void +} + +; Lint should complain about us passing %a to both arguments, since writes to +; the noalias argument may cause a dependency for the other. +; CHECK: Unusual: noalias argument aliases another argument +; CHECK-NEXT: call void @f3(i8* %a, i8* %a) + +declare void @f5(i8* noalias readonly, i8* readonly) + +define void @f6(i8* %a) { +entry: + call void @f5(i8* %a, i8* %a) + ret void +} + +; Lint should not complain about passing %a to both arguments even if one is +; noalias, since they are both readonly and thus have no dependence. +; CHECK-NOT: Unusual: noalias argument aliases another argument +; CHECK-NOT: call void @f5(i8* %a, i8* %a) |
