Lines Matching full:assert
54 assert(isa<DILocalVariable>(Variable) && "not a variable");
55 assert(cast<DIExpression>(Expr)->isValid() && "not an expression");
56 assert(
67 assert(isa<DILocalVariable>(Variable) && "not a variable");
68 assert(cast<DIExpression>(Expr)->isValid() && "not an expression");
69 assert(
80 assert(isa<DILocalVariable>(Variable) && "not a variable");
81 assert(cast<DIExpression>(Expr)->isValid() && "not an expression");
82 assert(
95 assert(isa<DILocalVariable>(Variable) && "not a variable");
96 assert(cast<DIExpression>(Expr)->isValid() && "not an expression");
97 assert(
128 assert(isa<DILabel>(Label) && "not a label");
129 assert(cast<DILabel>(Label)->isValidLocationForIntrinsic(State.DL) &&
139 assert(Res.getLLTTy(*getMRI()).isPointer() && "expected ptr dst type");
149 assert(Res.getLLTTy(*getMRI()).isPointer() && "invalid operand type");
158 assert(Res.getLLTTy(*getMRI()).isPointer() && "invalid operand type");
159 assert(Res.getLLTTy(*getMRI()).getAddressSpace() ==
171 assert(Res.getLLTTy(*getMRI()).isPointer() && "invalid operand type");
185 assert((Res.isScalar() || Res.isVector()) && "invalid operand type");
186 assert((Res == Op0) && "type mismatch");
191 assert((Res.isScalar() || Res.isVector()) && "invalid operand type");
192 assert((Res == Op0 && Res == Op1) && "type mismatch");
197 assert((Res.isScalar() || Res.isVector()) && "invalid operand type");
198 assert((Res == Op0) && "type mismatch");
204 assert(Res.getLLTTy(*getMRI()).isPointerOrPointerVector() &&
206 assert(Op1.getLLTTy(*getMRI()).getScalarType().isScalar() && "invalid offset type");
214 assert(Res == 0 && "Res is a result argument");
215 assert(ValueTy.isScalar() && "invalid offset type");
243 assert(ResTy.isVector() && "Res non vector type");
247 assert((ResTy.getElementType() == Op0Ty.getElementType()) &&
249 assert((ResTy.getNumElements() > Op0Ty.getNumElements()) &&
256 assert((ResTy.getSizeInBits() > Op0Ty.getSizeInBits()) &&
274 assert(Op0Ty.isVector() && "Non vector type");
275 assert(((ResTy.isScalar() && (ResTy == Op0Ty.getElementType())) ||
279 assert(
297 assert(getMRI()->getType(Tgt).isPointer() && "invalid branch destination");
304 assert(getMRI()->getType(TablePtr).isPointer() &&
321 assert(EltTy.getScalarSizeInBits() == Val.getBitWidth() &&
324 assert(!Ty.isScalableVector() &&
354 assert(APFloat::getSizeInBits(Val.getValueAPF().getSemantics())
358 assert(!Ty.isPointer() && "invalid operand type");
360 assert(!Ty.isScalableVector() &&
415 assert(Tst.getLLTTy(*getMRI()).isScalar() && "invalid operand type");
429 assert((MMOFlags & MachineMemOperand::MOStore) == 0);
441 assert(Res.getLLTTy(*getMRI()).isValid() && "invalid operand type");
442 assert(Addr.getLLTTy(*getMRI()).isPointer() && "invalid operand type");
471 assert(Val.getLLTTy(*getMRI()).isValid() && "invalid operand type");
472 assert(Addr.getLLTTy(*getMRI()).isPointer() && "invalid operand type");
487 assert((MMOFlags & MachineMemOperand::MOLoad) == 0);
550 assert((TargetOpcode::G_ANYEXT == ExtOpc || TargetOpcode::G_ZEXT == ExtOpc ||
553 assert(Res.getLLTTy(*getMRI()).isScalar() ||
555 assert(Res.getLLTTy(*getMRI()).isScalar() ==
566 assert(Res.getLLTTy(*getMRI()) == Op.getLLTTy(*getMRI()));
608 assert(!SrcTy.isPointer() && !DstTy.isPointer() && "n G_ADDRCAST yet");
622 assert(SrcTy.isValid() && "invalid operand type");
623 assert(DstTy.isValid() && "invalid operand type");
624 assert(Index + DstTy.getSizeInBits() <= SrcTy.getSizeInBits() &&
629 assert(Index == 0 && "insertion past the end of a register");
650 assert(TmpVec.size() > 1);
661 assert(TmpVec.size() > 1);
668 assert(Ops.size() > 1);
689 assert(TmpVec.size() > 1);
706 assert(TmpVec.size() > 1);
752 assert(Src.getLLTTy(*getMRI()) == DstTy.getElementType() &&
763 assert(Src.getLLTTy(*getMRI()) == Res.getLLTTy(*getMRI()).getElementType() &&
775 assert((size_t)(Src1Ty.getNumElements() + Src2Ty.getNumElements()) >=
777 assert(DstTy.getElementType() == Src1Ty.getElementType() &&
800 assert(Index + Op.getLLTTy(*getMRI()).getSizeInBits() <=
970 assert(OldValResTy.isScalar() && "invalid operand type");
971 assert(SuccessResTy.isScalar() && "invalid operand type");
972 assert(AddrTy.isPointer() && "invalid operand type");
973 assert(CmpValTy.isValid() && "invalid operand type");
974 assert(NewValTy.isValid() && "invalid operand type");
975 assert(OldValResTy == CmpValTy && "type mismatch");
976 assert(OldValResTy == NewValTy && "type mismatch");
998 assert(OldValResTy.isScalar() && "invalid operand type");
999 assert(AddrTy.isPointer() && "invalid operand type");
1000 assert(CmpValTy.isValid() && "invalid operand type");
1001 assert(NewValTy.isValid() && "invalid operand type");
1002 assert(OldValResTy == CmpValTy && "type mismatch");
1003 assert(OldValResTy == NewValTy && "type mismatch");
1024 assert(AddrTy.isPointer() && "invalid operand type");
1025 assert(ValTy.isValid() && "invalid operand type");
1026 assert(OldValResTy == ValTy && "type mismatch");
1027 assert(MMO.isAtomic() && "not atomic mem operand");
1157 assert(getMRI()->getType(Res).isPointer() && "invalid res type");
1167 assert(SrcTy.isVector() && "mismatched cast between vector and non-vector");
1168 assert(SrcTy.getElementCount() == DstTy.getElementCount() &&
1171 assert(DstTy.isScalar() && SrcTy.isScalar() && "invalid extend/trunc");
1174 assert(TypeSize::isKnownGT(DstTy.getSizeInBits(), SrcTy.getSizeInBits()) &&
1177 assert(TypeSize::isKnownLT(DstTy.getSizeInBits(), SrcTy.getSizeInBits()) &&
1185 assert((ResTy.isScalar() || ResTy.isVector() || ResTy.isPointer()) &&
1187 assert((ResTy == Op0Ty && ResTy == Op1Ty) && "type mismatch");
1189 assert(TstTy.isScalar() && "type mismatch");
1191 assert((TstTy.isScalar() ||
1206 assert(DstOps.size() == 1 && "Invalid select");
1207 assert(SrcOps.size() == 3 && "Invalid select");
1216 assert(DstOps.size() == 1 && "Invalid Dst");
1217 assert(SrcOps.size() == 1 && "Invalid Srcs");
1240 assert(DstOps.size() == 1 && "Invalid Dst");
1241 assert(SrcOps.size() == 2 && "Invalid Srcs");
1252 assert(DstOps.size() == 1 && "Invalid Dst");
1253 assert(SrcOps.size() == 2 && "Invalid Srcs");
1262 assert(DstOps.size() == 1 && "Invalid Dst");
1263 assert(SrcOps.size() == 1 && "Invalid Srcs");
1269 assert(DstOps.size() == 1 && "Invalid Dst");
1270 assert(SrcOps.size() == 1 && "Invalid Srcs");
1276 assert(DstOps.size() == 1 && "Invalid Dst");
1277 assert(SrcOps.size() == 1 && "Invalid Srcs");
1278 assert(DstOps[0].getLLTTy(*getMRI()).getSizeInBits() ==
1283 assert(DstOps.size() == 1 && "Invalid Dst");
1289 assert(DstOps.size() == 1 && "Invalid Dst Operands");
1290 assert(SrcOps.size() == 3 && "Invalid Src Operands");
1293 assert(SrcOps[0].getSrcOpKind() == SrcOp::SrcType::Ty_Predicate &&
1295 assert([&]() -> bool {
1300 assert(SrcOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&
1302 assert([&]() -> bool {
1314 assert(!DstOps.empty() && "Invalid trivial sequence");
1315 assert(SrcOps.size() == 1 && "Invalid src for Unmerge");
1316 assert(llvm::all_of(DstOps,
1322 assert((TypeSize::ScalarTy)DstOps.size() *
1329 assert(SrcOps.size() >= 2 && "invalid trivial sequence");
1330 assert(DstOps.size() == 1 && "Invalid Dst");
1331 assert(llvm::all_of(SrcOps,
1337 assert((TypeSize::ScalarTy)SrcOps.size() *
1341 assert(!DstOps[0].getLLTTy(*getMRI()).isVector() &&
1346 assert(DstOps.size() == 1 && "Invalid Dst size");
1347 assert(SrcOps.size() == 2 && "Invalid Src size");
1348 assert(SrcOps[0].getLLTTy(*getMRI()).isVector() && "Invalid operand type");
1349 assert((DstOps[0].getLLTTy(*getMRI()).isScalar() ||
1352 assert(SrcOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand type");
1353 assert(SrcOps[0].getLLTTy(*getMRI()).getElementType() ==
1359 assert(DstOps.size() == 1 && "Invalid dst size");
1360 assert(SrcOps.size() == 3 && "Invalid src size");
1361 assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&
1363 assert(DstOps[0].getLLTTy(*getMRI()).getElementType() ==
1366 assert(SrcOps[2].getLLTTy(*getMRI()).isScalar() && "Invalid index");
1367 assert(DstOps[0].getLLTTy(*getMRI()).getElementCount() ==
1373 assert((!SrcOps.empty() || SrcOps.size() < 2) &&
1375 assert(DstOps.size() == 1 && "Invalid DstOps");
1376 assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&
1378 assert(llvm::all_of(SrcOps,
1384 assert((TypeSize::ScalarTy)SrcOps.size() *
1391 assert((!SrcOps.empty() || SrcOps.size() < 2) &&
1393 assert(DstOps.size() == 1 && "Invalid DstOps");
1394 assert(DstOps[0].getLLTTy(*getMRI()).isVector() &&
1396 assert(llvm::all_of(SrcOps,
1405 assert(DstOps.size() == 1 && "Invalid DstOps");
1406 assert((!SrcOps.empty() || SrcOps.size() < 2) &&
1408 assert(llvm::all_of(SrcOps,
1415 assert((TypeSize::ScalarTy)SrcOps.size() *
1422 assert(DstOps.size() == 2 && "Invalid no of dst operands");
1423 assert(SrcOps.size() == 3 && "Invalid no of src operands");
1424 assert(DstOps[0].getLLTTy(*getMRI()).isScalar() && "Invalid operand");
1425 assert((DstOps[0].getLLTTy(*getMRI()) == SrcOps[0].getLLTTy(*getMRI())) &&
1428 assert(DstOps[1].getLLTTy(*getMRI()).isScalar() && "Invalid operand");
1429 assert(DstOps[1].getLLTTy(*getMRI()) == SrcOps[2].getLLTTy(*getMRI()) &&