Lines Matching refs:Dirty
397 are not; they are instead handled with dirty helpers that emulate
1560 use as arg lists in clean/dirty helper calls. */
1664 /* ------------------ Dirty helper calls ------------------ */
1666 /* A dirty call is a flexible mechanism for calling (possibly
1677 Dirty calls are statements rather than expressions for obvious
1678 reasons. If a dirty call is marked as writing guest state, any
1680 invalid. Similarly, if the dirty call is stated as writing
1700 IMPORTANT NOTE re GUARDS: Dirty calls are strict, very strict. The
1746 /* Pretty-print a dirty call */
1749 /* Allocate an uninitialised dirty call */
1752 /* Deep-copy a dirty call */
1756 dirty helper calls. The called function impliedly does not return
1765 /* Similarly, make a zero-annotation dirty call which returns a value,
2089 effects (ie. is "dirty"). See the comments above the
2093 t<tmp> = DIRTY <guard> <effects>
2096 t1 = DIRTY t27 RdFX-gst(16,4) RdFX-gst(60,4)
2101 } Dirty;
