Solve the missed local dimension bug with strides and modulo guards
[clan.git] / tests / unitary / stride_ifmod.c.scop
blob111fe8d54c40fb6fffab3fbc9668a5a3bdf4864b
1 #                                                     
2 #          <|                                         
3 #           A                                         
4 #          /.\                                       
5 #     <|  [""M#                                     
6 #      A   | #            Clan McCloog Castle         
7 #     /.\ [""M#           [Generated by Clan 0.8.0]
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 # [File generated by the OpenScop Library 0.9.0]
30 <OpenScop>
32 # =============================================== Global
33 # Language
36 # Context
37 CONTEXT
38 0 2 0 0 0 0
40 # Parameters are not provided
44 # Number of statements
47 # =============================================== Statement 1
48 # Number of relations describing the statement:
51 # ----------------------------------------------  1.1 Domain
52 DOMAIN
53 4 5 1 0 2 0
54 # e/i|  i | l1   l2 |  1  
55    1   -1    0    0   41    ## -i+41 >= 0
56    1    1    0    0    0    ## i >= 0
57    0   -1    2    0    0    ## i == 2*l1
58    0    1    0   -3    0    ## i == 3*l2
60 # ----------------------------------------------  1.2 Scattering
61 SCATTERING
62 3 6 3 1 0 0
63 # e/i| c1   c2   c3 |  i |  1  
64    0   -1    0    0    0    0    ## c1 == 0
65    0    0   -1    0    1    0    ## c2 == i
66    0    0    0   -1    0    0    ## c3 == 0
68 # ----------------------------------------------  1.3 Access
69 READ
70 1 4 1 1 0 0
71 # e/i| Arr|  i |  1  
72    0   -1    0    1    ## Arr == i
74 # ----------------------------------------------  1.4 Statement Extensions
75 # Number of Statement Extensions
77 <body>
78 # Number of original iterators
80 # List of original iterators
82 # Statement body expression
83 S1(i);
84 </body>
86 # =============================================== Statement 2
87 # Number of relations describing the statement:
90 # ----------------------------------------------  2.1 Domain
91 DOMAIN
92 4 5 1 0 2 0
93 # e/i|  i | l1   l2 |  1  
94    1   -1    0    0   41    ## -i+41 >= 0
95    1    1    0    0    0    ## i >= 0
96    0   -1    2    0    0    ## i == 2*l1
97    0    1    0   -5    0    ## i == 5*l2
99 # ----------------------------------------------  2.2 Scattering
100 SCATTERING
101 3 6 3 1 0 0
102 # e/i| c1   c2   c3 |  i |  1  
103    0   -1    0    0    0    0    ## c1 == 0
104    0    0   -1    0    1    0    ## c2 == i
105    0    0    0   -1    0    1    ## c3 == 1
107 # ----------------------------------------------  2.3 Access
108 READ
109 1 4 1 1 0 0
110 # e/i| Arr|  i |  1  
111    0   -1    0    1    ## Arr == i
113 # ----------------------------------------------  2.4 Statement Extensions
114 # Number of Statement Extensions
116 <body>
117 # Number of original iterators
119 # List of original iterators
121 # Statement body expression
122 S2(i);
123 </body>
125 # =============================================== Extensions
126 <scatnames>
127 b0 i b1
128 </scatnames>
130 <arrays>
131 # Number of arrays
133 # Mapping array-identifiers/array-names
134 1 i
135 2 S1
136 3 S2
137 </arrays>
139 <coordinates>
140 # File name
141 ./tests/unitary/stride_ifmod.c
142 # Starting line and column
143 2 0
144 # Ending line and column
145 8 0
146 # Indentation
148 </coordinates>
150 </OpenScop>