Lines Matching full:dirty
388 are not; they are instead handled with dirty helpers that emulate
1474 use as arg lists in clean/dirty helper calls. */
1578 /* ------------------ Dirty helper calls ------------------ */
1580 /* A dirty call is a flexible mechanism for calling (possibly
1591 Dirty calls are statements rather than expressions for obvious
1592 reasons. If a dirty call is marked as writing guest state, any
1594 invalid. Similarly, if the dirty call is stated as writing
1614 IMPORTANT NOTE re GUARDS: Dirty calls are strict, very strict. The
1660 /* Pretty-print a dirty call */
1663 /* Allocate an uninitialised dirty call */
1666 /* Deep-copy a dirty call */
1670 dirty helper calls. The called function impliedly does not return
1679 /* Similarly, make a zero-annotation dirty call which returns a value,
1984 effects (ie. is "dirty"). See the comments above the
1988 t<tmp> = DIRTY <guard> <effects>
1991 t1 = DIRTY t27 RdFX-gst(16,4) RdFX-gst(60,4)
1996 } Dirty;
