tests/cast.scop

   1 start: 44
   2 end: 87
   3 indent: "\t"
   4 context: '[c] -> {  : -128 <= c <= 127 }'
   5 schedule: '{ domain: "[c] -> { S_1[]; S_0[]; S_2[] }", child: { sequence: [ { filter:
   6   "{ S_0[] }" }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[]
   7   }" }, { filter: "{ S_2[] }" } ] } } ] } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '[c] -> { a[] }'
  11   element_type: int
  12   element_size: 4
  13 - context: '{  :  }'
  14   extent: '[c] -> { c[] }'
  15   element_type: signed char
  16   element_size: 1
  17 statements:
  18 - line: 7
  19   domain: '[c] -> { S_0[] }'
  20   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '[c] -> { S_0[] -> a[] }'
  28         reference: __pet_ref_0
  29         read: 0
  30         write: 1
  31       - type: cast
  32         type_name: int
  33         arguments:
  34         - type: access
  35           index: '[c] -> { S_0[] -> [(c)] }'
  36           reference: __pet_ref_1
  37           read: 1
  38           write: 0
  39 - line: -1
  40   domain: '[c] -> { S_1[] }'
  41   body:
  42     type: expression
  43     expr:
  44       type: op
  45       operation: kill
  46       arguments:
  47       - type: access
  48         killed: '[c] -> { S_1[] -> a[] }'
  49         index: '[c] -> { S_1[] -> a[] }'
  50         reference: __pet_ref_2
  51         kill: 1
  52 - line: -1
  53   domain: '[c] -> { S_2[] }'
  54   body:
  55     type: expression
  56     expr:
  57       type: op
  58       operation: kill
  59       arguments:
  60       - type: access
  61         killed: '[c] -> { S_2[] -> c[] }'
  62         index: '[c] -> { S_2[] -> c[] }'
  63         reference: __pet_ref_3
  64         kill: 1