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