On 10/26/2015 12:12 PM, Bernd Schmidt wrote: > > But isn't that balanced by the fact that it doesn't seem to take into > account the gain of removing the inc_insn either? So I think this can't > be right. Argh, misread the code. The patch is OK with the change I suggested. Bernd