Bill Wendling | c5fb9d8 | 2011-08-25 01:19:13 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
| 5 | @_ZTIc = external constant i8* |
| 6 | @_ZTId = external constant i8* |
| 7 | @_ZTIPKc = external constant i8* |
| 8 | |
David Majnemer | cc714e2 | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 9 | define void @_Z3barv() uwtable optsize ssp personality i32 (...)* @__gxx_personality_v0 { |
Bill Wendling | c5fb9d8 | 2011-08-25 01:19:13 +0000 | [diff] [blame] | 10 | entry: |
| 11 | invoke void @_Z3quxv() optsize |
| 12 | to label %try.cont unwind label %lpad |
| 13 | |
| 14 | try.cont: ; preds = %entry, %invoke.cont4 |
| 15 | ret void |
| 16 | |
| 17 | lpad: ; preds = %entry |
David Majnemer | cc714e2 | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 18 | %exn = landingpad {i8*, i32} |
Bill Wendling | c5fb9d8 | 2011-08-25 01:19:13 +0000 | [diff] [blame] | 19 | cleanup |
| 20 | catch i8** @_ZTIc |
| 21 | filter [2 x i8**] [i8** @_ZTIPKc, i8** @_ZTId] |
| 22 | resume { i8*, i32 } %exn |
| 23 | } |
| 24 | |
| 25 | declare void @_Z3quxv() optsize |
| 26 | |
| 27 | declare i32 @__gxx_personality_v0(...) |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 28 | |
| 29 | define void @cleanupret0() personality i32 (...)* @__gxx_personality_v0 { |
| 30 | entry: |
David Majnemer | 106f7b5 | 2015-08-11 02:48:30 +0000 | [diff] [blame] | 31 | invoke void @_Z3quxv() optsize |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 32 | to label %exit unwind label %pad |
| 33 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 34 | %cp = cleanuppad within none [i7 4] |
| 35 | cleanupret from %cp unwind to caller |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 36 | exit: |
| 37 | ret void |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 38 | } |
| 39 | |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 40 | ; forward ref by name |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 41 | define void @cleanupret1() personality i32 (...)* @__gxx_personality_v0 { |
| 42 | entry: |
David Majnemer | 106f7b5 | 2015-08-11 02:48:30 +0000 | [diff] [blame] | 43 | invoke void @_Z3quxv() optsize |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 44 | to label %exit unwind label %pad |
| 45 | cleanup: |
Joseph Tremoulet | fe9953a | 2016-01-10 04:28:38 +0000 | [diff] [blame] | 46 | cleanupret from %cp unwind to caller |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 47 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 48 | %cp = cleanuppad within none [] |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 49 | br label %cleanup |
| 50 | exit: |
| 51 | ret void |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 52 | } |
| 53 | |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 54 | ; forward ref by ID |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 55 | define void @cleanupret2() personality i32 (...)* @__gxx_personality_v0 { |
| 56 | entry: |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 57 | invoke void @_Z3quxv() optsize |
| 58 | to label %exit unwind label %pad |
| 59 | cleanup: |
Joseph Tremoulet | fe9953a | 2016-01-10 04:28:38 +0000 | [diff] [blame] | 60 | cleanupret from %0 unwind to caller |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 61 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 62 | %0 = cleanuppad within none [] |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 63 | br label %cleanup |
| 64 | exit: |
| 65 | ret void |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 68 | define void @catchret0() personality i32 (...)* @__gxx_personality_v0 { |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 69 | entry: |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 70 | invoke void @_Z3quxv() optsize |
| 71 | to label %exit unwind label %pad |
| 72 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 73 | %cs1 = catchswitch within none [label %catch] unwind to caller |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 74 | catch: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 75 | %cp = catchpad within %cs1 [i7 4] |
| 76 | catchret from %cp to label %exit |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 77 | exit: |
| 78 | ret void |
| 79 | } |
| 80 | |
| 81 | ; forward ref by name |
| 82 | define void @catchret1() personality i32 (...)* @__gxx_personality_v0 { |
| 83 | entry: |
| 84 | invoke void @_Z3quxv() optsize |
| 85 | to label %exit unwind label %pad |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 86 | catchret: |
| 87 | catchret from %cp to label %exit |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 88 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 89 | %cs1 = catchswitch within none [label %catch] unwind to caller |
| 90 | catch: |
| 91 | %cp = catchpad within %cs1 [i7 4] |
| 92 | br label %catchret |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 93 | exit: |
| 94 | ret void |
| 95 | } |
| 96 | |
| 97 | ; forward ref by ID |
| 98 | define void @catchret2() personality i32 (...)* @__gxx_personality_v0 { |
| 99 | entry: |
| 100 | invoke void @_Z3quxv() optsize |
| 101 | to label %exit unwind label %pad |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 102 | catchret: |
| 103 | catchret from %0 to label %exit |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 104 | pad: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 105 | %cs1 = catchswitch within none [label %catch] unwind to caller |
| 106 | catch: |
| 107 | %0 = catchpad within %cs1 [i7 4] |
| 108 | br label %catchret |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 109 | exit: |
| 110 | ret void |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | define i8 @catchpad() personality i32 (...)* @__gxx_personality_v0 { |
| 114 | entry: |
David Majnemer | 106f7b5 | 2015-08-11 02:48:30 +0000 | [diff] [blame] | 115 | invoke void @_Z3quxv() optsize |
David Majnemer | de17e77 | 2015-08-15 02:46:08 +0000 | [diff] [blame] | 116 | to label %exit unwind label %bb2 |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 117 | bb2: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 118 | %cs1 = catchswitch within none [label %catch] unwind to caller |
| 119 | catch: |
| 120 | catchpad within %cs1 [i7 4] |
| 121 | br label %exit |
Joseph Tremoulet | d4a765f | 2015-08-23 00:26:33 +0000 | [diff] [blame] | 122 | exit: |
| 123 | ret i8 0 |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 124 | } |
| 125 | |
David Majnemer | 4a45f08 | 2015-07-31 17:58:14 +0000 | [diff] [blame] | 126 | define void @cleanuppad() personality i32 (...)* @__gxx_personality_v0 { |
| 127 | entry: |
David Majnemer | 106f7b5 | 2015-08-11 02:48:30 +0000 | [diff] [blame] | 128 | br label %try.cont |
| 129 | |
| 130 | try.cont: |
| 131 | invoke void @_Z3quxv() optsize |
| 132 | to label %try.cont unwind label %bb |
| 133 | bb: |
David Majnemer | 8cec2f2 | 2015-12-12 05:38:55 +0000 | [diff] [blame] | 134 | cleanuppad within none [i7 4] |
Joseph Tremoulet | 226889e | 2015-09-03 09:09:43 +0000 | [diff] [blame] | 135 | ret void |
| 136 | } |