Exploiting state equivalence on the fly while applying code motion and speculation | IEEE Conference Publication | IEEE Xplore