tests/scoplib/matmul.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #            Clan McCloog Castle
   7 #     /.\ [""M#           [Generated by Clan 0.7.1]
   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.4]
  29 # [SCoPLib format]
  30
  31 SCoP
  32
  33 # =============================================== Global
  34 # Language
  35 C
  36
  37 # Context
  38 0 3
  39
  40 # Parameters are provided
  41 1
  42 # Parameter names
  43 N
  44
  45 # Number of statements
  46 2
  47
  48 # =============================================== Statement 1
  49 # ----------------------------------------------  1.1 Domain
  50 # Iteration domain
  51 1
  52 5 5
  53 # e/i|  i    N |  1
  54    1    1    0    0    0    ## i >= 0
  55    1   -1    0    1   -1    ## -i+N-1 >= 0
  56    1    0    0    1   -1    ## N-1 >= 0
  57    1    0    1    0    0    ## j >= 0
  58    1    0   -1    1   -1    ## -j+N-1 >= 0
  59
  60 # ----------------------------------------------  1.2 Scattering
  61 # Scattering function is provided
  62 1
  63 5 5
  64 # e/i|  i    j |  N |  1
  65    0    0    0    0    0    ## c1 == 0
  66    0    1    0    0    0    ## c2 == i
  67    0    0    0    0    0    ## c3 == 0
  68    0    0    1    0    0    ## c4 == j
  69    0    0    0    0    0    ## c5 == 0
  70
  71 # ----------------------------------------------  1.3 Access
  72 # Access informations are provided
  73 1
  74 # Read access informations
  75 0 0
  76 # Write access informations
  77 2 5
  78    4    1    0    0    0    ## [1] == i
  79    0     0    1    0    0    ## [2] == j
  80
  81 # ----------------------------------------------  1.4 Body
  82 # Statement body is provided
  83 1
  84 # List of original iterators
  85 i j
  86 # Statement body expression
  87 c[i][j]=0.0;
  88
  89 # =============================================== Statement 2
  90 # ----------------------------------------------  2.1 Domain
  91 # Iteration domain
  92 1
  93 7 6
  94 # e/i|  i    N |  1
  95    1    1    0    0    0    0    ## i >= 0
  96    1   -1    0    0    1   -1    ## -i+N-1 >= 0
  97    1    0    0    0    1   -1    ## N-1 >= 0
  98    1    0    1    0    0    0    ## j >= 0
  99    1    0   -1    0    1   -1    ## -j+N-1 >= 0
 100    1    0    0    1    0    0    ## k >= 0
 101    1    0    0   -1    1   -1    ## -k+N-1 >= 0
 102
 103 # ----------------------------------------------  2.2 Scattering
 104 # Scattering function is provided
 105 1
 106 7 6
 107 # e/i|  i    j    k |  N |  1
 108    0    0    0    0    0    0    ## c1 == 0
 109    0    1    0    0    0    0    ## c2 == i
 110    0    0    0    0    0    0    ## c3 == 0
 111    0    0    1    0    0    0    ## c4 == j
 112    0    0    0    0    0    1    ## c5 == 1
 113    0    0    0    1    0    0    ## c6 == k
 114    0    0    0    0    0    0    ## c7 == 0
 115
 116 # ----------------------------------------------  2.3 Access
 117 # Access informations are provided
 118 1
 119 # Read access informations
 120 6 6
 121    4    1    0    0    0    0    ## [1] == i
 122    0     0    1    0    0    0    ## [2] == j
 123    6    1    0    0    0    0    ## [1] == i
 124    0     0    0    1    0    0    ## [2] == k
 125    7    0    0    1    0    0    ## [1] == k
 126    0     0    1    0    0    0    ## [2] == j
 127 # Write access informations
 128 2 6
 129    4    1    0    0    0    0    ## [1] == i
 130    0     0    1    0    0    0    ## [2] == j
 131
 132 # ----------------------------------------------  2.4 Body
 133 # Statement body is provided
 134 1
 135 # List of original iterators
 136 i j k
 137 # Statement body expression
 138 c[i][j]=c[i][j]+a[i][k]*b[k][j];
 139
 140 # =============================================== Options
 141 <arrays>
 142 # Number of arrays
 143 7
 144 # Mapping array-identifiers/array-names
 145 1 i
 146 2 N
 147 3 j
 148 4 c
 149 5 k
 150 6 a
 151 7 b
 152 </arrays>