https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111468
Bug ID: 111468
Summary: cannot express unordered equal in gimple FE
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: aldyh at gcc dot gnu.org
Target Milestone: ---
Created attachment 55930
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55930&action=edit
Failing testcase
It looks like you can't express an UNEQ_EXPR in the GIMPLE FE.
Am I missing something? The snippet below compiles fine with:
if (x_1 == a_5(D))
but not with:
if (x_1 u== a_5(D))
And at least tree-pretty-print.cc has:
case UNEQ_EXPR:
return "u==";
I'm trying to come up with a threading test for some unordered stuff, and I'm
getting:
$ ./cc1 c.c -O2 -fgimple -quiet
c.c: In function ‘foo’:
c.c:19:10: error: expected ‘)’ before ‘u’
19 | if (x_1 u== a_5(D))
| ^~
| )
[snip snip]
Is there a blessed way of expressing unordered comparisons in the GIMPLE FE?
