Lines Matching refs:Dirty
1303 vex_printf("DIRTY ");
1519 ppIRDirty(s->Ist.Dirty.details);
1806 suitable for use as arg lists in clean/dirty helper calls. */
2063 s->Ist.Dirty.details = d;
2323 return IRStmt_Dirty(deepCopyIRDirty(s->Ist.Dirty.details));
3563 di = st->Ist.Dirty.details;
3788 d = stmt->Ist.Dirty.details;
4192 /* Mostly check for various kinds of ill-formed dirty calls. */
4193 d = stmt->Ist.Dirty.details;
4223 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
4229 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
4234 sanityCheckFail(bb,stmt,"IRStmt.Dirty: > 32 args");
4242 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
4245 sanityCheckFail(bb,stmt,"IRStmt.Dirty.args: > 1 BBPTR arg");
4251 "IRStmt.Dirty.args: VECRET present, "
4257 "IRStmt.Dirty.args: VECRET not present, "
4261 "IRStmt.Dirty.args: > 1 VECRET present");
4266 "IRStmt.Dirty.args: > 1 BBPTR present");
4272 "IRStmt.Dirty.args: BBPTR requested, "
4277 sanityCheckFail(bb,stmt,"IRStmt.Dirty: ill-formed");
4385 d = stmt->Ist.Dirty.details;
4389 "IRStmt.Dirty: destination tmp is out of range");
4393 "IRStmt.Dirty: destination tmp is assigned more than once");