[LLVMbugs] [Bug 23766] New: musttail calls are not allowed to precede unreachable

[bugzilla-daemon at llvm.org]

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

            Bug ID: 23766
           Summary: musttail calls are not allowed to precede unreachable
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Backend: X86
          Assignee: unassignedbugs at nondot.org
          Reporter: kavon.farvardin at gmail.com
                CC: compnerd at compnerd.org, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Consider the following code:

declare void @g() noreturn

define void @f() {
entry:
  musttail call void @g() noreturn
  unreachable
}


llc rejects this with the following error:

musttail call must be precede a ret with an optional bitcast
  musttail call void @g() #0
llc: musttail.ll: error: input module is broken!


A conversation on IRC led to the conclusion that `unreachable` following a
`musttail call` should be permitted.

-- 
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/20150605/63d6afdf/attachment.html>