; RUN: opt < %s -passes=inline -S | FileCheck %s
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
@.str.2 = private unnamed_addr constant [7 x i8] c"Boom!\0A\00", align 1
define dso_local void @trap() {
entry:
unreachable
}
define dso_local void @proxy() personality ptr @__gxx_personality_v0 {
entry:
call void asm sideeffect unwind "call trap", "~{dirflag},~{fpsr},~{flags}"()
call void asm sideeffect unwind "call trap", "~{dirflag},~{fpsr},~{flags}"()
ret void
}
define dso_local void @test() personality ptr @__gxx_personality_v0 {
entry:
; CHECK: define dso_local void @test
; CHECK-NOT: invoke void @proxy()
; CHECK: invoke void asm sideeffect unwind
; CHECK: invoke void asm sideeffect unwind
invoke void @proxy()
to label %invoke.cont unwind label %lpad
invoke.cont:
ret void
lpad:
; CHECK: %0 = landingpad { ptr, i32 }
; CHECK: resume { ptr, i32 } %0
%0 = landingpad { ptr, i32 }
cleanup
call void (ptr, ...) @printf(ptr @.str.2)
resume { ptr, i32 } %0
}
declare dso_local i32 @__gxx_personality_v0(...)
declare dso_local void @printf(ptr, ...)