This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: fold_convert question
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: pinskia at physics dot uc dot edu
- Cc: gcc at gcc dot gnu dot org
- Date: Sat, 16 Oct 04 01:27:13 EDT
- Subject: Re: fold_convert question
What I don't understand is why have two different ARRAY types in the
first place?
Two different subtypes, for example.
This seems very inefficient. As a new GCC developer I would like to
see that types be correctly done in the front-end and middle-end.
Saying two types are compatible but having a VIEW_CONVERT is just
wrong.
No, it's not. In the GENERIC tree, we require that the tree be precisely
type-correct. The VIEW_CONVERT_EXPR serves that purpose. For GIMPLE,
we weaken the type-correctness to compatible types. At that point, the
VIEW_CONVERT_EXPR isn't needed and is removed.