diff options
Diffstat (limited to 'llvm/test/Analysis/BasicAA/non-escaping-local-object.ll')
| -rw-r--r-- | llvm/test/Analysis/BasicAA/non-escaping-local-object.ll | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/llvm/test/Analysis/BasicAA/non-escaping-local-object.ll b/llvm/test/Analysis/BasicAA/non-escaping-local-object.ll deleted file mode 100644 index f5b73b6d266..00000000000 --- a/llvm/test/Analysis/BasicAA/non-escaping-local-object.ll +++ /dev/null @@ -1,19 +0,0 @@ -; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s |& FileCheck %s - -@global = internal global i32 0 - -declare void @should_not_be_called() -declare i32 @f() - -; CHECK: Function: g: 2 pointers, 0 call sites -define void @g(i32* nocapture %p) { - store i32 0, i32* @global - - ; @global is internal, is only used in this function, and never has its - ; address taken so it can't alias p. - ; CHECK: NoAlias: i32* %p, i32* @global - store i32 1, i32* %p - %1 = load i32* @global - ret void -} - |
