39   assert(&getMF() == MBB.getParent() &&  in setMBB()
44   assert(MI.getParent() && "Instruction is not part of a basic block");  in setInstr()
53   assert(MBB.getParent() == &getMF() &&  in setInsertPt()
92   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildDirectDbgValue()
93   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildDirectDbgValue()
94   assert(  in buildDirectDbgValue()
105   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildIndirectDbgValue()
106   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildIndirectDbgValue()
107   assert(  in buildIndirectDbgValue()
118   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildFIDbgValue()
119   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildFIDbgValue()
120   assert(  in buildFIDbgValue()
133   assert(isa<DILocalVariable>(Variable) && "not a variable");  in buildConstDbgValue()
134   assert(cast<DIExpression>(Expr)->isValid() && "not an expression");  in buildConstDbgValue()
135   assert(  in buildConstDbgValue()
155   assert(isa<DILabel>(Label) && "not a label");  in buildDbgLabel()
156   assert(cast<DILabel>(Label)->isValidLocationForIntrinsic(State.DL) &&  in buildDbgLabel()
164   assert(getMRI()->getType(Res).isPointer() && "invalid operand type");  in buildFrameIndex()
172   assert(getMRI()->getType(Res).isPointer() && "invalid operand type");  in buildGlobalValue()
173   assert(getMRI()->getType(Res).getAddressSpace() ==  in buildGlobalValue()
184   assert((Res.isScalar() || Res.isVector()) && "invalid operand type");  in validateBinaryOp()
185   assert((Res == Op0 && Res == Op1) && "type mismatch");  in validateBinaryOp()
190   assert(getMRI()->getType(Res).isPointer() &&  in buildGEP()
192   assert(getMRI()->getType(Op1).isScalar() && "invalid offset type");  in buildGEP()
203   assert(Res == 0 && "Res is a result argument");  in materializeGEP()
204   assert(ValueTy.isScalar()  && "invalid offset type");  in materializeGEP()
220   assert(getMRI()->getType(Res).isPointer() &&  in buildPtrMask()
234   assert(getMRI()->getType(Tgt).isPointer() && "invalid branch destination");  in buildBrIndirect()
247   assert((Ty.isScalar() || Ty.isPointer()) && "invalid operand type");  in buildConstant()
270   assert(Res.getLLTTy(*getMRI()).isScalar() && "invalid operand type");  in buildFConstant()
289   assert(getMRI()->getType(Tst).isScalar() && "invalid operand type");  in buildBrCond()
303   assert(getMRI()->getType(Res).isValid() && "invalid operand type");  in buildLoadInstr()
304   assert(getMRI()->getType(Addr).isPointer() && "invalid operand type");  in buildLoadInstr()
314   assert(getMRI()->getType(Val).isValid() && "invalid operand type");  in buildStore()
315   assert(getMRI()->getType(Addr).isPointer() && "invalid operand type");  in buildStore()
350   assert((TargetOpcode::G_ANYEXT == ExtOpc || TargetOpcode::G_ZEXT == ExtOpc ||  in buildExtOrTrunc()
353   assert(Res.getLLTTy(*getMRI()).isScalar() ||  in buildExtOrTrunc()
355   assert(Res.getLLTTy(*getMRI()).isScalar() ==  in buildExtOrTrunc()
366     assert(Res.getLLTTy(*getMRI()) == Op.getLLTTy(*getMRI()));  in buildExtOrTrunc()
399     assert(!SrcTy.isPointer() && !DstTy.isPointer() && "n G_ADDRCAST yet");  in buildCast()
409   assert(getMRI()->getType(Src).isValid() && "invalid operand type");  in buildExtract()
410   assert(getMRI()->getType(Res).isValid() && "invalid operand type");  in buildExtract()
411   assert(Index + getMRI()->getType(Res).getSizeInBits() <=  in buildExtract()
418     assert(Index == 0 && "insertion past the end of a register");  in buildExtract()
431   assert(Ops.size() == Indices.size() && "incompatible args");  in buildSequence()
432   assert(!Ops.empty() && "invalid trivial sequence");  in buildSequence()
433   assert(std::is_sorted(Indices.begin(), Indices.end()) &&  in buildSequence()
436   assert(getMRI()->getType(Res).isValid() && "invalid operand type");  in buildSequence()
438     assert(getMRI()->getType(Op).isValid() && "invalid operand type");  in buildSequence()
530   assert(Index + getMRI()->getType(Op).getSizeInBits() <=  in buildInsert()
612   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
613   assert(SuccessResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
614   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
615   assert(CmpValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
616   assert(NewValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchgWithSuccess()
617   assert(OldValResTy == CmpValTy && "type mismatch");  in buildAtomicCmpXchgWithSuccess()
618   assert(OldValResTy == NewValTy && "type mismatch");  in buildAtomicCmpXchgWithSuccess()
639   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicCmpXchg()
640   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicCmpXchg()
641   assert(CmpValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchg()
642   assert(NewValTy.isValid() && "invalid operand type");  in buildAtomicCmpXchg()
643   assert(OldValResTy == CmpValTy && "type mismatch");  in buildAtomicCmpXchg()
644   assert(OldValResTy == NewValTy && "type mismatch");  in buildAtomicCmpXchg()
664   assert(OldValResTy.isScalar() && "invalid operand type");  in buildAtomicRMW()
665   assert(AddrTy.isPointer() && "invalid operand type");  in buildAtomicRMW()
666   assert(ValTy.isValid() && "invalid operand type");  in buildAtomicRMW()
667   assert(OldValResTy == ValTy && "type mismatch");  in buildAtomicRMW()
748   assert(getMRI()->getType(Res).isPointer() && "invalid res type");  in buildBlockAddress()
758     assert(SrcTy.isVector() && "mismatched cast between vector and non-vector");  in validateTruncExt()
759     assert(SrcTy.getNumElements() == DstTy.getNumElements() &&  in validateTruncExt()
762     assert(DstTy.isScalar() && SrcTy.isScalar() && "invalid extend/trunc");  in validateTruncExt()
765     assert(DstTy.getSizeInBits() > SrcTy.getSizeInBits() &&  in validateTruncExt()
768     assert(DstTy.getSizeInBits() < SrcTy.getSizeInBits() &&  in validateTruncExt()
776   assert((ResTy.isScalar() || ResTy.isVector() || ResTy.isPointer()) &&  in validateSelectOp()
778   assert((ResTy == Op0Ty && ResTy == Op1Ty) && "type mismatch");  in validateSelectOp()
780     assert(TstTy.isScalar() && "type mismatch");  in validateSelectOp()
782     assert((TstTy.isScalar() ||  in validateSelectOp()
797     assert(DstOps.size() == 1 && "Invalid select");  in buildInstr()
798     assert(SrcOps.size() == 3 && "Invalid select");  in buildInstr()
818     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
819     assert(SrcOps.size() == 2 && "Invalid Srcs");  in buildInstr()
827     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
828     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
834     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
835     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
841     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
842     assert(SrcOps.size() == 1 && "Invalid Srcs");  in buildInstr()
843     assert(DstOps[0].getLLTTy(*getMRI()) == LLT() ||  in buildInstr()
849     assert(DstOps.size() == 1 && "Invalid Dst Operands");  in buildInstr()
850     assert(SrcOps.size() == 3 && "Invalid Src Operands");  in buildInstr()
853     assert(SrcOps[0].getSrcOpKind() == SrcOp::SrcType::Ty_Predicate &&  in buildInstr()
855     assert([&]() -> bool {  in buildInstr()
860     assert(SrcOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&  in buildInstr()
862     assert([&]() -> bool {  in buildInstr()
874     assert(!DstOps.empty() && "Invalid trivial sequence");  in buildInstr()
875     assert(SrcOps.size() == 1 && "Invalid src for Unmerge");  in buildInstr()
876     assert(std::all_of(DstOps.begin(), DstOps.end(),  in buildInstr()
882     assert(DstOps.size() * DstOps[0].getLLTTy(*getMRI()).getSizeInBits() ==  in buildInstr()
888     assert(!SrcOps.empty() && "invalid trivial sequence");  in buildInstr()
889     assert(DstOps.size() == 1 && "Invalid Dst");  in buildInstr()
890     assert(std::all_of(SrcOps.begin(), SrcOps.end(),  in buildInstr()
896     assert(SrcOps.size() * SrcOps[0].getLLTTy(*getMRI()).getSizeInBits() ==  in buildInstr()
906     assert(DstOps.size() == 1 && "Invalid Dst size");  in buildInstr()
907     assert(SrcOps.size() == 2 && "Invalid Src size");  in buildInstr()
908     assert(SrcOps[0].getLLTTy(*getMRI()).isVector() && "Invalid operand type");  in buildInstr()
909     assert((DstOps[0].getLLTTy(*getMRI()).isScalar() ||  in buildInstr()
912     assert(SrcOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand type");  in buildInstr()
913     assert(SrcOps[0].getLLTTy(*getMRI()).getElementType() ==  in buildInstr()
919     assert(DstOps.size() == 1 && "Invalid dst size");  in buildInstr()
920     assert(SrcOps.size() == 3 && "Invalid src size");  in buildInstr()
921     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
923     assert(DstOps[0].getLLTTy(*getMRI()).getElementType() ==  in buildInstr()
926     assert(SrcOps[2].getLLTTy(*getMRI()).isScalar() && "Invalid index");  in buildInstr()
927     assert(DstOps[0].getLLTTy(*getMRI()).getNumElements() ==  in buildInstr()
933     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
935     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
936     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
938     assert(std::all_of(SrcOps.begin(), SrcOps.end(),  in buildInstr()
944     assert(SrcOps.size() * SrcOps[0].getLLTTy(*getMRI()).getSizeInBits() ==  in buildInstr()
950     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
952     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
953     assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&  in buildInstr()
955     assert(std::all_of(SrcOps.begin(), SrcOps.end(),  in buildInstr()
967     assert(DstOps.size() == 1 && "Invalid DstOps");  in buildInstr()
968     assert((!SrcOps.empty() || SrcOps.size() < 2) &&  in buildInstr()
970     assert(std::all_of(SrcOps.begin(), SrcOps.end(),  in buildInstr()
977     assert(SrcOps.size() * SrcOps[0].getLLTTy(*getMRI()).getSizeInBits() ==  in buildInstr()
983     assert(DstOps.size() == 2 && "Invalid no of dst operands");  in buildInstr()
984     assert(SrcOps.size() == 3 && "Invalid no of src operands");  in buildInstr()
985     assert(DstOps[0].getLLTTy(*getMRI()).isScalar() && "Invalid operand");  in buildInstr()
986     assert((DstOps[0].getLLTTy(*getMRI()) == SrcOps[0].getLLTTy(*getMRI())) &&  in buildInstr()
989     assert(DstOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand");  in buildInstr()
990     assert(DstOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&  in buildInstr()