76 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; First example from Doc/Coroutines.rst (two block loop) converted to retcon3; RUN: opt < %s -passes='default<O2>' -S | FileCheck %s4 5define {ptr, i32} @f(ptr %buffer, i32 %n) {6; CHECK-LABEL: @f(7; CHECK-NEXT: coro.return:8; CHECK-NEXT: store i32 [[N:%.*]], ptr [[BUFFER:%.*]], align 49; CHECK-NEXT: [[TMP0:%.*]] = insertvalue { ptr, i32 } { ptr @f.resume.0, i32 poison }, i32 [[N]], 110; CHECK-NEXT: ret { ptr, i32 } [[TMP0]]11;12entry:13 %id = call token @llvm.coro.id.retcon(i32 8, i32 4, ptr %buffer, ptr @prototype, ptr @allocate, ptr @deallocate)14 %hdl = call ptr @llvm.coro.begin(token %id, ptr null)15 br label %loop16 17loop:18 %n.val = phi i32 [ %n, %entry ], [ %inc, %resume ]19 %unwind = call i8 (...) @llvm.coro.suspend.retcon.i8(i32 %n.val)20 %unwind0 = icmp ne i8 %unwind, 021 br i1 %unwind0, label %cleanup, label %resume22 23resume:24 %inc = add i32 %n.val, 125 br label %loop26 27cleanup:28 call void @llvm.coro.end(ptr %hdl, i1 0, token none)29 unreachable30}31 32 33 34define i32 @main() {35; CHECK-LABEL: @main(36; CHECK-NEXT: entry:37; CHECK-NEXT: call void @print(i32 4)38; CHECK-NEXT: call void @print(i32 5)39; CHECK-NEXT: call void @print(i32 6)40; CHECK-NEXT: ret i32 041;42entry:43 %0 = alloca [8 x i8], align 444 %prepare = call ptr @llvm.coro.prepare.retcon(ptr @f)45 %result0 = call {ptr, i32} %prepare(ptr %0, i32 4)46 %value0 = extractvalue {ptr, i32} %result0, 147 call void @print(i32 %value0)48 %cont0 = extractvalue {ptr, i32} %result0, 049 %result1 = call {ptr, i32} %cont0(ptr %0, i8 zeroext 0)50 %value1 = extractvalue {ptr, i32} %result1, 151 call void @print(i32 %value1)52 %cont1 = extractvalue {ptr, i32} %result1, 053 %result2 = call {ptr, i32} %cont1(ptr %0, i8 zeroext 0)54 %value2 = extractvalue {ptr, i32} %result2, 155 call void @print(i32 %value2)56 %cont2 = extractvalue {ptr, i32} %result2, 057 call {ptr, i32} %cont2(ptr %0, i8 zeroext 1)58 ret i32 059}60 61; Unfortunately, we don't seem to fully optimize this right now due62; to some sort of phase-ordering thing.63 64declare token @llvm.coro.id.retcon(i32, i32, ptr, ptr, ptr, ptr)65declare ptr @llvm.coro.begin(token, ptr)66declare i8 @llvm.coro.suspend.retcon.i8(...)67declare void @llvm.coro.end(ptr, i1, token)68declare ptr @llvm.coro.prepare.retcon(ptr)69 70declare {ptr, i32} @prototype(ptr, i8 zeroext)71 72declare noalias ptr @allocate(i32 %size)73declare void @deallocate(ptr %ptr)74 75declare void @print(i32)76