Relation type also in the textual representation
[openscop.git] / tests / polynom.scop
blob3e58ddee15603b765e353b46d693c7d91810a0b6
1 #                                                     
2 #          <|                                         
3 #           A                                         
4 #          /.\                                       
5 #     <|  [""M#                                     
6 #      A   | #            Clan McCloog Castle         
7 #     /.\ [""M#           [Generated by the OpenScop Library 0.3.0 64 bits]
8 #    [""M# | #  U"U#U                              
9 #     | #  | #  \ .:/                                
10 #     | #  | #___| #                                  
11 #     | "--'     .-"                                
12 #   |"-"-"-"-"-#-#-##                            
13 #   |     # ## ######                                 
14 #    \       .::::'/                                 
15 #     \      ::::'/                                  
16 #   :8a|    # # ##                                    
17 #   ::88a      ###                                    
18 #  ::::888a  8a ##::.                                 
19 #  ::::::888a88a[]::::                                
20 # :::::::::SUNDOGa8a::::. ..                          
21 # :::::8::::888:Y8888:::::::::...                     
22 #::':::88::::888::Y88a______________________________________________________
23 #:: ::::88a::::88a:Y88a                                  __---__-- __
24 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
25 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
26 #.::  :::::::::::::::::::Y88as88a...s88aa.
28 OpenScop
30 # =============================================== Global
31 # Language
34 # Context
35 CONTEXT
36 1 3
37    1   1   3
39 # Parameter names are provided
41 # Parameter names
44 # Iterator names are provided
46 # Iterator names
47 i j
49 # Scattering dimension names are provided
51 # Scattering dimension names
52 c0 c1 c2 c3 c4
54 # Number of statements
57 # =============================================== Statement 1
58 # ----------------------------------------------  1.1 Domain
59 # Iteration domain
60 DOMAIN
62 4 5 2 0 -1 1
63    1    1    0    0    0    ## i >= 0
64    1   -1    0    1   -1    ## -i+N-1 >= 0
65    1    0    1    0    0    ## j >= 0
66    1    0   -1    1   -1    ## -j+N-1 >= 0
67 5 5 2 0 -1 1
68    1    1    0    0    0    ## i >= 0
69    1   -1    0    1   -1    ## -i+N-1 >= 0
70    1    0    1    0    0    ## j >= 0
71    1    0   -1    1   -1    ## -j+N-1 >= 0
72    1    0   -1    1   -1    ## -j+N-1 >= 0
74 # ----------------------------------------------  1.2 Scattering
75 # Scattering function is provided
77 # Scattering function
78 SCATTERING
79 5 5
80    0    0    0    0    0    ## 0
81    0    1    0    0    0    ## i
82    0    0    0    0    0    ## 0
83    0    0    1    0    0    ## j
84    0    0    0    0    0    ## 0
86 # ----------------------------------------------  1.3 Access
87 # Access informations are provided
89 # Read access information
91 READ
92 2 5 
93    0    0    0    0    1    ## C[i+j]
94    0    1    1    0    0    ##
95 READ
96 2 5
97    0    0    0    0    2    ## A[i]
98    0    1    0    0    0    ##
99 READ
100 2 5
101    0    0    0    0    3    ## B[j]
102    0    0    1    0    0    ##
103 # Write access information
105 WRITE
106 2 5
107    0    0    0    0    1    ## C[i+j]
108    0    1    1    0    0    ##
110 # ----------------------------------------------  1.4 Body
111 # Statement body is provided
113 # Original iterator names
114 i j 
115 # Statement body
116 C[i+j]+=A[i]*B[j];
119 # =============================================== Options
120 <arrays>
122 1 C
123 2 A
124 3 B
125 </arrays>
127 <comment>
128 hello, world
130 HELLO WORLD I SAID
131 </comment>