So... if we can avoid making any DEREF_BEFORE values precious, then we avoid the need to allocate a register at an unexpected moment when flushing them back to memory. Pointer aliasing rules mean that we need to write them back immediately anyway, so we don't lose anything.
So... if we can avoid making any DEREF_BEFORE values precious, then we avoid
the need to allocate a register at an unexpected moment when flushing them back
to memory. Pointer aliasing rules mean that we need to write them back
immediately anyway, so we don't lose anything.

davidgiven/cowgol,davidgiven/cowgol