Modern x86 and ARM both rely on fusing a compare instruction with a following conditional branch.

That's not in the spec. It's just something high end implementations do, and low end ones don't.