tests/boolean.scop

   1 start: 21
   2 end: 83
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ A[i0] : i0 >= 0 }'
   8   element_type: int
   9   element_size: 4
  10 statements:
  11 - line: 4
  12   domain: '{ S_0[] }'
  13   schedule: '{ S_0[] -> [0] }'
  14   body:
  15     type: op
  16     operation: =
  17     arguments:
  18     - type: access
  19       relation: '{ S_0[] -> A[0] }'
  20       index: '{ S_0[] -> A[(0)] }'
  21       reference: __pet_ref_0
  22       read: 0
  23       write: 1
  24     - type: op
  25       operation: '||'
  26       arguments:
  27       - type: op
  28         operation: '&&'
  29         arguments:
  30         - type: access
  31           relation: '{ S_0[] -> A[1] }'
  32           index: '{ S_0[] -> A[(1)] }'
  33           reference: __pet_ref_1
  34           read: 1
  35           write: 0
  36         - type: access
  37           relation: '{ S_0[] -> A[2] }'
  38           index: '{ S_0[] -> A[(2)] }'
  39           reference: __pet_ref_2
  40           read: 1
  41           write: 0
  42       - type: op
  43         operation: '!'
  44         arguments:
  45         - type: access
  46           relation: '{ S_0[] -> A[3] }'
  47           index: '{ S_0[] -> A[(3)] }'
  48           reference: __pet_ref_3
  49           read: 1
  50           write: 0