test/CodeGenCoroutines/coro-promise-dtor.cpp

   1 // RUN: %clang_cc1 -std=c++14 -fcoroutines-ts -triple=x86_64-pc-windows-msvc18.0.0 -emit-llvm -o - %s -fexceptions -fcxx-exceptions -disable-llvm-passes | FileCheck %s
   2 // -triple=x86_64-unknown-linux-gnu
   3
   4 #include "Inputs/coroutine.h"
   5
   6 namespace coro = std::experimental::coroutines_v1;
   7
   8 struct coro_t {
   9   void* p;
  10   ~coro_t();
  11   struct promise_type {
  12     coro_t get_return_object();
  13     coro::suspend_never initial_suspend();
  14     coro::suspend_never final_suspend();
  15     void return_void();
  16     promise_type();
  17     ~promise_type();
  18     void unhandled_exception();
  19   };
  20 };
  21
  22 struct Cleanup { ~Cleanup(); };
  23 void may_throw();
  24
  25 coro_t f() {
  26   Cleanup cleanup;
  27   may_throw();
  28   co_return;
  29 }
  30
  31 // CHECK-LABEL: define dso_local void @"?f@@YA?AUcoro_t@@XZ"(
  32 // CHECK:  %gro.active = alloca i1
  33 // CHECK:  store i1 false, i1* %gro.active
  34
  35 // CHECK:  invoke %"struct.coro_t::promise_type"* @"??0promise_type@coro_t@@QEAA@XZ"(
  36 // CHECK:  invoke void @"?get_return_object@promise_type@coro_t@@QEAA?AU2@XZ"(
  37 // CHECK:  store i1 true, i1* %gro.active
  38
  39 // CHECK:  %[[IS_ACTIVE:.+]] = load i1, i1* %gro.active
  40 // CHECK:  br i1 %[[IS_ACTIVE]], label %[[CLEANUP1:.+]], label
  41
  42 // CHECK: [[CLEANUP1]]:
  43 // CHECK:  %[[NRVO:.+]] = load i1, i1* %nrvo
  44 // CHECK:  br i1 %[[NRVO]], label %{{.+}}, label %[[DTOR:.+]]
  45
  46 // CHECK: [[DTOR]]:
  47 // CHECK:  call void @"??1coro_t@@QEAA@XZ"(