test/CodeGenCXX/eh.cpp

   1 // RUN: %clang_cc1 -fexceptions -triple x86_64-apple-darwin -std=c++0x -emit-llvm %s -o %t.ll
   2 // RUN: FileCheck --input-file=%t.ll %s
   3
   4 struct test1_D {
   5   double d;
   6 } d1;
   7
   8 void test1() {
   9   throw d1;
  10 }
  11
  12 // CHECK:     define void @_Z5test1v()
  13 // CHECK:       [[EXNOBJ:%.*]] = call i8* @__cxa_allocate_exception(i64 8)
  14 // CHECK-NEXT:  [[EXN:%.*]] = bitcast i8* [[EXNOBJ]] to [[DSTAR:%[^*]*\*]]
  15 // CHECK-NEXT:  [[EXN2:%.*]] = bitcast [[DSTAR]] [[EXN]] to i8*
  16 // CHECK-NEXT:  call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[EXN2]], i8* bitcast ([[DSTAR]] @d1 to i8*), i64 8, i32 8, i1 false)
  17 // CHECK-NEXT:  call void @__cxa_throw(i8* [[EXNOBJ]], i8* bitcast (%0* @_ZTI7test1_D to i8*), i8* null) noreturn
  18 // CHECK-NEXT:  unreachable
  19
  20
  21 struct test2_D {
  22   test2_D(const test2_D&o);
  23   test2_D();
  24   virtual void bar() { }
  25   int i; int j;
  26 } d2;
  27
  28 void test2() {
  29   throw d2;
  30 }
  31
  32 // CHECK:     define void @_Z5test2v()
  33 // CHECK:       [[EXNSLOTVAR:%.*]] = alloca i8*
  34 // CHECK-NEXT:  [[CLEANUPDESTVAR:%.*]] = alloca i32
  35 // CHECK-NEXT:  [[EXNOBJ:%.*]] = call i8* @__cxa_allocate_exception(i64 16)
  36 // CHECK-NEXT:  [[EXN:%.*]] = bitcast i8* [[EXNOBJ]] to [[DSTAR:%[^*]*\*]]
  37 // CHECK-NEXT:  invoke void @_ZN7test2_DC1ERKS_([[DSTAR]] [[EXN]], [[DSTAR]] @d2)
  38 // CHECK-NEXT:     to label %[[CONT:.*]] unwind label %{{.*}}
  39 //      :     [[CONT]]:   (can't check this in Release-Asserts builds)
  40 // CHECK:       call void @__cxa_throw(i8* [[EXNOBJ]], i8* bitcast (%{{.*}}* @_ZTI7test2_D to i8*), i8* null) noreturn
  41 // CHECK-NEXT:  unreachable
  42
  43
  44 struct test3_D {
  45   test3_D() { }
  46   test3_D(volatile test3_D&o);
  47   virtual void bar();
  48 };
  49
  50 void test3() {
  51   throw (volatile test3_D *)0;
  52 }
  53
  54 // CHECK:     define void @_Z5test3v()
  55 // CHECK:       [[EXNOBJ:%.*]] = call i8* @__cxa_allocate_exception(i64 8)
  56 // CHECK-NEXT:  [[EXN:%.*]] = bitcast i8* [[EXNOBJ]] to [[D:%[^*]+]]**
  57 // CHECK-NEXT:  store [[D]]* null, [[D]]** [[EXN]]
  58 // CHECK-NEXT:  call void @__cxa_throw(i8* [[EXNOBJ]], i8* bitcast (%1* @_ZTIPV7test3_D to i8*), i8* null) noreturn
  59 // CHECK-NEXT:  unreachable
  60
  61
  62 void test4() {
  63   throw;
  64 }
  65
  66 // CHECK:     define void @_Z5test4v()
  67 // CHECK:        call void @__cxa_rethrow() noreturn
  68 // CHECK-NEXT:   unreachable
  69
  70
  71 // rdar://problem/7696549
  72 namespace test5 {
  73   struct A {
  74     A();
  75     A(const A&);
  76     ~A();
  77   };
  78
  79   void test() {
  80     try { throw A(); } catch (A &x) {}
  81   }
  82 // CHECK:      define void @_ZN5test54testEv()
  83 // CHECK:      [[EXNOBJ:%.*]] = call i8* @__cxa_allocate_exception(i64 1)
  84 // CHECK:      [[EXNCAST:%.*]] = bitcast i8* [[EXNOBJ]] to [[A:%[^*]*]]*
  85 // CHECK-NEXT: invoke void @_ZN5test51AC1Ev([[A]]* [[EXNCAST]])
  86 // CHECK:      invoke void @__cxa_throw(i8* [[EXNOBJ]], i8* bitcast ({{%.*}}* @_ZTIN5test51AE to i8*), i8* bitcast (void ([[A]]*)* @_ZN5test51AD1Ev to i8*)) noreturn
  87 // CHECK-NEXT:   to label {{%.*}} unwind label %[[HANDLER:[^ ]*]]
  88 //      :    [[HANDLER]]:  (can't check this in Release-Asserts builds)
  89 // CHECK:      {{%.*}} = call i32 @llvm.eh.typeid.for(i8* bitcast ({{%.*}}* @_ZTIN5test51AE to i8*))
  90 }
  91
  92 namespace test6 {
  93   template <class T> struct allocator {
  94     ~allocator() throw() { }
  95   };
  96
  97   void foo() {
  98     allocator<int> a;
  99   }
 100 }
 101
 102 // PR7127
 103 namespace test7 {
 104 // CHECK:      define i32 @_ZN5test73fooEv()
 105   int foo() {
 106 // CHECK:      [[CAUGHTEXNVAR:%.*]] = alloca i8*
 107 // CHECK-NEXT: [[INTCATCHVAR:%.*]] = alloca i32
 108 // CHECK-NEXT: [[EHCLEANUPDESTVAR:%.*]] = alloca i32
 109     try {
 110       try {
 111 // CHECK-NEXT: [[EXNALLOC:%.*]] = call i8* @__cxa_allocate_exception
 112 // CHECK-NEXT: bitcast i8* [[EXNALLOC]] to i32*
 113 // CHECK-NEXT: store i32 1, i32*
 114 // CHECK-NEXT: invoke void @__cxa_throw(i8* [[EXNALLOC]], i8* bitcast (i8** @_ZTIi to i8*), i8* null
 115         throw 1;
 116       }
 117
 118 // CHECK:      [[CAUGHTEXN:%.*]] = call i8* @llvm.eh.exception()
 119 // CHECK-NEXT: store i8* [[CAUGHTEXN]], i8** [[CAUGHTEXNVAR]]
 120 // CHECK-NEXT: call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* [[CAUGHTEXN]], i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i8* bitcast (i8** @_ZTIi to i8*), i8* null)
 121 // CHECK-NEXT: call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*))
 122 // CHECK-NEXT: icmp eq
 123 // CHECK-NEXT: br i1
 124 // CHECK:      load i8** [[CAUGHTEXNVAR]]
 125 // CHECK-NEXT: call i8* @__cxa_begin_catch
 126 // CHECK:      invoke void @__cxa_rethrow
 127       catch (int) {
 128         throw;
 129       }
 130     }
 131 // CHECK:      [[CAUGHTEXN:%.*]] = call i8* @llvm.eh.exception()
 132 // CHECK-NEXT: store i8* [[CAUGHTEXN]], i8** [[CAUGHTEXNVAR]]
 133 // CHECK-NEXT: call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* [[CAUGHTEXN]], i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i8* null)
 134 // CHECK-NEXT: store i32 1, i32* [[EHCLEANUPDESTVAR]]
 135 // CHECK-NEXT: call void @__cxa_end_catch()
 136 // CHECK-NEXT: br label
 137 // CHECK:      load i8** [[CAUGHTEXNVAR]]
 138 // CHECK-NEXT: call i8* @__cxa_begin_catch
 139 // CHECK-NEXT: call void @__cxa_end_catch
 140     catch (...) {
 141     }
 142 // CHECK:      ret i32 0
 143     return 0;
 144   }
 145 }
 146
 147 // Ordering of destructors in a catch handler.
 148 namespace test8 {
 149   struct A { A(const A&); ~A(); };
 150   void bar();
 151
 152   // CHECK: define void @_ZN5test83fooEv()
 153   void foo() {
 154     try {
 155       // CHECK:      invoke void @_ZN5test83barEv()
 156       bar();
 157     } catch (A a) {
 158       // CHECK:      call i8* @__cxa_get_exception_ptr
 159       // CHECK-NEXT: bitcast
 160       // CHECK-NEXT: invoke void @_ZN5test81AC1ERKS0_(
 161       // CHECK:      call i8* @__cxa_begin_catch
 162       // CHECK-NEXT: invoke void @_ZN5test81AD1Ev(
 163       // CHECK:      call void @__cxa_end_catch()
 164       // CHECK:      ret void
 165     }
 166   }
 167 }
 168
 169 // Constructor function-try-block must rethrow on fallthrough.
 170 // rdar://problem/7696603
 171 namespace test9 {
 172   void opaque();
 173
 174   struct A { A(); };
 175
 176   // CHECK:      define void @_ZN5test91AC1Ev(%"struct.test10::A"* %this) unnamed_addr
 177   // CHECK:      call void @_ZN5test91AC2Ev
 178   // CHECK-NEXT: ret void
 179
 180   // CHECK: define void @_ZN5test91AC2Ev(%"struct.test10::A"* %this) unnamed_addr
 181   A::A() try {
 182   // CHECK:      invoke void @_ZN5test96opaqueEv()
 183     opaque();
 184   } catch (int x) {
 185   // CHECK:      call i8* @__cxa_begin_catch
 186   // CHECK:      invoke void @_ZN5test96opaqueEv()
 187   // CHECK:      invoke void @__cxa_rethrow()
 188     opaque();
 189   }
 190
 191   // landing pad from first call to invoke
 192   // CHECK:      call i8* @llvm.eh.exception
 193   // CHECK:      call i32 (i8*, i8*, ...)* @llvm.eh.selector(i8* {{.*}}, i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*), i8* bitcast (i8** @_ZTIi to i8*), i8* null)
 194 }
 195
 196 // __cxa_end_catch can throw for some kinds of caught exceptions.
 197 namespace test10 {
 198   void opaque();
 199
 200   struct A { ~A(); };
 201   struct B { int x; };
 202
 203   // CHECK: define void @_ZN6test103fooEv()
 204   void foo() {
 205     A a; // force a cleanup context
 206
 207     try {
 208     // CHECK:      invoke void @_ZN6test106opaqueEv()
 209       opaque();
 210     } catch (int i) {
 211     // CHECK:      call i8* @__cxa_begin_catch
 212     // CHECK-NEXT: bitcast
 213     // CHECK-NEXT: load i32*
 214     // CHECK-NEXT: store i32
 215     // CHECK-NEXT: call void @__cxa_end_catch() nounwind
 216     } catch (B a) {
 217     // CHECK:      call i8* @__cxa_begin_catch
 218     // CHECK-NEXT: bitcast
 219     // CHECK-NEXT: bitcast
 220     // CHECK-NEXT: bitcast
 221     // CHECK-NEXT: call void @llvm.memcpy
 222     // CHECK-NEXT: invoke void @__cxa_end_catch()
 223     } catch (...) {
 224     // CHECK:      call i8* @__cxa_begin_catch
 225     // CHECK-NEXT: invoke void @__cxa_end_catch()
 226     }
 227
 228     // CHECK: call void @_ZN6test101AD1Ev(
 229   }
 230 }
 231
 232 // __cxa_begin_catch returns pointers by value, even when catching by reference
 233 // <rdar://problem/8212123>
 234 namespace test11 {
 235   void opaque();
 236
 237   // CHECK: define void @_ZN6test113fooEv()
 238   void foo() {
 239     try {
 240       // CHECK:      invoke void @_ZN6test116opaqueEv()
 241       opaque();
 242     } catch (int**&p) {
 243       // CHECK:      [[EXN:%.*]] = load i8**
 244       // CHECK-NEXT: call i8* @__cxa_begin_catch(i8* [[EXN]]) nounwind
 245       // CHECK-NEXT: [[ADJ1:%.*]] = getelementptr i8* [[EXN]], i32 32
 246       // CHECK-NEXT: [[ADJ2:%.*]] = bitcast i8* [[ADJ1]] to i32***
 247       // CHECK-NEXT: store i32*** [[ADJ2]], i32**** [[P:%.*]]
 248       // CHECK-NEXT: call void @__cxa_end_catch() nounwind
 249     }
 250   }
 251
 252   struct A {};
 253
 254   // CHECK: define void @_ZN6test113barEv()
 255   void bar() {
 256     try {
 257       // CHECK:      [[EXNSLOT:%.*]] = alloca i8*
 258       // CHECK-NEXT: [[P:%.*]] = alloca [[A:%.*]]**,
 259       // CHECK-NEXT: [[TMP:%.*]] = alloca [[A]]*
 260       // CHECK-NEXT: invoke void @_ZN6test116opaqueEv()
 261       opaque();
 262     } catch (A*&p) {
 263       // CHECK:      [[EXN:%.*]] = load i8** [[EXNSLOT]]
 264       // CHECK-NEXT: [[ADJ1:%.*]] = call i8* @__cxa_begin_catch(i8* [[EXN]]) nounwind
 265       // CHECK-NEXT: [[ADJ2:%.*]] = bitcast i8* [[ADJ1]] to [[A]]*
 266       // CHECK-NEXT: store [[A]]* [[ADJ2]], [[A]]** [[TMP]]
 267       // CHECK-NEXT: store [[A]]** [[TMP]], [[A]]*** [[P]]
 268       // CHECK-NEXT: call void @__cxa_end_catch() nounwind
 269     }
 270   }
 271 }
 272
 273 // PR7686
 274 namespace test12 {
 275   struct A { ~A(); };
 276   bool opaque(const A&);
 277
 278   // CHECK: define void @_ZN6test124testEv()
 279   void test() {
 280     // CHECK: [[X:%.*]] = alloca [[A:%.*]],
 281     // CHECK: [[EHCLEANUPDEST:%.*]] = alloca i32
 282     // CHECK: [[Y:%.*]] = alloca [[A]]
 283     // CHECK: [[Z:%.*]] = alloca [[A]]
 284     // CHECK: [[CLEANUPDEST:%.*]] = alloca i32
 285
 286     A x;
 287     // CHECK: invoke zeroext i1 @_ZN6test126opaqueERKNS_1AE(
 288     if (opaque(x)) {
 289       A y;
 290       A z;
 291
 292       // CHECK: invoke void @_ZN6test121AD1Ev([[A]]* [[Z]])
 293       // CHECK: invoke void @_ZN6test121AD1Ev([[A]]* [[Y]])
 294
 295       // It'd be great if something eliminated this switch.
 296       // CHECK:      load i32* [[CLEANUPDEST]]
 297       // CHECK-NEXT: switch i32
 298       goto success;
 299     }
 300
 301   success:
 302     bool _ = true;
 303
 304     // CHECK: call void @_ZN6test121AD1Ev([[A]]* [[X]])
 305     // CHECK-NEXT: ret void
 306   }
 307 }
 308
 309 // Reduced from some TableGen code that was causing a self-host crash.
 310 namespace test13 {
 311   struct A { ~A(); };
 312
 313   void test0(int x) {
 314     try {
 315       switch (x) {
 316       case 0:
 317         break;
 318       case 1:{
 319         A a;
 320         break;
 321       }
 322       default:
 323         return;
 324       }
 325       return;
 326     } catch (int x) {
 327     }
 328     return;
 329   }
 330
 331   void test1(int x) {
 332     A y;
 333     try {
 334       switch (x) {
 335       default: break;
 336       }
 337     } catch (int x) {}
 338   }
 339 }
 340
 341 // rdar://problem/8231514
 342 namespace test14 {
 343   struct A { ~A(); };
 344   struct B { ~B(); };
 345
 346   B b();
 347   void opaque();
 348
 349   void foo() {
 350     A a;
 351     try {
 352       B str = b();
 353       opaque();
 354     } catch (int x) {
 355     }
 356   }
 357 }
 358
 359 // rdar://problem/8231514
 360 // JumpDests shouldn't get confused by scopes that aren't normal cleanups.
 361 namespace test15 {
 362   struct A { ~A(); };
 363
 364   bool opaque(int);
 365
 366   // CHECK: define void @_ZN6test153fooEv()
 367   void foo() {
 368     A a;
 369
 370     try {
 371       // CHECK:      [[X:%.*]] = alloca i32
 372       // CHECK:      store i32 10, i32* [[X]]
 373       // CHECK-NEXT: br label
 374       //   -> while.cond
 375       int x = 10;
 376
 377       while (true) {
 378         // CHECK:      load i32* [[X]]
 379         // CHECK-NEXT: [[COND:%.*]] = invoke zeroext i1 @_ZN6test156opaqueEi
 380         // CHECK:      br i1 [[COND]]
 381         if (opaque(x))
 382         // CHECK:      br label
 383           break;
 384
 385         // CHECK:      br label
 386       }
 387       // CHECK:      br label
 388     } catch (int x) { }
 389
 390     // CHECK: call void @_ZN6test151AD1Ev
 391   }
 392 }
 393
 394 namespace test16 {
 395   struct A { A(); ~A(); };
 396   struct B { int x; B(const A &); ~B(); };
 397   void foo();
 398   bool cond();
 399
 400   // CHECK: define void @_ZN6test163barEv()
 401   void bar() {
 402     // CHECK:      [[EXN_SAVE:%.*]] = alloca i8*
 403     // CHECK-NEXT: [[EXN_ACTIVE:%.*]] = alloca i1
 404     // CHECK-NEXT: [[TEMP:%.*]] = alloca [[A:%.*]],
 405     // CHECK-NEXT: [[EXNSLOT:%.*]] = alloca i8*
 406     // CHECK-NEXT: [[EHDEST:%.*]] = alloca i32
 407     // CHECK-NEXT: [[TEMP_ACTIVE:%.*]] = alloca i1
 408
 409     cond() ? throw B(A()) : foo();
 410
 411     // CHECK-NEXT: [[COND:%.*]] = call zeroext i1 @_ZN6test164condEv()
 412     // CHECK-NEXT: store i1 false, i1* [[EXN_ACTIVE]]
 413     // CHECK-NEXT: store i1 false, i1* [[TEMP_ACTIVE]]
 414     // CHECK-NEXT: br i1 [[COND]],
 415
 416     // CHECK:      [[EXN:%.*]] = call i8* @__cxa_allocate_exception(i64 4)
 417     // CHECK-NEXT: store i8* [[EXN]], i8** [[EXN_SAVE]]
 418     // CHECK-NEXT: store i1 true, i1* [[EXN_ACTIVE]]
 419     // CHECK-NEXT: [[T0:%.*]] = bitcast i8* [[EXN]] to [[B:%.*]]*
 420     // CHECK-NEXT: invoke void @_ZN6test161AC1Ev([[A]]* [[TEMP]])
 421     // CHECK:      store i1 true, i1* [[TEMP_ACTIVE]]
 422     // CHECK-NEXT: invoke void @_ZN6test161BC1ERKNS_1AE([[B]]* [[T0]], [[A]]* [[TEMP]])
 423     // CHECK:      store i1 false, i1* [[EXN_ACTIVE]]
 424     // CHECK-NEXT: invoke void @__cxa_throw(i8* [[EXN]],
 425
 426     // CHECK:      invoke void @_ZN6test163fooEv()
 427     // CHECK:      br label
 428
 429     // CHECK:      invoke void @_ZN6test161AD1Ev([[A]]* [[TEMP]])
 430     // CHECK:      ret void
 431
 432     // CHECK:      [[T0:%.*]] = load i1* [[EXN_ACTIVE]]
 433     // CHECK-NEXT: br i1 [[T0]]
 434     // CHECK:      [[T1:%.*]] = load i8** [[EXN_SAVE]]
 435     // CHECK-NEXT: call void @__cxa_free_exception(i8* [[T1]])
 436     // CHECK-NEXT: br label
 437   }
 438 }