llvm/test/Transforms/Coroutines/coro-early.ll

   1 ; Tests that CoroEarly pass correctly lowers coro.resume, coro.destroy
   2 ; and other intrinsics managed by this pass.
   3 ; RUN: opt < %s -S -passes=coro-early | FileCheck %s
   4
   5 ; CHECK: %NoopCoro.Frame = type { void (%NoopCoro.Frame*)*, void (%NoopCoro.Frame*)* }
   6 ; CHECK: @NoopCoro.Frame.Const = private constant %NoopCoro.Frame { void (%NoopCoro.Frame*)* @NoopCoro.ResumeDestroy, void (%NoopCoro.Frame*)* @NoopCoro.ResumeDestroy }
   7
   8 ; CHECK-LABEL: @callResume(
   9 define void @callResume(i8* %hdl) {
  10 ; CHECK-NEXT: entry
  11 entry:
  12 ; CHECK-NEXT: %0 = call i8* @llvm.coro.subfn.addr(i8* %hdl, i8 0)
  13 ; CHECK-NEXT: %1 = bitcast i8* %0 to void (i8*)*
  14 ; CHECK-NEXT: call fastcc void %1(i8* %hdl)
  15   call void @llvm.coro.resume(i8* %hdl)
  16
  17 ; CHECK-NEXT: %2 = call i8* @llvm.coro.subfn.addr(i8* %hdl, i8 1)
  18 ; CHECK-NEXT: %3 = bitcast i8* %2 to void (i8*)*
  19 ; CHECK-NEXT: call fastcc void %3(i8* %hdl)
  20   call void @llvm.coro.destroy(i8* %hdl)
  21
  22   ret void
  23 ; CHECK-NEXT: ret void
  24 }
  25
  26 ; CHECK-LABEL: @eh(
  27 define void @eh(i8* %hdl) personality i8* null {
  28 ; CHECK-NEXT: entry
  29 entry:
  30 ;  CHECK-NEXT: %0 = call i8* @llvm.coro.subfn.addr(i8* %hdl, i8 0)
  31 ;  CHECK-NEXT: %1 = bitcast i8* %0 to void (i8*)*
  32 ;  CHECK-NEXT: invoke fastcc void %1(i8* %hdl)
  33   invoke void @llvm.coro.resume(i8* %hdl)
  34           to label %cont unwind label %ehcleanup
  35 cont:
  36   ret void
  37
  38 ehcleanup:
  39   %0 = cleanuppad within none []
  40   cleanupret from %0 unwind to caller
  41 }
  42
  43
  44 ; CHECK-LABEL: @noop(
  45 define i8* @noop() {
  46 ; CHECK-NEXT: entry
  47 entry:
  48 ; CHECK-NEXT: ret i8* bitcast (%NoopCoro.Frame* @NoopCoro.Frame.Const to i8*)
  49   %n = call i8* @llvm.coro.noop()
  50   ret i8* %n
  51 }
  52
  53 ; CHECK-LABEL: define private fastcc void @NoopCoro.ResumeDestroy(%NoopCoro.Frame* %0) {
  54 ; CHECK-NEXT: entry
  55 ; CHECK-NEXT:    ret void
  56
  57
  58 declare void @llvm.coro.resume(i8*)
  59 declare void @llvm.coro.destroy(i8*)
  60 declare i8* @llvm.coro.noop()