[PATCH] D112509: [Instcombine] Add patterns to generate fneg(fabs(x)) instead of fcmp/selects

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

This seems ok, but I'm having a hard time keeping all of the variations straight (predicates, fsub vs fneg, FMF propagation).

Can you make a patch for just the first code block (that's 4 variations by itself?) and include Alive2 links to show it agrees?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D112509/new/

https://reviews.llvm.org/D112509