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

*From*: Robert Dewar <dewar at adacore dot com>*To*: Kenneth Zadeck <zadeck at naturalbridge dot com>*Cc*: Mike Stump <mikestump at comcast dot net>, Lawrence Crowl <crowl at google dot com>, Florian Weimer <fweimer at redhat dot com>, Richard Biener <richard dot guenther at gmail dot com>, gcc-patches <gcc-patches at gcc dot gnu dot org>, rdsandiford at googlemail dot com, Ian Lance Taylor <iant at google dot com>*Date*: Mon, 08 Apr 2013 19:47:56 -0400*Subject*: Re: Comments on the suggestion to use infinite precision math for wide int.*References*: <506C72C7 dot 7090207 at naturalbridge dot com> <515B16EB dot 5020303 at naturalbridge dot com> <CAFiYyc2qWwDcqzCMpMSiQ72w5ry=a3ZpxkFkiK7OvvBA0h4eGw at mail dot gmail dot com> <515C1AFB dot 3080105 at naturalbridge dot com> <CAFiYyc12qGj92j+5yCUEpghOZXqjjAgOzS_H6QJpKvd-dyfU0A at mail dot gmail dot com> <515C55D7 dot 7020003 at naturalbridge dot com> <CAFiYyc0sp1wbq1J+FXoJWcb9UcsOWiwjJ_KaQkbbgCnddxhVzA at mail dot gmail dot com> <5161AA07 dot 7090706 at naturalbridge dot com> <51628648 dot 3030606 at redhat dot com> <5162C2EB dot 4070601 at naturalbridge dot com> <5162C3CF dot 9090506 at adacore dot com> <5162C4CD dot 1030404 at naturalbridge dot com> <5162CB9B dot 6070309 at adacore dot com> <5162D04F dot 7020907 at adacore dot com> <5162D37F dot 40403 at naturalbridge dot com> <5162D59E dot 4010700 at adacore dot com> <CAGqM8fYDPhNn3U29QN2yOw_huxG7M2HEOTrUJJiArdUVgA2rGw at mail dot gmail dot com> <51633878 dot 9090206 at adacore dot com> <51633AAA dot 5040404 at naturalbridge dot com> <51633B4B.301 0601 at adacore dot com> <57DE9BD7-4521-4053-9DFE-C4EFB8E2B443 at comcast dot net> <516348A3 dot 70000 at adacore dot com> <516356DB dot 6090800 at naturalbridge dot com>

On 4/8/2013 7:46 PM, Kenneth Zadeck wrote:

On 04/08/2013 06:45 PM, Robert Dewar wrote:On 4/8/2013 6:34 PM, Mike Stump wrote:On Apr 8, 2013, at 2:48 PM, Robert Dewar <dewar@adacore.com> wrote:That may be so in C, in Ada it would be perfectly reasonable to use infinite precision for intermediate results in some cases, since the language standard specifically encourages this approach.gcc lacks an infinite precision plus operator?! :-)Right, that's why we do everything in the front end in the case of Ada. But it would be perfectly reasonable for the back end to do this substitution.but there is no way in the current tree language to convey which ones you can and which ones you cannot.

Well the back end has all the information to figure this out I think! But anyway, for Ada, the current situation is just fine, and has the advantage that the -gnatG expanded code listing clearly shows in Ada source form, what is going on.

**Follow-Ups**:**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Florian Weimer

**References**:**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Kenneth Zadeck

**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Richard Biener

**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Kenneth Zadeck

**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Richard Biener

**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Kenneth Zadeck

**Re: patch to fix constant math - 4th patch - the wide-int class - patch ping for the next stage 1***From:*Richard Biener

**Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Florian Weimer

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Lawrence Crowl

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Mike Stump

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Robert Dewar

**Re: Comments on the suggestion to use infinite precision math for wide int.***From:*Kenneth Zadeck

Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|

Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |