[llvm] r245224 - [BasicAliasAnalysis] Do not check ModRef table for intrinsics

Igor Laevsky via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 17 08:56:56 PDT 2015


Author: igor.laevsky
Date: Mon Aug 17 10:56:56 2015
New Revision: 245224

URL: http://llvm.org/viewvc/llvm-project?rev=245224&view=rev
Log:
[BasicAliasAnalysis] Do not check ModRef table for intrinsics

All possible ModRef behaviours can be completely represented using existing LLVM IR attributes.

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


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=245224&r1=245223&r2=245224&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Mon Aug 17 10:56:56 2015
@@ -532,13 +532,6 @@ BasicAliasAnalysis::getModRefBehavior(co
   if (F->doesNotAccessMemory())
     return FMRB_DoesNotAccessMemory;
 
-  // For intrinsics, we can check the table.
-  if (Intrinsic::ID iid = F->getIntrinsicID()) {
-#define GET_INTRINSIC_MODREF_BEHAVIOR
-#include "llvm/IR/Intrinsics.gen"
-#undef GET_INTRINSIC_MODREF_BEHAVIOR
-  }
-
   FunctionModRefBehavior Min = FMRB_UnknownModRefBehavior;
 
   // If the function declares it only reads memory, go with that.




More information about the llvm-commits mailing list