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