I believe purge_addressof costs us almost nothing Not at all true, since it can iterate over all insns, so if you have a mechanism that calls it a fixed percentage of the time, it's actually *quadratic*.