Transform `(icmp eq/ne Abs(A), Pow2)` -> `(and/or (icmp eq/ne A,Pow2), (icmp eq/ne A,-Pow2))`
Only if Abs(A) has one use, in which case the `(and/or (icmp eq/ne A,Pow2), (icmp eq/ne A,-Pow2))` can be optimized in `DAGCombiner::foldAndOrOfSETCC`. Alive Links: EQ: https://alive2.llvm.org/ce/z/gTxSgV NE: https://alive2.llvm.org/ce/z/MUf57Y Reviewed By: RKSimon Differential Revision: https://reviews.llvm.org/D142345
Loading
Please sign in to comment