tests/expr.scop

   1 start: 22
   2 end: 86
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_0[]; S_2[]; S_1[]; S_4[] }", child: { sequence: [
   6   { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" }, { filter:
   7   "{ S_3[] }" }, { filter: "{ S_4[] }" } ] } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '{ a[] }'
  11   element_type: int
  12   element_size: 4
  13 statements:
  14 - line: 6
  15   domain: '{ S_0[] }'
  16   body:
  17     type: expression
  18     expr:
  19       type: op
  20       operation: =
  21       arguments:
  22       - type: access
  23         index: '{ S_0[] -> a[] }'
  24         reference: __pet_ref_0
  25         read: 0
  26         write: 1
  27       - type: int
  28         value: 5
  29 - line: 7
  30   domain: '{ S_1[] }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: '&='
  36       arguments:
  37       - type: access
  38         index: '{ S_1[] -> a[] }'
  39         reference: __pet_ref_1
  40         read: 1
  41         write: 1
  42       - type: int
  43         value: 4
  44 - line: 8
  45   domain: '{ S_2[] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: '|='
  51       arguments:
  52       - type: access
  53         index: '{ S_2[] -> a[] }'
  54         reference: __pet_ref_2
  55         read: 1
  56         write: 1
  57       - type: int
  58         value: 8
  59 - line: 9
  60   domain: '{ S_3[] }'
  61   body:
  62     type: expression
  63     expr:
  64       type: op
  65       operation: ^=
  66       arguments:
  67       - type: access
  68         index: '{ S_3[] -> a[] }'
  69         reference: __pet_ref_3
  70         read: 1
  71         write: 1
  72       - type: int
  73         value: 2
  74 - line: -1
  75   domain: '{ S_4[] }'
  76   body:
  77     type: expression
  78     expr:
  79       type: op
  80       operation: kill
  81       arguments:
  82       - type: access
  83         killed: '{ S_4[] -> a[] }'
  84         index: '{ S_4[] -> a[] }'
  85         reference: __pet_ref_4
  86         kill: 1