Now that RegistersDefinedFromSameValue handles one instruction being an