clan/tests/unitary/complexprog.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 3
  44
  45 # =============================================== Statement 1
  46 # ----------------------------------------------  1.1 Domain
  47 # Iteration domain
  48 1
  49 4 5
  50    1    0    1   -1   -1    ## M-N-1 >= 0
  51    1    1    0    0   -2    ## i-2 >= 0
  52    1    1    0   -1    0    ## i-N >= 0
  53    1   -1    1    0   -1    ## -i+M-1 >= 0
  54
  55 # ----------------------------------------------  1.2 Scattering
  56 # Scattering function is provided
  57 1
  58 # Scattering function
  59 3 5
  60    0    0    0    0    0    ## 0
  61    0    1    0    0    0    ## i
  62    0    0    0    0    0    ## 0
  63
  64 # ----------------------------------------------  1.3 Access
  65 # Access informations are provided
  66 1
  67 # Read access informations
  68 2 5
  69    2    0    0    0    0    ## b[0]
  70    3    0    0    0    0    ## c[0]
  71 # Write access informations
  72 1 5
  73    1    1    0    0    0    ## a[i]
  74
  75 # ----------------------------------------------  1.4 Body
  76 # Statement body is provided
  77 1
  78 # Original iterator names
  79 i
  80 # Statement body
  81 a[i]=pow(b,c);
  82
  83
  84 # =============================================== Statement 2
  85 # ----------------------------------------------  2.1 Domain
  86 # Iteration domain
  87 1
  88 4 5
  89    1    0    1   -1   -1    ## M-N-1 >= 0
  90    1    1    0    0   -2    ## i-2 >= 0
  91    1    1    0   -1    0    ## i-N >= 0
  92    1   -1    1    0   -1    ## -i+M-1 >= 0
  93
  94 # ----------------------------------------------  2.2 Scattering
  95 # Scattering function is provided
  96 1
  97 # Scattering function
  98 3 5
  99    0    0    0    0    0    ## 0
 100    0    1    0    0    0    ## i
 101    0    0    0    0    1    ## 1
 102
 103 # ----------------------------------------------  2.3 Access
 104 # Access informations are provided
 105 1
 106 # Read access informations
 107 1 5
 108    3    0    0    0    0    ## c[0]
 109 # Write access informations
 110 1 5
 111    3    0    0    0    0    ## c[0]
 112
 113 # ----------------------------------------------  2.4 Body
 114 # Statement body is provided
 115 1
 116 # Original iterator names
 117 i
 118 # Statement body
 119 c=c+1;
 120
 121
 122 # =============================================== Statement 3
 123 # ----------------------------------------------  3.1 Domain
 124 # Iteration domain
 125 1
 126 2 5
 127    0    0    1   -1    0    ## M-N == 0
 128    0    1    0    0    0    ## fakeiter == 0
 129
 130 # ----------------------------------------------  3.2 Scattering
 131 # Scattering function is provided
 132 1
 133 # Scattering function
 134 3 5
 135    0    0    0    0    1    ## 1
 136    0    1    0    0    0    ## fakeiter
 137    0    0    0    0    2    ## 2
 138
 139 # ----------------------------------------------  3.3 Access
 140 # Access informations are provided
 141 1
 142 # Read access informations
 143 1 5
 144    3    0    0    0    0    ## c[0]
 145 # Write access informations
 146 1 5
 147    1    0    0    0    0    ## a[0]
 148
 149 # ----------------------------------------------  3.4 Body
 150 # Statement body is provided
 151 1
 152 # Original iterator names
 153 fakeiter
 154 # Statement body
 155 a[0]=c;
 156
 157
 158 # =============================================== Options
 159 <arrays>
 160 3
 161 1 a
 162 2 b
 163 3 c
 164 </arrays>