1ae36b1387
Non-throwing inline asm infers the nounwind attribute in instcombine. Thus, it can be handled in the same manner as non-throwing target functions are generally. Further special casing is unnecessary complexity.
47 lines
1.2 KiB
LLVM
47 lines
1.2 KiB
LLVM
; 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 "call trap", "~{dirflag},~{fpsr},~{flags}"() nounwind
|
|
call void asm sideeffect "call trap", "~{dirflag},~{fpsr},~{flags}"() nounwind
|
|
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: call void asm sideeffect
|
|
; CHECK-NEXT: call void asm sideeffect
|
|
|
|
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, ...)
|