I think I can integrate the generation of PRE_MODIFY / POST_MODIFY for constant displacements into my patch, but incrementing by a register won't quite fit. Do you think this functionality of your patch can be reasonably separated from the rest? Would it be noticably smaller than the whole patch?