https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122390
--- Comment #6 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Uroš Bizjak from comment #5) > Created attachment 62711 [details] > Additional x86 target patch Nope, this won't fly. While unsigned (a - b) > a equals to a < b, (a - b - cfl) > a does not equal to anything usable, even considering that cfl can only have values 0 and 1. So, the additional patch is invalid.
