This is the mail archive of the gcc@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: As-if Infinitely Ranged Integer Model

From: Robert Dewar <dewar at adacore dot com>
To: laurent at guerby dot net
Cc: Paolo Bonzini <bonzini at gnu dot org>, Gabriel Paubert <paubert at iram dot es>, Dave Korn <dave dot korn dot cygwin at googlemail dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>, Robert Seacord <rcs at cert dot org>, "'gcc at gcc dot gnu dot org'" <gcc at gcc dot gnu dot org>
Date: Mon, 27 Jul 2009 10:28:26 -0400
Subject: Re: As-if Infinitely Ranged Integer Model
References: <6A6ECBC0FF056D4998DC6232D489ED6A0155F9710EE7@EXCHANGE.sei.cmu.edu> <C10B9E3687C68B4D98F6ADFD3C3CDDB701562FC49E31@EXCHANGE.sei.cmu.edu> <Pine.LNX.4.64.0907241107120.7798@digraph.polyomino.org.uk> <4A69A21C.9030101@gmail.com> <4A69DB68.3010706@adacore.com> <1248452712.12548.126.camel@localhost> <20090727073426.GA24263@iram.es> <1248684413.6428.13.camel@localhost> <4A6D808E.1040104@adacore.com> <4A6DAC61.6090004@gnu.org> <1248702167.6428.17.camel@localhost>

Laurent GUERBY wrote:

In most Ada code array T index type will likely be "Natural range <>"
and so the type system will not give useful bounds for optimizations.


Well very often the bounds of the loop are taken from the bounds
of the array, so I don't agree with that statement :-)

Laurent

Follow-Ups:
- Re: As-if Infinitely Ranged Integer Model
  - From: Laurent GUERBY

References:
- As-if Infinitely Ranged Integer Model
  - From: Robert Seacord
- Re: As-if Infinitely Ranged Integer Model
  - From: Joseph S. Myers
- Re: As-if Infinitely Ranged Integer Model
  - From: Dave Korn
- Re: As-if Infinitely Ranged Integer Model
  - From: Robert Dewar
- Re: As-if Infinitely Ranged Integer Model
  - From: Laurent GUERBY
- Re: As-if Infinitely Ranged Integer Model
  - From: Gabriel Paubert
- Re: As-if Infinitely Ranged Integer Model
  - From: Laurent GUERBY
- Re: As-if Infinitely Ranged Integer Model
  - From: Robert Dewar
- Re: As-if Infinitely Ranged Integer Model
  - From: Paolo Bonzini
- Re: As-if Infinitely Ranged Integer Model
  - From: Laurent GUERBY

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