Ulrich Weigand | 9230997 | 2012-10-24 12:22:56 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -O1 -o - %s | FileCheck %s |
| 2 | // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -O1 -fcxx-exceptions -fexceptions -o - %s | FileCheck --check-prefix=CHECK-EH %s |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 3 | |
| 4 | // Test code generation for the named return value optimization. |
| 5 | class X { |
| 6 | public: |
| 7 | X(); |
| 8 | X(const X&); |
| 9 | ~X(); |
| 10 | }; |
| 11 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 12 | template<typename T> struct Y { |
| 13 | Y(); |
| 14 | static Y f() { |
| 15 | Y y; |
| 16 | return y; |
| 17 | } |
| 18 | }; |
| 19 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 20 | // CHECK-LABEL: define void @_Z5test0v |
| 21 | // CHECK-EH-LABEL: define void @_Z5test0v |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 22 | X test0() { |
| 23 | X x; |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 24 | // CHECK: call {{.*}} @_ZN1XC1Ev |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 25 | // CHECK-NEXT: ret void |
| 26 | |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 27 | // CHECK-EH: call {{.*}} @_ZN1XC1Ev |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 28 | // CHECK-EH-NEXT: ret void |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 29 | return x; |
| 30 | } |
| 31 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 32 | // CHECK-LABEL: define void @_Z5test1b( |
| 33 | // CHECK-EH-LABEL: define void @_Z5test1b( |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 34 | X test1(bool B) { |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 35 | // CHECK: tail call {{.*}} @_ZN1XC1Ev |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 36 | // CHECK-NEXT: ret void |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 37 | X x; |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 38 | if (B) |
| 39 | return (x); |
| 40 | return x; |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 41 | // CHECK-EH: tail call {{.*}} @_ZN1XC1Ev |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 42 | // CHECK-EH-NEXT: ret void |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 43 | } |
| 44 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 45 | // CHECK-LABEL: define void @_Z5test2b |
| 46 | // CHECK-EH-LABEL: define void @_Z5test2b |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 47 | X test2(bool B) { |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 48 | // No NRVO. |
| 49 | |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 50 | X x; |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 51 | X y; |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 52 | if (B) |
| 53 | return y; |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 54 | return x; |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 55 | |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 56 | // CHECK: call {{.*}} @_ZN1XC1Ev |
| 57 | // CHECK-NEXT: call {{.*}} @_ZN1XC1Ev |
| 58 | // CHECK: call {{.*}} @_ZN1XC1ERKS_ |
| 59 | // CHECK: call {{.*}} @_ZN1XC1ERKS_ |
| 60 | // CHECK: call {{.*}} @_ZN1XD1Ev |
| 61 | // CHECK: call {{.*}} @_ZN1XD1Ev |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 62 | // CHECK: ret void |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 63 | |
| 64 | // The block ordering in the -fexceptions IR is unfortunate. |
| 65 | |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 66 | // CHECK-EH: call {{.*}} @_ZN1XC1Ev |
| 67 | // CHECK-EH-NEXT: invoke {{.*}} @_ZN1XC1Ev |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 68 | // -> %invoke.cont, %lpad |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 69 | |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 70 | // %invoke.cont: |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 71 | // CHECK-EH: br i1 |
| 72 | // -> %if.then, %if.end |
| 73 | |
| 74 | // %if.then: returning 'x' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 75 | // CHECK-EH: invoke {{.*}} @_ZN1XC1ERKS_ |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 76 | // -> %cleanup, %lpad1 |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 77 | |
| 78 | // %lpad: landing pad for ctor of 'y', dtor of 'y' |
Bill Wendling | 285cfd8 | 2011-09-19 20:31:14 +0000 | [diff] [blame] | 79 | // CHECK-EH: [[CAUGHTVAL:%.*]] = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 80 | // CHECK-EH-NEXT: cleanup |
| 81 | // CHECK-EH-NEXT: extractvalue { i8*, i32 } [[CAUGHTVAL]], 0 |
| 82 | // CHECK-EH-NEXT: extractvalue { i8*, i32 } [[CAUGHTVAL]], 1 |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 83 | // CHECK-EH-NEXT: br label |
| 84 | // -> %eh.cleanup |
| 85 | |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 86 | // %lpad1: landing pad for return copy ctors, EH cleanup for 'y' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 87 | // CHECK-EH: invoke {{.*}} @_ZN1XD1Ev |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 88 | // -> %eh.cleanup, %terminate.lpad |
| 89 | |
| 90 | // %if.end: returning 'y' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 91 | // CHECK-EH: invoke {{.*}} @_ZN1XC1ERKS_ |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 92 | // -> %cleanup, %lpad1 |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 93 | |
| 94 | // %cleanup: normal cleanup for 'y' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 95 | // CHECK-EH: invoke {{.*}} @_ZN1XD1Ev |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 96 | // -> %invoke.cont11, %lpad |
| 97 | |
| 98 | // %invoke.cont11: normal cleanup for 'x' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 99 | // CHECK-EH: call {{.*}} @_ZN1XD1Ev |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 100 | // CHECK-EH-NEXT: ret void |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 101 | |
| 102 | // %eh.cleanup: EH cleanup for 'x' |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 103 | // CHECK-EH: invoke {{.*}} @_ZN1XD1Ev |
John McCall | da65ea8 | 2010-07-13 20:32:21 +0000 | [diff] [blame] | 104 | // -> %invoke.cont17, %terminate.lpad |
| 105 | |
| 106 | // %invoke.cont17: rethrow block for %eh.cleanup. |
| 107 | // This really should be elsewhere in the function. |
Bill Wendling | 285cfd8 | 2011-09-19 20:31:14 +0000 | [diff] [blame] | 108 | // CHECK-EH: resume { i8*, i32 } |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 109 | |
| 110 | // %terminate.lpad: terminate landing pad. |
John McCall | 66b2277 | 2013-02-12 03:51:46 +0000 | [diff] [blame] | 111 | // CHECK-EH: [[T0:%.*]] = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
Bill Wendling | 285cfd8 | 2011-09-19 20:31:14 +0000 | [diff] [blame] | 112 | // CHECK-EH-NEXT: catch i8* null |
John McCall | 66b2277 | 2013-02-12 03:51:46 +0000 | [diff] [blame] | 113 | // CHECK-EH-NEXT: [[T1:%.*]] = extractvalue { i8*, i32 } [[T0]], 0 |
Bill Wendling | 4e1125f | 2013-02-22 09:10:20 +0000 | [diff] [blame] | 114 | // CHECK-EH-NEXT: call void @__clang_call_terminate(i8* [[T1]]) [[NR_NUW:#[0-9]+]] |
John McCall | f1549f6 | 2010-07-06 01:34:17 +0000 | [diff] [blame] | 115 | // CHECK-EH-NEXT: unreachable |
| 116 | |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 117 | } |
| 118 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 119 | // CHECK-LABEL: define void @_Z5test3b |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 120 | X test3(bool B) { |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 121 | // CHECK: tail call {{.*}} @_ZN1XC1Ev |
| 122 | // CHECK-NOT: call {{.*}} @_ZN1XC1ERKS_ |
| 123 | // CHECK: call {{.*}} @_ZN1XC1Ev |
| 124 | // CHECK: call {{.*}} @_ZN1XC1ERKS_ |
| 125 | if (B) { |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 126 | X y; |
| 127 | return y; |
| 128 | } |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 129 | // FIXME: we should NRVO this variable too. |
Douglas Gregor | d86c477 | 2010-05-15 06:46:45 +0000 | [diff] [blame] | 130 | X x; |
| 131 | return x; |
| 132 | } |
Douglas Gregor | 3d91bbc | 2010-05-17 15:52:46 +0000 | [diff] [blame] | 133 | |
| 134 | extern "C" void exit(int) throw(); |
| 135 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 136 | // CHECK-LABEL: define void @_Z5test4b |
Douglas Gregor | 3d91bbc | 2010-05-17 15:52:46 +0000 | [diff] [blame] | 137 | X test4(bool B) { |
| 138 | { |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 139 | // CHECK: tail call {{.*}} @_ZN1XC1Ev |
Douglas Gregor | 3d91bbc | 2010-05-17 15:52:46 +0000 | [diff] [blame] | 140 | X x; |
| 141 | // CHECK: br i1 |
| 142 | if (B) |
| 143 | return x; |
| 144 | } |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 145 | // CHECK: tail call {{.*}} @_ZN1XD1Ev |
Douglas Gregor | 3d91bbc | 2010-05-17 15:52:46 +0000 | [diff] [blame] | 146 | // CHECK: tail call void @exit(i32 1) |
| 147 | exit(1); |
| 148 | } |
Douglas Gregor | f5d8f46 | 2011-01-21 18:05:27 +0000 | [diff] [blame] | 149 | |
Anders Carlsson | e41721e | 2011-02-19 19:23:03 +0000 | [diff] [blame] | 150 | #ifdef __EXCEPTIONS |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 151 | // CHECK-EH-LABEL: define void @_Z5test5 |
Douglas Gregor | f5d8f46 | 2011-01-21 18:05:27 +0000 | [diff] [blame] | 152 | void may_throw(); |
| 153 | X test5() { |
| 154 | try { |
| 155 | may_throw(); |
| 156 | } catch (X x) { |
Eli Friedman | 12e9f8e | 2011-06-14 21:20:53 +0000 | [diff] [blame] | 157 | // CHECK-EH: invoke {{.*}} @_ZN1XC1ERKS_ |
Douglas Gregor | f5d8f46 | 2011-01-21 18:05:27 +0000 | [diff] [blame] | 158 | // CHECK-EH: call void @__cxa_end_catch() |
| 159 | // CHECK-EH: ret void |
| 160 | return x; |
| 161 | } |
| 162 | } |
Anders Carlsson | e41721e | 2011-02-19 19:23:03 +0000 | [diff] [blame] | 163 | #endif |
John McCall | 1cd76e8 | 2011-11-11 03:57:31 +0000 | [diff] [blame] | 164 | |
| 165 | // rdar://problem/10430868 |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 166 | // CHECK-LABEL: define void @_Z5test6v |
John McCall | 1cd76e8 | 2011-11-11 03:57:31 +0000 | [diff] [blame] | 167 | X test6() { |
| 168 | X a __attribute__((aligned(8))); |
| 169 | return a; |
| 170 | // CHECK: [[A:%.*]] = alloca [[X:%.*]], align 8 |
Eli Friedman | 194428c | 2011-11-11 23:36:04 +0000 | [diff] [blame] | 171 | // CHECK-NEXT: call {{.*}} @_ZN1XC1Ev([[X]]* [[A]]) |
Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 172 | // CHECK-NEXT: call {{.*}} @_ZN1XC1ERKS_([[X]]* {{%.*}}, [[X]]* dereferenceable({{[0-9]+}}) [[A]]) |
Eli Friedman | 194428c | 2011-11-11 23:36:04 +0000 | [diff] [blame] | 173 | // CHECK-NEXT: call {{.*}} @_ZN1XD1Ev([[X]]* [[A]]) |
John McCall | 1cd76e8 | 2011-11-11 03:57:31 +0000 | [diff] [blame] | 174 | // CHECK-NEXT: ret void |
| 175 | } |
Bill Wendling | 4e1125f | 2013-02-22 09:10:20 +0000 | [diff] [blame] | 176 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 177 | // CHECK-LABEL: define void @_Z5test7b |
| 178 | X test7(bool b) { |
| 179 | // CHECK: tail call {{.*}} @_ZN1XC1Ev |
| 180 | // CHECK-NEXT: ret |
| 181 | if (b) { |
| 182 | X x; |
| 183 | return x; |
| 184 | } |
| 185 | return X(); |
| 186 | } |
| 187 | |
| 188 | // CHECK-LABEL: define void @_Z5test8b |
| 189 | X test8(bool b) { |
| 190 | // CHECK: tail call {{.*}} @_ZN1XC1Ev |
| 191 | // CHECK-NEXT: ret |
| 192 | if (b) { |
| 193 | X x; |
| 194 | return x; |
| 195 | } else { |
| 196 | X y; |
| 197 | return y; |
| 198 | } |
| 199 | } |
| 200 | |
| 201 | Y<int> test9() { |
| 202 | Y<int>::f(); |
| 203 | } |
| 204 | |
| 205 | // CHECK-LABEL: define linkonce_odr void @_ZN1YIiE1fEv |
| 206 | // CHECK: tail call {{.*}} @_ZN1YIiEC1Ev |
| 207 | |
Bill Wendling | 4e1125f | 2013-02-22 09:10:20 +0000 | [diff] [blame] | 208 | // CHECK-EH: attributes [[NR_NUW]] = { noreturn nounwind } |