Re-implement trivial rematerialization. This allows def MIs whose live intervals...