74 lines · plain
1; Tests that variables in a Corotuine whose lifetime range is not overlapping each other2; re-use the same slot in Coroutine frame.3; RUN: opt < %s -passes='cgscc(coro-split<reuse-storage>),simplifycfg,early-cse' -S | FileCheck %s4%"struct.task::promise_type" = type { i8 }5%struct.awaitable = type { i8 }6%struct.big_structure = type { [500 x i8] }7declare ptr @malloc(i64)8declare void @consume(ptr)9define void @a(i1 zeroext %cond) presplitcoroutine {10entry:11 %__promise = alloca %"struct.task::promise_type", align 112 %a = alloca %struct.big_structure, align 113 %ref.tmp7 = alloca %struct.awaitable, align 114 %b = alloca %struct.big_structure, align 115 %ref.tmp18 = alloca %struct.awaitable, align 116 %0 = call token @llvm.coro.id(i32 16, ptr nonnull %__promise, ptr @a, ptr null)17 br label %init.ready18init.ready:19 %1 = call noalias nonnull ptr @llvm.coro.begin(token %0, ptr null)20 call void @llvm.lifetime.start.p0(ptr nonnull %__promise)21 br i1 %cond, label %if.then, label %if.else22if.then:23 call void @llvm.lifetime.start.p0(ptr nonnull %a)24 call void @consume(ptr nonnull %a)25 %save = call token @llvm.coro.save(ptr null)26 %suspend = call i8 @llvm.coro.suspend(token %save, i1 false)27 switch i8 %suspend, label %coro.ret [28 i8 0, label %await.ready29 i8 1, label %cleanup130 ]31await.ready:32 call void @llvm.lifetime.end.p0(ptr nonnull %a)33 br label %cleanup134if.else:35 call void @llvm.lifetime.start.p0(ptr nonnull %b)36 call void @consume(ptr nonnull %b)37 %save2 = call token @llvm.coro.save(ptr null)38 %suspend2 = call i8 @llvm.coro.suspend(token %save2, i1 false)39 switch i8 %suspend2, label %coro.ret [40 i8 0, label %await2.ready41 i8 1, label %cleanup242 ]43await2.ready:44 call void @llvm.lifetime.end.p0(ptr nonnull %b)45 br label %cleanup246cleanup1:47 call void @llvm.lifetime.end.p0(ptr nonnull %a)48 br label %cleanup49cleanup2:50 call void @llvm.lifetime.end.p0(ptr nonnull %b)51 br label %cleanup52cleanup:53 call ptr @llvm.coro.free(token %0, ptr %1)54 br label %coro.ret55coro.ret:56 call void @llvm.coro.end(ptr null, i1 false, token none)57 ret void58}59 60; check that there is only one %struct.big_structure in the frame.61; CHECK: %a.Frame = type { ptr, ptr, %"struct.task::promise_type", %struct.big_structure, i1 }62 63declare token @llvm.coro.id(i32, ptr readnone, ptr nocapture readonly, ptr)64declare i1 @llvm.coro.alloc(token) #365declare i64 @llvm.coro.size.i64() #566declare ptr @llvm.coro.begin(token, ptr writeonly) #367declare token @llvm.coro.save(ptr) #368declare ptr @llvm.coro.frame() #569declare i8 @llvm.coro.suspend(token, i1) #370declare ptr @llvm.coro.free(token, ptr nocapture readonly) #271declare void @llvm.coro.end(ptr, i1, token) #372declare void @llvm.lifetime.start.p0(ptr nocapture) #473declare void @llvm.lifetime.end.p0(ptr nocapture) #474