From 37f3ee17d2192e52f436f640788b28c0b68db102 Mon Sep 17 00:00:00 2001
From: Dan Gohman <gohman@apple.com>
Date: Thu, 26 Jul 2007 16:06:08 +0000
Subject: [PATCH] Move the GET_SIDE_EFFECT_INFO logic from
 isInstructionTriviallyDead to Instruction::mayWriteToMemory, fixing a FIXME,
 and helping various places that call mayWriteToMemory directly.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40533 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Transforms/Utils/Local.cpp |  7 -------
 lib/VMCore/Instruction.cpp     | 16 ++++++++++++----
 2 files changed, 12 insertions(+), 11 deletions(-)

diff --git a/lib/Transforms/Utils/Local.cpp b/lib/Transforms/Utils/Local.cpp
index 5e2d2375cca..187ebdc7979 100644
--- a/lib/Transforms/Utils/Local.cpp
+++ b/lib/Transforms/Utils/Local.cpp
@@ -175,13 +175,6 @@ bool llvm::isInstructionTriviallyDead(Instruction *I) {
 
   if (!I->mayWriteToMemory()) return true;
 
-  if (CallInst *CI = dyn_cast<CallInst>(I))
-    if (Function *F = CI->getCalledFunction()) {
-      unsigned IntrinsicID = F->getIntrinsicID();
-#define GET_SIDE_EFFECT_INFO
-#include "llvm/Intrinsics.gen"
-#undef GET_SIDE_EFFECT_INFO
-    }
   return false;
 }
 
diff --git a/lib/VMCore/Instruction.cpp b/lib/VMCore/Instruction.cpp
index feff59dff9f..a3687530de9 100644
--- a/lib/VMCore/Instruction.cpp
+++ b/lib/VMCore/Instruction.cpp
@@ -197,6 +197,15 @@ bool Instruction::isSameOperationAs(Instruction *I) const {
   return true;
 }
 
+// IntrinsicOnlyReadsMemory - Return true if the specified intrinsic doesn't
+// have any side-effects or if it only reads memory.
+static bool IntrinsicOnlyReadsMemory(unsigned IntrinsicID) {
+#define GET_SIDE_EFFECT_INFO
+#include "llvm/Intrinsics.gen"
+#undef GET_SIDE_EFFECT_INFO
+  return false;
+}
+
 /// mayWriteToMemory - Return true if this instruction may modify memory.
 ///
 bool Instruction::mayWriteToMemory() const {
@@ -208,11 +217,10 @@ bool Instruction::mayWriteToMemory() const {
   case Instruction::VAArg:
     return true;
   case Instruction::Call:
-    //if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(this)) {
+    if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(this)) {
       // If the intrinsic doesn't write memory, it is safe.
-      // FIXME: this is obviously supposed to determine which  intrinsics 
-      // don't write to memory, but hasn't been implemented yet.
-    //}
+      return !IntrinsicOnlyReadsMemory(II->getIntrinsicID());
+    }
     return true;
   case Instruction::Load:
     return cast<LoadInst>(this)->isVolatile();
-- 
2.34.1