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

John Regehr via llvm-dev llvm-dev at lists.llvm.org
Sun May 8 13:22:45 PDT 2016

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?



More information about the llvm-dev mailing list