[kaffe] Why does Kaffe's register allocator spill slots in the boundary of basic blocks?

[Bytecode]

I'm optimizing the register allocation mechod in kaffe.
I find that the current register allocator spills "dirty" slots in the exit
of each basic block by calling function endBlock(). Why?


Thanks.