tests/inline11.scop

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