From 6c43564530365ac2c074d7515d4eada294d4ca0c Mon Sep 17 00:00:00 2001 From: Xun Li Date: Fri, 22 Jan 2021 20:23:30 -0800 Subject: [PATCH] [Coroutine] Improve coro-elide-musttail.ll test The test wasn't sensitive to alias analysis. As you can seen from D95117 when AA is added by default this is affected. Updating the test so that it coveres both cases for AA analysis. Note that this patch depends on D95117 to land first. Differential Revision: https://reviews.llvm.org/D95247 --- .../Transforms/Coroutines/coro-elide-musttail.ll | 42 ++++++++++++++++++++-- 1 file changed, 40 insertions(+), 2 deletions(-) diff --git a/llvm/test/Transforms/Coroutines/coro-elide-musttail.ll b/llvm/test/Transforms/Coroutines/coro-elide-musttail.ll index 26f9b58..2920bac 100644 --- a/llvm/test/Transforms/Coroutines/coro-elide-musttail.ll +++ b/llvm/test/Transforms/Coroutines/coro-elide-musttail.ll @@ -2,7 +2,10 @@ ; 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::promise_type", i1 } %"struct.coroutine::promise_type" = type { i32 } @@ -14,6 +17,7 @@ declare dso_local void @"bar"() align 2 declare dso_local fastcc void @"bar.resume"(%"bar.Frame"*) align 2 +; There is a musttail call. CoroElide won't happen. define internal fastcc void @foo.resume_musttail(%"foo.Frame"* %FramePtr) { ; CHECK-LABEL: @foo.resume_musttail( ; CHECK-NEXT: entry: @@ -34,8 +38,32 @@ entry: ret void } -define internal fastcc void @foo.resume_no_musttail(%"foo.Frame"* %FramePtr) { -; CHECK-LABEL: @foo.resume_no_musttail( +; The new frame (TMP0) could potentially alias CALL34, the tailcall attribute on that call must be removed +define internal fastcc void @foo.resume_no_musttail_with_alias(%"foo.Frame"* %FramePtr) { +; CHECK-LABEL: @foo.resume_no_musttail_with_alias( +; 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: call fastcc void undef(i8* [[VFRAME]]) +; CHECK-NEXT: [[CALL34:%.*]] = call i8* undef() +; CHECK-NEXT: call fastcc void undef(i8* [[CALL34]]) +; CHECK-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) + call fastcc void undef(i8* %2) + %call34 = call i8* undef() + tail call fastcc void undef(i8* %call34) + ret void +} + +; The new frame (TMP0) does not alias CALL34, tailcall attribute can reimain. This analysis is only available when alias analysis is enabled. +define internal fastcc void @foo.resume_no_musttail_no_alias(%"foo.Frame"* %FramePtr) { +; CHECK-LABEL: @foo.resume_no_musttail_no_alias( ; CHECK-NEXT: entry: ; CHECK-NEXT: [[TMP0:%.*]] = alloca [24 x i8], align 8 ; CHECK-NEXT: [[VFRAME:%.*]] = bitcast [24 x i8]* [[TMP0]] to i8* @@ -44,6 +72,15 @@ define internal fastcc void @foo.resume_no_musttail(%"foo.Frame"* %FramePtr) { ; CHECK-NEXT: tail call fastcc void undef(i8* [[CALL34]]) ; CHECK-NEXT: ret void ; +; NOAA-LABEL: @foo.resume_no_musttail_no_alias( +; 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: 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) @@ -54,6 +91,7 @@ entry: ret void } + ; Function Attrs: argmemonly nofree nosync nounwind willreturn declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #0 -- 2.7.4