[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” ?
> 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
>> overflow being “undefined” ?
> Can you be more specific? Example that does what?
> -- Sanjoy
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev