The code patterns "a > b ? a : b" and "if (a > b) b = a" are fairly common in Java code. Currently, the compiler doesn't transform these patterns into minimum and maximum nodes, but such a transformation would compact the IR and allow for other optimizations, such as vectorization.