tests/kill.scop

   1 start: 71
   2 end: 243
   3 indent: "\t"
   4 context: '[n] -> {  : n >= 0 and n <= 2147483647 }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '[n] -> { A[i0] : i0 >= 0 }'
   8   element_type: int
   9   element_size: 4
  10 - context: '[n] -> {  : n >= 0 }'
  11   extent: '[n] -> { B[i0] : i0 <= -1 + n and i0 >= 0 }'
  12   element_type: int
  13   element_size: 4
  14 - context: '{  :  }'
  15   extent: '[n] -> { C[i0] : i0 >= 0 }'
  16   element_type: int
  17   element_size: 4
  18 - context: '[n] -> {  : n >= 0 }'
  19   extent: '[n] -> { D[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 <= -1 + n and i1 >=
  20     0 }'
  21   element_type: int
  22   element_size: 4
  23 - context: '{  :  }'
  24   extent: '[n] -> { t[] }'
  25   element_type: int
  26   element_size: 4
  27 statements:
  28 - line: 7
  29   domain: '[n] -> { S_0[] }'
  30   schedule: '{ S_0[] -> [0] }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: kill
  36       arguments:
  37       - type: access
  38         killed: '[n] -> { S_0[] -> C[o0] : o0 >= 0 }'
  39         index: '[n] -> { S_0[] -> C[] }'
  40         depth: 1
  41         reference: __pet_ref_0
  42         kill: 1
  43 - line: 9
  44   domain: '[n] -> { S_1[i] : i <= -1 + n and i >= 0 }'
  45   schedule: '[n] -> { S_1[i] -> [1, i, 0] }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: =
  51       arguments:
  52       - type: access
  53         index: '[n] -> { S_1[i] -> t[] }'
  54         reference: __pet_ref_1
  55         read: 0
  56         write: 1
  57       - type: access
  58         index: '[n] -> { S_1[i] -> A[(i)] }'
  59         reference: __pet_ref_2
  60         read: 1
  61         write: 0
  62 - line: 10
  63   domain: '[n] -> { S_2[i] : i <= -1 + n and i >= 0 }'
  64   schedule: '[n] -> { S_2[i] -> [1, i, 1] }'
  65   body:
  66     type: expression
  67     expr:
  68       type: op
  69       operation: =
  70       arguments:
  71       - type: access
  72         index: '[n] -> { S_2[i] -> B[(i)] }'
  73         reference: __pet_ref_3
  74         read: 0
  75         write: 1
  76       - type: access
  77         index: '[n] -> { S_2[i] -> t[] }'
  78         reference: __pet_ref_4
  79         read: 1
  80         write: 0
  81 - line: 11
  82   domain: '[n] -> { S_3[i] : i <= -1 + n and i >= 0 }'
  83   schedule: '[n] -> { S_3[i] -> [1, i, 2] }'
  84   body:
  85     type: expression
  86     expr:
  87       type: op
  88       operation: =
  89       arguments:
  90       - type: access
  91         index: '[n] -> { S_3[i] -> C[(i)] }'
  92         reference: __pet_ref_5
  93         read: 0
  94         write: 1
  95       - type: access
  96         index: '[n] -> { S_3[i] -> B[(i)] }'
  97         reference: __pet_ref_6
  98         read: 1
  99         write: 0
 100 - line: 12
 101   domain: '[n] -> { S_4[i] : i <= -1 + n and i >= 0 }'
 102   schedule: '[n] -> { S_4[i] -> [1, i, 3] }'
 103   body:
 104     type: expression
 105     expr:
 106       type: op
 107       operation: kill
 108       arguments:
 109       - type: access
 110         killed: '[n] -> { S_4[i] -> t[] }'
 111         index: '[n] -> { S_4[i] -> t[] }'
 112         reference: __pet_ref_7
 113         kill: 1
 114 - line: 12
 115   domain: '[n] -> { S_5[i] : i <= -1 + n and i >= 0 }'
 116   schedule: '[n] -> { S_5[i] -> [1, i, 3] }'
 117   body:
 118     type: expression
 119     expr:
 120       type: op
 121       operation: kill
 122       arguments:
 123       - type: access
 124         killed: '[n] -> { S_5[i] -> B[i] }'
 125         index: '[n] -> { S_5[i] -> B[(i)] }'
 126         reference: __pet_ref_8
 127         kill: 1
 128 - line: 12
 129   domain: '[n] -> { S_6[i] : i <= -1 + n and i >= 0 }'
 130   schedule: '[n] -> { S_6[i] -> [1, i, 3] }'
 131   body:
 132     type: expression
 133     expr:
 134       type: op
 135       operation: kill
 136       arguments:
 137       - type: access
 138         killed: '[n] -> { S_6[i] -> D[i, o1] : o1 >= 0 and o1 <= -1 + n }'
 139         index: '[n] -> { S_6[i] -> D[(i)] }'
 140         depth: 2
 141         reference: __pet_ref_9
 142         kill: 1
 143 - line: 14
 144   domain: '[n] -> { S_7[] }'
 145   schedule: '{ S_7[] -> [2] }'
 146   body:
 147     type: expression
 148     expr:
 149       type: op
 150       operation: kill
 151       arguments:
 152       - type: access
 153         killed: '[n] -> { S_7[] -> A[o0] : o0 >= 0 }'
 154         index: '[n] -> { S_7[] -> A[] }'
 155         depth: 1
 156         reference: __pet_ref_10
 157         kill: 1