• Rewrite program to – Fetch value from memory just before use – Store value back just after each definition • Creates several new temporaries with tiny live ranges – Since these will interfere with other temporaries, the algorithm is repeated • One or two iterations is usually enough