tests/unitary/matmul.c.orig.scop

   1 [Clan] Info: parsing file #1 (./unitary/matmul.c)
   2
   3 <OpenScop>
   4
   5 # =============================================== Global
   6 # Language
   7 C
   8
   9 # Context
  10 CONTEXT
  11 0 3 0 0 0 1
  12
  13 # Parameters are provided
  14 1
  15 <strings>
  16 n
  17 </strings>
  18
  19 # Number of statements
  20 2
  21
  22 # =============================================== Statement 1
  23 # Number of relations describing the statement:
  24 3
  25
  26 # ----------------------------------------------  1.1 Domain
  27 DOMAIN
  28 5 5 2 0 0 1
  29 # e/i|  i    j |  n |  1
  30    1    1    0    0    0    ## i >= 0
  31    1   -1    0    1    0    ## -i+n >= 0
  32    1    0    0    1    0    ## n >= 0
  33    1    0    1    0    0    ## j >= 0
  34    1    0   -1    1    0    ## -j+n >= 0
  35
  36 # ----------------------------------------------  1.2 Scattering
  37 SCATTERING
  38 5 10 5 2 0 1
  39 # e/i| c1   c2   c3   c4   c5 |  i    j |  n |  1
  40    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
  41    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
  42    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
  43    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
  44    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
  45
  46 # ----------------------------------------------  1.3 Access
  47 WRITE
  48 3 8 3 2 0 1
  49 # e/i| Arr  [1]  [2]|  i    j |  n |  1
  50    0   -1    0    0    0    0    0    4    ## Arr == C
  51    0    0   -1    0    1    0    0    0    ## [1] == i
  52    0    0    0   -1    0    1    0    0    ## [2] == j
  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 i j
  62 # Statement body expression
  63 C[i][j] = 0;
  64 </body>
  65
  66 # =============================================== Statement 2
  67 # Number of relations describing the statement:
  68 6
  69
  70 # ----------------------------------------------  2.1 Domain
  71 DOMAIN
  72 7 6 3 0 0 1
  73 # e/i|  i    j    k |  n |  1
  74    1    1    0    0    0    0    ## i >= 0
  75    1   -1    0    0    1    0    ## -i+n >= 0
  76    1    0    0    0    1    0    ## n >= 0
  77    1    0    1    0    0    0    ## j >= 0
  78    1    0   -1    0    1    0    ## -j+n >= 0
  79    1    0    0    1    0    0    ## k >= 0
  80    1    0    0   -1    1    0    ## -k+n >= 0
  81
  82 # ----------------------------------------------  2.2 Scattering
  83 SCATTERING
  84 7 13 7 3 0 1
  85 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  n |  1
  86    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
  87    0    0   -1    0    0    0    0    0    1    0    0    0    0    ## c2 == i
  88    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c3 == 0
  89    0    0    0    0   -1    0    0    0    0    1    0    0    0    ## c4 == j
  90    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c5 == 1
  91    0    0    0    0    0    0   -1    0    0    0    1    0    0    ## c6 == k
  92    0    0    0    0    0    0    0   -1    0    0    0    0    0    ## c7 == 0
  93
  94 # ----------------------------------------------  2.3 Access
  95 WRITE
  96 3 9 3 3 0 1
  97 # e/i| Arr  [1]  [2]|  i    j    k |  n |  1
  98    0   -1    0    0    0    0    0    0    4    ## Arr == C
  99    0    0   -1    0    1    0    0    0    0    ## [1] == i
 100    0    0    0   -1    0    1    0    0    0    ## [2] == j
 101
 102 READ
 103 3 9 3 3 0 1
 104 # e/i| Arr  [1]  [2]|  i    j    k |  n |  1
 105    0   -1    0    0    0    0    0    0    4    ## Arr == C
 106    0    0   -1    0    1    0    0    0    0    ## [1] == i
 107    0    0    0   -1    0    1    0    0    0    ## [2] == j
 108
 109 READ
 110 3 9 3 3 0 1
 111 # e/i| Arr  [1]  [2]|  i    j    k |  n |  1
 112    0   -1    0    0    0    0    0    0    6    ## Arr == A
 113    0    0   -1    0    1    0    0    0    0    ## [1] == i
 114    0    0    0   -1    0    0    1    0    0    ## [2] == k
 115
 116 READ
 117 3 9 3 3 0 1
 118 # e/i| Arr  [1]  [2]|  i    j    k |  n |  1
 119    0   -1    0    0    0    0    0    0    7    ## Arr == B
 120    0    0   -1    0    0    0    1    0    0    ## [1] == k
 121    0    0    0   -1    0    1    0    0    0    ## [2] == j
 122
 123 # ----------------------------------------------  2.4 Statement Extensions
 124 # Number of Statement Extensions
 125 1
 126 <body>
 127 # Number of original iterators
 128 3
 129 # List of original iterators
 130 i j k
 131 # Statement body expression
 132 C[i][j] = C[i][j] + A[i][k] * B[k][j];
 133 </body>
 134
 135 # =============================================== Extensions
 136 <scatnames>
 137 b0 i b1 j b2 k b3
 138 </scatnames>
 139
 140 <arrays>
 141 # Number of arrays
 142 7
 143 # Mapping array-identifiers/array-names
 144 1 i
 145 2 n
 146 3 j
 147 4 C
 148 5 k
 149 6 A
 150 7 B
 151 </arrays>
 152
 153 <coordinates>
 154 # File name
 155 ./unitary/matmul.c
 156 # Starting line and column
 157 2 0
 158 # Ending line and column
 159 9 0
 160 # Indentation
 161 0
 162 </coordinates>
 163
 164 </OpenScop>
 165