55 lines · plain
1; First example from Doc/Coroutines.rst (one block loop)2; RUN: opt < %s -aa-pipeline=basic-aa -passes='default<O2>' -preserve-alignment-assumptions-during-inlining=false -S | FileCheck %s3 4define ptr @f(i32 %n) presplitcoroutine {5entry:6 %id = call token @llvm.coro.id(i32 0, ptr null, ptr null, ptr null)7 %size = call i32 @llvm.coro.size.i32()8 %alloc = call ptr @malloc(i32 %size)9 %hdl = call noalias ptr @llvm.coro.begin(token %id, ptr %alloc)10 br label %loop11loop:12 %n.val = phi i32 [ %n, %entry ], [ %inc, %loop ]13 %inc = add nsw i32 %n.val, 114 call void @print(i32 %n.val)15 %0 = call i8 @llvm.coro.suspend(token none, i1 false)16 switch i8 %0, label %suspend [i8 0, label %loop17 i8 1, label %cleanup]18cleanup:19 %mem = call ptr @llvm.coro.free(token %id, ptr %hdl)20 call void @free(ptr %mem)21 br label %suspend22suspend:23 call void @llvm.coro.end(ptr %hdl, i1 false, token none)24 ret ptr %hdl25}26 27; CHECK-LABEL: @main(28define i32 @main() {29entry:30 %hdl = call ptr @f(i32 4)31 call void @llvm.coro.resume(ptr %hdl)32 call void @llvm.coro.resume(ptr %hdl)33 call void @llvm.coro.destroy(ptr %hdl)34 ret i32 035; CHECK-NEXT: entry:36; CHECK: call void @print(i32 4)37; CHECK: call void @print(i32 5)38; CHECK: call void @print(i32 6)39; CHECK: ret i32 040}41 42declare ptr @malloc(i32)43declare void @free(ptr)44declare void @print(i32)45 46declare token @llvm.coro.id(i32, ptr, ptr, ptr)47declare i32 @llvm.coro.size.i32()48declare ptr @llvm.coro.begin(token, ptr)49declare i8 @llvm.coro.suspend(token, i1)50declare ptr @llvm.coro.free(token, ptr)51declare void @llvm.coro.end(ptr, i1, token)52 53declare void @llvm.coro.resume(ptr)54declare void @llvm.coro.destroy(ptr)55