diff options
Diffstat (limited to 'test/reservoir/stride.c.ppl')
| -rw-r--r-- | test/reservoir/stride.c.ppl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/reservoir/stride.c.ppl b/test/reservoir/stride.c.ppl new file mode 100644 index 0000000..c51e2e1 --- /dev/null +++ b/test/reservoir/stride.c.ppl @@ -0,0 +1,5 @@ +/* Generated from ./reservoir/stride.cloog by CLooG 0.15 64 bits in 0.00s. */ +for (c2=2;c2<=M;c2+=7) { + j = (c2-2)/7 ; + S1(i = c2) ; +} |