llvm-project

42ed7757 - [InstSimplify] Generalize `simplifyAndOrOfFCmps` to handle fabs (#116590)

[InstSimplify] Generalize `simplifyAndOrOfFCmps` to handle fabs (#116590) This patch generalizes https://github.com/llvm/llvm-project/issues/81027 to handle pattern `and/or (fcmp ord/uno X, 0), (fcmp pred fabs(X), Y)`. Alive2: https://alive2.llvm.org/ce/z/tsgUrz The correctness is straightforward because `fcmp ord/uno X, 0.0` is equivalent to `fcmp ord/uno fabs(X), 0.0`. We may generalize it to handle fneg as well. Address comment https://github.com/llvm/llvm-project/pull/116065#pullrequestreview-2434796846