update isl for change in representation of isl_constraint
[ppcg.git] / clan / tests / unitary / basicnest.c.scop
blobe783af40b408e8750efa2b369c59a19e6fd4ecc5
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 4 5
50    1    1    0    0    0    ## i >= 0
51    1   -1    0    1   -1    ## -i+n-1 >= 0
52    1    0    1    0    0    ## j >= 0
53    1    0   -1    0    1    ## -j+1 >= 0
55 # ----------------------------------------------  1.2 Scattering
56 # Scattering function is provided
58 # Scattering function
59 5 5
60    0    0    0    0    0    ## 0
61    0    1    0    0    0    ## i
62    0    0    0    0    0    ## 0
63    0    0    1    0    0    ## j
64    0    0    0    0    0    ## 0
66 # ----------------------------------------------  1.3 Access
67 # Access informations are provided
69 # Read access informations
70 1 5
71    1    0    0    0    0    ## a[0]
72 # Write access informations
73 0 5
75 # ----------------------------------------------  1.4 Body
76 # Statement body is provided
78 # Original iterator names
79 i j 
80 # Statement body
84 # =============================================== Statement 2
85 # ----------------------------------------------  2.1 Domain
86 # Iteration domain
88 2 4
89    1    1    0    0    ## i >= 0
90    1   -1    1   -1    ## -i+n-1 >= 0
92 # ----------------------------------------------  2.2 Scattering
93 # Scattering function is provided
95 # Scattering function
96 3 4
97    0    0    0    1    ## 1
98    0    1    0    0    ## i
99    0    0    0    0    ## 0
101 # ----------------------------------------------  2.3 Access
102 # Access informations are provided
104 # Read access informations
105 1 4
106    2    0    0    0    ## c[0]
107 # Write access informations
108 0 4
110 # ----------------------------------------------  2.4 Body
111 # Statement body is provided
113 # Original iterator names
115 # Statement body
119 # =============================================== Options
120 <arrays>
122 1 a
123 2 c
124 </arrays>