Skip to content

Commit 678ac37

Browse files
committed
Merge remote-tracking branch 'origin/master' into master-rebranch
2 parents ce0083b + 6cfbe38 commit 678ac37

File tree

1 file changed

+120
-1
lines changed

1 file changed

+120
-1
lines changed

test/SILOptimizer/loop-region-analysis.sil

Lines changed: 120 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -659,7 +659,126 @@ bb5:
659659
// -------- --------
660660
//
661661
// CHECK-LABEL: Start @two_separate_natural_loops_separated_by_diamond@
662-
// CHECK(region id:6 kind:func ucfh:false ucft:false
662+
// CHECK: (region id:9 kind:func ucfh:false ucft:false
663+
// CHECK: (preds)
664+
// CHECK: (succs)
665+
// CHECK: (subregs
666+
// CHECK: (region id:0)
667+
// CHECK: (region id:10)
668+
// CHECK: (region id:3)
669+
// CHECK: (region id:4)
670+
// CHECK: (region id:11)
671+
// CHECK: (region id:7))
672+
// CHECK: (non-local-succs)
673+
// CHECK: (exiting-subregs)
674+
// CHECK: (backedge-regs))
675+
// CHECK: (region id:7 kind:bb ucfh:false ucft:false parent:9
676+
// CHECK: (preds
677+
// CHECK: (region id:11))
678+
// CHECK: (succs)
679+
// CHECK: (subregs)
680+
// CHECK: (non-local-succs)
681+
// CHECK: (exiting-subregs)
682+
// CHECK: (backedge-regs))
683+
// CHECK: (region id:11 kind:loop ucfh:false ucft:false parent:9
684+
// CHECK: (preds
685+
// CHECK: (region id:3)
686+
// CHECK: (region id:4))
687+
// CHECK: (succs
688+
// CHECK: (region id:7))
689+
// CHECK: (subregs
690+
// CHECK: (region id:5)
691+
// CHECK: (region id:6))
692+
// CHECK: (non-local-succs)
693+
// CHECK: (exiting-subregs
694+
// CHECK: (region id:6))
695+
// CHECK: (backedge-regs
696+
// CHECK: (region id:6)))
697+
// CHECK: (region id:6 kind:bb ucfh:false ucft:false parent:11
698+
// CHECK: (preds
699+
// CHECK: (region id:5))
700+
// CHECK: (succs)
701+
// CHECK: (subregs)
702+
// CHECK: (non-local-succs
703+
// CHECK: (parentindex:0))
704+
// CHECK: (exiting-subregs)
705+
// CHECK: (backedge-regs))
706+
// CHECK: (region id:5 kind:bb ucfh:false ucft:false parent:11
707+
// CHECK: (preds)
708+
// CHECK: (succs
709+
// CHECK: (region id:6))
710+
// CHECK: (subregs)
711+
// CHECK: (non-local-succs)
712+
// CHECK: (exiting-subregs)
713+
// CHECK: (backedge-regs))
714+
// CHECK: (region id:4 kind:bb ucfh:false ucft:false parent:9
715+
// CHECK: (preds
716+
// CHECK: (region id:10))
717+
// CHECK: (succs
718+
// CHECK: (region id:11))
719+
// CHECK: (subregs)
720+
// CHECK: (non-local-succs)
721+
// CHECK: (exiting-subregs)
722+
// CHECK: (backedge-regs))
723+
// CHECK: (region id:3 kind:bb ucfh:false ucft:false parent:9
724+
// CHECK: (preds
725+
// CHECK: (region id:10))
726+
// CHECK: (succs
727+
// CHECK: (region id:11))
728+
// CHECK: (subregs)
729+
// CHECK: (non-local-succs)
730+
// CHECK: (exiting-subregs)
731+
// CHECK: (backedge-regs))
732+
// CHECK: (region id:10 kind:loop ucfh:false ucft:false parent:9
733+
// CHECK: (preds
734+
// CHECK: (region id:0))
735+
// CHECK: (succs
736+
// CHECK: (region id:3)
737+
// CHECK: (region id:4))
738+
// CHECK: (subregs
739+
// CHECK: (region id:1)
740+
// CHECK: (region id:2)
741+
// CHECK: (region id:8))
742+
// CHECK: (non-local-succs)
743+
// CHECK: (exiting-subregs
744+
// CHECK: (region id:2))
745+
// CHECK: (backedge-regs
746+
// CHECK: (region id:8)))
747+
// CHECK: (region id:8 kind:bb ucfh:false ucft:false parent:10
748+
// CHECK: (preds
749+
// CHECK: (region id:2))
750+
// CHECK: (succs)
751+
// CHECK: (subregs)
752+
// CHECK: (non-local-succs)
753+
// CHECK: (exiting-subregs)
754+
// CHECK: (backedge-regs))
755+
// CHECK: (region id:2 kind:bb ucfh:false ucft:false parent:10
756+
// CHECK: (preds
757+
// CHECK: (region id:1))
758+
// CHECK: (succs
759+
// CHECK: (region id:8))
760+
// CHECK: (subregs)
761+
// CHECK: (non-local-succs
762+
// CHECK: (parentindex:0)
763+
// CHECK: (parentindex:1))
764+
// CHECK: (exiting-subregs)
765+
// CHECK: (backedge-regs))
766+
// CHECK: (region id:1 kind:bb ucfh:false ucft:false parent:10
767+
// CHECK: (preds)
768+
// CHECK: (succs
769+
// CHECK: (region id:2))
770+
// CHECK: (subregs)
771+
// CHECK: (non-local-succs)
772+
// CHECK: (exiting-subregs)
773+
// CHECK: (backedge-regs))
774+
// CHECK: (region id:0 kind:bb ucfh:false ucft:false parent:9
775+
// CHECK: (preds)
776+
// CHECK: (succs
777+
// CHECK: (region id:10))
778+
// CHECK: (subregs)
779+
// CHECK: (non-local-succs)
780+
// CHECK: (exiting-subregs)
781+
// CHECK: (backedge-regs))
663782
// CHECK: End @two_separate_natural_loops_separated_by_diamond@
664783
sil @two_separate_natural_loops_separated_by_diamond : $@convention(thin) () -> () {
665784
bb0:

0 commit comments

Comments
 (0)