1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
declare ptr @malloc(i64)
declare void @free(ptr)
declare void @usePointer(ptr)
declare void @usePointer2(ptr)
declare token @llvm.coro.id(i32, ptr readnone, ptr nocapture readonly, ptr)
declare i64 @llvm.coro.size.i64()
declare ptr @llvm.coro.begin(token, ptr writeonly)
declare i8 @llvm.coro.suspend(token, i1)
declare i1 @llvm.coro.end(ptr, i1)
declare ptr @llvm.coro.free(token, ptr nocapture readonly)
declare token @llvm.coro.save(ptr)
define void @foo() presplitcoroutine {
entry:
%a0 = alloca [0 x i8]
%a1 = alloca i32
%a2 = alloca [0 x i8]
%a3 = alloca [0 x i8]
%a4 = alloca i16
%a5 = alloca [0 x i8]
%coro.id = call token @llvm.coro.id(i32 0, ptr null, ptr null, ptr null)
%coro.size = call i64 @llvm.coro.size.i64()
%coro.alloc = call ptr @malloc(i64 %coro.size)
%coro.state = call ptr @llvm.coro.begin(token %coro.id, ptr %coro.alloc)
%coro.save = call token @llvm.coro.save(ptr %coro.state)
%call.suspend = call i8 @llvm.coro.suspend(token %coro.save, i1 false)
switch i8 %call.suspend, label %suspend [
i8 0, label %wakeup
i8 1, label %cleanup
]
wakeup: ; preds = %entry
call void @usePointer(ptr %a0)
call void @usePointer(ptr %a1)
call void @usePointer(ptr %a2)
call void @usePointer(ptr %a3)
call void @usePointer(ptr %a4)
call void @usePointer2(ptr %a5)
br label %cleanup
suspend: ; preds = %cleanup, %entry
%unused = call i1 @llvm.coro.end(ptr %coro.state, i1 false)
ret void
cleanup: ; preds = %wakeup, %entry
%coro.memFree = call ptr @llvm.coro.free(token %coro.id, ptr %coro.state)
call void @free(ptr %coro.memFree)
br label %suspend
}
; CHECK: %foo.Frame = type { ptr, ptr, i32, i16, i1 }
; CHECK-LABEL: @foo.resume(
; CHECK-NEXT: entry.resume:
; CHECK-NEXT: [[A1_RELOAD_ADDR:%.*]] = getelementptr inbounds [[FOO_FRAME:%foo.Frame]], ptr [[FRAMEPTR:%.*]], i32 0, i32 2
; CHECK-NEXT: [[A4_RELOAD_ADDR:%.*]] = getelementptr inbounds [[FOO_FRAME]], ptr [[FRAMEPTR]], i32 0, i32 3
; CHECK-NEXT: call void @usePointer(ptr [[FRAMEPTR]])
; CHECK-NEXT: call void @usePointer(ptr [[A1_RELOAD_ADDR]])
; CHECK-NEXT: call void @usePointer(ptr [[FRAMEPTR]])
; CHECK-NEXT: call void @usePointer(ptr [[FRAMEPTR]])
; CHECK-NEXT: call void @usePointer(ptr [[A4_RELOAD_ADDR]])
; CHECK-NEXT: call void @usePointer2(ptr [[FRAMEPTR]])
; CHECK-NEXT: call void @free(ptr [[FRAMEPTR]])
; CHECK-NEXT: ret void
|
