1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes='module(coro-early),cgscc(coro-split),function(simplifycfg,early-cse)' -S | FileCheck %s 3target datalayout = "E-p:64:64" 4 5%swift.type = type { i64 } 6%swift.opaque = type opaque 7%T4red215EmptyCollectionV = type opaque 8%TSi = type <{ i64 }> 9 10define hidden swiftcc { ptr, ptr } @no_suspends(ptr %buffer, i64 %arg) #1 { 11; CHECK-LABEL: @no_suspends( 12; CHECK-NEXT: AllocaSpillBB: 13; CHECK-NEXT: [[ID:%.*]] = call token @llvm.coro.id.retcon.once(i32 32, i32 8, ptr [[BUFFER:%.*]], ptr @prototype, ptr @malloc, ptr @free) 14; CHECK-NEXT: call void @print(i64 [[ARG:%.*]]) 15; CHECK-NEXT: call void @llvm.trap() 16; CHECK-NEXT: unreachable 17; 18 %id = call token @llvm.coro.id.retcon.once(i32 32, i32 8, ptr %buffer, ptr @prototype, ptr @malloc, ptr @free) 19 %begin = call ptr @llvm.coro.begin(token %id, ptr null) 20 call void @print(i64 %arg) 21 call void @llvm.trap() 22 unreachable 23 24bb1: 25 call void @print(i64 %arg) 26 call i1 @llvm.coro.end(ptr %begin, i1 false, token none) 27 unreachable 28} 29 30declare swiftcc void @prototype(ptr noalias dereferenceable(32), i1) 31declare void @print(i64) 32 33declare noalias ptr @malloc(i64) #5 34declare void @free(ptr nocapture) #5 35 36declare token @llvm.coro.id.retcon.once(i32, i32, ptr, ptr, ptr, ptr) #5 37declare ptr @llvm.coro.begin(token, ptr writeonly) #5 38declare token @llvm.coro.alloca.alloc.i64(i64, i32) #5 39declare ptr @llvm.coro.alloca.get(token) #5 40declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #6 41declare i1 @llvm.coro.suspend.retcon.i1(...) #5 42declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #6 43declare void @llvm.coro.alloca.free(token) #5 44declare i1 @llvm.coro.end(ptr, i1, token) #5 45 46declare void @llvm.trap() 47 48attributes #1 = { noreturn nounwind } 49attributes #5 = { nounwind } 50