https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112857
--- Comment #3 from XChy <xxs_chy at outlook dot com> --- (In reply to Richard Biener from comment #2) > careful about overflow. I'm not a developer of GCC, but for "(b + ~a) > 0 -> a - b ＜ -1", I can say it's a valid refinement for both signed and unsigned, with SMT verfication of LLVM IR. > Also note compares against zero might be cheaper (but that's eventually an > RTL > expansion thing). Yes, that depends on specific platform, and may need to handle in backends.
