From 8aab43a09f9734632be650e404c02af8df0d5615 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Thu, 21 Jul 2011 22:57:10 +0000 Subject: [PATCH] Add fixme comment. 2011-07-21 Sebastian Pop * graphite-clast-to-gimple.c (clast_get_body_of_loop): Add fixme comment. From-SVN: r176600 --- gcc/ChangeLog | 5 +++++ gcc/graphite-clast-to-gimple.c | 19 ++++++++++++++++++- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8a7a08fc654..7d1b47b9033 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2011-07-21 Sebastian Pop + + * graphite-clast-to-gimple.c (clast_get_body_of_loop): Add fixme + comment. + 2011-07-21 Sebastian Pop * graphite-clast-to-gimple.c (struct ivs_params): New. diff --git a/gcc/graphite-clast-to-gimple.c b/gcc/graphite-clast-to-gimple.c index 099109ab025..b7bfaa8a155 100644 --- a/gcc/graphite-clast-to-gimple.c +++ b/gcc/graphite-clast-to-gimple.c @@ -640,7 +640,24 @@ compute_type_for_level (poly_bb_p pbb, int level) } /* Walks a CLAST and returns the first statement in the body of a - loop. */ + loop. + + FIXME: This function should not be used to get a PBB in the STMT + loop in order to find out the iteration domain of the loop: the + counter example from Tobias is: + + | for (i = 0; i < 100; i++) + | { + | if (i == 0) + | S1; + | S2; + | } + + This function would return S1 whose iteration domain contains only + one point "i = 0", whereas the iteration domain of S2 has 100 points. + + This should be implemented using some functionality existing in + CLooG-ISL. */ static struct clast_user_stmt * clast_get_body_of_loop (struct clast_stmt *stmt) -- 2.30.2