I've noticed that sometimes when I get a DeoptimizationNode, the attached LIRFrameState for locals[0] sometimes has a type of illegal. Why might this be? info.topFrame.numLocals = 4 info.topFrame.values[0].kind = "illegal" info.topFrame.values[1].kind = "Object" info.topFrame.values[2].kind = "int" info.topFrame.values[3].kind = "int" -- Tom