tests/scoplib/gauss.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 3
  47
  48 # =============================================== Statement 1
  49 # ----------------------------------------------  1.1 Domain
  50 # Iteration domain
  51 1
  52 3 4
  53 # e/i|  k |  n |  1
  54    1    1    0   -1    ## k-1 >= 0
  55    1   -1    1    0    ## -k+n >= 0
  56    1    0    1   -1    ## n-1 >= 0
  57
  58 # ----------------------------------------------  1.2 Scattering
  59 # Scattering function is provided
  60 1
  61 3 4
  62 # e/i|  k |  n |  1
  63    0    0    0    0    ## c1 == 0
  64    0    1    0    0    ## c2 == k
  65    0    0    0    0    ## c3 == 0
  66
  67 # ----------------------------------------------  1.3 Access
  68 # Access informations are provided
  69 1
  70 # Read access informations
  71 2 4
  72    4    1    0    0    ## [1] == k
  73    0     1    0    0    ## [2] == k
  74 # Write access informations
  75 1 4
  76    3    0    0   0    ## Arr == s
  77
  78 # ----------------------------------------------  1.4 Body
  79 # Statement body is provided
  80 1
  81 # List of original iterators
  82 k
  83 # Statement body expression
  84 s=1/a[k][k];
  85
  86 # =============================================== Statement 2
  87 # ----------------------------------------------  2.1 Domain
  88 # Iteration domain
  89 1
  90 6 5
  91 # e/i|  k    n |  1
  92    1    1    0    0   -1    ## k-1 >= 0
  93    1   -1    0    1    0    ## -k+n >= 0
  94    1    0    0    1   -1    ## n-1 >= 0
  95    1   -1    1    0   -1    ## -k+l-1 >= 0
  96    1    0   -1    1    0    ## -l+n >= 0
  97    1   -1    0    1   -1    ## -k+n-1 >= 0
  98
  99 # ----------------------------------------------  2.2 Scattering
 100 # Scattering function is provided
 101 1
 102 5 5
 103 # e/i|  k    l |  n |  1
 104    0    0    0    0    0    ## c1 == 0
 105    0    1    0    0    0    ## c2 == k
 106    0    0    0    0    1    ## c3 == 1
 107    0    0    1    0    0    ## c4 == l
 108    0    0    0    0    0    ## c5 == 0
 109
 110 # ----------------------------------------------  2.3 Access
 111 # Access informations are provided
 112 1
 113 # Read access informations
 114 3 5
 115    4    0    1    0    0    ## [1] == l
 116    0     1    0    0    0    ## [2] == k
 117    3    0    0    0   0    ## Arr == s
 118 # Write access informations
 119 2 5
 120    4    0    1    0    0    ## [1] == l
 121    0     1    0    0    0    ## [2] == k
 122
 123 # ----------------------------------------------  2.4 Body
 124 # Statement body is provided
 125 1
 126 # List of original iterators
 127 k l
 128 # Statement body expression
 129 a[l][k]=a[l][k]*s;
 130
 131 # =============================================== Statement 3
 132 # ----------------------------------------------  3.1 Domain
 133 # Iteration domain
 134 1
 135 8 6
 136 # e/i|  k    n |  1
 137    1    1    0    0    0   -1    ## k-1 >= 0
 138    1   -1    0    0    1    0    ## -k+n >= 0
 139    1    0    0    0    1   -1    ## n-1 >= 0
 140    1   -1    1    0    0   -1    ## -k+j-1 >= 0
 141    1    0   -1    0    1    1    ## -j+n+1 >= 0
 142    1   -1    0    1    0   -1    ## -k+i-1 >= 0
 143    1    0    0   -1    1    0    ## -i+n >= 0
 144    1   -1    0    0    1   -1    ## -k+n-1 >= 0
 145
 146 # ----------------------------------------------  3.2 Scattering
 147 # Scattering function is provided
 148 1
 149 7 6
 150 # e/i|  k    j    i |  n |  1
 151    0    0    0    0    0    0    ## c1 == 0
 152    0    1    0    0    0    0    ## c2 == k
 153    0    0    0    0    0    2    ## c3 == 2
 154    0    0    1    0    0    0    ## c4 == j
 155    0    0    0    0    0    0    ## c5 == 0
 156    0    0    0    1    0    0    ## c6 == i
 157    0    0    0    0    0    0    ## c7 == 0
 158
 159 # ----------------------------------------------  3.3 Access
 160 # Access informations are provided
 161 1
 162 # Read access informations
 163 6 6
 164    4    0    0    1    0    0    ## [1] == i
 165    0     0    1    0    0    0    ## [2] == j
 166    4    1    0    0    0    0    ## [1] == k
 167    0     0    1    0    0    0    ## [2] == j
 168    4    0    0    1    0    0    ## [1] == i
 169    0     1    0    0    0    0    ## [2] == k
 170 # Write access informations
 171 2 6
 172    4    0    0    1    0    0    ## [1] == i
 173    0     0    1    0    0    0    ## [2] == j
 174
 175 # ----------------------------------------------  3.4 Body
 176 # Statement body is provided
 177 1
 178 # List of original iterators
 179 k j i
 180 # Statement body expression
 181 a[i][j]=a[i][j]-a[k][j]*a[i][k];
 182
 183 # =============================================== Options
 184 <arrays>
 185 # Number of arrays
 186 7
 187 # Mapping array-identifiers/array-names
 188 1 k
 189 2 n
 190 3 s
 191 4 a
 192 5 l
 193 6 j
 194 7 i
 195 </arrays>