https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114985
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |15.0
Keywords| |needs-reduction
CC| |pinskia at gcc dot gnu.org
Component|bootstrap |ipa
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Aldy Hernandez from comment #4)
>
> If <POINTER> = <POINTER> OP_EQUAL <POINTER> is valid gimple, then we should
> change operator_equal::fold_range() to accept all pointer operands. If not,
> then we need to change the IPA pass.
>
> I would appreciate if an IL expert could opine here.
`POINTER = POINTER CMP POINTER` should be invalid gimple as far as I can tell.
The result of CMP should be a boolean type (except for vector compares where it
is a vector boolean type). We have ran into these issues before with pointer
types even.
I might get some time later today to reduce the testcase too.
