| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; Only run with new pass manager since old pass manager's alias analysis isn't |
| ; powerful enough to tell that the tailcall's arguments don't alias the frame. |
| ; |
| ; RUN: opt < %s -coro-elide -S | FileCheck %s |
| ; RUN: opt < %s -disable-basic-aa -coro-elide -S | FileCheck %s -check-prefix=NOAA |
| ; RUN: opt < %s -passes='coro-elide' -S | FileCheck %s |
| ; RUN: opt < %s -aa-pipeline= -passes='coro-elide' -S | FileCheck %s -check-prefix=NOAA |
| |
| %"bar.Frame" = type { void (%"bar.Frame"*)*, void (%"bar.Frame"*)*, %"struct.coroutine<false, int>::promise_type", i1 } |
| %"struct.coroutine<false, int>::promise_type" = type { i32 } |
| %"foo.Frame" = type { void (%"foo.Frame"*)*, void (%"foo.Frame"*)*, %"struct.coroutine<true, int>::promise_type", i1, %"struct.coroutine<true, int>::promise_type::final_awaitable" } |
| %"struct.coroutine<true, int>::promise_type" = type { i32 } |
| %"struct.coroutine<true, int>::promise_type::final_awaitable" = type { i8 } |
| @"bar.resumers" = private constant [3 x void (%"bar.Frame"*)*] [void (%"bar.Frame"*)* @"bar.resume", void (%"bar.Frame"*)* undef, void (%"bar.Frame"*)* undef] |
| |
| declare dso_local void @"bar"() align 2 |
| declare dso_local fastcc void @"bar.resume"(%"bar.Frame"*) align 2 |
| |
| ; There is a musttail call. |
| ; With alias analysis, we can tell that the frame does not interfere with CALL34, and hence we can keep the tailcalls. |
| ; Without alias analysis, we have to keep the tailcalls. |
| define internal fastcc void @foo.resume_musttail(%"foo.Frame"* %FramePtr) { |
| ; CHECK-LABEL: @foo.resume_musttail( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP0:%.*]] = alloca [24 x i8], align 8 |
| ; CHECK-NEXT: [[VFRAME:%.*]] = bitcast [24 x i8]* [[TMP0]] to i8* |
| ; CHECK-NEXT: [[TMP1:%.*]] = tail call token @llvm.coro.id(i32 16, i8* null, i8* bitcast (void ()* @bar to i8*), i8* bitcast ([3 x void (%bar.Frame*)*]* @bar.resumers to i8*)) |
| ; CHECK-NEXT: [[CALL34:%.*]] = call i8* undef() |
| ; CHECK-NEXT: musttail call fastcc void undef(i8* [[CALL34]]) |
| ; CHECK-NEXT: ret void |
| ; |
| ; NOAA-LABEL: @foo.resume_musttail( |
| ; NOAA-NEXT: entry: |
| ; NOAA-NEXT: [[TMP0:%.*]] = alloca [24 x i8], align 8 |
| ; NOAA-NEXT: [[VFRAME:%.*]] = bitcast [24 x i8]* [[TMP0]] to i8* |
| ; NOAA-NEXT: [[TMP1:%.*]] = call token @llvm.coro.id(i32 16, i8* null, i8* bitcast (void ()* @bar to i8*), i8* bitcast ([3 x void (%bar.Frame*)*]* @bar.resumers to i8*)) |
| ; NOAA-NEXT: [[CALL34:%.*]] = call i8* undef() |
| ; NOAA-NEXT: musttail call fastcc void undef(i8* [[CALL34]]) |
| ; NOAA-NEXT: ret void |
| ; |
| entry: |
| %0 = tail call token @llvm.coro.id(i32 16, i8* null, i8* bitcast (void ()* @"bar" to i8*), i8* bitcast ([3 x void (%"bar.Frame"*)*]* @"bar.resumers" to i8*)) |
| %1 = tail call i1 @llvm.coro.alloc(token %0) |
| %2 = tail call i8* @llvm.coro.begin(token %0, i8* null) |
| call i8* @llvm.coro.subfn.addr(i8* %2, i8 1) |
| %call34 = call i8* undef() |
| musttail call fastcc void undef(i8* %call34) |
| ret void |
| } |
| |
| ; Function Attrs: argmemonly nofree nosync nounwind willreturn |
| declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #0 |
| |
| ; Function Attrs: argmemonly nounwind readonly |
| declare token @llvm.coro.id(i32, i8* readnone, i8* nocapture readonly, i8*) #1 |
| |
| ; Function Attrs: nounwind |
| declare i1 @llvm.coro.alloc(token) #2 |
| |
| ; Function Attrs: nounwind |
| declare i8* @llvm.coro.begin(token, i8* writeonly) #2 |
| |
| ; Function Attrs: argmemonly nounwind readonly |
| declare i8* @llvm.coro.subfn.addr(i8* nocapture readonly, i8) #1 |
| |
| attributes #0 = { argmemonly nofree nosync nounwind willreturn } |
| attributes #1 = { argmemonly nounwind readonly } |
| attributes #2 = { nounwind } |