From 2bc253847095bfa2676c05df6a5243d08af84ca4 Mon Sep 17 00:00:00 2001 From: David Majnemer Date: Wed, 23 Dec 2015 09:58:46 +0000 Subject: [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 --- llvm/test/Analysis/GlobalsModRef/nocapture.ll | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'llvm/test/Analysis') 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 +} -- cgit v1.2.3