54   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildDirectDbgValue()
55   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildDirectDbgValue()
56   assert(  in buildDirectDbgValue()
67   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildIndirectDbgValue()
68   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildIndirectDbgValue()
69   assert(  in buildIndirectDbgValue()
80   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildFIDbgValue()
81   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildFIDbgValue()
82   assert(  in buildFIDbgValue()
95   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildConstDbgValue()
96   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildConstDbgValue()
97   assert(  in buildConstDbgValue()
118   assert(isa<DILabel>(Label) && "not a label");  in buildDbgLabel()
119   assert(cast<DILabel>(Label)->isValidLocationForIntrinsic(State.DL) &&  in buildDbgLabel()
129   assert(Res.getLLTTy(*getMRI()).isPointer() && "expected ptr dst type");  in buildDynStackAlloc()
139   assert(Res.getLLTTy(*getMRI()).isPointer() && "invalid operand type");  in buildFrameIndex()
148   assert(Res.getLLTTy(*getMRI()).isPointer() && "invalid operand type");  in buildGlobalValue()
149   assert(Res.getLLTTy(*getMRI()).getAddressSpace() ==  in buildGlobalValue()
166   assert((Res.isScalar() || Res.isVector()) && "invalid operand type");  in validateUnaryOp()
167   assert((Res == Op0) && "type mismatch");  in validateUnaryOp()
172   assert((Res.isScalar() || Res.isVector()) && "invalid operand type");  in validateBinaryOp()
173   assert((Res == Op0 && Res == Op1) && "type mismatch");  in validateBinaryOp()
178   assert((Res.isScalar() || Res.isVector()) && "invalid operand type");  in validateShiftOp()
179   assert((Res == Op0) && "type mismatch");  in validateShiftOp()
185   assert(Res.getLLTTy(*getMRI()).getScalarType().isPointer() &&  in buildPtrAdd()
187   assert(Op1.getLLTTy(*getMRI()).getScalarType().isScalar() && "invalid offset type");  in buildPtrAdd()
195   assert(Res == 0 && "Res is a result argument");  in materializePtrAdd()
196   assert(ValueTy.isScalar()  && "invalid offset type");  in materializePtrAdd()
223   assert(getMRI()->getType(Tgt).isPointer() && "invalid branch destination");  in buildBrIndirect()
230   assert(getMRI()->getType(TablePtr).isPointer() &&  in buildBrJT()
259   assert(EltTy.getScalarSizeInBits() == Val.getBitWidth() &&  in buildConstant()
289   assert(APFloat::getSizeInBits(Val.getValueAPF().getSemantics())  in buildFConstant()
293   assert(!Ty.isPointer() && "invalid operand type");  in buildFConstant()
334   assert(Tst.getLLTTy(*getMRI()).isScalar() && "invalid operand type");  in buildBrCond()
348   assert((MMOFlags & MachineMemOperand::MOStore) == 0);  in buildLoad()
360   assert(Res.getLLTTy(*getMRI()).isValid() && "invalid operand type");  in buildLoadInstr()
361   assert(Addr.getLLTTy(*getMRI()).isPointer() && "invalid operand type");  in buildLoadInstr()
390   assert(Val.getLLTTy(*getMRI()).isValid() && "invalid operand type");  in buildStore()
391   assert(Addr.getLLTTy(*getMRI()).isPointer() && "invalid operand type");  in buildStore()
406   assert((MMOFlags & MachineMemOperand::MOLoad) == 0);  in buildStore()
451   assert((TargetOpcode::G_ANYEXT == ExtOpc || TargetOpcode::G_ZEXT == ExtOpc ||  in buildExtOrTrunc()
454   assert(Res.getLLTTy(*getMRI()).isScalar() ||  in buildExtOrTrunc()
456   assert(Res.getLLTTy(*getMRI()).isScalar() ==  in buildExtOrTrunc()
467     assert(Res.getLLTTy(*getMRI()) == Op.getLLTTy(*getMRI()));  in buildExtOrTrunc()
509     assert(!SrcTy.isPointer() && !DstTy.isPointer() && "n G_ADDRCAST yet");  in buildCast()
523   assert(SrcTy.isValid() && "invalid operand type");  in buildExtract()
524   assert(DstTy.isValid() && "invalid operand type");  in buildExtract()
525   assert(Index + DstTy.getSizeInBits() <= SrcTy.getSizeInBits() &&  in buildExtract()
530     assert(Index == 0 && "insertion past the end of a register");  in buildExtract()
544   assert(Ops.size() == Indices.size() && "incompatible args");  in buildSequence()
545   assert(!Ops.empty() && "invalid trivial sequence");  in buildSequence()
546   assert(llvm::is_sorted(Indices) &&  in buildSequence()
549   assert(getMRI()->getType(Res).isValid() && "invalid operand type");  in buildSequence()
551     assert(getMRI()->getType(Op).isValid() && "invalid operand type");  in buildSequence()
592   assert(TmpVec.size() > 1);  in buildMerge()
599   assert(Ops.size() > 1);  in buildMerge()
609   assert(TmpVec.size() > 1);  in buildUnmerge()
628   assert(TmpVec.size() > 1);  in buildUnmerge()
660   assert(Src.getLLTTy(*getMRI()) == DstTy.getElementType() &&  in buildShuffleSplat()
676   assert(Src1Ty.getNumElements() + Src2Ty.getNumElements() >= Mask.size());  in buildShuffleVector()
677   assert(DstTy.getElementType() == Src1Ty.getElementType() &&  in buildShuffleVector()
700   assert(Index + Op.getLLTTy(*getMRI()).getSizeInBits() <=  in buildInsert()
793   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
794   assert(SuccessResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
795   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
796   assert(CmpValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
797   assert(NewValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
798   assert(OldValResTy == CmpValTy && "type mismatch");  in buildAtomicCmpXchgWithSuccess()
799   assert(OldValResTy == NewValTy && "type mismatch");  in buildAtomicCmpXchgWithSuccess()
820   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchg()
821   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicCmpXchg()
822   assert(CmpValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchg()
823   assert(NewValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchg()
824   assert(OldValResTy == CmpValTy && "type mismatch");  in buildAtomicCmpXchg()
825   assert(OldValResTy == NewValTy && "type mismatch");  in buildAtomicCmpXchg()
845   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicRMW()
846   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicRMW()
847   assert(ValTy.isValid() && "invalid operand type");  in buildAtomicRMW()
848   assert(OldValResTy == ValTy && "type mismatch");  in buildAtomicRMW()
849   assert(MMO.isAtomic() && "not atomic mem operand");  in buildAtomicRMW()
953   assert(getMRI()->getType(Res).isPointer() && "invalid res type");  in buildBlockAddress()
963     assert(SrcTy.isVector() && "mismatched cast between vector and non-vector");  in validateTruncExt()
964     assert(SrcTy.getNumElements() == DstTy.getNumElements() &&  in validateTruncExt()
967     assert(DstTy.isScalar() && SrcTy.isScalar() && "invalid extend/trunc");  in validateTruncExt()
970     assert(DstTy.getSizeInBits() > SrcTy.getSizeInBits() &&  in validateTruncExt()
973     assert(DstTy.getSizeInBits() < SrcTy.getSizeInBits() &&  in validateTruncExt()
981   assert((ResTy.isScalar() || ResTy.isVector() || ResTy.isPointer()) &&  in validateSelectOp()
983   assert((ResTy == Op0Ty && ResTy == Op1Ty) && "type mismatch");  in validateSelectOp()
985     assert(TstTy.isScalar() && "type mismatch");  in validateSelectOp()
987     assert((TstTy.isScalar() ||  in validateSelectOp()
1002     assert(DstOps.size() == 1 && "Invalid select");  in buildInstr()
1003     assert(SrcOps.size() == 3 && "Invalid select");  in buildInstr()
1012     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1013     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
1036     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1037     assert(SrcOps.size() == 2 && "Invalid Srcs");  in buildInstr()
1048     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1049     assert(SrcOps.size() == 2 && "Invalid Srcs");  in buildInstr()
1058     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1059     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
1065     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1066     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
1072     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1073     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
1074     assert(DstOps[0].getLLTTy(*getMRI()).getSizeInBits() ==  in buildInstr()
1079     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1085     assert(DstOps.size() == 1 && "Invalid Dst Operands");  in buildInstr()
1086     assert(SrcOps.size() == 3 && "Invalid Src Operands");  in buildInstr()
1089     assert(SrcOps[0].getSrcOpKind() == SrcOp::SrcType::Ty_Predicate &&  in buildInstr()
1091     assert([&]() -> bool {  in buildInstr()
1096     assert(SrcOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&  in buildInstr()
1098     assert([&]() -> bool {  in buildInstr()
1110     assert(!DstOps.empty() && "Invalid trivial sequence");  in buildInstr()
1111     assert(SrcOps.size() == 1 && "Invalid src for Unmerge");  in buildInstr()
1112     assert(llvm::all_of(DstOps,  in buildInstr()
1118     assert((TypeSize::ScalarTy)DstOps.size() *  in buildInstr()
1125     assert(!SrcOps.empty() && "invalid trivial sequence");  in buildInstr()
1126     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
1127     assert(llvm::all_of(SrcOps,  in buildInstr()
1133     assert((TypeSize::ScalarTy)SrcOps.size() *  in buildInstr()
1147     assert(DstOps.size() == 1 && "Invalid Dst size");  in buildInstr()
1148     assert(SrcOps.size() == 2 && "Invalid Src size");  in buildInstr()
1149     assert(SrcOps[0].getLLTTy(*getMRI()).isVector() && "Invalid operand type");  in buildInstr()
1150     assert((DstOps[0].getLLTTy(*getMRI()).isScalar() ||  in buildInstr()
1153     assert(SrcOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand type");  in buildInstr()
1154     assert(SrcOps[0].getLLTTy(*getMRI()).getElementType() ==  in buildInstr()
1160     assert(DstOps.size() == 1 && "Invalid dst size");  in buildInstr()
1161     assert(SrcOps.size() == 3 && "Invalid src size");  in buildInstr()
1162     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
1164     assert(DstOps[0].getLLTTy(*getMRI()).getElementType() ==  in buildInstr()
1167     assert(SrcOps[2].getLLTTy(*getMRI()).isScalar() && "Invalid index");  in buildInstr()
1168     assert(DstOps[0].getLLTTy(*getMRI()).getNumElements() ==  in buildInstr()
1174     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
1176     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
1177     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
1179     assert(llvm::all_of(SrcOps,  in buildInstr()
1185     assert((TypeSize::ScalarTy)SrcOps.size() *  in buildInstr()
1192     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
1194     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
1195     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
1197     assert(llvm::all_of(SrcOps,  in buildInstr()
1209     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
1210     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
1212     assert(llvm::all_of(SrcOps,  in buildInstr()
1219     assert((TypeSize::ScalarTy)SrcOps.size() *  in buildInstr()
1226     assert(DstOps.size() == 2 && "Invalid no of dst operands");  in buildInstr()
1227     assert(SrcOps.size() == 3 && "Invalid no of src operands");  in buildInstr()
1228     assert(DstOps[0].getLLTTy(*getMRI()).isScalar() && "Invalid operand");  in buildInstr()
1229     assert((DstOps[0].getLLTTy(*getMRI()) == SrcOps[0].getLLTTy(*getMRI())) &&  in buildInstr()
1232     assert(DstOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand");  in buildInstr()
1233     assert(DstOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&  in buildInstr()