tests/polynom.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #            Clan McCloog Castle
   7 #     /.\ [""M#           [Generated by the OpenScop Library 0.3.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 OpenScop
  29
  30 # =============================================== Global
  31 # Language
  32 C
  33
  34 # Context
  35 CONTEXT
  36 1 3 0 0 0 1
  37 # e/i  N   1
  38    1   1   3
  39
  40 # Parameter names are provided
  41 1
  42 # Parameter names
  43 N
  44
  45 # Number of statements
  46 1
  47
  48 # =============================================== Statement 1
  49 # Number of relations describing the statement
  50 6
  51
  52 # ----------------------------------------------  1.1 Domain
  53 DOMAIN
  54 2
  55 4 5 2 0 0 1
  56 # e/i   i    j    N    1
  57    1    1    0    0    0    ## i >= 0
  58    1   -1    0    1   -1    ## -i+N-1 >= 0
  59    1    0    1    0    0    ## j >= 0
  60    1    0   -1    1   -1    ## -j+N-1 >= 0
  61 5 5 2 0 0 1
  62 # e/i   i    j    N    1
  63    1    1    0    0    0    ## i >= 0
  64    1   -1    0    1   -1    ## -i+N-1 >= 0
  65    1    0    1    0    0    ## j >= 0
  66    1    0   -1    1   -1    ## -j+N-1 >= 0
  67    1    0   -1    1   -1    ## -j+N-1 >= 0
  68
  69 # ----------------------------------------------  1.2 Scattering
  70 SCATTERING
  71 5 10 5 2 0 1
  72 # e/i  s1   s2   s3   s4   s5    i    j    N    1
  73    0   -1    0    0    0    0    0    0    0    0    ## 0
  74    0    0   -1    0    0    0    1    0    0    0    ## i
  75    0    0    0   -1    0    0    0    0    0    0    ## 0
  76    0    0    0    0   -1    0    0    1    0    0    ## j
  77    0    0    0    0    0   -1    0    0    0    0    ## 0
  78
  79 # ----------------------------------------------  1.3 Access
  80 READ
  81 2 7 2 2 0 1
  82 # e/i  Arr  [1]   i    j    N    1
  83    0   -1    0    0    0    0    1    ## C[i+j]
  84    0    0   -1    1    1    0    0    ##
  85
  86 READ
  87 2 7 2 2 0 1
  88 # e/i  Arr  [1]   i    j    N    1
  89    0   -1    0    0    0    0    2    ## A[i]
  90    0    0   -1    1    0    0    0    ##
  91
  92 READ
  93 2 7 2 2 0 1
  94 # e/i  Arr  [1]   i    j    N    1
  95    0   -1    0    0    0    0    3    ## B[j]
  96    0    0   -1    0    1    0    0    ##
  97
  98 WRITE
  99 2 7 2 2 0 1
 100 # e/i  Arr  [1]   i    j    N    1
 101    0   -1    0    0    0    0    1    ## C[i+j]
 102    0    0   -1    1    1    0    0    ##
 103
 104 # ----------------------------------------------  1.4 Body
 105 # Statement body is provided
 106 1
 107 # Original iterator names
 108 i j
 109 # Statement body
 110 C[i+j]+=A[i]*B[j];
 111
 112
 113 # =============================================== Options
 114 <arrays>
 115 3
 116 1 C
 117 2 A
 118 3 B
 119 </arrays>
 120
 121 <comment>
 122 hello, world
 123
 124 HELLO WORLD I SAID
 125 </comment>