diff options
Diffstat (limited to 'test/Analysis/CFLAliasAnalysis/empty.ll')
| -rw-r--r-- | test/Analysis/CFLAliasAnalysis/empty.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Analysis/CFLAliasAnalysis/empty.ll b/test/Analysis/CFLAliasAnalysis/empty.ll new file mode 100644 index 000000000000..907fa481d86d --- /dev/null +++ b/test/Analysis/CFLAliasAnalysis/empty.ll @@ -0,0 +1,12 @@ +; RUN: opt < %s -cfl-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" + +; CHECK: Function: foo: +; CHECK-NEXT: NoAlias: {}* %p, {}* %q + +define void @foo({}* %p, {}* %q) { + store {} {}, {}* %p + store {} {}, {}* %q + ret void +} |