This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [GSoC] generation of Gimple code from isl_ast_node_block
- From: Roman Gareev <gareevroman at gmail dot com>
- To: Tobias Grosser <tobias at grosser dot es>
- Cc: Mircea Namolaru <mircea dot namolaru at inria dot fr>, gcc at gcc dot gnu dot org
- Date: Mon, 21 Jul 2014 18:55:37 +0600
- Subject: Re: [GSoC] generation of Gimple code from isl_ast_node_block
- Authentication-results: sourceware.org; auth=none
- References: <CABGF_ge9tAKnhsiED_M2vqzgvoe1sAg_ascvPdv+cUdGmEvL0g at mail dot gmail dot com> <53CD091B dot 10700 at grosser dot es>
> It seems S_6 is now scheduled before S_4 which is surprising, as
> dependences from S_4 to S_6 should prevent us from generating a schedule
> that yields such a result. What is the schedule that you give to the isl ast
> generator?
The schedule generated by the code, which uses variable k (It executes
without errors):
[k.0] -> { S_6[] -> [1] : exists (e0 = [(-1 + k.0)/4294967296]:
4294967296e0 <= -1 + k.0 and 4294967296e0 >= -2147483647 + k.0);
S_4[i0] -> [0, i0, 0] : exists (e0 = [(-1 + k.0)/4294967296]: i0 >= 0
and 4294967296e0 <= -1 + k.0 and 4294967296e0 >= -4294967296 + k.0 and
4294967296e0 <= -1 + k.0 - i0 and i0 <= 2147483646) }
The schedule generated by the code, which uses variable n:
[n.0] -> { S_6[] -> [1] : exists (e0 = [(-1 + n.0)/4294967296]:
4294967296e0 <= -1 + n.0 and 4294967296e0 >= -2147483647 + n.0);
S_4[i0] -> [0, i0, 0] : exists (e0 = [(-1 + n.0)/4294967296]: i0 >= 0
and 4294967296e0 <= -1 + n.0 and 4294967296e0 >= -4294967296 + n.0 and
4294967296e0 <= -1 + n.0 - i0 and i0 <= 2147483646) }
--
Cheers, Roman Gareev.