tests/unitary/tile_loop1.c.clay.scop

   1
   2 <OpenScop>
   3
   4 # =============================================== Global
   5 # Language
   6 C
   7
   8 # Context
   9 CONTEXT
  10 0 5 0 0 0 3
  11
  12 # Parameters are provided
  13 1
  14 <strings>
  15 N M P
  16 </strings>
  17
  18 # Number of statements
  19 1
  20
  21 # =============================================== Statement 1
  22 # Number of relations describing the statement:
  23 3
  24
  25 # ----------------------------------------------  1.1 Domain
  26 DOMAIN
  27 9 8 3 0 0 3
  28 # e/i|  i    j    k |  N    M    P |  1
  29    1    1    0    0    0    0    0    0    ## i >= 0
  30    1   -1    0    0    1    0    0    0    ## -i+N >= 0
  31    1    0    0    0    1    0    0    0    ## N >= 0
  32    1    0    1    0    0    0    0    0    ## j >= 0
  33    1    0   -1    0    0    1    0    0    ## -j+M >= 0
  34    1    0    0    0    0    1    0    0    ## M >= 0
  35    1    0    0    1    0    0    0    0    ## k >= 0
  36    1    0    0   -1    0    0    1    0    ## -k+P >= 0
  37    1    0    0    0    0    0    1    0    ## P >= 0
  38
  39 # ----------------------------------------------  1.2 Scattering
  40 SCATTERING
  41 10 17 9 3 0 3
  42 # e/i| c1   c2   c3   c4   c5   c6   c7   c8   c9 |  i    j    k |  N    M    P |  1
  43    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
  44    0    0   -1    0    0    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == i
  45    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c3 == 0
  46    0    0    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c6 == j
  47    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c5 == 0
  48    1    0    0    0  -32    0    0    0    1    0    0    0    0    0    0    0    0    ## -32*c4+c8 >= 0
  49    1    0    0    0   32    0    0    0   -1    0    0    0    0    0    0    0   31    ## 32*c4-c8+31 >= 0
  50    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c7 == 0
  51    0    0    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c8 == k
  52    0    0    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c9 == 0
  53
  54 # ----------------------------------------------  1.3 Access
  55 WRITE
  56 4 12 4 3 0 3
  57 # e/i| Arr  [1]  [2]  [3]|  i    j    k |  N    M    P |  1
  58    0   -1    0    0    0    0    0    0    0    0    0    7    ## Arr == a
  59    0    0   -1    0    0    1    0    0    0    0    0    0    ## [1] == i
  60    0    0    0   -1    0    0    1    0    0    0    0    0    ## [2] == j
  61    0    0    0    0   -1    0    0    1    0    0    0    0    ## [3] == k
  62
  63 # ----------------------------------------------  1.4 Statement Extensions
  64 # Number of Statement Extensions
  65 1
  66 <body>
  67 # Number of original iterators
  68 3
  69 # List of original iterators
  70 i j k
  71 # Statement body expression
  72 a[i][j][k] = 0;
  73 </body>
  74
  75 # =============================================== Extensions
  76 <scatnames>
  77 b0 i b1 j __b0 __kk0 b2 k b3
  78 </scatnames>
  79
  80 <arrays>
  81 # Number of arrays
  82 7
  83 # Mapping array-identifiers/array-names
  84 1 i
  85 2 N
  86 3 j
  87 4 M
  88 5 k
  89 6 P
  90 7 a
  91 </arrays>
  92
  93 <coordinates>
  94 # File name
  95 ./unitary/tile_loop1.c
  96 # Starting line and column
  97 2 0
  98 # Ending line and column
  99 12 0
 100 # Indentation
 101 0
 102 </coordinates>
 103
 104 </OpenScop>
 105