Encode the conditional execution predicate when JITing.