tests/encapsulate/inf_break.scop

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