diff options
Diffstat (limited to 'cloog-core/test/levenshtein-1-2-3f.cloog')
| -rw-r--r-- | cloog-core/test/levenshtein-1-2-3f.cloog | 110 |
1 files changed, 110 insertions, 0 deletions
diff --git a/cloog-core/test/levenshtein-1-2-3f.cloog b/cloog-core/test/levenshtein-1-2-3f.cloog new file mode 100644 index 0000000..c78bc19 --- /dev/null +++ b/cloog-core/test/levenshtein-1-2-3f.cloog @@ -0,0 +1,110 @@ +# language: FORTRAN +f + +# Context +# {length,width | width+2<=length; 1<=width} +3 4 +# M N 1 +1 1 -1 -2 +1 0 1 -1 +1 0 0 1 +0 + +8 # Number of statements + +1 +# {t1,t2,length,width | t1=0; t2=0; width+2<=length; 1<=width} +5 6 +# i j M N 1 +0 1 0 0 0 0 +0 0 1 0 0 0 +1 0 0 1 -1 -2 +1 0 0 0 1 -1 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | 1<=t1<=width; t2=0; width+2<=length} +5 6 +# i j M N 1 +0 0 1 0 0 0 +1 1 0 0 0 -1 +1 -1 0 0 1 0 +1 0 0 1 -1 -2 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | t1=t2; 1<=t2<=width; width+2<=length} +5 6 +# i j M N 1 +0 1 -1 0 0 0 +1 0 1 0 0 -1 +1 0 -1 0 1 0 +1 0 0 1 -1 -2 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | t1=2t2-width; width+1<=t2<=length-1; 1<=width} +5 6 +# i j M N 1 +0 1 -2 0 1 0 +1 0 1 0 -1 -1 +1 0 -1 1 0 -1 +1 0 0 0 1 -1 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | t1=2t2+width; 1<=t2<=length-width-1; 1<=width} +5 6 +# i j M N 1 +0 1 -2 0 -1 0 +1 0 1 0 0 -1 +1 0 -1 1 -1 -1 +1 0 0 0 1 -1 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | (2t2-width+1,t2+1)<=t1<=(t2+length-1,2t2+width-1); 1<=t2<=length-1; width+2<=length} +8 6 +# i j M N 1 +1 1 -2 0 1 -1 +1 1 -1 0 0 -1 +1 -1 1 1 0 -1 +1 -1 2 0 1 -1 +1 0 1 0 0 -1 +1 0 -1 1 0 -1 +1 0 0 1 -1 -2 +1 0 0 0 0 1 +0 0 0 + +1 +# {t1,t2,length,width | (width+1,2t2+width+1)<=t1<=(2length-width-2,2t2+width+2); width+2<=length; 1<=width} +6 6 +# i j M N 1 +1 1 0 0 -1 -1 +1 1 -2 0 -1 -1 +1 -1 0 2 -1 -2 +1 -1 2 0 1 2 +1 0 0 1 -1 -2 +1 0 0 0 1 -1 +0 0 0 + +1 +# {t1,t2,length,width | (width+1,2t2-width)<=t1<=(2t2+width,2length-width-2); width+2<=length; 1<=width} +7 6 +# i j M N 1 +1 1 0 0 -1 -1 +1 1 -2 0 1 0 +1 -1 2 0 1 0 +1 -1 0 2 -1 -2 +1 0 0 1 -1 -2 +1 0 0 0 1 -1 +1 0 0 0 0 1 +0 0 0 +0 + +0 # Scattering functions |