[llvm-dev] RFC: Killing undef and spreading poison

[Peter Lawrence via llvm-dev]

Sanjay,
            Your original example showed end-to-end-miscompilation,
After a sequence of transformations,
Where “undefined behavior” is a part of the problem.


My question is can you show some additional examples that do not rely on “nsw” or “nuw” ?

Thanks,
Peter Lawrence.



> On Jun 4, 2017, at 9:13 PM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote:
> 
> Hi Peter,
> 
> On Thu, Jun 1, 2017 at 6:18 PM, Peter Lawrence via llvm-dev
> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote:
> 
>> Also, do you think you can come up with an example that does not depend on
>> signed
>> overflow being “undefined” ?
> 
> Can you be more specific?  Example that does what?
> 
> -- Sanjoy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170605/ba18aeaa/attachment.html>