tests/unitary/skew_statement.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 P N M
  16 </strings>
  17
  18 # Number of statements
  19 2
  20
  21 # =============================================== Statement 1
  22 # Number of relations describing the statement:
  23 3
  24
  25 # ----------------------------------------------  1.1 Domain
  26 DOMAIN
  27 6 7 2 0 0 3
  28 # e/i|  k    i |  P    N    M |  1
  29    1    1    0    0    0    0    0    ## k >= 0
  30    1   -1    0    1    0    0   -1    ## -k+P-1 >= 0
  31    1    0    0    1    0    0   -1    ## P-1 >= 0
  32    1    0    1    0    0    0    0    ## i >= 0
  33    1    0   -1    0    1    0    0    ## -i+N >= 0
  34    1    0    0    0    1    0    0    ## N >= 0
  35
  36 # ----------------------------------------------  1.2 Scattering
  37 SCATTERING
  38 5 12 5 2 0 3
  39 # e/i| c1   c2   c3   c4   c5 |  k    i |  P    N    M |  1
  40    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
  41    0    0   -2    0    0    0    1    0    0    0    0    0    ## -2*c2+k == 0
  42    0    0    0   -1    0    0    0    0    0    0    0    0    ## c3 == 0
  43    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
  44    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
  45
  46 # ----------------------------------------------  1.3 Access
  47 WRITE
  48 3 10 3 2 0 3
  49 # e/i| Arr  [1]  [2]|  k    i |  P    N    M |  1
  50    0   -1    0    0    0    0    0    0    0    5    ## Arr == a
  51    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
  52    0    0    0   -1    1    0    0    0    0    0    ## [2] == k
  53
  54 # ----------------------------------------------  1.4 Statement Extensions
  55 # Number of Statement Extensions
  56 1
  57 <body>
  58 # Number of original iterators
  59 2
  60 # List of original iterators
  61 k i
  62 # Statement body expression
  63 a[i][k] = 0;
  64 </body>
  65
  66 # =============================================== Statement 2
  67 # Number of relations describing the statement:
  68 3
  69
  70 # ----------------------------------------------  2.1 Domain
  71 DOMAIN
  72 9 8 3 0 0 3
  73 # e/i|  k    i    j |  P    N    M |  1
  74    1    1    0    0    0    0    0    0    ## k >= 0
  75    1   -1    0    0    1    0    0   -1    ## -k+P-1 >= 0
  76    1    0    0    0    1    0    0   -1    ## P-1 >= 0
  77    1    0    1    0    0    0    0    0    ## i >= 0
  78    1    0   -1    0    0    1    0    0    ## -i+N >= 0
  79    1    0    0    0    0    1    0    0    ## N >= 0
  80    1    0    0    1    0    0    0    0    ## j >= 0
  81    1    0    0   -1    0    0    1    0    ## -j+M >= 0
  82    1    0    0    0    0    0    1    0    ## M >= 0
  83
  84 # ----------------------------------------------  2.2 Scattering
  85 SCATTERING
  86 7 15 7 3 0 3
  87 # e/i| c1   c2   c3   c4   c5   c6   c7 |  k    i    j |  P    N    M |  1
  88    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
  89    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == k
  90    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c3 == 0
  91    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
  92    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    1    ## c5 == 1
  93    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
  94    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
  95
  96 # ----------------------------------------------  2.3 Access
  97 WRITE
  98 4 12 4 3 0 3
  99 # e/i| Arr  [1]  [2]  [3]|  k    i    j |  P    N    M |  1
 100    0   -1    0    0    0    0    0    0    0    0    0    8    ## Arr == b
 101    0    0   -1    0    0    0    1    0    0    0    0    0    ## [1] == i
 102    0    0    0   -1    0    0    0    1    0    0    0    0    ## [2] == j
 103    0    0    0    0   -1    1    0    0    0    0    0    0    ## [3] == k
 104
 105 # ----------------------------------------------  2.4 Statement Extensions
 106 # Number of Statement Extensions
 107 1
 108 <body>
 109 # Number of original iterators
 110 3
 111 # List of original iterators
 112 k i j
 113 # Statement body expression
 114 b[i][j][k] = 0;
 115 </body>
 116
 117 # =============================================== Extensions
 118 <scatnames>
 119 b0 k b1 i b2 j b3
 120 </scatnames>
 121
 122 <arrays>
 123 # Number of arrays
 124 8
 125 # Mapping array-identifiers/array-names
 126 1 k
 127 2 P
 128 3 i
 129 4 N
 130 5 a
 131 6 j
 132 7 M
 133 8 b
 134 </arrays>
 135
 136 <coordinates>
 137 # File name
 138 ./unitary/skew_statement.c
 139 # Starting line and column
 140 2 0
 141 # Ending line and column
 142 13 0
 143 # Indentation
 144 0
 145 </coordinates>
 146
 147 </OpenScop>
 148