[PATCH] D35635: Optimize {s,u}{add,sub}.with.overflow on ARM

[Joel Galenson via Phabricator via llvm-commits]

jgalenson marked an inline comment as done.
jgalenson added inline comments.


================
Comment at: lib/Target/ARM/ARMISelLowering.cpp:4582
+    assert((CC == ISD::SETEQ || CC == ISD::SETNE) &&
+           "Unexpected condition code.");
+    // Only lower legal XALUO ops.
----------------
efriedma wrote:
> Is this assert actually guaranteed somehow?  I mean, it should be possible to transform any relevant condition to an equivalent SETEQ or SETNE, but I don't see any code to actually ensure this.
Good point.  I actually copied that part of the code over from the AArch64 backend.  I would guess that the assumption is that you should only be checking if the overflow bit is set or unset, hence EQ or NE, but I could imagine something transforming those into other operations.  I changed it to be part of the condition to avoid the problem.  Do you think it's worth doing something similar in the AArch64 backend?


https://reviews.llvm.org/D35635