On Sun, May 13, 2012 at 6:17 PM, <[email protected]> wrote: > Quoting "H.J. Lu" <[email protected]>: > >> 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.
I noticed that also. But my impression is loop strength reduction doesn't use wrap-around address for load/store directly. -- H.J.
