1; Tests that a coroutine is split, inlined into the caller and devirtualized. 2; RUN: opt < %s -S -enable-coroutines -O2 | FileCheck %s 3 4define i8* @f() { 5entry: 6 %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) 7 %need.dyn.alloc = call i1 @llvm.coro.alloc(token %id) 8 br i1 %need.dyn.alloc, label %dyn.alloc, label %coro.begin 9dyn.alloc: 10 %size = call i32 @llvm.coro.size.i32() 11 %alloc = call i8* @malloc(i32 %size) 12 br label %coro.begin 13coro.begin: 14 %phi = phi i8* [ null, %entry ], [ %alloc, %dyn.alloc ] 15 %hdl = call i8* @llvm.coro.begin(token %id, i8* %phi) 16 call void @print(i32 0) 17 %0 = call i8 @llvm.coro.suspend(token none, i1 false) 18 switch i8 %0, label %suspend [i8 0, label %resume 19 i8 1, label %cleanup] 20resume: 21 call void @print(i32 1) 22 br label %cleanup 23 24cleanup: 25 %mem = call i8* @llvm.coro.free(token %id, i8* %hdl) 26 call void @free(i8* %mem) 27 br label %suspend 28suspend: 29 call i1 @llvm.coro.end(i8* %hdl, i1 0) 30 ret i8* %hdl 31} 32define i32 @main() { 33entry: 34 %hdl = call i8* @f() 35 call void @llvm.coro.resume(i8* %hdl) 36 ret i32 0 37; CHECK-LABEL: @main( 38; CHECK: call void @print(i32 0) 39; CHECK: call void @print(i32 1) 40; CHECK: ret i32 0 41} 42 43declare i8* @llvm.coro.free(token, i8*) 44declare i32 @llvm.coro.size.i32() 45declare i8 @llvm.coro.suspend(token, i1) 46declare void @llvm.coro.resume(i8*) 47declare void @llvm.coro.destroy(i8*) 48 49declare token @llvm.coro.id(i32, i8*, i8*, i8*) 50declare i1 @llvm.coro.alloc(token) 51declare i8* @llvm.coro.begin(token, i8*) 52declare i1 @llvm.coro.end(i8*, i1) 53 54declare noalias i8* @malloc(i32) 55declare void @print(i32) 56declare void @free(i8*) 57