update isl for change in representation of isl_constraint
[ppcg.git] / clan / tests / ax-do.c.scop
blob2a5bf7a16b3aeec13fed2d6c4dc9aff3c537e81f
1 #                                                   
2 #          <|                                       
3 #           A                                       
4 #          /.\                                     
5 #     <|  [""M#                                   
6 #      A   | #              Clan McCloog Castle     
7 #     /.\ [""M#             [File generated by Clan 0.5.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 SCoP
30 # =============================================== Global
31 # Language
34 # Context
35 0 3
37 # Parameter names are provided
39 # Parameter names
40
42 # Number of statements
45 # =============================================== Statement 1
46 # ----------------------------------------------  1.1 Domain
47 # Iteration domain
49 2 4
50    1    1    0   -1    ## i-1 >= 0
51    1   -1    1    0    ## -i+n >= 0
53 # ----------------------------------------------  1.2 Scattering
54 # Scattering function is provided
56 # Scattering function
57 3 4
58    0    0    0    0    ## 0
59    0    1    0    0    ## i
60    0    0    0    0    ## 0
62 # ----------------------------------------------  1.3 Access
63 # Access informations are provided
65 # Read access informations
66 0 4
67 # Write access informations
68 1 4
69    1    1    0    0    ## c[i]
71 # ----------------------------------------------  1.4 Body
72 # Statement body is provided
74 # Original iterator names
75
76 # Statement body
77 c[i]=0;
80 # =============================================== Statement 2
81 # ----------------------------------------------  2.1 Domain
82 # Iteration domain
84 4 5
85    1    1    0    0   -1    ## i-1 >= 0
86    1   -1    0    1    0    ## -i+n >= 0
87    1    0    1    0   -1    ## j-1 >= 0
88    1    0   -1    1    0    ## -j+n >= 0
90 # ----------------------------------------------  2.2 Scattering
91 # Scattering function is provided
93 # Scattering function
94 5 5
95    0    0    0    0    1    ## 1
96    0    1    0    0    0    ## i
97    0    0    0    0    0    ## 0
98    0    0    1    0    0    ## j
99    0    0    0    0    0    ## 0
101 # ----------------------------------------------  2.3 Access
102 # Access informations are provided
104 # Read access informations
105 4 5
106    1    1    0    0    0    ## c[i]
107    2    1    0    0    0    ## a[i][j]
108    0    0    1    0    0    ##
109    3    0    1    0    0    ## b[j]
110 # Write access informations
111 1 5
112    1    1    0    0    0    ## c[i]
114 # ----------------------------------------------  2.4 Body
115 # Statement body is provided
117 # Original iterator names
118 i j 
119 # Statement body
120 c[i]=c[i]+a[i][j]*b[j];
123 # =============================================== Options
124 <arrays>
126 1 c
127 2 a
128 3 b
129 </arrays>