diff options
Diffstat (limited to 'test/forwardsub-1-1-2.cloog')
| -rw-r--r-- | test/forwardsub-1-1-2.cloog | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/test/forwardsub-1-1-2.cloog b/test/forwardsub-1-1-2.cloog new file mode 100644 index 0000000..38986f9 --- /dev/null +++ b/test/forwardsub-1-1-2.cloog @@ -0,0 +1,56 @@ +# language: C +c + +# Context +#{N | 3<=N} +2 3 +# M 1 +1 1 -3 +1 0 1 +0 + +4 # Number of statements + +1 +#{t1,t2 | 2<=t1<=N; t2=1; 3<=N} +5 5 +# i j M 1 +0 0 1 0 -1 +1 0 0 1 -3 +1 -1 0 1 0 +1 1 0 0 -2 +1 0 0 0 1 +0 0 0 + +1 +#{t1,t2 | t2+1<=t1<=N; 2<=t2} +4 5 +# i j M 1 +1 1 -1 0 -1 +1 0 1 0 -2 +1 -1 0 1 0 +1 0 0 0 1 +0 0 0 + +1 +#{t1,t2 | t1=1; t2=1; 3<=N} +4 5 +# i j M 1 +0 1 0 0 -1 +0 0 1 0 -1 +1 0 0 1 -3 +1 0 0 0 1 +0 0 0 + +1 +#{t1,t2 | t1=t2; 2<=t2<=N; 3<=N} +4 5 +# i j M 1 +0 1 -1 0 0 +1 0 0 1 -3 +1 0 -1 1 0 +1 0 1 0 -2 +0 0 0 +0 + +0 # Scattering functions |