Paulo César Pereira de Andrade <
address@hidden> schrieb am Mi., 13. Sep. 2017 um 22:29 Uhr:
Actually, I believe there is nothing wrong. But likely there is some
misinterpretation of what happens when there is a jump to a register
or an indirect jump to an absolute address (not a jit_label_t*), or, what
lightning consider as live range or how it computes it.
Okay, I have understood why lightning cannot assume that any register is live at a (register) indirect jump. Maybe you could add a sentence to the manual saying which registers are preserved across an indirect jump.
As a feature request, I would suggest to add primitives that mark registers as live (say, just before a jump) or as dead.
Marc