diff options
Diffstat (limited to 'cloog-core/test/reservoir/bastoul3.c')
| -rw-r--r-- | cloog-core/test/reservoir/bastoul3.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cloog-core/test/reservoir/bastoul3.c b/cloog-core/test/reservoir/bastoul3.c new file mode 100644 index 0000000..a89d28e --- /dev/null +++ b/cloog-core/test/reservoir/bastoul3.c @@ -0,0 +1,6 @@ +/* Generated from ../../../git/cloog/test/reservoir/bastoul3.cloog by CLooG 0.14.0-308-g2713b64 gmp bits in 0.01s. */ +for (i=3;i<=9;i++) { + for (j=max(i-6,i-2*floord(i-1,2));j<=min(3,i-2);j+=2) { + S1(i,j,(i-j)/2); + } +} |