register allocation needs to keep track whether values
hold in registers are actually dirty (and thus require write-back to memory)