tests/must_fail/peel_not_a_loop.c.orig.scop

   1 [Clan] Info: parsing file #1 (./must_fail/peel_not_a_loop.c)
   2 #
   3 #          <|
   4 #           A
   5 #          /.\
   6 #     <|  [""M#
   7 #      A   | #            Clan McCloog Castle
   8 #     /.\ [""M#           [Generated by Clan 0.7.1]
   9 #    [""M# | #  U"U#U
  10 #     | #  | #  \ .:/
  11 #     | #  | #___| #
  12 #     | "--'     .-"
  13 #   |"-"-"-"-"-#-#-##
  14 #   |     # ## ######
  15 #    \       .::::'/
  16 #     \      ::::'/
  17 #   :8a|    # # ##
  18 #   ::88a      ###
  19 #  ::::888a  8a ##::.
  20 #  ::::::888a88a[]::::
  21 # :::::::::SUNDOGa8a::::. ..
  22 # :::::8::::888:Y8888:::::::::...
  23 #::':::88::::888::Y88a______________________________________________________
  24 #:: ::::88a::::88a:Y88a                                  __---__-- __
  25 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
  26 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
  27 #.::  :::::::::::::::::::Y88as88a...s88aa.
  28 #
  29 # [File generated by the OpenScop Library 0.8.4]
  30
  31 <OpenScop>
  32
  33 # =============================================== Global
  34 # Language
  35 C
  36
  37 # Context
  38 CONTEXT
  39 0 2 0 0 0 0
  40
  41 # Parameters are not provided
  42 0
  43
  44
  45 # Number of statements
  46 1
  47
  48 # =============================================== Statement 1
  49 # Number of relations describing the statement:
  50 4
  51
  52 # ----------------------------------------------  1.1 Domain
  53 DOMAIN
  54 2 3 1 0 0 0
  55 # e/i|  i |  1
  56    1    1    0    ## i >= 0
  57    1   -1   99    ## -i+99 >= 0
  58
  59 # ----------------------------------------------  1.2 Scattering
  60 SCATTERING
  61 3 6 3 1 0 0
  62 # e/i| c1   c2   c3 |  i |  1
  63    0   -1    0    0    0    0    ## c1 == 0
  64    0    0   -1    0    1    0    ## c2 == i
  65    0    0    0   -1    0    0    ## c3 == 0
  66
  67 # ----------------------------------------------  1.3 Access
  68 READ
  69 2 5 2 1 0 0
  70 # e/i| Arr  [1]|  i |  1
  71    0   -1    0    0    2    ## Arr == a
  72    0    0   -1    1    0    ## [1] == i
  73
  74 WRITE
  75 2 5 2 1 0 0
  76 # e/i| Arr  [1]|  i |  1
  77    0   -1    0    0    2    ## Arr == a
  78    0    0   -1    1    0    ## [1] == i
  79
  80 # ----------------------------------------------  1.4 Statement Extensions
  81 # Number of Statement Extensions
  82 2
  83 <body>
  84 # Number of original iterators
  85 1
  86 # List of original iterators
  87 i
  88 # Statement body expression
  89 a[i]++;
  90 </body>
  91
  92 <extbody>
  93 # Number of accesses
  94 2
  95 # Access coordinates (start/length)
  96 -1 -1
  97 0 4
  98 # Number of original iterators
  99 1
 100 # List of original iterators
 101 i
 102 # Statement body expression
 103 a[i]++;
 104 </extbody>
 105
 106 # =============================================== Extensions
 107 <scatnames>
 108 b0 i b1
 109 </scatnames>
 110
 111 <arrays>
 112 # Number of arrays
 113 2
 114 # Mapping array-identifiers/array-names
 115 1 i
 116 2 a
 117 </arrays>
 118
 119 <coordinates>
 120 # File name
 121 ./must_fail/peel_not_a_loop.c
 122 # Starting line and column
 123 2 0
 124 # Ending line and column
 125 8 0
 126 # Indentation
 127 0
 128 </coordinates>
 129
 130 <clay>
 131    peel([0,0], {10});
 132  </clay>
 133
 134 </OpenScop>
 135