clan/tests/unitary/minmax.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 5
  36
  37 # Parameter names are provided
  38 1
  39 # Parameter names
  40 n m p
  41
  42 # Number of statements
  43 1
  44
  45 # =============================================== Statement 1
  46 # ----------------------------------------------  1.1 Domain
  47 # Iteration domain
  48 1
  49 9 7
  50    1    1    0    0    0    0    0    ## i >= 0
  51    1    1    0   -1    0    0    0    ## i-n >= 0
  52    1   -1    0    0    1    0   -1    ## -i+m-1 >= 0
  53    1   -1    0    1    0    0   -1    ## -i+n-1 >= 0
  54    1   -1    0    0    0    1   -1    ## -i+p-1 >= 0
  55    1   -1    1    0    0    0    0    ## -i+j >= 0
  56    1    0    1   -1    0    0    0    ## j-n >= 0
  57    1    0   -1    0    1    0    0    ## -j+m >= 0
  58    1    0   -1    1    0    0    0    ## -j+n >= 0
  59
  60 # ----------------------------------------------  1.2 Scattering
  61 # Scattering function is provided
  62 1
  63 # Scattering function
  64 5 7
  65    0    0    0    0    0    0    0    ## 0
  66    0    1    0    0    0    0    0    ## i
  67    0    0    0    0    0    0    0    ## 0
  68    0    0    1    0    0    0    0    ## j
  69    0    0    0    0    0    0    0    ## 0
  70
  71 # ----------------------------------------------  1.3 Access
  72 # Access informations are provided
  73 1
  74 # Read access informations
  75 0 7
  76 # Write access informations
  77 1 7
  78    1    0    0    0    0    0    0    ## a[0]
  79
  80 # ----------------------------------------------  1.4 Body
  81 # Statement body is provided
  82 1
  83 # Original iterator names
  84 i j
  85 # Statement body
  86 a=0;
  87
  88
  89 # =============================================== Options
  90 <arrays>
  91 1
  92 1 a
  93 </arrays>