This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier
> > Why isn't the only thing that matters to GIMPLE whether two types will
> > generate the same RTL?
>
> It is (should be) that way. If you disable calling into the frontend
> in tree_ssa_useless_type_conversion_1 you should only get some more
> explicit conversions and a few testsuite regressions due to missed
> optimizations. At least the last time I tried.
Actually, what I was proposing was going even further and having
tree_ssa_useless_type_conversion_1 consider more types equivalent (such
as record with the same fields, similar FP types, etc.)