tests/clan/iir_4_64.c.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #            Clan McCloog Castle
   7 #     /.\ [""M#           [Generated by Clan 0.7.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.
  27 #
  28 # [File generated by the OpenScop Library 0.8.3]
  29
  30 <OpenScop>
  31
  32 # =============================================== Global
  33 # Language
  34 C
  35
  36 # Context
  37 CONTEXT
  38 0 6 0 0 0 4
  39
  40 # Parameters are provided
  41 1
  42 <strings>
  43 i NSECTIONS imod8 imodNSECTIONS
  44 </strings>
  45
  46 # Number of statements
  47 8
  48
  49 # =============================================== Statement 1
  50 # Number of relations describing the statement:
  51 4
  52
  53 # ----------------------------------------------  1.1 Domain
  54 DOMAIN
  55 0 6 0 0 0 4
  56
  57 # ----------------------------------------------  1.2 Scattering
  58 SCATTERING
  59 1 7 1 0 0 4
  60 # e/i| c1 |  i  NSE. imo. imo.|  1
  61    0   -1    0    0    0    0    0    ## c1 == 0
  62
  63 # ----------------------------------------------  1.3 Access
  64 WRITE
  65 1 7 1 0 0 4
  66 # e/i| Arr|  i  NSE. imo. imo.|  1
  67    0   -1    0    0    0    0    1    ## Arr == sum
  68
  69 READ
  70 2 8 2 0 0 4
  71 # e/i| Arr  [1]|  i  NSE. imo. imo.|  1
  72    0   -1    0    0    0    0    0    2    ## Arr == input
  73    0    0   -1    1    0    0    0    0    ## [1] == i
  74
  75 # ----------------------------------------------  1.4 Body
  76 # Statement body is provided
  77 1
  78 <body>
  79 # Number of original iterators
  80 0
  81 # Statement body expression
  82 sum=input[i];
  83 </body>
  84
  85 # =============================================== Statement 2
  86 # Number of relations describing the statement:
  87 4
  88
  89 # ----------------------------------------------  2.1 Domain
  90 DOMAIN
  91 3 7 1 0 0 4
  92 # e/i|  j |  i  NSE. imo. imo.|  1
  93    1    1    0    0    0    0    0    ## j >= 0
  94    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
  95    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
  96
  97 # ----------------------------------------------  2.2 Scattering
  98 SCATTERING
  99 3 10 3 1 0 4
 100 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 101    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 102    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 103    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 104
 105 # ----------------------------------------------  2.3 Access
 106 WRITE
 107 1 8 1 1 0 4
 108 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 109    0   -1    0    0    0    0    0    6    ## Arr == state_2
 110
 111 READ
 112 4 11 4 1 0 4
 113 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 114    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 115    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 116    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 117    0    0    0    0   -1    0    0    0    0    0    0    ## [3] == 0
 118
 119 # ----------------------------------------------  2.4 Body
 120 # Statement body is provided
 121 1
 122 <body>
 123 # Number of original iterators
 124 1
 125 # List of original iterators
 126 j
 127 # Statement body expression
 128 state_2=internal_state[imod8][j][0];
 129 </body>
 130
 131 # =============================================== Statement 3
 132 # Number of relations describing the statement:
 133 4
 134
 135 # ----------------------------------------------  3.1 Domain
 136 DOMAIN
 137 3 7 1 0 0 4
 138 # e/i|  j |  i  NSE. imo. imo.|  1
 139    1    1    0    0    0    0    0    ## j >= 0
 140    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
 141    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
 142
 143 # ----------------------------------------------  3.2 Scattering
 144 SCATTERING
 145 3 10 3 1 0 4
 146 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 147    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 148    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 149    0    0    0   -1    0    0    0    0    0    1    ## c3 == 1
 150
 151 # ----------------------------------------------  3.3 Access
 152 WRITE
 153 1 8 1 1 0 4
 154 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 155    0   -1    0    0    0    0    0    9    ## Arr == state_1
 156
 157 READ
 158 4 11 4 1 0 4
 159 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 160    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 161    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 162    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 163    0    0    0    0   -1    0    0    0    0    0    1    ## [3] == 1
 164
 165 # ----------------------------------------------  3.4 Body
 166 # Statement body is provided
 167 1
 168 <body>
 169 # Number of original iterators
 170 1
 171 # List of original iterators
 172 j
 173 # Statement body expression
 174 state_1=internal_state[imod8][j][1];
 175 </body>
 176
 177 # =============================================== Statement 4
 178 # Number of relations describing the statement:
 179 8
 180
 181 # ----------------------------------------------  4.1 Domain
 182 DOMAIN
 183 3 7 1 0 0 4
 184 # e/i|  j |  i  NSE. imo. imo.|  1
 185    1    1    0    0    0    0    0    ## j >= 0
 186    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
 187    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
 188
 189 # ----------------------------------------------  4.2 Scattering
 190 SCATTERING
 191 3 10 3 1 0 4
 192 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 193    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 194    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 195    0    0    0   -1    0    0    0    0    0    2    ## c3 == 2
 196
 197 # ----------------------------------------------  4.3 Access
 198 READ
 199 1 8 1 1 0 4
 200 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 201    0   -1    0    0    0    0    0    1    ## Arr == sum
 202
 203 WRITE
 204 1 8 1 1 0 4
 205 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 206    0   -1    0    0    0    0    0    1    ## Arr == sum
 207
 208 READ
 209 4 11 4 1 0 4
 210 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 211    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 212    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 213    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 214    0    0    0    0   -1    0    0    0    0    0    0    ## [3] == 0
 215
 216 READ
 217 4 11 4 1 0 4
 218 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 219    0   -1    0    0    0    0    0    0    0    0   10    ## Arr == coefficient
 220    0    0   -1    0    0    0    0    0    0    1    0    ## [1] == imodNSECTIONS
 221    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 222    0    0    0    0   -1    0    0    0    0    0    0    ## [3] == 0
 223
 224 READ
 225 4 11 4 1 0 4
 226 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 227    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 228    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 229    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 230    0    0    0    0   -1    0    0    0    0    0    1    ## [3] == 1
 231
 232 READ
 233 4 11 4 1 0 4
 234 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 235    0   -1    0    0    0    0    0    0    0    0   10    ## Arr == coefficient
 236    0    0   -1    0    0    0    0    0    0    1    0    ## [1] == imodNSECTIONS
 237    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 238    0    0    0    0   -1    0    0    0    0    0    1    ## [3] == 1
 239
 240 # ----------------------------------------------  4.4 Body
 241 # Statement body is provided
 242 1
 243 <body>
 244 # Number of original iterators
 245 1
 246 # List of original iterators
 247 j
 248 # Statement body expression
 249 sum-=internal_state[imod8][j][0]*coefficient[imodNSECTIONS][j][0]+internal_state[imod8][j][1]*coefficient[imodNSECTIONS][j][1];
 250 </body>
 251
 252 # =============================================== Statement 5
 253 # Number of relations describing the statement:
 254 4
 255
 256 # ----------------------------------------------  5.1 Domain
 257 DOMAIN
 258 3 7 1 0 0 4
 259 # e/i|  j |  i  NSE. imo. imo.|  1
 260    1    1    0    0    0    0    0    ## j >= 0
 261    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
 262    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
 263
 264 # ----------------------------------------------  5.2 Scattering
 265 SCATTERING
 266 3 10 3 1 0 4
 267 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 268    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 269    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 270    0    0    0   -1    0    0    0    0    0    3    ## c3 == 3
 271
 272 # ----------------------------------------------  5.3 Access
 273 WRITE
 274 4 11 4 1 0 4
 275 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 276    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 277    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 278    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 279    0    0    0    0   -1    0    0    0    0    0    0    ## [3] == 0
 280
 281 READ
 282 4 11 4 1 0 4
 283 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 284    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 285    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 286    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 287    0    0    0    0   -1    0    0    0    0    0    1    ## [3] == 1
 288
 289 # ----------------------------------------------  5.4 Body
 290 # Statement body is provided
 291 1
 292 <body>
 293 # Number of original iterators
 294 1
 295 # List of original iterators
 296 j
 297 # Statement body expression
 298 internal_state[imod8][j][0]=internal_state[imod8][j][1];
 299 </body>
 300
 301 # =============================================== Statement 6
 302 # Number of relations describing the statement:
 303 4
 304
 305 # ----------------------------------------------  6.1 Domain
 306 DOMAIN
 307 3 7 1 0 0 4
 308 # e/i|  j |  i  NSE. imo. imo.|  1
 309    1    1    0    0    0    0    0    ## j >= 0
 310    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
 311    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
 312
 313 # ----------------------------------------------  6.2 Scattering
 314 SCATTERING
 315 3 10 3 1 0 4
 316 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 317    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 318    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 319    0    0    0   -1    0    0    0    0    0    4    ## c3 == 4
 320
 321 # ----------------------------------------------  6.3 Access
 322 WRITE
 323 4 11 4 1 0 4
 324 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 325    0   -1    0    0    0    0    0    0    0    0    7    ## Arr == internal_state
 326    0    0   -1    0    0    0    0    0    1    0    0    ## [1] == imod8
 327    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 328    0    0    0    0   -1    0    0    0    0    0    1    ## [3] == 1
 329
 330 READ
 331 1 8 1 1 0 4
 332 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 333    0   -1    0    0    0    0    0    1    ## Arr == sum
 334
 335 # ----------------------------------------------  6.4 Body
 336 # Statement body is provided
 337 1
 338 <body>
 339 # Number of original iterators
 340 1
 341 # List of original iterators
 342 j
 343 # Statement body expression
 344 internal_state[imod8][j][1]=sum;
 345 </body>
 346
 347 # =============================================== Statement 7
 348 # Number of relations describing the statement:
 349 8
 350
 351 # ----------------------------------------------  7.1 Domain
 352 DOMAIN
 353 3 7 1 0 0 4
 354 # e/i|  j |  i  NSE. imo. imo.|  1
 355    1    1    0    0    0    0    0    ## j >= 0
 356    1   -1    0    1    0    0   -1    ## -j+NSECTIONS-1 >= 0
 357    1    0    0    1    0    0   -1    ## NSECTIONS-1 >= 0
 358
 359 # ----------------------------------------------  7.2 Scattering
 360 SCATTERING
 361 3 10 3 1 0 4
 362 # e/i| c1   c2   c3 |  j |  i  NSE. imo. imo.|  1
 363    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 364    0    0   -1    0    1    0    0    0    0    0    ## c2 == j
 365    0    0    0   -1    0    0    0    0    0    5    ## c3 == 5
 366
 367 # ----------------------------------------------  7.3 Access
 368 READ
 369 1 8 1 1 0 4
 370 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 371    0   -1    0    0    0    0    0    1    ## Arr == sum
 372
 373 WRITE
 374 1 8 1 1 0 4
 375 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 376    0   -1    0    0    0    0    0    1    ## Arr == sum
 377
 378 READ
 379 1 8 1 1 0 4
 380 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 381    0   -1    0    0    0    0    0    6    ## Arr == state_2
 382
 383 READ
 384 4 11 4 1 0 4
 385 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 386    0   -1    0    0    0    0    0    0    0    0   10    ## Arr == coefficient
 387    0    0   -1    0    0    0    0    0    0    1    0    ## [1] == imodNSECTIONS
 388    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 389    0    0    0    0   -1    0    0    0    0    0    2    ## [3] == 2
 390
 391 READ
 392 1 8 1 1 0 4
 393 # e/i| Arr|  j |  i  NSE. imo. imo.|  1
 394    0   -1    0    0    0    0    0    9    ## Arr == state_1
 395
 396 READ
 397 4 11 4 1 0 4
 398 # e/i| Arr  [1]  [2]  [3]|  j |  i  NSE. imo. imo.|  1
 399    0   -1    0    0    0    0    0    0    0    0   10    ## Arr == coefficient
 400    0    0   -1    0    0    0    0    0    0    1    0    ## [1] == imodNSECTIONS
 401    0    0    0   -1    0    1    0    0    0    0    0    ## [2] == j
 402    0    0    0    0   -1    0    0    0    0    0    3    ## [3] == 3
 403
 404 # ----------------------------------------------  7.4 Body
 405 # Statement body is provided
 406 1
 407 <body>
 408 # Number of original iterators
 409 1
 410 # List of original iterators
 411 j
 412 # Statement body expression
 413 sum+=state_2*coefficient[imodNSECTIONS][j][2]+state_1*coefficient[imodNSECTIONS][j][3];
 414 </body>
 415
 416 # =============================================== Statement 8
 417 # Number of relations describing the statement:
 418 4
 419
 420 # ----------------------------------------------  8.1 Domain
 421 DOMAIN
 422 0 6 0 0 0 4
 423
 424 # ----------------------------------------------  8.2 Scattering
 425 SCATTERING
 426 1 7 1 0 0 4
 427 # e/i| c1 |  i  NSE. imo. imo.|  1
 428    0   -1    0    0    0    0    2    ## c1 == 2
 429
 430 # ----------------------------------------------  8.3 Access
 431 WRITE
 432 2 8 2 0 0 4
 433 # e/i| Arr  [1]|  i  NSE. imo. imo.|  1
 434    0   -1    0    0    0    0    0   12    ## Arr == output
 435    0    0   -1    1    0    0    0    0    ## [1] == i
 436
 437 READ
 438 1 7 1 0 0 4
 439 # e/i| Arr|  i  NSE. imo. imo.|  1
 440    0   -1    0    0    0    0    1    ## Arr == sum
 441
 442 # ----------------------------------------------  8.4 Body
 443 # Statement body is provided
 444 1
 445 <body>
 446 # Number of original iterators
 447 0
 448 # Statement body expression
 449 output[i]=sum;
 450 </body>
 451
 452 # =============================================== Extensions
 453 <scatnames>
 454 b0 j b1
 455 </scatnames>
 456
 457 <arrays>
 458 # Number of arrays
 459 12
 460 # Mapping array-identifiers/array-names
 461 1 sum
 462 2 input
 463 3 i
 464 4 j
 465 5 NSECTIONS
 466 6 state_2
 467 7 internal_state
 468 8 imod8
 469 9 state_1
 470 10 coefficient
 471 11 imodNSECTIONS
 472 12 output
 473 </arrays>
 474
 475 <coordinates>
 476 # File name
 477 ./tests/iir_4_64.c
 478 # Starting line
 479 60
 480 # Ending line
 481 80
 482 # Indentation
 483 4
 484 </coordinates>
 485
 486 </OpenScop>
 487