From 4e47aadd9642e0dde0c25bdf730a4d1b75bce396 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 12 Jul 2011 05:26:21 +0000 Subject: [PATCH] simplify assertions to not be completely redundant. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134968 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Constants.cpp | 17 ++--------------- 1 file changed, 2 insertions(+), 15 deletions(-) diff --git a/lib/VMCore/Constants.cpp b/lib/VMCore/Constants.cpp index 57498b48592..f29afa7980e 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; }