Displaying 1 result from an estimated 1 matches for "af8f0266".
2016 Apr 18
2
Is trapping allowed when an add with nsw flag overflows?
[This mail could be an answer to the other responses as well, as they
basically are the same.]
Ah, I think I understand now what poison is for. Adds are defined to
not have side-effects, so the dependence rule is needed so the optimizer
is allowed to exploit undefined behavior. Is this correct?
I forgot to mention in my original mail that our trapping arithmetic
operations are fully