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 }