[PATCH] D144324: [AArch64][SelectionDAG] Perfer CMN for (0 - Y) == Y

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

We should probably view this as a missed canonicalization in IR first:
https://alive2.llvm.org/ce/z/D2Aph4 (that should also work with `eq` predicates)

The IR with `and` removes a use of the input variable, so it's better for analysis. 
If the codegen here is still considered better, then add a transform from the new canonical form to the `cmn` form.


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

https://reviews.llvm.org/D144324