| Manman Ren | 87a2adc | 2013-10-31 21:56:03 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -inline -S | FileCheck %s |
| Chandler Carruth | 625038d | 2016-12-27 07:18:43 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -passes='cgscc(inline)' -S | FileCheck %s |
| Manman Ren | 87a2adc | 2013-10-31 21:56:03 +0000 | [diff] [blame] | 3 | target triple = "x86_64-apple-darwin" |
| 4 | |
| Manman Ren | 1d0b6bb | 2013-11-01 18:06:25 +0000 | [diff] [blame] | 5 | ; In inliner, we assume that inline asm does not throw. This testing case makes |
| 6 | ; sure that the inliner does not convert "call asm" to "invoke asm". |
| Manman Ren | 87a2adc | 2013-10-31 21:56:03 +0000 | [diff] [blame] | 7 | ; rdar://15317907 |
| 8 | ; CHECK-LABEL: @caller |
| 9 | ; Make sure we are generating "call asm" instead of "invoke asm". |
| 10 | ; CHECK: call void asm |
| 11 | ; CHECK-LABEL: @callee_with_asm |
| David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 12 | define void @caller() personality i8* bitcast (i32 (...)* @__objc_personality_v0 to i8*) { |
| Manman Ren | 87a2adc | 2013-10-31 21:56:03 +0000 | [diff] [blame] | 13 | br i1 undef, label %1, label %4 |
| 14 | |
| 15 | ; <label>:1 |
| 16 | invoke void @callee_with_asm() |
| 17 | to label %4 unwind label %2 |
| 18 | |
| 19 | ; <label>:2 |
| David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 20 | %3 = landingpad { i8*, i32 } |
| Manman Ren | 87a2adc | 2013-10-31 21:56:03 +0000 | [diff] [blame] | 21 | cleanup |
| 22 | resume { i8*, i32 } undef |
| 23 | |
| 24 | ; <label>:4 |
| 25 | ret void |
| 26 | } |
| 27 | |
| 28 | define void @callee_with_asm() { |
| 29 | call void asm sideeffect "mov\09r7, r7\09\09@ marker for objc_retainAutoreleaseReturnValue", ""() |
| 30 | ret void |
| 31 | } |
| 32 | |
| 33 | declare i32 @__objc_personality_v0(...) |