escha added a subscriber: escha. escha added a comment. Counterexample: x = NaN y = 0 ----- fmin(x, fmax(x, y)) -> x ? fmin(x, fmax(NaN, 0)) -> x ? fmin(NaN, 0) -> x ? fmin(NaN, 0) -> 0 0 != x Repository: rL LLVM http://reviews.llvm.org/D21137