This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [patch] for PRs 27639 and 26719

From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
To: duncan dot sands at math dot u-psud dot fr
Cc: ebotcazou at adacore dot com, gcc-patches at gcc dot gnu dot org, iant at google dot com, rakdver at atrey dot karlin dot mff dot cuni dot cz, rguenther at suse dot de, sebastian dot pop at cri dot ensmp dot fr
Date: Fri, 07 Jul 2006 09:57:30 EDT
Subject: Re: [patch] for PRs 27639 and 26719
References: <20060520192624.GA28713@atrey.karlin.mff.cuni.cz> <m3irmb93bh.fsf@dhcp-172-18-108-216.corp.google.com> <10607061338.AA21654@vlsi1.ultra.nyu.edu> <200607071328.28980.duncan.sands@math.u-psud.fr>

> 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?

It's not hard to compute the "full" values of those as a function of
precision and signedness.  So it'd just be a comparison with that value.

References:
- Re: [patch] for PRs 27639 and 26719
  - From: Ian Lance Taylor
- Re: [patch] for PRs 27639 and 26719
  - From: Richard Kenner
- Re: [patch] for PRs 27639 and 26719
  - From: Duncan Sands

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]