test/openscop/matmult.scop

   1 # [File generated by the OpenScop Library 0.8.0]
   2
   3 <OpenScop>
   4
   5 # =============================================== Global
   6 # Language
   7 C
   8
   9 # Context
  10 CONTEXT
  11 1 3 0 0 0 1
  12 # e/i|  N |  1
  13    1    1   -1    ## N-1 >= 0
  14
  15 # Parameters are provided
  16 1
  17 <strings>
  18 N
  19 </strings>
  20
  21 # Number of statements
  22 2
  23
  24 # =============================================== Statement 1
  25 # Number of relations describing the statement:
  26 3
  27
  28 # ----------------------------------------------  1.1 Domain
  29 DOMAIN
  30 4 5 2 0 0 1
  31 # e/i|  i    j |  N |  1
  32    1    1    0    0    0    ## i >= 0
  33    1   -1    0    1   -1    ## -i+N-1 >= 0
  34    1    0    1    0    0    ## j >= 0
  35    1    0   -1    1   -1    ## -j+N-1 >= 0
  36
  37 # ----------------------------------------------  1.2 Scattering
  38 SCATTERING
  39 5 10 5 2 0 1
  40 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
  41    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
  42    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
  43    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
  44    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
  45    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
  46
  47 # ----------------------------------------------  1.3 Access
  48 WRITE
  49 3 8 3 2 0 1
  50 # e/i| A1   [1]  [2]|  i    j |  N |  1
  51    0   -1    0    0    0    0    0    1    ## A1
  52    0    0   -1    0    1    0    0    0    ## [1] == i
  53    0    0    0   -1    0    1    0    0    ## [2] == j
  54
  55 # ----------------------------------------------  1.4 Body
  56 # Statement body is provided
  57 1
  58 <body>
  59 # Number of original iterators
  60 2
  61 # Original iterators
  62 i j
  63 # Body expression
  64 C[i][j] = 0.0;
  65 </body>
  66
  67
  68 # =============================================== Statement 2
  69 # Number of relations describing the statement:
  70 6
  71
  72 # ----------------------------------------------  2.1 Domain
  73 DOMAIN
  74 6 6 3 0 0 1
  75 # e/i|  i    j    k |  N |  1
  76    1    1    0    0    0    0    ## i >= 0
  77    1   -1    0    0    1   -1    ## -i+N-1 >= 0
  78    1    0    1    0    0    0    ## j >= 0
  79    1    0   -1    0    1   -1    ## -j+N-1 >= 0
  80    1    0    0    1    0    0    ## k >= 0
  81    1    0    0   -1    1   -1    ## -k+N-1 >= 0
  82
  83 # ----------------------------------------------  2.2 Scattering
  84 SCATTERING
  85 7 13 7 3 0 1
  86 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N |  1
  87    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
  88    0    0   -1    0    0    0    0    0    1    0    0    0    0    ## c2 == i
  89    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c3 == 0
  90    0    0    0    0   -1    0    0    0    0    1    0    0    0    ## c4 == j
  91    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c5 == 1
  92    0    0    0    0    0    0   -1    0    0    0    1    0    0    ## c6 == k
  93    0    0    0    0    0    0    0   -1    0    0    0    0    0    ## c7 == 0
  94
  95 # ----------------------------------------------  2.3 Access
  96 WRITE
  97 3 9 3 3 0 1
  98 # e/i| A1   [1]  [2]|  i    j    k |  N |  1
  99    0   -1    0    0    0    0    0    0    1    ## A1
 100    0    0   -1    0    1    0    0    0    0    ## [1] == i
 101    0    0    0   -1    0    1    0    0    0    ## [2] == j
 102
 103 READ
 104 3 9 3 3 0 1
 105 # e/i| A1   [1]  [2]|  i    j    k |  N |  1
 106    0   -1    0    0    0    0    0    0    1    ## A1
 107    0    0   -1    0    1    0    0    0    0    ## [1] == i
 108    0    0    0   -1    0    1    0    0    0    ## [2] == j
 109
 110 READ
 111 3 9 3 3 0 1
 112 # e/i| A2   [1]  [2]|  i    j    k |  N |  1
 113    0   -1    0    0    0    0    0    0    2    ## A2
 114    0    0   -1    0    1    0    0    0    0    ## [1] == i
 115    0    0    0   -1    0    0    1    0    0    ## [2] == k
 116
 117 READ
 118 3 9 3 3 0 1
 119 # e/i| A3   [1]  [2]|  i    j    k |  N |  1
 120    0   -1    0    0    0    0    0    0    3    ## A3
 121    0    0   -1    0    0    0    1    0    0    ## [1] == k
 122    0    0    0   -1    0    1    0    0    0    ## [2] == j
 123
 124 # ----------------------------------------------  2.4 Body
 125 # Statement body is provided
 126 1
 127 <body>
 128 # Number of original iterators
 129 3
 130 # Original iterators
 131 i j k
 132 # Body expression
 133 C[i][j] = C[i][j] + A[i][k] * B[k][j];
 134 </body>
 135
 136
 137 # =============================================== Extensions
 138
 139 </OpenScop>
 140