JIT: if_* opcodes enhancements