http://cr.openjdk.java.net/~roland/7123253/webrev.00/ Assembly code in LIR_Assembler::emit_opTypeCheck() for case code == lir_store_check uses value (an input) after k_RInfo (a temp) is written to. If k_RInfo and value are the same, this code breaks. Roland.