clan/tests/gauss.c.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #              Clan McCloog Castle
   7 #     /.\ [""M#             [File generated by Clan 0.5.0 64 bits]
   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 SCoP
  29
  30 # =============================================== Global
  31 # Language
  32 C
  33
  34 # Context
  35 0 3
  36
  37 # Parameter names are provided
  38 1
  39 # Parameter names
  40 n
  41
  42 # Number of statements
  43 3
  44
  45 # =============================================== Statement 1
  46 # ----------------------------------------------  1.1 Domain
  47 # Iteration domain
  48 1
  49 2 4
  50    1    1    0   -1    ## k-1 >= 0
  51    1   -1    1    0    ## -k+n >= 0
  52
  53 # ----------------------------------------------  1.2 Scattering
  54 # Scattering function is provided
  55 1
  56 # Scattering function
  57 3 4
  58    0    0    0    0    ## 0
  59    0    1    0    0    ## k
  60    0    0    0    0    ## 0
  61
  62 # ----------------------------------------------  1.3 Access
  63 # Access informations are provided
  64 1
  65 # Read access informations
  66 2 4
  67    2    1    0    0    ## a[k][k]
  68    0    1    0    0    ##
  69 # Write access informations
  70 1 4
  71    1    0    0    0    ## s[0]
  72
  73 # ----------------------------------------------  1.4 Body
  74 # Statement body is provided
  75 1
  76 # Original iterator names
  77 k
  78 # Statement body
  79 s=1/a[k][k];
  80
  81
  82 # =============================================== Statement 2
  83 # ----------------------------------------------  2.1 Domain
  84 # Iteration domain
  85 1
  86 4 5
  87    1    1    0    0   -1    ## k-1 >= 0
  88    1   -1    0    1    0    ## -k+n >= 0
  89    1   -1    1    0   -1    ## -k+l-1 >= 0
  90    1    0   -1    1    0    ## -l+n >= 0
  91
  92 # ----------------------------------------------  2.2 Scattering
  93 # Scattering function is provided
  94 1
  95 # Scattering function
  96 5 5
  97    0    0    0    0    0    ## 0
  98    0    1    0    0    0    ## k
  99    0    0    0    0    1    ## 1
 100    0    0    1    0    0    ## l
 101    0    0    0    0    0    ## 0
 102
 103 # ----------------------------------------------  2.3 Access
 104 # Access informations are provided
 105 1
 106 # Read access informations
 107 3 5
 108    2    0    1    0    0    ## a[l][k]
 109    0    1    0    0    0    ##
 110    1    0    0    0    0    ## s[0]
 111 # Write access informations
 112 2 5
 113    2    0    1    0    0    ## a[l][k]
 114    0    1    0    0    0    ##
 115
 116 # ----------------------------------------------  2.4 Body
 117 # Statement body is provided
 118 1
 119 # Original iterator names
 120 k l
 121 # Statement body
 122 a[l][k]=a[l][k]*s;
 123
 124
 125 # =============================================== Statement 3
 126 # ----------------------------------------------  3.1 Domain
 127 # Iteration domain
 128 1
 129 6 6
 130    1    1    0    0    0   -1    ## k-1 >= 0
 131    1   -1    0    0    1    0    ## -k+n >= 0
 132    1   -1    1    0    0   -1    ## -k+j-1 >= 0
 133    1    0   -1    0    1    1    ## -j+n+1 >= 0
 134    1   -1    0    1    0   -1    ## -k+i-1 >= 0
 135    1    0    0   -1    1    0    ## -i+n >= 0
 136
 137 # ----------------------------------------------  3.2 Scattering
 138 # Scattering function is provided
 139 1
 140 # Scattering function
 141 7 6
 142    0    0    0    0    0    0    ## 0
 143    0    1    0    0    0    0    ## k
 144    0    0    0    0    0    2    ## 2
 145    0    0    1    0    0    0    ## j
 146    0    0    0    0    0    0    ## 0
 147    0    0    0    1    0    0    ## i
 148    0    0    0    0    0    0    ## 0
 149
 150 # ----------------------------------------------  3.3 Access
 151 # Access informations are provided
 152 1
 153 # Read access informations
 154 6 6
 155    2    0    0    1    0    0    ## a[i][j]
 156    0    0    1    0    0    0    ##
 157    2    1    0    0    0    0    ## a[k][j]
 158    0    0    1    0    0    0    ##
 159    2    0    0    1    0    0    ## a[i][k]
 160    0    1    0    0    0    0    ##
 161 # Write access informations
 162 2 6
 163    2    0    0    1    0    0    ## a[i][j]
 164    0    0    1    0    0    0    ##
 165
 166 # ----------------------------------------------  3.4 Body
 167 # Statement body is provided
 168 1
 169 # Original iterator names
 170 k j i
 171 # Statement body
 172 a[i][j]=a[i][j]-a[k][j]*a[i][k];
 173
 174
 175 # =============================================== Options
 176 <arrays>
 177 2
 178 1 s
 179 2 a
 180 </arrays>