Lines Matching defs:writes
638 Bool writes = False;
642 writes = True;
644 if (writes) {
2989 the given starting point to find, if any, a PutI which writes
2991 that the PutI writes. This is the core of PutI-GetI forwarding. */
3033 /* If this assertion fails, we've found a Put which writes
3037 /* This Put potentially writes guest state that the GetI
3059 /* We don't know if this PutI writes to the same guest
3073 are any guest writes/modifies. */
3087 that it writes exactly the same piece of guest state) ? Safe
4332 /* be True if this stmt writes memory or might do (==> we don't
