Displaying 1 result from an estimated 1 matches for "8e50c324".
2016 Apr 15
4
Is trapping allowed when an add with nsw flag overflows?
Hi,
In our backend, we currently emit add operations that trap on overflow
if the IR operation has the nsw flag set. Is this allowed?
According to the documentation about poison values, overflowing a nsw
add is undefined behavior. However I didn't find a formal definition of
undefined behavior in LLVM. Judging from previous discussions on the
mailing list, there seems to be a vague