1; RUN: opt -prune-eh -enable-new-pm=0 -S < %s | FileCheck %s 2; RUN: opt < %s -passes='function-attrs,function(simplify-cfg)' -S | FileCheck %s 3 4declare void @noreturn() 5 6define void @testfn() { 7 ; A musttail call must be followed by (optional bitcast then) ret, 8 ; so make sure we don't insert an unreachable 9 ; CHECK: musttail call void @noreturn 10 ; CHECK-NOT: unreachable 11 ; CHECK-NEXT: ret void 12 musttail call void @noreturn() #0 13 ret void 14} 15 16attributes #0 = { noreturn } 17