JIT64: faster + branchless crxxx