question: private void registerExits ( IR ir ) { SSADictionary dictionary = ir . HIRInfo . dictionary ; for ( Enumeration < BasicBlock > bbe = ir . getBasicBlocks ( ) ; bbe . hasMoreElements ( ) ; ) { BasicBlock b = bbe . nextElement ( ) ; for ( Enumeration < Instruction > e = b . forwardInstrEnumerator ( ) ; e . hasMoreElements ( ) ; ) { Instruction s = e . nextElement ( ) ; if ( Call . conforms ( s ) ) { continue ; } if ( Return . conforms ( s ) || Athrow . conforms ( s ) || s . isPEI ( ) ) { dictionary . registerExit ( s , b ) ; } } } }
target:  Register every instruction that can leave this method with the implicit heap array SSA look aside structure.