Merge "Fixed SCCP to properly propagate reverse subtraction." into dalvik-dev