Pete Lomax <[EMAIL PROTECTED]> wrote: > The following demonstrates that $I1 and .local int i map to the same > register in the output pasm code:
Yep. The problem seems to be the backward branch. When you put the "test" sub after the "end" op, its working fine.
At quick glance I would guess IMCC assumes that the "call test" branches to a basic block that doesn't overlap with the callee basic block.
Much (most) of the flow analysis code was done before we adopted new calling conventions. I'll have a look to see if there a quick fix that would allow the code snippet sample to be legal.
-Melvin