Just for future reader's reference, could you add a comment above this line: /* This skips store_vary instructions, which are not yet SSA */ > + if (ins->ssa_args.dest < 0) continue; With that small change, Reviewed-by AR :)