diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Analysis/NaCl/PNaClABIVerifyModule.cpp | 4 | ||||
| -rw-r--r-- | lib/Transforms/NaCl/ReplacePtrsWithInts.cpp | 9 |
2 files changed, 9 insertions, 4 deletions
diff --git a/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp b/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp index 9b2def5ac4..d977175b67 100644 --- a/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp +++ b/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp @@ -161,8 +161,6 @@ bool PNaClABIVerifyModule::isWhitelistedIntrinsic(const Function *F, default: return false; // (1) Always allowed. case Intrinsic::bswap: return isWhitelistedBswap(F); - case Intrinsic::invariant_end: - case Intrinsic::invariant_start: case Intrinsic::memcpy: case Intrinsic::memmove: case Intrinsic::memset: @@ -215,6 +213,8 @@ bool PNaClABIVerifyModule::isWhitelistedIntrinsic(const Function *F, // See https://code.google.com/p/nativeclient/issues/detail?id=3443 case Intrinsic::lifetime_end: case Intrinsic::lifetime_start: + case Intrinsic::invariant_end: + case Intrinsic::invariant_start: return false; // (3) Dev intrinsics. diff --git a/lib/Transforms/NaCl/ReplacePtrsWithInts.cpp b/lib/Transforms/NaCl/ReplacePtrsWithInts.cpp index 00d374dc7b..9be459d986 100644 --- a/lib/Transforms/NaCl/ReplacePtrsWithInts.cpp +++ b/lib/Transforms/NaCl/ReplacePtrsWithInts.cpp @@ -38,7 +38,8 @@ // * a bitcast of an InherentPtr. // // This pass currently strips out lifetime markers (that is, calls to -// the llvm.lifetime.start/end intrinsics). +// the llvm.lifetime.start/end intrinsics) and invariant markers +// (calls to llvm.invariant.start/end). // //===----------------------------------------------------------------------===// @@ -407,7 +408,9 @@ static void ConvertInstruction(DataLayout *DL, Type *IntPtrType, } else if (CallInst *Call = dyn_cast<CallInst>(Inst)) { if (IntrinsicInst *ICall = dyn_cast<IntrinsicInst>(Inst)) { if (ICall->getIntrinsicID() == Intrinsic::lifetime_start || - ICall->getIntrinsicID() == Intrinsic::lifetime_end) { + ICall->getIntrinsicID() == Intrinsic::lifetime_end || + ICall->getIntrinsicID() == Intrinsic::invariant_start || + ICall->getIntrinsicID() == Intrinsic::invariant_end) { // Remove alloca lifetime markers for now. This is because // the GVN pass can introduce lifetime markers taking PHI // nodes as arguments. If ReplacePtrsWithInts converts the @@ -416,6 +419,8 @@ static void ConvertInstruction(DataLayout *DL, Type *IntPtrType, // not safe in general. So, until LLVM better defines the // semantics of lifetime markers, we drop them all. See: // https://code.google.com/p/nativeclient/issues/detail?id=3443 + // We do the same for invariant.start/end because they work in + // a similar way. Inst->eraseFromParent(); } else { FC->convertInPlace(Inst); |