JIT64: initial BMI1/2 optimizations