tests/scoplib/ax-do.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 3 4
  53 # e/i|  i |  n |  1
  54    1    1    0   -1    ## i-1 >= 0
  55    1   -1    1    0    ## -i+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|  i |  n |  1
  63    0    0    0    0    ## c1 == 0
  64    0    1    0    0    ## c2 == i
  65    0    0    0    0    ## c3 == 0
  66
  67 # ----------------------------------------------  1.3 Access
  68 # Access informations are provided
  69 1
  70 # Read access informations
  71 0 0
  72 # Write access informations
  73 1 4
  74    3    1    0    0    ## [1] == i
  75
  76 # ----------------------------------------------  1.4 Body
  77 # Statement body is provided
  78 1
  79 # List of original iterators
  80 i
  81 # Statement body expression
  82 c[i]=0;
  83
  84 # =============================================== Statement 2
  85 # ----------------------------------------------  2.1 Domain
  86 # Iteration domain
  87 1
  88 5 5
  89 # e/i|  i    n |  1
  90    1    1    0    0   -1    ## i-1 >= 0
  91    1   -1    0    1    0    ## -i+n >= 0
  92    1    0    0    1   -1    ## n-1 >= 0
  93    1    0    1    0   -1    ## j-1 >= 0
  94    1    0   -1    1    0    ## -j+n >= 0
  95
  96 # ----------------------------------------------  2.2 Scattering
  97 # Scattering function is provided
  98 1
  99 5 5
 100 # e/i|  i    j |  n |  1
 101    0    0    0    0    1    ## c1 == 1
 102    0    1    0    0    0    ## c2 == i
 103    0    0    0    0    0    ## c3 == 0
 104    0    0    1    0    0    ## c4 == j
 105    0    0    0    0    0    ## c5 == 0
 106
 107 # ----------------------------------------------  2.3 Access
 108 # Access informations are provided
 109 1
 110 # Read access informations
 111 4 5
 112    3    1    0    0    0    ## [1] == i
 113    5    1    0    0    0    ## [1] == i
 114    0     0    1    0    0    ## [2] == j
 115    6    0    1    0    0    ## [1] == j
 116 # Write access informations
 117 1 5
 118    3    1    0    0    0    ## [1] == i
 119
 120 # ----------------------------------------------  2.4 Body
 121 # Statement body is provided
 122 1
 123 # List of original iterators
 124 i j
 125 # Statement body expression
 126 c[i]=c[i]+a[i][j]*b[j];
 127
 128 # =============================================== Options
 129 <arrays>
 130 # Number of arrays
 131 6
 132 # Mapping array-identifiers/array-names
 133 1 i
 134 2 n
 135 3 c
 136 4 j
 137 5 a
 138 6 b
 139 </arrays>