Home | History | Annotate | Download | only in priv

Lines Matching refs:Dirty

1061    vex_printf("DIRTY ");
1221 ppIRDirty(s->Ist.Dirty.details);
1486 suitable for use as arg lists in clean/dirty helper calls. */
1692 s->Ist.Dirty.details = d;
1919 return IRStmt_Dirty(deepCopyIRDirty(s->Ist.Dirty.details));
2829 di = st->Ist.Dirty.details;
3025 d = stmt->Ist.Dirty.details;
3379 /* Mostly check for various kinds of ill-formed dirty calls. */
3380 d = stmt->Ist.Dirty.details;
3403 sanityCheckFail(bb,stmt,"IRStmt.Dirty.guard not :: Ity_I1");
3406 sanityCheckFail(bb,stmt,"IRStmt.Dirty.dst :: Ity_I1");
3409 sanityCheckFail(bb,stmt,"IRStmt.Dirty: > 32 args");
3411 sanityCheckFail(bb,stmt,"IRStmt.Dirty.arg[i] :: Ity_I1");
3415 sanityCheckFail(bb,stmt,"IRStmt.Dirty: ill-formed");
3510 if (stmt->Ist.Dirty.details->tmp != IRTemp_INVALID) {
3511 d = stmt->Ist.Dirty.details;
3514 "IRStmt.Dirty: destination tmp is out of range");
3518 "IRStmt.Dirty: destination tmp is assigned more than once");