[PATCH] D74691: [Attributor] Detect possibly unbounded cycles in functions

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D74691#1892447 <https://reviews.llvm.org/D74691#1892447>, @omarahmed wrote:

> I am sorry but I can't get what the test that the approach of moving on the SCCs fails in as I have tried to test it a bit with tests like that and printed the SCCs that it gets
>
> https://i.imgur.com/fpZhpST.png
>  1 - entry
>  2- condition - body
>  3- return
>  4 - l4
>
> https://i.imgur.com/UJJ3aH0.png
>  1- entry
>  2- l1 - l2 - l3 - l4 - l5
>  3- return
>  4- l6 - l7 - l8
>
> https://i.imgur.com/92NS6rp.png
>  1- entry
>  2- l1 - l2 - l3 - l4 - l5 - l6 - l7
>  3- return
>
> and in all of them it reached the cycle and outputs that the loop does not have a max trip count


Can u share the IR (with the appropriate RUN lines, thus tests) not the images please?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74691/new/

https://reviews.llvm.org/D74691