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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s
%"struct.std::__n4861::noop_coroutine_promise" = type { i8 }
%struct.Promise = type { %"struct.std::__n4861::coroutine_handle" }
%"struct.std::__n4861::coroutine_handle" = type { ptr }
define dso_local ptr @_Z5Outerv() #1 {
entry:
%__promise = alloca %struct.Promise, align 8
%0 = call token @llvm.coro.id(i32 16, ptr nonnull %__promise, ptr nonnull @_Z5Outerv, ptr null)
%1 = call i1 @llvm.coro.alloc(token %0)
br i1 %1, label %coro.alloc, label %init.suspend
coro.alloc: ; preds = %entry
%2 = tail call i64 @llvm.coro.size.i64()
%call = call noalias noundef nonnull ptr @_Znwm(i64 noundef %2) #12
br label %init.suspend
init.suspend: ; preds = %entry, %coro.alloc
%3 = phi ptr [ null, %entry ], [ %call, %coro.alloc ]
%4 = call ptr @llvm.coro.begin(token %0, ptr %3) #13
call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %__promise) #3
store ptr null, ptr %__promise, align 8
%5 = call token @llvm.coro.save(ptr null)
%6 = call i8 @llvm.coro.suspend(token %5, i1 false)
switch i8 %6, label %coro.ret [
i8 0, label %await.suspend
i8 1, label %cleanup62
]
await.suspend: ; preds = %init.suspend
%7 = call token @llvm.coro.save(ptr null)
%8 = call ptr @llvm.coro.subfn.addr(ptr %4, i8 0)
call fastcc void %8(ptr %4) #3
%9 = call i8 @llvm.coro.suspend(token %7, i1 false)
switch i8 %9, label %coro.ret [
i8 0, label %await2.suspend
i8 1, label %cleanup62
]
await2.suspend: ; preds = %await.suspend
%call27 = call ptr @_Z5Innerv() #3
%10 = call token @llvm.coro.save(ptr null)
%11 = getelementptr inbounds i8, ptr %__promise, i64 -16
store ptr %11, ptr %call27, align 8
%12 = getelementptr inbounds i8, ptr %call27, i64 -16
%13 = call ptr @llvm.coro.subfn.addr(ptr nonnull %12, i8 0)
call fastcc void %13(ptr nonnull %12) #3
%14 = call i8 @llvm.coro.suspend(token %10, i1 false)
switch i8 %14, label %coro.ret [
i8 0, label %final.suspend
i8 1, label %cleanup62
]
final.suspend: ; preds = %await2.suspend
%15 = call ptr @llvm.coro.subfn.addr(ptr nonnull %12, i8 1)
call fastcc void %15(ptr nonnull %12) #3
%16 = call token @llvm.coro.save(ptr null)
%retval.sroa.0.0.copyload.i = load ptr, ptr %__promise, align 8
%17 = call ptr @llvm.coro.subfn.addr(ptr %retval.sroa.0.0.copyload.i, i8 0)
call fastcc void %17(ptr %retval.sroa.0.0.copyload.i) #3
%18 = call i8 @llvm.coro.suspend(token %16, i1 true) #13
switch i8 %18, label %coro.ret [
i8 0, label %final.ready
i8 1, label %cleanup62
]
final.ready: ; preds = %final.suspend
call void @_Z5_exiti(i32 noundef 1) #14
unreachable
cleanup62: ; preds = %await2.suspend, %await.suspend, %init.suspend, %final.suspend
call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %__promise) #3
%19 = call ptr @llvm.coro.free(token %0, ptr %4)
%.not = icmp eq ptr %19, null
br i1 %.not, label %coro.ret, label %coro.free
coro.free: ; preds = %cleanup62
call void @_ZdlPv(ptr noundef nonnull %19) #3
br label %coro.ret
coro.ret: ; preds = %coro.free, %cleanup62, %final.suspend, %await2.suspend, %await.suspend, %init.suspend
%20 = call i1 @llvm.coro.end(ptr null, i1 false) #13
ret ptr %__promise
}
declare token @llvm.coro.id(i32, ptr readnone, ptr nocapture readonly, ptr) #2
declare i1 @llvm.coro.alloc(token) #3
declare dso_local noundef nonnull ptr @_Znwm(i64 noundef) local_unnamed_addr #4
declare i64 @llvm.coro.size.i64() #5
declare ptr @llvm.coro.begin(token, ptr writeonly) #3
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #6
declare token @llvm.coro.save(ptr) #7
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #6
declare i8 @llvm.coro.suspend(token, i1) #3
declare dso_local ptr @_Z5Innerv() local_unnamed_addr #8
declare dso_local void @_ZdlPv(ptr noundef) local_unnamed_addr #9
declare ptr @llvm.coro.free(token, ptr nocapture readonly) #2
declare i1 @llvm.coro.end(ptr, i1) #3
declare dso_local void @_Z5_exiti(i32 noundef) local_unnamed_addr #10
declare ptr @llvm.coro.subfn.addr(ptr nocapture readonly, i8) #11
attributes #0 = { mustprogress nounwind uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nounwind presplitcoroutine uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { argmemonly nofree nounwind readonly }
attributes #3 = { nounwind }
attributes #4 = { nobuiltin allocsize(0) "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nofree nosync nounwind readnone }
attributes #6 = { argmemonly mustprogress nocallback nofree nosync nounwind willreturn }
attributes #7 = { nomerge nounwind }
attributes #8 = { "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nobuiltin nounwind "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #10 = { noreturn "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #11 = { argmemonly nounwind readonly }
attributes #12 = { nounwind allocsize(0) }
attributes #13 = { noduplicate }
attributes #14 = { noreturn nounwind }
; CHECK: define{{.*}}@_Z5Outerv.resume(
; CHECK: entry.resume:
; CHECK: switch i2 %index
; CHECK-NEXT: i2 0, label %await2.suspend
; CHECK-NEXT: i2 1, label %final.suspend
;
; CHECK: await2.suspend:
; CHECK: musttail call
; CHECK-NEXT: ret void
;
; CHECK: final.suspend:
; CHECK: musttail call
; CHECK-NEXT: ret void
|
