Hi! On Thu, Mar 25, 2021 at 03:21:29PM +0100, Stefan Franke wrote: > (insn 8 7 9 2 (set (reg:SI 41) > (reg/f:SI 40)) > (expr_list:REG_INC (reg:SI 41) > (nil))) REG_INC notes are only valid on insns containing a post_inc expression. This usually is inside a mem, but it doesn't have to be. So this would be (set (reg:SI 41) (post_inc:SI (reg:SI 40))) Segher