[llvm-bugs] [Bug 32604] x86_64 codegen checks branch conditions in the wrong order

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Apr 10 12:41:00 PDT 2017


Dan Liew <dan at su-root.co.uk> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #8 from Dan Liew <dan at su-root.co.uk> ---
After talking it over with a few people I don't think this is really a bug.
>From the perspective of the original program no new or incorrect behaviour can
be observed from within the program.

I was also silly in thinking that doing something at the assembly level that
would be undefined behaviour in the source language is considered undefined at
the assembly level.

However it should be noted that branching on non initialized memory at the
assembly level might lead to non-determinism in the sequence of instructions
that are executed. This "might" be observable externally if someone was doing
some sort of tracing at the binary level.

You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170410/98c5d36d/attachment.html>

More information about the llvm-bugs mailing list