Lines Matching refs:Dirty
1390 vex_printf("DIRTY ");
1611 ppIRDirty(s->Ist.Dirty.details);
1899 suitable for use as arg lists in clean/dirty helper calls. */
2156 s->Ist.Dirty.details = d;
2424 return IRStmt_Dirty(deepCopyIRDirty(s->Ist.Dirty.details));
3717 const IRDirty* di = st->Ist.Dirty.details;
3945 d = stmt->Ist.Dirty.details;
4349 /* Mostly check for various kinds of ill-formed dirty calls. */
4350 const IRDirty* d = stmt->Ist.Dirty.details;
4380 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
4386 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
4391 sanityCheckFail(bb,stmt,"IRStmt.Dirty: > 32 args");
4399 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
4402 sanityCheckFail(bb,stmt,"IRStmt.Dirty.args: > 1 BBPTR arg");
4408 "IRStmt.Dirty.args: VECRET present, "
4414 "IRStmt.Dirty.args: VECRET not present, "
4418 "IRStmt.Dirty.args: > 1 VECRET present");
4423 "IRStmt.Dirty.args: > 1 BBPTR present");
4429 "IRStmt.Dirty.args: BBPTR requested, "
4434 sanityCheckFail(bb,stmt,"IRStmt.Dirty: ill-formed");
4541 const IRDirty* d = stmt->Ist.Dirty.details;
4545 "IRStmt.Dirty: destination tmp is out of range");
4549 "IRStmt.Dirty: destination tmp is assigned more than once");
