diff options
| -rw-r--r-- | test/Analysis/BasicAA/interprocedural.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/interprocedural.ll b/test/Analysis/BasicAA/interprocedural.ll index 2195716cdf..8d34695fe5 100644 --- a/test/Analysis/BasicAA/interprocedural.ll +++ b/test/Analysis/BasicAA/interprocedural.ll @@ -40,3 +40,24 @@ define i64* @r0(i64* %u) { store i64 0, i64* %v ret i64* %t } + +; The noalias attribute is not necessarily safe in an interprocedural context even +; in comparison to other noalias arguments in the same function. +; CHECK: MayAlias: i8* %w, i8* %x + +define void @q0(i8* noalias %w, i8* noalias %x) { + store i8 0, i8* %w + store i8 0, i8* %x + call void @q0(i8* noalias %x, i8* noalias %w) + unreachable +} + +; The noalias attribute is not necessarily safe in an interprocedural context. +; CHECK: MayAlias: double* %y, double* @G + +@G = external global double +define void @p0(double* noalias %y) { + store double 0.0, double* %y + store double 0.0, double* @G + unreachable +} |