Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +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 |
Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +0000 | [diff] [blame] | 3 | |
| 4 | declare void @external_func() |
| 5 | |
| 6 | @exception_type1 = external global i8 |
| 7 | @exception_type2 = external global i8 |
| 8 | |
| 9 | |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 10 | define internal void @inner() personality i8* null { |
Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +0000 | [diff] [blame] | 11 | invoke void @external_func() |
| 12 | to label %cont unwind label %lpad |
| 13 | cont: |
| 14 | ret void |
| 15 | lpad: |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 16 | %lp = landingpad i32 |
Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +0000 | [diff] [blame] | 17 | catch i8* @exception_type1 |
| 18 | resume i32 %lp |
| 19 | } |
| 20 | |
| 21 | ; Test that the "cleanup" clause is kept when inlining @inner() into |
| 22 | ; this call site (PR17872), otherwise C++ destructors will not be |
| 23 | ; called when they should be. |
| 24 | |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 25 | define void @outer() personality i8* null { |
Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +0000 | [diff] [blame] | 26 | invoke void @inner() |
| 27 | to label %cont unwind label %lpad |
| 28 | cont: |
| 29 | ret void |
| 30 | lpad: |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 31 | %lp = landingpad i32 |
Mark Seaborn | 1b3dd35 | 2013-12-08 00:51:21 +0000 | [diff] [blame] | 32 | cleanup |
| 33 | catch i8* @exception_type2 |
| 34 | resume i32 %lp |
| 35 | } |
| 36 | ; CHECK: define void @outer |
| 37 | ; CHECK: landingpad |
| 38 | ; CHECK-NEXT: cleanup |
| 39 | ; CHECK-NEXT: catch i8* @exception_type1 |
| 40 | ; CHECK-NEXT: catch i8* @exception_type2 |