Control-flow speculation through value prediction | IEEE Journals & Magazine | IEEE Xplore