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

Peter Lawrence via llvm-dev llvm-dev at lists.llvm.org
Mon Jun 5 15:56:57 PDT 2017

            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” ?

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>

More information about the llvm-dev mailing list