tests/boolean.scop

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