blob: 7c97d6118d21ce25669996e123948ced13468b12 [file] [log] [blame]
; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s
; RUN: opt < %s -passes='function-attrs,function(simplifycfg)' -S | FileCheck %s
declare void @noreturn()
define void @testfn() {
; A musttail call must be followed by (optional bitcast then) ret,
; so make sure we don't insert an unreachable
; CHECK: musttail call void @noreturn
; CHECK-NOT: unreachable
; CHECK-NEXT: ret void
musttail call void @noreturn() #0
ret void
}
attributes #0 = { noreturn }