On Wed May 17 11:44:15 2023 +0000, Giovanni Mascellani wrote:
That's not really onto this MR, but if `loop_last` is not zero, isn't `max(instr->index, loop_last) == loop_last`, given that we're considering an instruction inside that loop?
Should be, yes.