- Fp comparison with eq/ne does not have to process ZF when both inputs of the comparison are the same.
- CMove nodes lack the match rules for cmpOpUCF2, leading to those with eq/ne falling to cmpOpU, which has a really high overhead of fixing the flags.
- Use Math.abs(v) == POSITIVE_INFINITY for Double/Float.isInfinite, which reduces 1 comparison and 1 branch.