[PATCH] D30603: New Test-Case for Region Analysis

[Tobias Grosser via llvm-commits]

Hi Nandini, 

Please use the instnamer pass to name the bbs and also add check lines
to verify the output. 

Best 
Tobias 

On Sat, Mar 4, 2017, at 11:54 AM, Nandini Singhal via Phabricator via
llvm-commits wrote:
> nandini12396 created this revision.
> 
> While working on improvements to the region info analysis, this test case
> caused an incorrect region 1 => 2 to be detected. It is incorrect because
> entry has an outgoing edge to 3. This is interesting because 1 dom 2 and
> 2 pdom 1, which should have been enough to prevent incoming forward edges
> into the region and outgoing forward edges from the region.
> 
> 
> https://reviews.llvm.org/D30603
> 
> Files:
>   test/Analysis/RegionInfo/outgoing_edge.ll
> 
> 
> Index: test/Analysis/RegionInfo/outgoing_edge.ll
> ===================================================================
> --- /dev/null
> +++ test/Analysis/RegionInfo/outgoing_edge.ll
> @@ -0,0 +1,28 @@
> +; REQUIRES: asserts
> +; RUN: opt -regions -analyze < %s | FileCheck %s
> +
> +; While working on improvements to the region info analysis, this test
> +; case caused an incorrect region 1 => 2 to be detected. It is incorrect
> +; because entry has an outgoing edge to 3. This is interesting because
> +; 1 dom 2 and 2 pdom 1, which should have been enough to prevent
> incoming
> +; forward edges into the region and outgoing forward edges from the
> region.
> +
> +define void @meread_() nounwind {
> +entry:
> +   br label %"0"
> +
> +"0":                                              ; preds = %"3", %entry
> +   br label %"1"
> +
> +"1":                                              ; preds = %"0"
> +  br i1 true, label %"2", label %"3"
> +
> +"2":                                              ; preds = %"1"
> +  br i1 true, label %"3", label %end
> +
> +"3":                                              ; preds = %"2", %"1"
> +   br label %"0"
> +
> +end:                                              ; preds = %"2"
> +   ret void
> + }
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits
> Email had 1 attachment:
> + D30603.90570.patch
>   2k (text/x-patch)