[llvm-dev] x.with.overflow semantics question

[John Regehr via llvm-dev]

Philip Reames and I are debating the semantics of x.with.overflow and I 
wanted to see if I could get a ruling here:

My read of the langref is that the overflow bit and the result of the 
operation are independent of each other.  In other words, we can count 
on the result of add.with.overflow being the same as the result of a 
(non-nsw) add, even in the case where an overflow occurs.  Is that right?

Thanks!

John