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: Will backend ever see an memory operand with address wrap around?

From: amylaar at spamcop dot net
To: "H.J. Lu" <hjl dot tools at gmail dot com>
Cc: Richard Guenther <richard dot guenther at gmail dot com>, GCC Development <gcc at gcc dot gnu dot org>
Date: Sun, 13 May 2012 21:17:39 -0400
Subject: Re: Will backend ever see an memory operand with address wrap around?
References: <CAMe9rOpTN5ZeLfiRvcmqRMqt=qJZ83AfO9KEZVas+u_sNs6Wdw@mail.gmail.com> <CAFiYyc1oqMCiUkNZfqM2-bVXWiL4X0-E2fHhsxKHJ+i8Qpvsqg@mail.gmail.com> <CAMe9rOpqojRF9MLKvJrJ+LTE4mJsvsMNyDrBpq9zNhFC7WXnbg@mail.gmail.com>

Quoting "H.J. Lu" <hjl.tools@gmail.com>:

What is the expect run-time behavior when a + b has
overflow/underflow?


The expectation is wrap-around.  Note that loop strenght reduction can
cause assumed wrap-around semantics in RTL for strictly conforming C input
where no such wrap-around is in evidence.

Follow-Ups:
- Re: Will backend ever see an memory operand with address wrap around?
  - From: H.J. Lu
- Re: Will backend ever see an memory operand with address wrap around?
  - From: Geert Bosch

References:
- Will backend ever see an memory operand with address wrap around?
  - From: H.J. Lu
- Re: Will backend ever see an memory operand with address wrap around?
  - From: Richard Guenther
- Re: Will backend ever see an memory operand with address wrap around?
  - From: H.J. Lu

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