diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2015-12-23 09:58:46 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2015-12-23 09:58:46 +0000 |
| commit | 2bc253847095bfa2676c05df6a5243d08af84ca4 (patch) | |
| tree | 4af061543e535cbcb947b585ab48f8893c79fcf3 /llvm/test/Analysis/GlobalsModRef | |
| parent | 63ad9e054316550005ce9b5073e85f6e22f29801 (diff) | |
| download | bcm5719-llvm-2bc253847095bfa2676c05df6a5243d08af84ca4.tar.gz bcm5719-llvm-2bc253847095bfa2676c05df6a5243d08af84ca4.zip | |
[OperandBundles] Have GlobalsModRef play nice with operand bundles
A call site's use of a Value might not correspond to an argument
operand but to a bundle operand.
llvm-svn: 256329
Diffstat (limited to 'llvm/test/Analysis/GlobalsModRef')
| -rw-r--r-- | llvm/test/Analysis/GlobalsModRef/nocapture.ll | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/llvm/test/Analysis/GlobalsModRef/nocapture.ll b/llvm/test/Analysis/GlobalsModRef/nocapture.ll index 5b9c5e34cc7..0cb80a10f8d 100644 --- a/llvm/test/Analysis/GlobalsModRef/nocapture.ll +++ b/llvm/test/Analysis/GlobalsModRef/nocapture.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -globals-aa -aa-eval -print-all-alias-modref-info -S 2>&1 | FileCheck %s +; RUN: opt < %s -globals-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-apple-macosx10.10.0" @@ -45,3 +45,13 @@ entry: store i32 %add, i32* %q, align 4 ret i32 4 } + +declare void @g3() + +; CHECK-LABEL: Function: f3 +; CHECK: NoAlias: i32* %p, i32* @b +define void @f3(i32* nocapture readonly %p) { +entry: + tail call void @g3() [ "deopt"(i32* @b, i32 *%p) ] + unreachable +} |
