Make the jump be generated by IFX, not cmp