Make StripPointerCast a common function (should we mak it method of Value instead?)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50775 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Anton Korobeynikov 2008-05-06 22:52:30 +00:00
parent f092b64a49
commit b04adddd50
9 changed files with 42 additions and 43 deletions

View File

@ -38,12 +38,6 @@ namespace llvm {
IntrinsicInst(const IntrinsicInst&); // DO NOT IMPLEMENT IntrinsicInst(const IntrinsicInst&); // DO NOT IMPLEMENT
void operator=(const IntrinsicInst&); // DO NOT IMPLEMENT void operator=(const IntrinsicInst&); // DO NOT IMPLEMENT
public: public:
/// StripPointerCasts - This static method strips off any unneeded pointer
/// casts from the specified value, returning the original uncasted value.
/// Note that the returned value is guaranteed to have pointer type.
static Value *StripPointerCasts(Value *Ptr);
/// getIntrinsicID - Return the intrinsic ID of this intrinsic. /// getIntrinsicID - Return the intrinsic ID of this intrinsic.
/// ///
Intrinsic::ID getIntrinsicID() const { Intrinsic::ID getIntrinsicID() const {

View File

@ -272,6 +272,11 @@ template <> inline bool isa_impl<GlobalValue, Value>(const Value &Val) {
return isa<GlobalVariable>(Val) || isa<Function>(Val) || isa<GlobalAlias>(Val); return isa<GlobalVariable>(Val) || isa<Function>(Val) || isa<GlobalAlias>(Val);
} }
/// StripPointerCasts - This function strips off any unneeded pointer
/// casts from the specified value, returning the original uncasted value.
/// Note that the returned value is guaranteed to have pointer type.
Value *StripPointerCasts(Value *Ptr);
} // End llvm namespace } // End llvm namespace
#endif #endif

View File

@ -178,8 +178,8 @@ bool LowerIntrinsics::InsertRootInitializers(Function &F, AllocaInst **Roots,
SmallPtrSet<AllocaInst*,16> InitedRoots; SmallPtrSet<AllocaInst*,16> InitedRoots;
for (; !CouldBecomeSafePoint(IP); ++IP) for (; !CouldBecomeSafePoint(IP); ++IP)
if (StoreInst *SI = dyn_cast<StoreInst>(IP)) if (StoreInst *SI = dyn_cast<StoreInst>(IP))
if (AllocaInst *AI = dyn_cast<AllocaInst>( if (AllocaInst *AI =
IntrinsicInst::StripPointerCasts(SI->getOperand(1)))) dyn_cast<AllocaInst>(StripPointerCasts(SI->getOperand(1))))
InitedRoots.insert(AI); InitedRoots.insert(AI);
// Add root initializers. // Add root initializers.
@ -294,7 +294,7 @@ bool LowerIntrinsics::PerformDefaultLowering(Function &F, Collector &Coll) {
// Initialize the GC root, but do not delete the intrinsic. The // Initialize the GC root, but do not delete the intrinsic. The
// backend needs the intrinsic to flag the stack slot. // backend needs the intrinsic to flag the stack slot.
Roots.push_back(cast<AllocaInst>( Roots.push_back(cast<AllocaInst>(
IntrinsicInst::StripPointerCasts(CI->getOperand(1)))); StripPointerCasts(CI->getOperand(1))));
} }
break; break;
default: default:

View File

@ -2712,7 +2712,7 @@ void SelectionDAGLowering::visitTargetIntrinsic(CallInst &I,
/// ExtractTypeInfo - Returns the type info, possibly bitcast, encoded in V. /// ExtractTypeInfo - Returns the type info, possibly bitcast, encoded in V.
static GlobalVariable *ExtractTypeInfo (Value *V) { static GlobalVariable *ExtractTypeInfo (Value *V) {
V = IntrinsicInst::StripPointerCasts(V); V = StripPointerCasts(V);
GlobalVariable *GV = dyn_cast<GlobalVariable>(V); GlobalVariable *GV = dyn_cast<GlobalVariable>(V);
assert ((GV || isa<ConstantPointerNull>(V)) && assert ((GV || isa<ConstantPointerNull>(V)) &&
"TypeInfo must be a global variable or NULL"); "TypeInfo must be a global variable or NULL");
@ -3150,8 +3150,7 @@ SelectionDAGLowering::visitIntrinsicCall(CallInst &I, unsigned Intrinsic) {
return 0; return 0;
case Intrinsic::init_trampoline: { case Intrinsic::init_trampoline: {
const Function *F = const Function *F = cast<Function>(StripPointerCasts(I.getOperand(2)));
cast<Function>(IntrinsicInst::StripPointerCasts(I.getOperand(2)));
SDOperand Ops[6]; SDOperand Ops[6];
Ops[0] = getRoot(); Ops[0] = getRoot();

View File

@ -325,8 +325,7 @@ void ShadowStackCollector::CollectRoots(Function &F) {
if (Function *F = CI->getCalledFunction()) if (Function *F = CI->getCalledFunction())
if (F->getIntrinsicID() == Intrinsic::gcroot) { if (F->getIntrinsicID() == Intrinsic::gcroot) {
std::pair<CallInst*,AllocaInst*> Pair = std::make_pair( std::pair<CallInst*,AllocaInst*> Pair = std::make_pair(
CI, cast<AllocaInst>( CI, cast<AllocaInst>(StripPointerCasts(CI->getOperand(1))));
IntrinsicInst::StripPointerCasts(CI->getOperand(1))));
if (IsNullValue(CI->getOperand(2))) if (IsNullValue(CI->getOperand(2)))
Roots.push_back(Pair); Roots.push_back(Pair);
else else

View File

@ -9131,8 +9131,7 @@ Instruction *InstCombiner::transformCallThroughTrampoline(CallSite CS) {
IntrinsicInst *Tramp = IntrinsicInst *Tramp =
cast<IntrinsicInst>(cast<BitCastInst>(Callee)->getOperand(0)); cast<IntrinsicInst>(cast<BitCastInst>(Callee)->getOperand(0));
Function *NestF = Function *NestF = cast<Function>(StripPointerCasts(Tramp->getOperand(2)));
cast<Function>(IntrinsicInst::StripPointerCasts(Tramp->getOperand(2)));
const PointerType *NestFPTy = cast<PointerType>(NestF->getType()); const PointerType *NestFPTy = cast<PointerType>(NestF->getType());
const FunctionType *NestFTy = cast<FunctionType>(NestFPTy->getElementType()); const FunctionType *NestFTy = cast<FunctionType>(NestFPTy->getElementType());

View File

@ -357,28 +357,4 @@ Function *Intrinsic::getDeclaration(Module *M, ID id, const Type **Tys,
getType(id, Tys, numTys))); getType(id, Tys, numTys)));
} }
Value *IntrinsicInst::StripPointerCasts(Value *Ptr) {
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(Ptr)) {
if (CE->getOpcode() == Instruction::BitCast) {
if (isa<PointerType>(CE->getOperand(0)->getType()))
return StripPointerCasts(CE->getOperand(0));
} else if (CE->getOpcode() == Instruction::GetElementPtr) {
for (unsigned i = 1, e = CE->getNumOperands(); i != e; ++i)
if (!CE->getOperand(i)->isNullValue())
return Ptr;
return StripPointerCasts(CE->getOperand(0));
}
return Ptr;
}
if (BitCastInst *CI = dyn_cast<BitCastInst>(Ptr)) {
if (isa<PointerType>(CI->getOperand(0)->getType()))
return StripPointerCasts(CI->getOperand(0));
} else if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(Ptr)) {
if (GEP->hasAllZeroIndices())
return StripPointerCasts(GEP->getOperand(0));
}
return Ptr;
}
// vim: sw=2 ai // vim: sw=2 ai

View File

@ -12,6 +12,7 @@
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
#include "llvm/Constant.h" #include "llvm/Constant.h"
#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h" #include "llvm/DerivedTypes.h"
#include "llvm/InstrTypes.h" #include "llvm/InstrTypes.h"
#include "llvm/Instructions.h" #include "llvm/Instructions.h"
@ -331,3 +332,30 @@ void User::replaceUsesOfWith(Value *From, Value *To) {
} }
} }
//===----------------------------------------------------------------------===//
// Utility functions
//===----------------------------------------------------------------------===//
Value *llvm::StripPointerCasts(Value *Ptr) {
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(Ptr)) {
if (CE->getOpcode() == Instruction::BitCast) {
if (isa<PointerType>(CE->getOperand(0)->getType()))
return StripPointerCasts(CE->getOperand(0));
} else if (CE->getOpcode() == Instruction::GetElementPtr) {
for (unsigned i = 1, e = CE->getNumOperands(); i != e; ++i)
if (!CE->getOperand(i)->isNullValue())
return Ptr;
return StripPointerCasts(CE->getOperand(0));
}
return Ptr;
}
if (BitCastInst *CI = dyn_cast<BitCastInst>(Ptr)) {
if (isa<PointerType>(CI->getOperand(0)->getType()))
return StripPointerCasts(CI->getOperand(0));
} else if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(Ptr)) {
if (GEP->hasAllZeroIndices())
return StripPointerCasts(GEP->getOperand(0));
}
return Ptr;
}

View File

@ -1271,8 +1271,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
"Intrinsic parameter #1 is not i8**.", &CI); "Intrinsic parameter #1 is not i8**.", &CI);
Assert1(CI.getOperand(2)->getType() == PtrTy, Assert1(CI.getOperand(2)->getType() == PtrTy,
"Intrinsic parameter #2 is not i8*.", &CI); "Intrinsic parameter #2 is not i8*.", &CI);
Assert1(isa<AllocaInst>( Assert1(isa<AllocaInst>(StripPointerCasts(CI.getOperand(1))),
IntrinsicInst::StripPointerCasts(CI.getOperand(1))),
"llvm.gcroot parameter #1 must be an alloca.", &CI); "llvm.gcroot parameter #1 must be an alloca.", &CI);
Assert1(isa<Constant>(CI.getOperand(2)), Assert1(isa<Constant>(CI.getOperand(2)),
"llvm.gcroot parameter #2 must be a constant.", &CI); "llvm.gcroot parameter #2 must be a constant.", &CI);
@ -1298,7 +1297,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
&CI); &CI);
} break; } break;
case Intrinsic::init_trampoline: case Intrinsic::init_trampoline:
Assert1(isa<Function>(IntrinsicInst::StripPointerCasts(CI.getOperand(2))), Assert1(isa<Function>(StripPointerCasts(CI.getOperand(2))),
"llvm.init_trampoline parameter #2 must resolve to a function.", "llvm.init_trampoline parameter #2 must resolve to a function.",
&CI); &CI);
break; break;