This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] for PRs 27639 and 26719
On Fri, 7 Jul 2006, Duncan Sands wrote:
> On Thursday 6 July 2006 15:38, Richard Kenner wrote:
> > > It would be nice if somebody could write down the rules for subtypes
> > > of INTEGER_TYPE. As far as I know they are undocumented.
> >
> > Can you say what type of information you're looking for? My view has always
> > been that they follow the standard rules of all types, with nothing special
> > going on. Some languages have rules regarding in which types arithmetic
> > is done, but those are necessarily language-specific.
>
> For VRP, it would be helpful to have an efficient way of checking whether
> TYPE_MIN_VAL/TYPE_MAX_VAL are [*] non-trivial for a type, i.e. differ from
> what you might expect given TYPE_PRECISION and signedness. Perhaps you can
> suggest one?
Apart from checking if we are dealing with a subtype there is nothing
apart from doing the comparison against the basetypes value range.
Maybe you can suggest some simple Ada testcases that you would expect
to be optimized as dejagnu tests?
Thanks,
Richard.
--
Richard Guenther <rguenther@suse.de>
Novell / SUSE Labs