12365238bSBrian Gesiak; Check that we can handle the case when both alloc function and 22365238bSBrian Gesiak; the user body consume the same argument. 3472462c4SBjorn Pettersson; RUN: opt < %s -passes='cgscc(coro-split),simplifycfg,early-cse' -S | FileCheck %s 42365238bSBrian Gesiak 52365238bSBrian Gesiak; using this directly (as it would happen under -O2) 6*735e6c40SChuanqi Xudefine i8* @f_direct(i64 %this) presplitcoroutine { 72365238bSBrian Gesiakentry: 82365238bSBrian Gesiak %id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null) 92365238bSBrian Gesiak %size = call i32 @llvm.coro.size.i32() 102365238bSBrian Gesiak %alloc = call i8* @myAlloc(i64 %this, i32 %size) 112365238bSBrian Gesiak %hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc) 122365238bSBrian Gesiak %0 = call i8 @llvm.coro.suspend(token none, i1 false) 132365238bSBrian Gesiak switch i8 %0, label %suspend [i8 0, label %resume 142365238bSBrian Gesiak i8 1, label %cleanup] 152365238bSBrian Gesiakresume: 162365238bSBrian Gesiak call void @print2(i64 %this) 172365238bSBrian Gesiak br label %cleanup 182365238bSBrian Gesiak 192365238bSBrian Gesiakcleanup: 202365238bSBrian Gesiak %mem = call i8* @llvm.coro.free(token %id, i8* %hdl) 212365238bSBrian Gesiak call void @free(i8* %mem) 222365238bSBrian Gesiak br label %suspend 232365238bSBrian Gesiaksuspend: 242365238bSBrian Gesiak call i1 @llvm.coro.end(i8* %hdl, i1 0) 252365238bSBrian Gesiak ret i8* %hdl 262365238bSBrian Gesiak} 272365238bSBrian Gesiak 282365238bSBrian Gesiak; See if %this was added to the frame 299514c048SJohn McCall; CHECK: %f_direct.Frame = type { void (%f_direct.Frame*)*, void (%f_direct.Frame*)*, i64, i1 } 302365238bSBrian Gesiak 312365238bSBrian Gesiak; See that %this is spilled into the frame 322365238bSBrian Gesiak; CHECK-LABEL: define i8* @f_direct(i64 %this) 339514c048SJohn McCall; CHECK: %this.spill.addr = getelementptr inbounds %f_direct.Frame, %f_direct.Frame* %FramePtr, i32 0, i32 2 342365238bSBrian Gesiak; CHECK: store i64 %this, i64* %this.spill.addr 352365238bSBrian Gesiak; CHECK: ret i8* %hdl 362365238bSBrian Gesiak 372365238bSBrian Gesiak; See that %this was loaded from the frame 382365238bSBrian Gesiak; CHECK-LABEL: @f_direct.resume( 392365238bSBrian Gesiak; CHECK: %this.reload = load i64, i64* %this.reload.addr 402365238bSBrian Gesiak; CHECK: call void @print2(i64 %this.reload) 412365238bSBrian Gesiak; CHECK: ret void 422365238bSBrian Gesiak 432365238bSBrian Gesiakdeclare i8* @llvm.coro.free(token, i8*) 442365238bSBrian Gesiakdeclare i32 @llvm.coro.size.i32() 452365238bSBrian Gesiakdeclare i8 @llvm.coro.suspend(token, i1) 462365238bSBrian Gesiakdeclare void @llvm.coro.resume(i8*) 472365238bSBrian Gesiakdeclare void @llvm.coro.destroy(i8*) 482365238bSBrian Gesiak 492365238bSBrian Gesiakdeclare token @llvm.coro.id(i32, i8*, i8*, i8*) 502365238bSBrian Gesiakdeclare i1 @llvm.coro.alloc(token) 512365238bSBrian Gesiakdeclare i8* @llvm.coro.begin(token, i8*) 522365238bSBrian Gesiakdeclare i1 @llvm.coro.end(i8*, i1) 532365238bSBrian Gesiak 542365238bSBrian Gesiakdeclare noalias i8* @myAlloc(i64, i32) 552365238bSBrian Gesiakdeclare double @print(double) 562365238bSBrian Gesiakdeclare void @print2(i64) 572365238bSBrian Gesiakdeclare void @free(i8*) 58