int64_t* _func_(_DECL_1DARRAY_PARAM(s), int64_t n, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_2);
_DECL_1DARRAY(t);
int64_t _4;
int64_t _5;
int64_t _6;
//const %4 = 5 : int
_4 = 5;
//ifle %1, %4 goto blklab0 : int
if(n<=_4){goto blklab0;}
//assign %3 = %0 : int[]
_COPY_1DARRAY_int64_t(t, s);
//const %5 = 3 : int
_5 = 3;
//const %6 = 2 : int
_6 = 2;
//update %3[%6] = %5 : int[] -> int[]
t[_6] = _5;
//return %3
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(t);
return t;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//return %0
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(s);
return s;
//.blklab1
blklab1:;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t ra;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
//const %4 = 0 : int
_4 = 0;
//indexof %5 = %0, %4 : int[]
_5=a[_4];
//assign %3 = %5 : int
// isCopyEliminated = true
ra = _5;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//update %1[%7] = %6 : int[] -> int[]
b[_7] = _6;
//const %8 = 0 : int
_8 = 0;
//indexof %9 = %0, %8 : int[]
_9=a[_8];
//const %10 = 0 : int
_10 = 0;
//indexof %11 = %1, %10 : int[]
_11=b[_10];
//ifne %9, %11 goto blklab0 : int
if(_9!=_11){goto blklab0;}
//return %0
_DEALLOC(b);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//return %1
_DEALLOC(a);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(b);
return b;
//.blklab1
blklab1:;
//return
}
int64_t* _Cash_(_DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_0);
int64_t _1;
int64_t _2;
int64_t _3;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
_DECL_1DARRAY(_9);
//const %1 = 0 : int
_1 = 0;
//const %2 = 0 : int
_2 = 0;
//const %3 = 0 : int
_3 = 0;
//const %4 = 0 : int
_4 = 0;
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//const %8 = 0 : int
_8 = 0;
//newlist %9 = (%1, %2, %3, %4, %5, %6, %7, %8) : int[]
_NEW_1DARRAY_int64_t(_9, 8, 0);
_9[0] = _1; _9[1] = _2; _9[2] = _3; _9[3] = _4; _9[4] = _5; _9[5] = _6; _9[6] = _7; _9[7] = _8;
//return %9
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_9);
return _9;
//return
}
BYTE* _append_(BYTE* items, size_t items_size, BYTE item, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(nitems);
int64_t i;
BYTE _4;
int64_t _5;
int64_t _6;
int64_t _7;
_DECL_1DARRAY_BYTE(_8);
int64_t _9;
int64_t _10;
BYTE _11;
int64_t _12;
int64_t _13;
//const %4 = 00000000b : byte
_4 = 0b00000000;
//lengthof %5 = %0 : byte[]
_5 = items_size;
//const %6 = 1 : int
_6 = 1;
//add %7 = %5, %6 : int
_7=_5+_6;
//arraygen %8 = [4; 7] : byte[]
_NEW_1DARRAY_BYTE(_8, _7, _4);
//assign %2 = %8 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(nitems, _8);
//const %9 = 0 : int
_9 = 0;
//assign %3 = %9 : int
// isCopyEliminated = true
i = _9;
//loop (%2, %3, %10, %11, %12, %13)
while(true){
//lengthof %10 = %0 : byte[]
_10 = items_size;
//ifge %3, %10 goto blklab1 : int
if(i>=_10){goto blklab1;}
//indexof %11 = %0, %3 : byte[]
_11=items[i];
//update %2[%3] = %11 : byte[] -> byte[]
nitems[i] = _11;
//const %12 = 1 : int
_12 = 1;
//add %13 = %3, %12 : int
_13=i+_12;
//assign %3 = %13 : int
// isCopyEliminated = true
i = _13;
//.blklab2
blklab2:;
}
//.blklab1
blklab1:;
//update %2[%3] = %1 : byte[] -> byte[]
nitems[i] = item;
//return %2
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(nitems);
return nitems;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t ra;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
//const %4 = 0 : int
_4 = 0;
//indexof %5 = %0, %4 : int[]
_5=a[_4];
//assign %3 = %5 : int
// isCopyEliminated = true
ra = _5;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//update %1[%7] = %6 : int[] -> int[]
b[_7] = _6;
//return %1
_DEALLOC(a);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(b);
return b;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t _3;
int64_t _4;
int64_t _5;
int64_t _6;
//const %3 = 0 : int
_3 = 0;
//const %4 = 0 : int
_4 = 0;
//update %0[%4] = %3 : int[] -> int[]
a[_4] = _3;
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//update %1[%6] = %5 : int[] -> int[]
b[_6] = _5;
//return %0
_DEALLOC(b);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t rb;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
//const %4 = 0 : int
_4 = 0;
//const %5 = 0 : int
_5 = 0;
//update %0[%5] = %4 : int[] -> int[]
a[_5] = _4;
//const %6 = 0 : int
_6 = 0;
//indexof %7 = %1, %6 : int[]
_7=b[_6];
//assign %3 = %7 : int
// isCopyEliminated = true
rb = _7;
//return %1
_DEALLOC(a);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(b);
return b;
//return
}
//#include <pthread.h>
//#include <cilk/reducer.h>
int64_t* _findMoves_(_DECL_1DARRAY_PARAM(moves), _DECL_DEALLOC_PARAM(moves), int64_t n, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
// int64_t s = 0;
// while(s<n){
// int64_t i = 0;
// while(i<n-s){
// int64_t j = i+s;
// int64_t y = moves[(i+1)*n+j-1];
// int64_t x = moves[(i+2)*n+j];
// int64_t z = moves[(i*n)+j-2];
// moves[(i*n)+j] = max(i+(min(x, y)), j+ (min(y, z)));
// i = i+1;
// }
// s = s+1;
// }
for(int64_t s = 0; s<n; s++){
// Use the Intel Cilk Plus for
cilk_for(int64_t i = 0;i<n-s; i++){
int64_t j = i+s;
int64_t y = moves[(i+1)*n+j-1];
int64_t x = moves[(i+2)*n+j];
int64_t z = moves[(i*n)+j-2];
moves[(i*n)+j] = max(i+(min(x, y)), j+ (min(y, z)));
}
}
//return %0
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(moves);
return moves;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(s), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_1);
_DECL_1DARRAY(t);
//assign %2 = %0 : int[]
// isCopyEliminated = true
_UPDATE_1DARRAY(t, s);
//return %2
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(t);
return t;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t rc;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
_DECL_1DARRAY(_14);
_DECL_DEALLOC(_14);
//const %6 = 0 : int
_6 = 0;
//indexof %7 = %0, %6 : int[]
_7=a[_6];
//assign %4 = %7 : int
// isCopyEliminated = true
ra = _7;
//const %8 = 0 : int
_8 = 0;
//const %9 = 0 : int
_9 = 0;
//update %1[%9] = %8 : int[] -> int[]
b[_9] = _8;
//const %10 = 0 : int
_10 = 0;
//indexof %11 = %2, %10 : int[]
_11=c[_10];
//assign %5 = %11 : int
// isCopyEliminated = true
rc = _11;
//const %12 = 3 : int
_12 = 3;
//const %13 = 3 : int
_13 = 3;
//arraygen %14 = [12; 13] : int[]
_NEW1DARRAY_DEALLOC(_14, _12, _13, int64_t);
//return %14
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_14);
return _14;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(x), int64_t num, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_2);
int64_t _3;
//const %3 = 0 : int
_3 = 0;
//update %0[%3] = %1 : int[] -> int[]
x[_3] = num;
//return %0
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(x);
return x;
//return
}
BYTE* _resize_(BYTE* items, size_t items_size, _DECL_DEALLOC_PARAM(items), int64_t size, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(nitems);
_DECL_DEALLOC(nitems);
int64_t i;
BYTE _4;
_DECL_1DARRAY_BYTE(_5);
_DECL_DEALLOC(_5);
int64_t _6;
BYTE _7;
int64_t _8;
int64_t _9;
//const %4 = 00000000b : byte
_4 = 0b00000000;
//arraygen %5 = [4; 1] : byte[]
_DEALLOC(_5);
_NEW_1DARRAY_BYTE(_5, size, _4);
_ADD_DEALLOC(_5);
//assign %2 = %5 : byte[]
_DEALLOC(nitems);
_COPY_1DARRAY_BYTE(nitems, _5);
_ADD_DEALLOC(nitems);
//const %6 = 0 : int
_6 = 0;
//assign %3 = %6 : int
i = _6;
//loop (%2, %3, %7, %8, %9)
while(true){
//ifge %3, %1 goto blklab5 : int
if(i>=size){goto blklab5;}
//indexof %7 = %0, %3 : byte[]
_7=items[i];
//update %2[%3] = %7 : byte[] -> byte[]
nitems[i] = _7;
//const %8 = 1 : int
_8 = 1;
//add %9 = %3, %8 : int
_9=i+_8;
//assign %3 = %9 : int
i = _9;
//.blklab6
blklab6:;
}
//.blklab5
blklab5:;
//return %2
_DEALLOC(items);
_DEALLOC(_5);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(nitems);
return nitems;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t rb;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//update %0[%6] = %5 : int[] -> int[]
a[_6] = _5;
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %1, %7 : int[]
_8=b[_7];
//assign %4 = %8 : int
// isCopyEliminated = true
rb = _8;
//const %9 = 0 : int
_9 = 0;
//const %10 = 0 : int
_10 = 0;
//update %2[%10] = %9 : int[] -> int[]
c[_10] = _9;
//const %11 = 3 : int
_11 = 3;
//const %12 = 3 : int
_12 = 3;
//arraygen %13 = [11; 12] : int[]
_NEW1DARRAY_DEALLOC(_13, _11, _12, int64_t);
//return %13
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_13);
return _13;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
_DECL_1DARRAY(_12);
_DECL_DEALLOC(_12);
//const %4 = 0 : int
_4 = 0;
//const %5 = 0 : int
_5 = 0;
//update %0[%5] = %4 : int[] -> int[]
a[_5] = _4;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//update %1[%7] = %6 : int[] -> int[]
b[_7] = _6;
//const %8 = 0 : int
_8 = 0;
//const %9 = 0 : int
_9 = 0;
//update %2[%9] = %8 : int[] -> int[]
c[_9] = _8;
//const %10 = 3 : int
_10 = 3;
//const %11 = 3 : int
_11 = 3;
//arraygen %12 = [10; 11] : int[]
_NEW1DARRAY_DEALLOC(_12, _10, _11, int64_t);
//return %12
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_12);
return _12;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t rb;
int64_t rc;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %0, %7 : int[]
_8=a[_7];
//assign %4 = %8 : int
// isCopyEliminated = true
ra = _8;
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %1, %9 : int[]
_10=b[_9];
//assign %5 = %10 : int
// isCopyEliminated = true
rb = _10;
//const %11 = 0 : int
_11 = 0;
//indexof %12 = %2, %11 : int[]
_12=c[_11];
//assign %6 = %12 : int
// isCopyEliminated = true
rc = _12;
//return %2
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(c);
return c;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t rb;
int64_t rc;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//update %0[%7] = %6 : int[] -> int[]
a[_7] = _6;
//const %8 = 0 : int
_8 = 0;
//indexof %9 = %1, %8 : int[]
_9=b[_8];
//assign %4 = %9 : int
// isCopyEliminated = true
rb = _9;
//const %10 = 0 : int
_10 = 0;
//indexof %11 = %2, %10 : int[]
_11=c[_10];
//assign %5 = %11 : int
// isCopyEliminated = true
rc = _11;
//return %0
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t rb;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
//const %6 = 0 : int
_6 = 0;
//indexof %7 = %0, %6 : int[]
_7=a[_6];
//assign %4 = %7 : int
// isCopyEliminated = true
ra = _7;
//const %8 = 0 : int
_8 = 0;
//indexof %9 = %1, %8 : int[]
_9=b[_8];
//assign %5 = %9 : int
// isCopyEliminated = true
rb = _9;
//const %10 = 0 : int
_10 = 0;
//const %11 = 0 : int
_11 = 0;
//update %2[%11] = %10 : int[] -> int[]
c[_11] = _10;
//return %2
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(c);
return c;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t rc;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//update %0[%6] = %5 : int[] -> int[]
a[_6] = _5;
//const %7 = 0 : int
_7 = 0;
//const %8 = 0 : int
_8 = 0;
//update %1[%8] = %7 : int[] -> int[]
b[_8] = _7;
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %2, %9 : int[]
_10=c[_9];
//assign %4 = %10 : int
// isCopyEliminated = true
rc = _10;
//return %0
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
//const %5 = 0 : int
_5 = 0;
//indexof %6 = %0, %5 : int[]
_6=a[_5];
//assign %4 = %6 : int
// isCopyEliminated = true
ra = _6;
//const %7 = 0 : int
_7 = 0;
//const %8 = 0 : int
_8 = 0;
//update %1[%8] = %7 : int[] -> int[]
b[_8] = _7;
//const %9 = 0 : int
_9 = 0;
//const %10 = 0 : int
_10 = 0;
//update %2[%10] = %9 : int[] -> int[]
c[_10] = _9;
//return %2
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(c);
return c;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t _3;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
_DECL_1DARRAY(_9);
_DECL_DEALLOC(_9);
//const %3 = 0 : int
_3 = 0;
//const %4 = 0 : int
_4 = 0;
//update %0[%4] = %3 : int[] -> int[]
a[_4] = _3;
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//update %1[%6] = %5 : int[] -> int[]
b[_6] = _5;
//const %7 = 3 : int
_7 = 3;
//const %8 = 3 : int
_8 = 3;
//arraygen %9 = [7; 8] : int[]
_NEW1DARRAY_DEALLOC(_9, _7, _8, int64_t);
//return %9
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_9);
return _9;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
//const %4 = 0 : int
_4 = 0;
//const %5 = 0 : int
_5 = 0;
//update %0[%5] = %4 : int[] -> int[]
a[_5] = _4;
//const %6 = 0 : int
_6 = 0;
//const %7 = 0 : int
_7 = 0;
//update %1[%7] = %6 : int[] -> int[]
b[_7] = _6;
//const %8 = 0 : int
_8 = 0;
//const %9 = 0 : int
_9 = 0;
//update %2[%9] = %8 : int[] -> int[]
c[_9] = _8;
//return %2
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(c);
return c;
//return
}
int64_t* Int_toString(int64_t item, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(r);
int64_t value = item;
size_t i=0;
// Calculate the length of item
do{
// Increment the size
r_size++;
}while((value = value/10)>0);
// Create an integer array
r = malloc(r_size*sizeof(int64_t));
i=r_size;
// Convert an integer to 'r' integer array
do{
i--;
// Get remain
r[i] = item%10+'0';
}while((item = item/10)>0);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(r);
return r;
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t rb;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
_DECL_1DARRAY(_17);
_DECL_DEALLOC(_17);
//const %5 = 0 : int
_5 = 0;
//const %6 = 0 : int
_6 = 0;
//update %0[%6] = %5 : int[] -> int[]
a[_6] = _5;
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %1, %7 : int[]
_8=b[_7];
//assign %4 = %8 : int
// isCopyEliminated = true
rb = _8;
//const %9 = 0 : int
_9 = 0;
//const %10 = 0 : int
_10 = 0;
//update %2[%10] = %9 : int[] -> int[]
c[_10] = _9;
//const %11 = 0 : int
_11 = 0;
//indexof %12 = %0, %11 : int[]
_12=a[_11];
//const %13 = 0 : int
_13 = 0;
//indexof %14 = %1, %13 : int[]
_14=b[_13];
//ifne %12, %14 goto blklab0 : int
if(_12!=_14){goto blklab0;}
//const %15 = 3 : int
_15 = 3;
//const %16 = 3 : int
_16 = 3;
//arraygen %17 = [15; 16] : int[]
_NEW1DARRAY_DEALLOC(_17, _15, _16, int64_t);
//return %17
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_17);
return _17;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//return %1
_DEALLOC(a);
_DEALLOC(c);
_DEALLOC(_3);
_DEALLOC(_17);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(b);
return b;
//.blklab1
blklab1:;
//return
}
int64_t* _reverse_(_DECL_1DARRAY_PARAM(arr), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(arr);
_DECL_1DARRAY(_1);
_DECL_DEALLOC(_1);
int64_t i;
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t item;
int64_t _5;
int64_t _6;
int64_t _7;
_DECL_1DARRAY(_8);
_DECL_DEALLOC(_8);
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
//lengthof %5 = %0 : int[]
_5 = arr_size;
//assign %2 = %5 : int
// isCopyEliminated = true
i = _5;
//const %6 = 0 : int
_6 = 0;
//lengthof %7 = %0 : int[]
_7 = arr_size;
//arraygen %8 = [6; 7] : int[]
_NEW1DARRAY_DEALLOC(_8, _6, _7, int64_t);
//assign %3 = %8 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _8);
//loop (%2, %3, %4, %9, %10, %11, %12, %13, %14, %15, %16, %17)
while(true){
//const %12 = 0 : int
_12 = 0;
//ifle %2, %12 goto blklab0 : int
if(i<=_12){goto blklab0;}
//lengthof %13 = %0 : int[]
_13 = arr_size;
//sub %14 = %13, %2 : int
_14=_13-i;
//indexof %15 = %0, %14 : int[]
_15=arr[_14];
//assign %4 = %15 : int
// isCopyEliminated = true
item = _15;
//const %16 = 1 : int
_16 = 1;
//sub %17 = %2, %16 : int
_17=i-_16;
//assign %2 = %17 : int
// isCopyEliminated = true
i = _17;
//update %3[%2] = %4 : int[] -> int[]
r[i] = item;
//.blklab1
blklab1:;
}
//.blklab0
blklab0:;
//return %3
_DEALLOC(arr);
_DEALLOC(_1);
_DEALLOC(_8);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(r);
return r;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t rb;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
_DECL_1DARRAY(_18);
_DECL_DEALLOC(_18);
int64_t _19;
int64_t _20;
_DECL_1DARRAY(_21);
_DECL_DEALLOC(_21);
//const %6 = 0 : int
_6 = 0;
//indexof %7 = %0, %6 : int[]
_7=a[_6];
//assign %4 = %7 : int
// isCopyEliminated = true
ra = _7;
//const %8 = 0 : int
_8 = 0;
//indexof %9 = %1, %8 : int[]
_9=b[_8];
//assign %5 = %9 : int
// isCopyEliminated = true
rb = _9;
//const %10 = 0 : int
_10 = 0;
//const %11 = 0 : int
_11 = 0;
//update %2[%11] = %10 : int[] -> int[]
c[_11] = _10;
//const %12 = 0 : int
_12 = 0;
//indexof %13 = %0, %12 : int[]
_13=a[_12];
//const %14 = 0 : int
_14 = 0;
//indexof %15 = %1, %14 : int[]
_15=b[_14];
//ifne %13, %15 goto blklab0 : int
if(_13!=_15){goto blklab0;}
//const %16 = 3 : int
_16 = 3;
//const %17 = 3 : int
_17 = 3;
//arraygen %18 = [16; 17] : int[]
_NEW1DARRAY_DEALLOC(_18, _16, _17, int64_t);
//return %18
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_DEALLOC(_21);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_18);
return _18;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//const %19 = 3 : int
_19 = 3;
//const %20 = 3 : int
_20 = 3;
//arraygen %21 = [19; 20] : int[]
_NEW1DARRAY_DEALLOC(_21, _19, _20, int64_t);
//return %21
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_DEALLOC(_18);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_21);
return _21;
//.blklab1
blklab1:;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t rb;
int64_t rc;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
int64_t _18;
_DECL_1DARRAY(_19);
_DECL_DEALLOC(_19);
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %0, %7 : int[]
_8=a[_7];
//assign %4 = %8 : int
// isCopyEliminated = true
ra = _8;
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %1, %9 : int[]
_10=b[_9];
//assign %5 = %10 : int
// isCopyEliminated = true
rb = _10;
//const %11 = 0 : int
_11 = 0;
//indexof %12 = %2, %11 : int[]
_12=c[_11];
//assign %6 = %12 : int
// isCopyEliminated = true
rc = _12;
//const %13 = 0 : int
_13 = 0;
//indexof %14 = %0, %13 : int[]
_14=a[_13];
//const %15 = 0 : int
_15 = 0;
//indexof %16 = %1, %15 : int[]
_16=b[_15];
//ifne %14, %16 goto blklab0 : int
if(_14!=_16){goto blklab0;}
//return %0
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_DEALLOC(_19);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//const %17 = 3 : int
_17 = 3;
//const %18 = 3 : int
_18 = 3;
//arraygen %19 = [17; 18] : int[]
_NEW1DARRAY_DEALLOC(_19, _17, _18, int64_t);
//return %19
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_19);
return _19;
//.blklab1
blklab1:;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_1DARRAY(_2);
_DECL_DEALLOC(_2);
int64_t ra;
int64_t rb;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
_DECL_1DARRAY(_15);
_DECL_DEALLOC(_15);
//const %5 = 0 : int
_5 = 0;
//indexof %6 = %0, %5 : int[]
_6=a[_5];
//assign %3 = %6 : int
// isCopyEliminated = true
ra = _6;
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %1, %7 : int[]
_8=b[_7];
//assign %4 = %8 : int
// isCopyEliminated = true
rb = _8;
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %0, %9 : int[]
_10=a[_9];
//const %11 = 0 : int
_11 = 0;
//indexof %12 = %1, %11 : int[]
_12=b[_11];
//ifne %10, %12 goto blklab0 : int
if(_10!=_12){goto blklab0;}
//return %0
_DEALLOC(b);
_DEALLOC(_2);
_DEALLOC(_15);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//const %13 = 3 : int
_13 = 3;
//const %14 = 3 : int
_14 = 3;
//arraygen %15 = [13; 14] : int[]
_NEW1DARRAY_DEALLOC(_15, _13, _14, int64_t);
//return %15
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(_2);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(_15);
return _15;
//.blklab1
blklab1:;
//return
}
BYTE* _decompress_(BYTE* data, size_t data_size, _DECL_DEALLOC_PARAM(data), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
_DECL_DEALLOC(output);
int64_t pos;
BYTE header;
BYTE item;
int64_t offset;
int64_t len;
int64_t start;
int64_t i;
BYTE _9;
int64_t _10;
_DECL_1DARRAY_BYTE(_11);
_DECL_DEALLOC(_11);
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
BYTE _16;
int64_t _17;
int64_t _18;
BYTE _19;
int64_t _20;
int64_t _21;
BYTE _22;
_DECL_1DARRAY_BYTE(_23);
_DECL_DEALLOC(_23);
int64_t _24;
int64_t _25;
int64_t _26;
int64_t _27;
int64_t _28;
BYTE _29;
_DECL_1DARRAY_BYTE(_30);
_DECL_DEALLOC(_30);
int64_t _31;
int64_t _32;
//const %9 = 00000000b : byte
_9 = 0b00000000;
//const %10 = 0 : int
_10 = 0;
//arraygen %11 = [9; 10] : byte[]
_DEALLOC(_11);
_NEW_1DARRAY_BYTE(_11, _10, _9);
_ADD_DEALLOC(_11);
//assign %1 = %11 : byte[]
_DEALLOC(output);
// isCopyEliminated = true
_UPDATE_1DARRAY(output, _11);
_TRANSFER_DEALLOC(output, _11);
//const %12 = 0 : int
_12 = 0;
//assign %2 = %12 : int
// isCopyEliminated = true
pos = _12;
//loop (%1, %2, %3, %4, %5, %6, %7, %8, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30, %31, %32)
while(true){
//const %13 = 1 : int
_13 = 1;
//add %14 = %2, %13 : int
_14=pos+_13;
//lengthof %15 = %0 : byte[]
_15 = data_size;
//ifge %14, %15 goto blklab3 : int
if(_14>=_15){goto blklab3;}
//indexof %16 = %0, %2 : byte[]
_16=data[pos];
//assign %3 = %16 : byte
// isCopyEliminated = true
header = _16;
//const %17 = 1 : int
_17 = 1;
//add %18 = %2, %17 : int
_18=pos+_17;
//indexof %19 = %0, %18 : byte[]
_19=data[_18];
//assign %4 = %19 : byte
// isCopyEliminated = true
item = _19;
//const %20 = 2 : int
_20 = 2;
//add %21 = %2, %20 : int
_21=pos+_20;
//assign %2 = %21 : int
// isCopyEliminated = true
pos = _21;
//const %22 = 00000000b : byte
_22 = 0b00000000;
//ifne %3, %22 goto blklab5 : byte
if(header!=_22){goto blklab5;}
//invoke (%23) = (%1, %4) LZ77_decompress:append : function(byte[],byte)->(byte[])
{
// isCopyEliminated of '_1' = true
_23 = _append_(output, output_size, false, item, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_23));
_RETAIN_DEALLOC(output, "false-false-false" , "append");
_RETAIN_DEALLOC_POST(_23, output);
}
//assign %1 = %23 : byte[]
_DEALLOC(output);
// isCopyEliminated = true
_UPDATE_1DARRAY(output, _23);
_TRANSFER_DEALLOC(output, _23);
//goto blklab6
goto blklab6;
//.blklab5
blklab5:;
//invoke (%24) = (%3) whiley/lang/Byte:toUnsignedInt : function(byte)->(whiley/lang/Int:uint)
{
_24 = (unsigned int)header;
}
//assign %5 = %24 : int
// isCopyEliminated = true
offset = _24;
//invoke (%25) = (%4) whiley/lang/Byte:toUnsignedInt : function(byte)->(whiley/lang/Int:uint)
{
_25 = (unsigned int)item;
}
//assign %6 = %25 : int
// isCopyEliminated = true
len = _25;
//lengthof %26 = %1 : byte[]
_26 = output_size;
//sub %27 = %26, %5 : int
_27=_26-offset;
//assign %7 = %27 : int
// isCopyEliminated = true
start = _27;
//assign %8 = %7 : int
// isCopyEliminated = false
i = start;
//loop (%1, %4, %8, %28, %29, %30, %31, %32)
while(true){
//add %28 = %7, %6 : int
_28=start+len;
//ifge %8, %28 goto blklab7 : int
if(i>=_28){goto blklab7;}
//indexof %29 = %1, %8 : byte[]
_29=output[i];
//assign %4 = %29 : byte
// isCopyEliminated = true
item = _29;
//invoke (%30) = (%1, %4) LZ77_decompress:append : function(byte[],byte)->(byte[])
{
// isCopyEliminated of '_1' = true
_30 = _append_(output, output_size, false, item, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_30));
_RETAIN_DEALLOC(output, "false-false-false" , "append");
_RETAIN_DEALLOC_POST(_30, output);
}
//assign %1 = %30 : byte[]
_DEALLOC(output);
// isCopyEliminated = true
_UPDATE_1DARRAY(output, _30);
_TRANSFER_DEALLOC(output, _30);
//const %31 = 1 : int
_31 = 1;
//add %32 = %8, %31 : int
_32=i+_31;
//assign %8 = %32 : int
// isCopyEliminated = true
i = _32;
//.blklab8
blklab8:;
}
//.blklab7
blklab7:;
//.blklab6
blklab6:;
//.blklab4
blklab4:;
}
//.blklab3
blklab3:;
//return %1
_DEALLOC(data);
_DEALLOC(_11);
_DEALLOC(_23);
_DEALLOC(_30);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
int64_t* _sortV1_(_DECL_1DARRAY_PARAM(items), _DECL_DEALLOC_PARAM(items), int64_t start, int64_t end, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t pivot = 0;
_DECL_1DARRAY(lhs);
_DECL_DEALLOC(lhs);
_DECL_1DARRAY(rhs);
_DECL_DEALLOC(rhs);
int64_t l = 0;
int64_t r = 0;
int64_t i = 0;
int64_t _10 = 0;
int64_t _11 = 0;
int64_t _12 = 0;
int64_t _13 = 0;
int64_t _14 = 0;
_DECL_1DARRAY(_15);
_DECL_DEALLOC(_15);
_DECL_1DARRAY(_16);
_DECL_DEALLOC(_16);
int64_t _17 = 0;
_DECL_1DARRAY(_18);
_DECL_DEALLOC(_18);
_DECL_1DARRAY(_19);
_DECL_DEALLOC(_19);
int64_t _20 = 0;
int64_t _21 = 0;
int64_t _22 = 0;
int64_t _23 = 0;
int64_t _24 = 0;
int64_t _25 = 0;
int64_t _26 = 0;
int64_t _27 = 0;
int64_t _28 = 0;
int64_t _29 = 0;
int64_t _30 = 0;
int64_t _31 = 0;
int64_t _32 = 0;
int64_t _33 = 0;
int64_t _34 = 0;
int64_t _35 = 0;
int64_t _36 = 0;
int64_t _37 = 0;
int64_t _38 = 0;
int64_t _39 = 0;
int64_t _40 = 0;
int64_t _41 = 0;
int64_t _42 = 0;
int64_t _43 = 0;
int64_t _44 = 0;
int64_t _45 = 0;
int64_t _46 = 0;
int64_t _47 = 0;
int64_t _48 = 0;
int64_t _49 = 0;
//const %10 = 1 : int
_10 = 1;
//add %11 = %1, %10 : int
_11=start+_10;
//ifge %11, %2 goto blklab0 : int
if(_11>=end){goto blklab0;}
//add %12 = %1, %2 : int
_12=start+end;
//const %13 = 2 : int
_13 = 2;
//div %14 = %12, %13 : int
_14=_12/_13;
//assign %4 = %14 : int
// isCopyEliminated = true
pivot = _14;
//invoke (%15) = (%0, %1, %4) whiley/lang/Array:slice : function(int[],int,int)->(int[])
{
_DEALLOC(_15);
_SLICE_ARRAY(_15, items, start, pivot);
_ADD_DEALLOC(_15);
}
//assign %5 = %15 : int[]
_DEALLOC(lhs);
// isCopyEliminated = true
_UPDATE_1DARRAY(lhs, _15);
_TRANSFER_DEALLOC(lhs, _15);
//const %17 = 0 : int
_17 = 0;
//invoke (%16) = (%5, %17, %4) MergeSort_original:sortV1 : function(int[],int,int)->(int[])
{
lhs = cilk_spawn _sortV1_(_1DARRAY_PARAM(lhs), false, _17, pivot, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(lhs));
}
//invoke (%18) = (%0, %4, %2) whiley/lang/Array:slice : function(int[],int,int)->(int[])
{
_DEALLOC(_18);
_SLICE_ARRAY(_18, items, pivot, end);
_ADD_DEALLOC(_18);
}
//assign %6 = %18 : int[]
_DEALLOC(rhs);
// isCopyEliminated = true
_UPDATE_1DARRAY(rhs, _18);
_TRANSFER_DEALLOC(rhs, _18);
//const %20 = 0 : int
_20 = 0;
//sub %21 = %2, %4 : int
_21=end-pivot;
//invoke (%19) = (%6, %20, %21) MergeSort_original:sortV1 : function(int[],int,int)->(int[])
{
rhs = cilk_spawn _sortV1_(_1DARRAY_PARAM(rhs), false, _20, _21, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(rhs));
}
cilk_sync;
//const %22 = 0 : int
_22 = 0;
//assign %7 = %22 : int
// isCopyEliminated = true
l = _22;
//const %23 = 0 : int
_23 = 0;
//assign %8 = %23 : int
// isCopyEliminated = true
r = _23;
//const %24 = 0 : int
_24 = 0;
//assign %9 = %24 : int
// isCopyEliminated = true
i = _24;
//loop (%0, %7, %8, %9, %25, %26, %27, %28, %29, %30, %31, %32, %33, %34, %35, %36, %37)
while(true){
//sub %25 = %2, %1 : int
_25=end-start;
//ifge %9, %25 goto blklab1 : int
if(i>=_25){goto blklab1;}
//sub %26 = %4, %1 : int
_26=pivot-start;
//ifge %7, %26 goto blklab1 : int
if(l>=_26){goto blklab1;}
//sub %27 = %2, %4 : int
_27=end-pivot;
//ifge %8, %27 goto blklab1 : int
if(r>=_27){goto blklab1;}
//indexof %28 = %5, %7 : int[]
_28=lhs[l];
//indexof %29 = %6, %8 : int[]
_29=rhs[r];
//ifgt %28, %29 goto blklab3 : int
if(_28>_29){goto blklab3;}
//indexof %30 = %5, %7 : int[]
_30=lhs[l];
//update %0[%9] = %30 : int[] -> int[]
// isCopyEliminated = false
items[i] = _30;
//const %31 = 1 : int
_31 = 1;
//add %32 = %7, %31 : int
_32=l+_31;
//assign %7 = %32 : int
// isCopyEliminated = true
l = _32;
//goto blklab4
goto blklab4;
//.blklab3
blklab3:;
//indexof %33 = %6, %8 : int[]
_33=rhs[r];
//update %0[%9] = %33 : int[] -> int[]
// isCopyEliminated = false
items[i] = _33;
//const %34 = 1 : int
_34 = 1;
//add %35 = %8, %34 : int
_35=r+_34;
//assign %8 = %35 : int
// isCopyEliminated = true
r = _35;
//.blklab4
blklab4:;
//const %36 = 1 : int
_36 = 1;
//add %37 = %9, %36 : int
_37=i+_36;
//assign %9 = %37 : int
// isCopyEliminated = true
i = _37;
//.blklab2
blklab2:;
}
//.blklab1
blklab1:;
//loop (%0, %7, %9, %38, %39, %40, %41, %42, %43)
while(true){
//sub %38 = %4, %1 : int
_38=pivot-start;
//ifge %7, %38 goto blklab5 : int
if(l>=_38){goto blklab5;}
//indexof %39 = %5, %7 : int[]
_39=lhs[l];
//update %0[%9] = %39 : int[] -> int[]
// isCopyEliminated = false
items[i] = _39;
//const %40 = 1 : int
_40 = 1;
//add %41 = %9, %40 : int
_41=i+_40;
//assign %9 = %41 : int
// isCopyEliminated = true
i = _41;
//const %42 = 1 : int
_42 = 1;
//add %43 = %7, %42 : int
_43=l+_42;
//assign %7 = %43 : int
// isCopyEliminated = true
l = _43;
//.blklab6
blklab6:;
}
//.blklab5
blklab5:;
//loop (%0, %8, %9, %44, %45, %46, %47, %48, %49)
while(true){
//sub %44 = %2, %4 : int
_44=end-pivot;
//ifge %8, %44 goto blklab7 : int
if(r>=_44){goto blklab7;}
//indexof %45 = %6, %8 : int[]
_45=rhs[r];
//update %0[%9] = %45 : int[] -> int[]
// isCopyEliminated = false
items[i] = _45;
//const %46 = 1 : int
_46 = 1;
//add %47 = %9, %46 : int
_47=i+_46;
//assign %9 = %47 : int
// isCopyEliminated = true
i = _47;
//const %48 = 1 : int
_48 = 1;
//add %49 = %8, %48 : int
_49=r+_48;
//assign %8 = %49 : int
// isCopyEliminated = true
r = _49;
//.blklab8
blklab8:;
}
//.blklab7
blklab7:;
//.blklab0
blklab0:;
//return %0
_DEALLOC(_3);
_DEALLOC(lhs);
_DEALLOC(rhs);
_DEALLOC(_15);
_DEALLOC(_16);
_DEALLOC(_18);
_DEALLOC(_19);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(items);
return items;
//return
}
int64_t* _func_(_DECL_1DARRAY_PARAM(a), _DECL_1DARRAY_PARAM(b), _DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(a);
_DECL_DEALLOC(b);
_DECL_DEALLOC(c);
_DECL_1DARRAY(_3);
_DECL_DEALLOC(_3);
int64_t ra;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
//const %5 = 0 : int
_5 = 0;
//indexof %6 = %0, %5 : int[]
_6=a[_5];
//assign %4 = %6 : int
// isCopyEliminated = true
ra = _6;
//const %7 = 0 : int
_7 = 0;
//const %8 = 0 : int
_8 = 0;
//update %1[%8] = %7 : int[] -> int[]
b[_8] = _7;
//const %9 = 0 : int
_9 = 0;
//const %10 = 0 : int
_10 = 0;
//update %2[%10] = %9 : int[] -> int[]
c[_10] = _9;
//const %11 = 0 : int
_11 = 0;
//indexof %12 = %0, %11 : int[]
_12=a[_11];
//const %13 = 0 : int
_13 = 0;
//indexof %14 = %1, %13 : int[]
_14=b[_13];
//ifne %12, %14 goto blklab0 : int
if(_12!=_14){goto blklab0;}
//return %0
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(a);
return a;
//goto blklab1
goto blklab1;
//.blklab0
blklab0:;
//return %1
_DEALLOC(a);
_DEALLOC(c);
_DEALLOC(_3);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(b);
return b;
//.blklab1
blklab1:;
//return
}
