I was looking at determineTheBasicBlocks in org.jikesrvm.compilers.baseline.VM_BuildBB class. As long as I understand, lastInstrType local variable keeps track of the type of the last instruction: branch (conditional, unconditional)? non-branch?
In "case JBC_goto_w:" near line 248, lastInstrType was not assigned, and the value shall become NONBRANCH by default. I'm wondering if this is intended. I think the only difference between goto and goto_w is whether branch offset is wide or not.
I'm not sure whether this is a bug or not. I did not actually make a program that shows if this is a bug, but I'm suspicious.
GNU/Linux ubuntu 2.6.20-16 i686