tests/encapsulate/while.scop

   1 start: 83
   2 end: 210
   3 indent: "\t"
   4 context: '[n] -> {  : -2147483648 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S1[x] : 0 <= x < n; S_3[x] : 0 <= x < n; S_5[]; R[x]
   6   : 0 <= x < n }", child: { sequence: [ { filter: "[n] -> { S1[x]; S_3[x]; R[x] }",
   7   child: { schedule: "[n] -> L_0[{ S1[x] -> [(x)]; S_3[x] -> [(x)]; R[x] -> [(x)]
   8   }]", child: { sequence: [ { filter: "[n] -> { S1[x] }" }, { filter: "[n] -> { S_3[x]
   9   }" }, { filter: "[n] -> { R[x] }" } ] } } }, { filter: "[n] -> { S_5[] }" } ] }
  10   }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '[n] -> { s[] }'
  14   element_type: int
  15   element_size: 4
  16 statements:
  17 - line: 12
  18   domain: '[n] -> { S1[x] : 0 <= x < n }'
  19   body:
  20     type: expression
  21     expr:
  22       type: op
  23       operation: =
  24       arguments:
  25       - type: access
  26         index: '[n] -> { S1[x] -> s[] }'
  27         reference: __pet_ref_0
  28         read: 0
  29         write: 1
  30       - type: call
  31         name: f
  32 - line: 13
  33   domain: '[n] -> { S_3[x] : 0 <= x < n }'
  34   body:
  35     type: while
  36     condition:
  37       type: call
  38       name: P
  39       arguments:
  40       - type: access
  41         index: '[n] -> { S_3[x] -> [(x)] }'
  42         reference: __pet_ref_1
  43         read: 1
  44         write: 0
  45       - type: access
  46         index: '[n] -> { S_3[x] -> s[] }'
  47         reference: __pet_ref_2
  48         read: 1
  49         write: 0
  50     body:
  51       type: block
  52       block: 1
  53       children:
  54       - type: expression
  55         expr:
  56           type: op
  57           operation: =
  58           arguments:
  59           - type: access
  60             index: '[n] -> { S_3[x] -> s[] }'
  61             reference: __pet_ref_3
  62             read: 0
  63             write: 1
  64           - type: call
  65             name: g
  66             arguments:
  67             - type: access
  68               index: '[n] -> { S_3[x] -> s[] }'
  69               reference: __pet_ref_4
  70               read: 1
  71               write: 0
  72 - line: 16
  73   domain: '[n] -> { R[x] : 0 <= x < n }'
  74   body:
  75     type: expression
  76     expr:
  77       type: call
  78       name: h
  79       arguments:
  80       - type: access
  81         index: '[n] -> { R[x] -> s[] }'
  82         reference: __pet_ref_5
  83         read: 1
  84         write: 0
  85 - line: -1
  86   domain: '[n] -> { S_5[] }'
  87   body:
  88     type: expression
  89     expr:
  90       type: op
  91       operation: kill
  92       arguments:
  93       - type: access
  94         killed: '[n] -> { S_5[] -> s[] }'
  95         index: '[n] -> { S_5[] -> s[] }'
  96         reference: __pet_ref_6
  97         kill: 1