diff options
Diffstat (limited to 'test/Transforms/Inline/inline-invoke-with-asm-call.ll')
-rw-r--r-- | test/Transforms/Inline/inline-invoke-with-asm-call.ll | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/test/Transforms/Inline/inline-invoke-with-asm-call.ll b/test/Transforms/Inline/inline-invoke-with-asm-call.ll new file mode 100644 index 0000000000..876f8d7455 --- /dev/null +++ b/test/Transforms/Inline/inline-invoke-with-asm-call.ll @@ -0,0 +1,32 @@ +; RUN: opt < %s -inline -S | FileCheck %s +target triple = "x86_64-apple-darwin" + +; In inliner, we assume that inline asm does not throw. This testing case makes +; sure that the inliner does not convert "call asm" to "invoke asm". +; rdar://15317907 +; CHECK-LABEL: @caller +; Make sure we are generating "call asm" instead of "invoke asm". +; CHECK: call void asm +; CHECK-LABEL: @callee_with_asm +define void @caller() { + br i1 undef, label %1, label %4 + +; <label>:1 + invoke void @callee_with_asm() + to label %4 unwind label %2 + +; <label>:2 + %3 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) + cleanup + resume { i8*, i32 } undef + +; <label>:4 + ret void +} + +define void @callee_with_asm() { + call void asm sideeffect "mov\09r7, r7\09\09@ marker for objc_retainAutoreleaseReturnValue", ""() + ret void +} + +declare i32 @__objc_personality_v0(...) |