[llvm-bugs] [Bug 24529] Add support for jumping between MSVC inline asm blob labels

via llvm-bugs llvm-bugs at lists.llvm.org
Wed Mar 1 15:21:34 PST 2017


https://bugs.llvm.org/show_bug.cgi?id=24529

Reid Kleckner <rnk at google.com> changed:

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

--- Comment #4 from Reid Kleckner <rnk at google.com> ---
I agree with everything in c#3. I'm pretty close to just marking this WONTFIX.

We *could* hypothetically implement this the way we implemented WinEH, where we
have an inline asm instrution that is both a terminator and a "leader", meaning
must be the first non-phi instruction like a landingpad or catchswitch. Such a
block has no insertion point: passes must non insert any non-phi instructions
into it. In theory, the existence of catchswitch requires that all passes
handle these blocks gracefully. Any phis appearing in a leader-terminator block
would be demoted to memory. This would ensure that no code is generated between
two asm blobs that should be consistent. We would also need to communicate that
the second block *must* be the layout successor, which is also pretty weird.

However, that's all quite challenging and probably not worth anyone's time.
Let's go with wontfix.

-- 
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/20170301/3a7962b6/attachment.html>


More information about the llvm-bugs mailing list