tests/encapsulate/inf_break.scop

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