diff options
author | Chris Lattner <sabre@nondot.org> | 2011-07-12 05:26:21 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2011-07-12 05:26:21 +0000 |
commit | 4e47aadd9642e0dde0c25bdf730a4d1b75bce396 (patch) | |
tree | c822542f82c146c03dece63254fbecb147adc042 | |
parent | a17ce80a1e475ab3526a4787b878d55a42727d19 (diff) | |
download | llvm-4e47aadd9642e0dde0c25bdf730a4d1b75bce396.tar.gz llvm-4e47aadd9642e0dde0c25bdf730a4d1b75bce396.tar.bz2 llvm-4e47aadd9642e0dde0c25bdf730a4d1b75bce396.tar.xz |
simplify assertions to not be completely redundant.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134968 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/VMCore/Constants.cpp | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/lib/VMCore/Constants.cpp b/lib/VMCore/Constants.cpp index 57498b4859..f29afa7980 100644 --- a/lib/VMCore/Constants.cpp +++ b/lib/VMCore/Constants.cpp @@ -1716,26 +1716,13 @@ Constant *ConstantExpr::getShuffleVector(Constant *V1, Constant *V2, Constant *ConstantExpr::getInsertValue(Constant *Agg, Constant *Val, const unsigned *Idxs, unsigned NumIdx) { - assert(Agg->getType()->isFirstClassType() && - "Tried to create insertelement operation on non-first-class type!"); - - const Type *ReqTy = Agg->getType(); - (void)ReqTy; -#ifndef NDEBUG - const Type *ValTy = - ExtractValueInst::getIndexedType(Agg->getType(), Idxs, Idxs+NumIdx); - assert(ValTy == Val->getType() && "insertvalue indices invalid!"); -#endif - assert(ExtractValueInst::getIndexedType(Agg->getType(), Idxs, Idxs+NumIdx) == Val->getType() && "insertvalue indices invalid!"); - assert(Agg->getType() == ReqTy && - "insertvalue type invalid!"); assert(Agg->getType()->isFirstClassType() && - "Non-first-class type for constant InsertValue expression"); + "Non-first-class type for constant insertvalue expression"); Constant *FC = ConstantFoldInsertValueInstruction(Agg, Val, Idxs, NumIdx); - assert(FC && "InsertValue constant expr couldn't be folded!"); + assert(FC && "insertvalue constant expr couldn't be folded!"); return FC; } |