Re: IMCC's bsr handling

[Leopold Toetsch]

Steve Fink wrote:

     bsr $I0

It will complain that it can't fixup the label '$I0'.

I can't imagine, how to get a correct CFG with these kind of register jump instructions. They are too low level, lacking any hint where they might jump to.

When we want these kind of branches, then they must be more high level, defining all possible branch targets, e.g. like a switch statement.

my 2¢

leo