[llvm] r215532 - Revert r215415 which causse MSan to crash on a great deal of C++ code.

[Chandler Carruth]

Author: chandlerc
Date: Wed Aug 13 04:19:39 2014
New Revision: 215532

URL: http://llvm.org/viewvc/llvm-project?rev=215532&view=rev
Log:
Revert r215415 which causse MSan to crash on a great deal of C++ code.
I've followed up on the original commit as well.

Modified:
    llvm/trunk/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    llvm/trunk/test/Instrumentation/MemorySanitizer/msan_basic.ll

Modified: llvm/trunk/lib/Transforms/Instrumentation/MemorySanitizer.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Instrumentation/MemorySanitizer.cpp?rev=215532&r1=215531&r2=215532&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Instrumentation/MemorySanitizer.cpp (original)
+++ llvm/trunk/lib/Transforms/Instrumentation/MemorySanitizer.cpp Wed Aug 13 04:19:39 2014
@@ -2356,12 +2356,6 @@ struct MemorySanitizerVisitor : public I
       VAHelper->visitCallSite(CS, IRB);
     }
 
-    // If this is a musttail call site, we can't insert propagation code here.
-    // The return type of the caller must match the callee, so the shadow should
-    // already be set up for an immediate return.
-    if (CS.isMustTailCall())
-      return;
-
     // Now, get the shadow for the RetVal.
     if (!I.getType()->isSized()) return;
     IRBuilder<> IRBBefore(&I);
@@ -2395,10 +2389,6 @@ struct MemorySanitizerVisitor : public I
   }
 
   void visitReturnInst(ReturnInst &I) {
-    // Don't propagate shadow between musttail calls and the return.
-    if (I.getParent()->getTerminatingMustTailCall())
-      return;
-
     IRBuilder<> IRB(&I);
     Value *RetVal = I.getReturnValue();
     if (!RetVal) return;

Modified: llvm/trunk/test/Instrumentation/MemorySanitizer/msan_basic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Instrumentation/MemorySanitizer/msan_basic.ll?rev=215532&r1=215531&r2=215532&view=diff
==============================================================================
--- llvm/trunk/test/Instrumentation/MemorySanitizer/msan_basic.ll (original)
+++ llvm/trunk/test/Instrumentation/MemorySanitizer/msan_basic.ll Wed Aug 13 04:19:39 2014
@@ -878,16 +878,3 @@ define void @MismatchedReturnTypeTailCal
 ; CHECK-LABEL: define void @MismatchedReturnTypeTailCall
 ; CHECK: tail call i32 @InnerTailCall
 ; CHECK: ret void
-
-declare i32 @InnerMustTailCall(i32 %a)
-
-define i32 @MustTailCall(i32 %a) {
-  %b = musttail call i32 @InnerMustTailCall(i32 %a)
-  ret i32 %b
-}
-
-; Test that 'musttail' is preserved.  The ABI should make this work.
-
-; CHECK-LABEL: define i32 @MustTailCall
-; CHECK: musttail call i32 @InnerMustTailCall
-; CHECK-NEXT: ret i32