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