tests/ternary.scop

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