[llvm] r268068 - [BasicAA] Treat llvm.assume as not accessing memory in getModRefBehavior(Function)

[Geoff Berry via llvm-commits]

Author: gberry
Date: Fri Apr 29 12:18:28 2016
New Revision: 268068

URL: http://llvm.org/viewvc/llvm-project?rev=268068&view=rev
Log:
[BasicAA] Treat llvm.assume as not accessing memory in getModRefBehavior(Function)

Reviewers: dberlin, chandlerc, hfinkel, reames, sanjoy

Subscribers: mcrosier, llvm-commits

Differential Revision: http://reviews.llvm.org/D19730

Added:
    llvm/trunk/test/Transforms/Util/MemorySSA/assume.ll
Modified:
    llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=268068&r1=268067&r2=268068&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Fri Apr 29 12:18:28 2016
@@ -575,6 +575,12 @@ FunctionModRefBehavior BasicAAResult::ge
   if (F->doesNotAccessMemory())
     return FMRB_DoesNotAccessMemory;
 
+  // While the assume intrinsic is marked as arbitrarily writing so that
+  // proper control dependencies will be maintained, it never aliases any
+  // particular memory location.
+  if (F->getIntrinsicID() == Intrinsic::assume)
+    return FMRB_DoesNotAccessMemory;
+
   FunctionModRefBehavior Min = FMRB_UnknownModRefBehavior;
 
   // If the function declares it only reads memory, go with that.

Added: llvm/trunk/test/Transforms/Util/MemorySSA/assume.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Util/MemorySSA/assume.ll?rev=268068&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/Util/MemorySSA/assume.ll (added)
+++ llvm/trunk/test/Transforms/Util/MemorySSA/assume.ll Fri Apr 29 12:18:28 2016
@@ -0,0 +1,17 @@
+; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
+;
+; Ensures that assumes are treated as not reading or writing memory.
+
+declare void @llvm.assume(i1)
+
+define i32 @foo(i32* %a, i32* %b, i1 %c) {
+; CHECK: 1 = MemoryDef(liveOnEntry)
+; CHECK-NEXT: store i32 4
+  store i32 4, i32* %a, align 4
+; CHECK: call void @llvm.assume
+  call void @llvm.assume(i1 %c)
+; CHECK: MemoryUse(1)
+; CHECK-NEXT: %1 = load i32
+  %1 = load i32, i32* %a, align 4
+  ret i32 %1
+}