int main(int argc, char** args){
_DECL_1DARRAY_BYTE(input);
_DECL_1DARRAY_BYTE(arr);
_DECL_1DARRAY_BYTE(arr1);
BYTE _4;
BYTE _5;
BYTE _6;
_DECL_1DARRAY_BYTE(_7);
_DECL_1DARRAY_BYTE(_8);
_DECL_1DARRAY_BYTE(_9);
void* _10;
void* _12;
//const %4 = 01100001b : byte
_4 = 0b01100001;
//const %5 = 01100010b : byte
_5 = 0b01100010;
//const %6 = 01100011b : byte
_6 = 0b01100011;
//newlist %7 = (%4, %5, %6) : byte[]
_NEW_1DARRAY_BYTE(_7, 3, 0b0);
_7[0] = _4; _7[1] = _5; _7[2] = _6;
//assign %1 = %7 : byte[]
_COPY_1DARRAY_BYTE(input, _7);
//invoke (%8) = (%1) appendarray1:f_append : function(byte[])->(byte[])
{
void* tmp_input;
_COPY_1DARRAY_PARAM(input, tmp_input, BYTE);
_8 = _f_append_(tmp_input, input_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_8));
}
//assign %2 = %8 : byte[]
_COPY_1DARRAY_BYTE(arr, _8);
//invoke (%9) = (%1) appendarray1:f_resize : function(byte[])->(byte[])
{
void* tmp_input;
_COPY_1DARRAY_PARAM(input, tmp_input, BYTE);
_9 = _f_resize_(tmp_input, input_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_9));
}
//assign %3 = %9 : byte[]
_COPY_1DARRAY_BYTE(arr1, _9);
//fieldload %10 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %11 = %10 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %11 (%2) : method(any)->()
{
_PRINT_1DARRAY_BYTE(arr);
}
//fieldload %12 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %13 = %12 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %13 (%3) : method(any)->()
{
_PRINT_1DARRAY_BYTE(arr1);
}
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(empty);
_DECL_1DARRAY(till);
_DECL_1DARRAY(_3);
_DECL_1DARRAY(_4);
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);
//invoke (%3) = () FunctionOverload2:Cash : function()->(FunctionOverload2:Cash)
{
_3 = _Cash_(_1DARRAYSIZE_PARAM_CALLBYREFERENCE(_3));
}
//assign %1 = %3 : int[]
_COPY_1DARRAY_int64_t(empty, _3);
//const %5 = 5 : int
_5 = 5;
//const %6 = 3 : int
_6 = 3;
//const %7 = 3 : int
_7 = 3;
//const %8 = 1 : int
_8 = 1;
//const %9 = 1 : int
_9 = 1;
//const %10 = 3 : int
_10 = 3;
//const %11 = 0 : int
_11 = 0;
//const %12 = 0 : int
_12 = 0;
//newlist %13 = (%5, %6, %7, %8, %9, %10, %11, %12) : int[]
_NEW_1DARRAY_int64_t(_13, 8, 0);
_13[0] = _5; _13[1] = _6; _13[2] = _7; _13[3] = _8; _13[4] = _9; _13[5] = _10; _13[6] = _11; _13[7] = _12;
//invoke (%4) = (%13) FunctionOverload2:Cash : function(FunctionOverload2:nat[])->(FunctionOverload2:Cash)
{
void* tmp_coins;
_COPY_1DARRAY_PARAM(_13, tmp_coins, int64_t);
_4 = _Cash_1_(tmp_coins, _13_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_4));
}
//assign %2 = %4 : int[]
_COPY_1DARRAY_int64_t(till, _4);
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(r);
void* _2;
size_t _2_size = 0;
_DECL_1DARRAY(_3);
_DECL_1DARRAY(_4);
void* _5;
//const %2 = [] : void[]
_NEW_1DARRAY_int64_t(_2, 0, 0);
//assign %1 = %2 : void[]
// isCopyEliminated = true
_UPDATE_1DARRAY(r, _2);
//const %4 = [32,84,104,105,115,32,105,115,32,97,32,116,101,115,116,32] : int[]
_NEW_1DARRAY_int64_t(_4, 16, 0);
_4[0] = 32; _4[1] = 84; _4[2] = 104; _4[3] = 105; _4[4] = 115; _4[5] = 32; _4[6] = 105; _4[7] = 115; _4[8] = 32; _4[9] = 97; _4[10] = 32; _4[11] = 116; _4[12] = 101; _4[13] = 115; _4[14] = 116; _4[15] = 32;
//invoke (%3) = (%1, %4) whiley/lang/Array:append : function(int[],int[])->(int[])
{
_3 = Array_Append(r, r_size , _4, _4_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_3));
}
//assign %1 = %3 : int[]
// isCopyEliminated = true
_UPDATE_1DARRAY(r, _3);
//fieldload %5 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %6 = %5 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %6 (%1) : method(int[])->()
{
println_s(r, r_size);
}
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_DEALLOC(a);
_DECL_1DARRAY(b);
_DECL_DEALLOC(b);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t _4;
int64_t _5;
_DECL_1DARRAY(_6);
_DECL_DEALLOC(_6);
int64_t _7;
int64_t _8;
_DECL_1DARRAY(_9);
_DECL_DEALLOC(_9);
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
//const %4 = 2 : int
_4 = 2;
//const %5 = 2 : int
_5 = 2;
//arraygen %6 = [4; 5] : int[]
_NEW1DARRAY_DEALLOC(_6, _4, _5, int64_t);
//assign %1 = %6 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(a, _6);
//const %7 = 2 : int
_7 = 2;
//const %8 = 2 : int
_8 = 2;
//arraygen %9 = [7; 8] : int[]
_NEW1DARRAY_DEALLOC(_9, _7, _8, int64_t);
//assign %2 = %9 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(b, _9);
//invoke (%10) = (%1, %2) 2parameter_test79:func : function(int[],int[])->(int[])
{
_FUNCTIONCALL_NO_COPY_PRE(_10, b, "true-NEVER_RETURN-false" , "func");
_FUNCTIONCALL_NO_COPY_PRE(_10, a, "false-ALWAYS_RETURN-false" , "func");
_DEALLOC(_10);
// isCopyEliminated of '_1' = true
// isCopyEliminated of '_2' = true
_10 = _func_(a, a_size, b, b_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_10));
_10_dealloc = a_dealloc;
a_dealloc = false;
}
//assign %3 = %10 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _10);
//return
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(r);
_DEALLOC(_6);
_DEALLOC(_9);
_DEALLOC(_10);
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY_BYTE(data);
_DECL_1DARRAY_BYTE(arr);
BYTE _3;
BYTE _4;
BYTE _5;
_DECL_1DARRAY_BYTE(_6);
_DECL_1DARRAY_BYTE(_7);
BYTE _8;
BYTE _9;
BYTE _10;
BYTE _11;
BYTE _12;
BYTE _13;
_DECL_1DARRAY_BYTE(_14);
void* _15;
int64_t _17;
//const %3 = 01100001b : byte
_3 = 0b01100001;
//const %4 = 01100010b : byte
_4 = 0b01100010;
//const %5 = 01100011b : byte
_5 = 0b01100011;
//newlist %6 = (%3, %4, %5) : byte[]
_NEW_1DARRAY_BYTE(_6, 3, 0b0);
_6[0] = _3; _6[1] = _4; _6[2] = _5;
//assign %1 = %6 : byte[]
_COPY_1DARRAY_BYTE(data, _6);
//invoke (%7) = (%1) appendarray:f : function(byte[])->(byte[])
{
void* tmp_data;
_COPY_1DARRAY_PARAM(data, tmp_data, BYTE);
_7 = _f_(tmp_data, data_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_7));
}
//assign %2 = %7 : byte[]
_COPY_1DARRAY_BYTE(arr, _7);
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %17 = %2 : byte[]
_17 = arr_size;
//indirectinvoke () = %16 (%17) : method(any)->()
{
printf("%"PRId64, _17);
}
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY_BYTE(b);
int64_t inspos;
BYTE item;
_DECL_1DARRAY_BYTE(a);
BYTE _5;
int64_t _6;
_DECL_1DARRAY_BYTE(_7);
int64_t _8;
BYTE _9;
int64_t _10;
_DECL_1DARRAY_BYTE(_11);
int64_t _12;
BYTE _13;
BYTE _14;
int64_t _15;
BYTE _16;
int64_t _17;
BYTE _18;
int64_t _19;
BYTE _20;
BYTE _21;
int64_t _22;
int64_t _23;
int64_t _24;
int64_t _25;
void* _26;
_DECL_1DARRAY(_28);
void* _29;
int64_t _31;
BYTE _32;
void* _33;
_DECL_1DARRAY(_35);
void* _36;
int64_t _38;
void* _39;
_DECL_1DARRAY(_41);
//const %5 = 00000000b : byte
_5 = 0b00000000;
//const %6 = 3 : int
_6 = 3;
//arraygen %7 = [5; 6] : byte[]
_NEW_1DARRAY_BYTE(_7, _6, _5);
//assign %1 = %7 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(b, _7);
//const %8 = 3 : int
_8 = 3;
//assign %2 = %8 : int
// isCopyEliminated = true
inspos = _8;
//const %10 = 1 : int
_10 = 1;
//invoke (%9) = (%10) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_9 = (BYTE)_10;
}
//assign %3 = %9 : byte
// isCopyEliminated = true
item = _9;
//invoke (%11) = (%1, %2, %3) opt_append:opt_append : function(byte[],opt_append:nat,byte)->(byte[])
{
void* tmp_items;
_COPY_1DARRAY_PARAM(b, tmp_items, BYTE);
// isCopyEliminated of 'b at 0' = false
_11 = _opt_append_(tmp_items, b_size, inspos, item, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_11));
}
//assign %4 = %11 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(a, _11);
//assert
{
//const %12 = 2 : int
_12 = 2;
//indexof %13 = %1, %12 : byte[]
_13=b[_12];
//const %14 = 00000000b : byte
_14 = 0b00000000;
//ifeq %13, %14 goto blklab14 : byte
if(_13==_14){goto blklab14;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab14
blklab14:;
//assert
}
//assert
{
//const %15 = 2 : int
_15 = 2;
//indexof %16 = %4, %15 : byte[]
_16=a[_15];
//const %17 = 2 : int
_17 = 2;
//indexof %18 = %1, %17 : byte[]
_18=b[_17];
//ifeq %16, %18 goto blklab15 : byte
if(_16==_18){goto blklab15;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab15
blklab15:;
//assert
}
//assert
{
//const %19 = 3 : int
_19 = 3;
//indexof %20 = %4, %19 : byte[]
_20=a[_19];
//const %21 = 00000001b : byte
_21 = 0b00000001;
//ifeq %20, %21 goto blklab16 : byte
if(_20==_21){goto blklab16;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab16
blklab16:;
//assert
}
//assert
{
//lengthof %22 = %1 : byte[]
_22 = b_size;
//const %23 = 3 : int
_23 = 3;
//ifeq %22, %23 goto blklab17 : int
if(_22==_23){goto blklab17;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab17
blklab17:;
//assert
}
//assert
{
//lengthof %24 = %4 : byte[]
_24 = a_size;
//const %25 = 7 : int
_25 = 7;
//ifeq %24, %25 goto blklab18 : int
if(_24==_25){goto blklab18;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab18
blklab18:;
//assert
}
//fieldload %26 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %27 = %26 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %28 = [97,91,51,93,61] : int[]
_NEW_1DARRAY_int64_t(_28, 5, 0);
_28[0] = 97; _28[1] = 91; _28[2] = 51; _28[3] = 93; _28[4] = 61;
//indirectinvoke () = %27 (%28) : method(int[])->()
{
printf_s(_28, _28_size);
}
//fieldload %29 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %30 = %29 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %31 = 3 : int
_31 = 3;
//indexof %32 = %4, %31 : byte[]
_32=a[_31];
//indirectinvoke () = %30 (%32) : method(any)->()
{
printf("%"PRIu8"\n", _32);
}
//fieldload %33 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %34 = %33 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %35 = [65,114,114,97,121,32,97,58,32] : int[]
_NEW_1DARRAY_int64_t(_35, 9, 0);
_35[0] = 65; _35[1] = 114; _35[2] = 114; _35[3] = 97; _35[4] = 121; _35[5] = 32; _35[6] = 97; _35[7] = 58; _35[8] = 32;
//indirectinvoke () = %34 (%35) : method(int[])->()
{
printf_s(_35, _35_size);
}
//fieldload %36 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %37 = %36 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %38 = %4 : byte[]
_38 = a_size;
//indirectinvoke () = %37 (%38) : method(any)->()
{
printf("%"PRId64, _38);
}
//fieldload %39 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %40 = %39 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %41 = [98,121,116,101,115] : int[]
_NEW_1DARRAY_int64_t(_41, 5, 0);
_41[0] = 98; _41[1] = 121; _41[2] = 116; _41[3] = 101; _41[4] = 115;
//indirectinvoke () = %40 (%41) : method(int[])->()
{
println_s(_41, _41_size);
}
//return
exit(0);
}
int main(int argc, char** args){
int64_t* max;
int64_t n;
_DECL_1DARRAY(coins);
int64_t i;
_DECL_1DARRAY(moves);
int64_t sum_alice;
int64_t* _7;
_DECL_2DARRAY(_8);
int64_t _9;
_DECL_1DARRAY(_10);
int64_t _11;
_DECL_1DARRAY(_12);
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
_DECL_1DARRAY(_24);
_DECL_1DARRAY(_25);
int64_t _26;
int64_t _27;
int64_t _28;
void* _29;
_DECL_1DARRAY(_31);
void* _32;
void* _34;
_DECL_1DARRAY(_36);
//fieldload %8 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
_CONV_ARGS(_8);
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %8, %9 : int[][]
_10=_8[_9];
_10_size = _8_size_size;
//invoke (%7) = (%10) whiley/lang/Int:parse : function(whiley/lang/ASCII:string)->(null|int)
{
_STR_TO_INT(_7, _10);
}
//assign %1 = %7 : null|int
_NEW_INTEGER_POINTER(max, _7);
//ifis %1, null goto blklab4 : null|int
if(max == NULL) { goto blklab4;}
//assign %2 = %1 : int
n = *max;
//const %11 = 0 : int
_11 = 0;
//arraygen %12 = [11; 2] : int[]
_NEW_1DARRAY_int64_t(_12, n, _11);
//assign %3 = %12 : int[]
_COPY_1DARRAY_int64_t(coins, _12);
//const %13 = 0 : int
_13 = 0;
//assign %4 = %13 : int
i = _13;
//loop (%3, %4, %14, %15, %16, %17)
while(true){
//ifge %4, %2 goto blklab5 : int
if(i>=n){goto blklab5;}
//const %14 = 5 : int
_14 = 5;
//rem %15 = %4, %14 : int
_15=i%_14;
//update %3[%4] = %15 : int[] -> int[]
coins[i] = _15;
//const %16 = 1 : int
_16 = 1;
//add %17 = %4, %16 : int
_17=i+_16;
//assign %4 = %17 : int
i = _17;
//.blklab6
blklab6:;
}
//.blklab5
blklab5:;
//const %18 = 0 : int
_18 = 0;
//const %19 = 2 : int
_19 = 2;
//add %20 = %2, %19 : int
_20=n+_19;
//const %21 = 2 : int
_21 = 2;
//add %22 = %2, %21 : int
_22=n+_21;
//mul %23 = %20, %22 : int
_23=_20*_22;
//arraygen %24 = [18; 23] : int[]
_NEW_1DARRAY_int64_t(_24, _23, _18);
//assign %5 = %24 : int[]
_COPY_1DARRAY_int64_t(moves, _24);
//invoke (%25) = (%5, %2, %3) CoinGame_original:findMoves : function(int[],int,int[])->(int[])
{
void* tmp_moves;
_COPY_1DARRAY_PARAM(moves, tmp_moves, int64_t);
void* tmp_coins;
_COPY_1DARRAY_PARAM(coins, tmp_coins, int64_t);
_25 = _findMoves_(tmp_moves, moves_size, n, tmp_coins, coins_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_25));
}
//assign %5 = %25 : int[]
_COPY_1DARRAY_int64_t(moves, _25);
//const %26 = 1 : int
_26 = 1;
//sub %27 = %2, %26 : int
_27=n-_26;
//indexof %28 = %5, %27 : int[]
_28=moves[_27];
//assign %6 = %28 : int
sum_alice = _28;
//fieldload %29 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %30 = %29 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %31 = [84,104,101,32,116,111,116,97,108,32,97,109,111,117,110,116,32,111,102,32,109,111,110,101,121,32,40,109,97,120,105,109,117,109,41,32,65,108,105,99,101,32,103,101,116,115,32,105,115,32] : int[]
_NEW_1DARRAY_int64_t(_31, 50, 0);
_31[0] = 84; _31[1] = 104; _31[2] = 101; _31[3] = 32; _31[4] = 116; _31[5] = 111; _31[6] = 116; _31[7] = 97; _31[8] = 108; _31[9] = 32; _31[10] = 97; _31[11] = 109; _31[12] = 111; _31[13] = 117; _31[14] = 110; _31[15] = 116; _31[16] = 32; _31[17] = 111; _31[18] = 102; _31[19] = 32; _31[20] = 109; _31[21] = 111; _31[22] = 110; _31[23] = 101; _31[24] = 121; _31[25] = 32; _31[26] = 40; _31[27] = 109; _31[28] = 97; _31[29] = 120; _31[30] = 105; _31[31] = 109; _31[32] = 117; _31[33] = 109; _31[34] = 41; _31[35] = 32; _31[36] = 65; _31[37] = 108; _31[38] = 105; _31[39] = 99; _31[40] = 101; _31[41] = 32; _31[42] = 103; _31[43] = 101; _31[44] = 116; _31[45] = 115; _31[46] = 32; _31[47] = 105; _31[48] = 115; _31[49] = 32;
//indirectinvoke () = %30 (%31) : method(int[])->()
{
printf_s(_31, _31_size);
}
//fieldload %32 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %33 = %32 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %33 (%6) : method(any)->()
{
printf("%"PRId64"\n", sum_alice);
}
//fieldload %34 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %35 = %34 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %36 = [80,97,115,115,32,67,111,105,110,71,97,109,101,32,116,101,115,116,32,99,97,115,101] : int[]
_NEW_1DARRAY_int64_t(_36, 23, 0);
_36[0] = 80; _36[1] = 97; _36[2] = 115; _36[3] = 115; _36[4] = 32; _36[5] = 67; _36[6] = 111; _36[7] = 105; _36[8] = 110; _36[9] = 71; _36[10] = 97; _36[11] = 109; _36[12] = 101; _36[13] = 32; _36[14] = 116; _36[15] = 101; _36[16] = 115; _36[17] = 116; _36[18] = 32; _36[19] = 99; _36[20] = 97; _36[21] = 115; _36[22] = 101;
//indirectinvoke () = %35 (%36) : method(int[])->()
{
println_s(_36, _36_size);
}
//.blklab4
blklab4:;
//return
exit(0);
}
BYTE* _f_resize_(BYTE* input, size_t input_size, _DECL_DEALLOC_PARAM(input), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
_DECL_DEALLOC(output);
int64_t pos;
int64_t size;
BYTE index;
BYTE item;
int64_t _6;
BYTE _7;
int64_t _8;
int64_t _9;
int64_t _10;
_DECL_1DARRAY_BYTE(_11);
_DECL_DEALLOC(_11);
int64_t _12;
int64_t _13;
BYTE _14;
BYTE _15;
int64_t _16;
int64_t _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
int64_t _24;
_DECL_1DARRAY_BYTE(_25);
_DECL_DEALLOC(_25);
//const %6 = 0 : int
_6 = 0;
//assign %2 = %6 : int
pos = _6;
//const %7 = 00000000b : byte
_7 = 0b00000000;
//const %8 = 2 : int
_8 = 2;
//lengthof %9 = %0 : byte[]
_9 = input_size;
//mul %10 = %8, %9 : int
_10=_8*_9;
//arraygen %11 = [7; 10] : byte[]
_DEALLOC(_11);
_NEW_1DARRAY_BYTE(_11, _10, _7);
_ADD_DEALLOC(_11);
//assign %1 = %11 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _11);
_ADD_DEALLOC(output);
//const %12 = 0 : int
_12 = 0;
//assign %3 = %12 : int
size = _12;
//loop (%1, %2, %3, %4, %5, %13, %14, %15, %16, %17, %18, %19, %20, %21)
while(true){
//lengthof %13 = %0 : byte[]
_13 = input_size;
//ifge %2, %13 goto blklab9 : int
if(pos>=_13){goto blklab9;}
//invoke (%14) = (%2) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_14 = (BYTE)pos;
}
//assign %4 = %14 : byte
index = _14;
//indexof %15 = %0, %2 : byte[]
_15=input[pos];
//assign %5 = %15 : byte
item = _15;
//update %1[%3] = %4 : byte[] -> byte[]
output[size] = index;
//const %16 = 1 : int
_16 = 1;
//add %17 = %3, %16 : int
_17=size+_16;
//assign %3 = %17 : int
size = _17;
//update %1[%3] = %5 : byte[] -> byte[]
output[size] = item;
//const %18 = 1 : int
_18 = 1;
//add %19 = %3, %18 : int
_19=size+_18;
//assign %3 = %19 : int
size = _19;
//const %20 = 1 : int
_20 = 1;
//add %21 = %2, %20 : int
_21=pos+_20;
//assign %2 = %21 : int
pos = _21;
//.blklab10
blklab10:;
}
//.blklab9
blklab9:;
//assert
{
//const %22 = 2 : int
_22 = 2;
//lengthof %23 = %0 : byte[]
_23 = input_size;
//mul %24 = %22, %23 : int
_24=_22*_23;
//ifle %3, %24 goto blklab11 : int
if(size<=_24){goto blklab11;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab11
blklab11:;
//assert
}
//invoke (%25) = (%1, %3) appendarray1:resize : function(byte[],int)->(byte[])
{
void* output_tmp;
_DEALLOC(_25);
_25 = _resize_(_COPY_1DARRAY_PARAM_BYTE(output), true, size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_25));
_CALLEE_DEALLOC(output, "false-false-false" , "resize");
_25_dealloc = true;
}
//assign %1 = %25 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _25);
_ADD_DEALLOC(output);
//return %1
_DEALLOC(input);
_DEALLOC(_11);
_DEALLOC(_25);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
int main(int argc, char** args){
_DECL_1DARRAY_BYTE(input);
_DECL_DEALLOC(input);
_DECL_1DARRAY_BYTE(arr);
_DECL_DEALLOC(arr);
_DECL_1DARRAY_BYTE(arr1);
_DECL_DEALLOC(arr1);
BYTE _4;
BYTE _5;
BYTE _6;
_DECL_1DARRAY_BYTE(_7);
_DECL_DEALLOC(_7);
_DECL_1DARRAY_BYTE(_8);
_DECL_DEALLOC(_8);
_DECL_1DARRAY_BYTE(_9);
_DECL_DEALLOC(_9);
void* _10;
void* _12;
//const %4 = 01100001b : byte
_4 = 0b01100001;
//const %5 = 01100010b : byte
_5 = 0b01100010;
//const %6 = 01100011b : byte
_6 = 0b01100011;
//newlist %7 = (%4, %5, %6) : byte[]
_DEALLOC(_7);
_NEW_1DARRAY_BYTE(_7, 3, 0b0);
_7[0] = _4; _7[1] = _5; _7[2] = _6;
_ADD_DEALLOC(_7);
//assign %1 = %7 : byte[]
_DEALLOC(input);
_COPY_1DARRAY_BYTE(input, _7);
_ADD_DEALLOC(input);
//invoke (%8) = (%1) appendarray1:f_append : function(byte[])->(byte[])
{
void* input_tmp;
_DEALLOC(_8);
_8 = _f_append_(_COPY_1DARRAY_PARAM_BYTE(input), true, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_8));
_CALLEE_DEALLOC(input, "false-false-true" , "f_append");
_8_dealloc = true;
}
//assign %2 = %8 : byte[]
_DEALLOC(arr);
_COPY_1DARRAY_BYTE(arr, _8);
_ADD_DEALLOC(arr);
//invoke (%9) = (%1) appendarray1:f_resize : function(byte[])->(byte[])
{
void* input_tmp;
_DEALLOC(_9);
_9 = _f_resize_(_COPY_1DARRAY_PARAM_BYTE(input), true, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_9));
_CALLEE_DEALLOC(input, "false-false-false" , "f_resize");
_9_dealloc = true;
}
//assign %3 = %9 : byte[]
_DEALLOC(arr1);
_COPY_1DARRAY_BYTE(arr1, _9);
_ADD_DEALLOC(arr1);
//assert
{
//ifeq %2, %3 goto blklab12 : byte[]
_IFEQ_ARRAY_BYTE(arr, arr1, blklab12);
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab12
blklab12:;
//assert
}
//fieldload %10 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %11 = %10 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %11 (%2) : method(any)->()
{
_PRINT_1DARRAY_BYTE(arr);
}
//fieldload %12 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %13 = %12 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %13 (%3) : method(any)->()
{
_PRINT_1DARRAY_BYTE(arr1);
}
//return
_DEALLOC(input);
_DEALLOC(arr);
_DEALLOC(arr1);
_DEALLOC(_7);
_DEALLOC(_8);
_DEALLOC(_9);
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_DEALLOC(a);
_DECL_1DARRAY(b);
_DECL_DEALLOC(b);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t _4;
int64_t _5;
_DECL_1DARRAY(_6);
_DECL_DEALLOC(_6);
int64_t _7;
int64_t _8;
_DECL_1DARRAY(_9);
_DECL_DEALLOC(_9);
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
void* _11;
int64_t _13;
int64_t _14;
void* _15;
int64_t _17;
int64_t _18;
//const %4 = 2 : int
_4 = 2;
//const %5 = 2 : int
_5 = 2;
//arraygen %6 = [4; 5] : int[]
_NEW1DARRAY_DEALLOC(_6, _4, _5, int64_t);
//assign %1 = %6 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(a, _6);
//const %7 = 2 : int
_7 = 2;
//const %8 = 2 : int
_8 = 2;
//arraygen %9 = [7; 8] : int[]
_NEW1DARRAY_DEALLOC(_9, _7, _8, int64_t);
//assign %2 = %9 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(b, _9);
//invoke (%10) = (%1, %2) 2parameter_test4:func : function(int[],int[])->(int[])
{
_FUNCTIONCALL_NO_COPY_PRE(_10, b, "false-NEVER_RETURN-true" , "func");
_FUNCTIONCALL_COPY_PRE(_10, a, "false-MAYBE_RETURN-true" , "func");
_DEALLOC(_10);
void* tmp_a;
_COPY_1DARRAY_PARAM(a, tmp_a, int64_t);
// isCopyEliminated of '_1' = false
// isCopyEliminated of '_2' = true
_10 = _func_(tmp_a, a_size, b, b_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_10));
if( _10 == tmp_a ){
_10_dealloc = true;
} else {
_10_dealloc = true;
free(tmp_a);
}
}
//assign %3 = %10 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _10);
//fieldload %11 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %12 = %11 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %13 = 0 : int
_13 = 0;
//indexof %14 = %1, %13 : int[]
_14=a[_13];
//indirectinvoke () = %12 (%14) : method(any)->()
{
printf("%"PRId64"\n", _14);
}
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %17 = 0 : int
_17 = 0;
//indexof %18 = %2, %17 : int[]
_18=b[_17];
//indirectinvoke () = %16 (%18) : method(any)->()
{
printf("%"PRId64"\n", _18);
}
//return
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(r);
_DEALLOC(_6);
_DEALLOC(_9);
_DEALLOC(_10);
exit(0);
}
int64_t* _toString_(_DECL_1DARRAY_PARAM(c), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_DEALLOC(c);
_DECL_1DARRAY(_1);
_DECL_DEALLOC(_1);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
bool firstTime;
int64_t i;
int64_t amt;
void* _6;
size_t _6_size = 0;
_DECL_DEALLOC(_6);
bool _7;
int64_t _8;
int64_t _9;
int64_t _10;
int64_t _11;
bool _12;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
_DECL_1DARRAY(_14);
_DECL_DEALLOC(_14);
bool _15;
_DECL_1DARRAY(_16);
_DECL_DEALLOC(_16);
_DECL_1DARRAY(_17);
_DECL_DEALLOC(_17);
_DECL_1DARRAY(_18);
_DECL_DEALLOC(_18);
_DECL_1DARRAY(_19);
_DECL_DEALLOC(_19);
_DECL_1DARRAY(_20);
_DECL_DEALLOC(_20);
_DECL_2DARRAY(_21);
_DECL_DEALLOC(_21);
_DECL_1DARRAY(_22);
_DECL_DEALLOC(_22);
int64_t _23;
int64_t _24;
void* _25;
size_t _25_size = 0;
_DECL_DEALLOC(_25);
_DECL_1DARRAY(_26);
_DECL_DEALLOC(_26);
//const %6 = [] : void[]
_DEALLOC(_6);
_NEW_1DARRAY_int64_t(_6, 0, 0);
_6_dealloc = true;
//assign %2 = %6 : void[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _6);
_ADD_DEALLOC_POST(r, _6);
//const %7 = true : bool
_7 = true;
//assign %3 = %7 : bool
firstTime = _7;
//const %8 = 0 : int
_8 = 0;
//assign %4 = %8 : int
i = _8;
//loop (%2, %3, %4, %5, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24)
while(true){
//lengthof %9 = %0 : int[]
_9 = c_size;
//ifge %4, %9 goto blklab2 : int
if(i>=_9){goto blklab2;}
//indexof %10 = %0, %4 : int[]
_10=c[i];
//assign %5 = %10 : int
amt = _10;
//const %11 = 0 : int
_11 = 0;
//ifeq %5, %11 goto blklab4 : int
if(amt==_11){goto blklab4;}
//const %12 = true : bool
_12 = true;
//ifeq %3, %12 goto blklab5 : bool
if(firstTime==_12){goto blklab5;}
//const %14 = [44,32] : int[]
_DEALLOC(_14);
_NEW_1DARRAY_int64_t(_14, 2, 0);
_14[0] = 44; _14[1] = 32;
_14_dealloc = true;
//invoke (%13) = (%2, %14) whiley/lang/Array:append : function(int[],int[])->(int[])
{
_DEALLOC(_13);
_13 = Array_Append(r, r_size , _14, _14_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_13));
_13_dealloc = true;
}
//assign %2 = %13 : int[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _13);
_ADD_DEALLOC_POST(r, _13);
//.blklab5
blklab5:;
//const %15 = false : bool
_15 = false;
//assign %3 = %15 : bool
firstTime = _15;
//invoke (%17) = (%5) whiley/lang/Int:toString : function(int)->(whiley/lang/ASCII:string)
{
_DEALLOC(_17);
_17 = Int_toString(amt, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_17));
_17_dealloc = true;
}
//invoke (%16) = (%2, %17) whiley/lang/Array:append : function(int[],int[])->(int[])
{
_DEALLOC(_16);
_16 = Array_Append(r, r_size , _17, _17_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_16));
_16_dealloc = true;
}
//assign %2 = %16 : int[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _16);
_ADD_DEALLOC_POST(r, _16);
//const %19 = [32,120,32] : int[]
_DEALLOC(_19);
_NEW_1DARRAY_int64_t(_19, 3, 0);
_19[0] = 32; _19[1] = 120; _19[2] = 32;
_19_dealloc = true;
//invoke (%18) = (%2, %19) whiley/lang/Array:append : function(int[],int[])->(int[])
{
_DEALLOC(_18);
_18 = Array_Append(r, r_size , _19, _19_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_18));
_18_dealloc = true;
}
//assign %2 = %18 : int[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _18);
_ADD_DEALLOC_POST(r, _18);
//const %21 = [[49,99],[53,99],[49,48,99],[50,48,99],[53,48,99],[36,49],[36,53],[36,49,48]] : int[][]
_DEALLOC_2DARRAY(_21);
_NEW_2DARRAY_int64_t_EMPTY(_21, 8, 3);
{
int64_t tmp[] = {49, 99, '\0'};
memcpy(_21[0], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {53, 99, '\0'};
memcpy(_21[1], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {49, 48, 99};
memcpy(_21[2], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {50, 48, 99};
memcpy(_21[3], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {53, 48, 99};
memcpy(_21[4], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {36, 49, '\0'};
memcpy(_21[5], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {36, 53, '\0'};
memcpy(_21[6], tmp, 3*sizeof(int64_t));
}
{
int64_t tmp[] = {36, 49, 48};
memcpy(_21[7], tmp, 3*sizeof(int64_t));
}
_21_dealloc = true;
//indexof %22 = %21, %4 : int[][]
_22=_21[i];
_22_size = _21_size_size;
_22_dealloc = false;
//invoke (%20) = (%2, %22) whiley/lang/Array:append : function(int[],int[])->(int[])
{
_DEALLOC(_20);
_20 = Array_Append(r, r_size , _22, _22_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_20));
_20_dealloc = true;
}
//assign %2 = %20 : int[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _20);
_ADD_DEALLOC_POST(r, _20);
//.blklab4
blklab4:;
//const %23 = 1 : int
_23 = 1;
//add %24 = %4, %23 : int
_24=i+_23;
//assign %4 = %24 : int
i = _24;
//.blklab3
blklab3:;
}
//.blklab2
blklab2:;
//const %25 = [] : void[]
_DEALLOC(_25);
_NEW_1DARRAY_int64_t(_25, 0, 0);
_25_dealloc = true;
//ifne %2, %25 goto blklab6 : int[]
if(r!=_25){goto blklab6;}
//const %26 = [40,110,111,116,104,105,110,103,41] : int[]
_DEALLOC(_26);
_NEW_1DARRAY_int64_t(_26, 9, 0);
_26[0] = 40; _26[1] = 110; _26[2] = 111; _26[3] = 116; _26[4] = 104; _26[5] = 105; _26[6] = 110; _26[7] = 103; _26[8] = 41;
_26_dealloc = true;
//assign %2 = %26 : int[]
_DEALLOC(r);
_COPY_1DARRAY_int64_t(r, _26);
_ADD_DEALLOC_POST(r, _26);
//.blklab6
blklab6:;
//return %2
_DEALLOC(c);
_DEALLOC(_1);
_DEALLOC(_6);
_DEALLOC(_13);
_DEALLOC(_14);
_DEALLOC(_16);
_DEALLOC(_17);
_DEALLOC(_18);
_DEALLOC(_19);
_DEALLOC(_20);
_DEALLOC_2DARRAY(_21);
_DEALLOC(_22);
_DEALLOC(_25);
_DEALLOC(_26);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(r);
return r;
//return
}
int main(int argc, char** args){
FILE* file;
_DECL_1DARRAY_BYTE(input_data);
_DECL_DEALLOC(input_data);
_DECL_1DARRAY_BYTE(decompress_data);
_DECL_DEALLOC(decompress_data);
void* _4;
_DECL_DEALLOC(_4);
_DECL_2DARRAY(_5);
_DECL_DEALLOC(_5);
int64_t _6;
_DECL_1DARRAY(_7);
_DECL_DEALLOC(_7);
_DECL_1DARRAY_BYTE(_8);
_DECL_DEALLOC(_8);
_DECL_1DARRAY_BYTE(_10);
_DECL_DEALLOC(_10);
void* _11;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
void* _14;
int64_t _16;
void* _17;
_DECL_1DARRAY(_19);
_DECL_DEALLOC(_19);
//fieldload %5 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
_DEALLOC_2DARRAY_int64_t(_5);
_CONV_ARGS(_5);
_ADD_DEALLOC(_5);
//const %6 = 0 : int
_6 = 0;
//indexof %7 = %5, %6 : int[][]
_7=_5[_6];
_7_size = _5_size_size;
_REMOVE_DEALLOC(_7);
//invoke (%4) = (%7) whiley/io/File:Reader : method(whiley/lang/ASCII:string)->(whiley/io/File:Reader)
{
_4 = Reader(_7, _7_size);
}
//assign %1 = %4 : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
// isCopyEliminated = true
file = _4;
//fieldload %9 = %1 readAll : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
//indirectinvoke (%8) = %9 () : method()->(byte[])
{
_8 = readAll(file, &_8_size);
_ADD_DEALLOC(_8);
}
//assign %2 = %8 : byte[]
_DEALLOC(input_data);
// isCopyEliminated = true
_UPDATE_1DARRAY(input_data, _8);
_TRANSFER_DEALLOC(input_data, _8);
//invoke (%10) = (%2) LZ77_decompress:decompress : function(byte[])->(byte[])
{
// isCopyEliminated of '_2' = true
_10 = _decompress_(input_data, input_data_size, false, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_10));
_RETAIN_DEALLOC(input_data, "false-false-false" , "decompress");
_RETAIN_DEALLOC_POST(_10, input_data);
}
//assign %3 = %10 : byte[]
_DEALLOC(decompress_data);
// isCopyEliminated = true
_UPDATE_1DARRAY(decompress_data, _10);
_TRANSFER_DEALLOC(decompress_data, _10);
//fieldload %11 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %12 = %11 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %13 = [68,69,67,79,77,80,82,69,83,83,69,68,58,32,32,32] : int[]
_DEALLOC(_13);
_NEW_1DARRAY_int64_t(_13, 16, 0);
_13[0] = 68; _13[1] = 69; _13[2] = 67; _13[3] = 79; _13[4] = 77; _13[5] = 80; _13[6] = 82; _13[7] = 69; _13[8] = 83; _13[9] = 83; _13[10] = 69; _13[11] = 68; _13[12] = 58; _13[13] = 32; _13[14] = 32; _13[15] = 32;
_ADD_DEALLOC(_13);
//indirectinvoke () = %12 (%13) : method(int[])->()
{
println_s(_13, _13_size);
}
//fieldload %14 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %15 = %14 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %16 = %3 : byte[]
_16 = decompress_data_size;
//indirectinvoke () = %15 (%16) : method(any)->()
{
printf("%"PRId64, _16);
}
//fieldload %17 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %18 = %17 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %19 = [32,98,121,116,101,115] : int[]
_DEALLOC(_19);
_NEW_1DARRAY_int64_t(_19, 6, 0);
_19[0] = 32; _19[1] = 98; _19[2] = 121; _19[3] = 116; _19[4] = 101; _19[5] = 115;
_ADD_DEALLOC(_19);
//indirectinvoke () = %18 (%19) : method(int[])->()
{
println_s(_19, _19_size);
}
//fieldload %20 = %1 close : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
//indirectinvoke () = %20 () : method()->()
{
fclose(file);
file = NULL;
}
//return
if(file != NULL){fclose(file); file = NULL;}
_DEALLOC(input_data);
_DEALLOC(decompress_data);
_FREE_ARGS(_5);
_DEALLOC(_7);
_DEALLOC(_8);
_DEALLOC(_10);
_DEALLOC(_13);
_DEALLOC(_19);
exit(0);
}
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
}
BYTE* _decompress_(BYTE* data, size_t data_size, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
_DECL_1DARRAY_BYTE(items);
int64_t inspos;
int64_t pos;
BYTE header;
BYTE item;
int64_t offset;
int64_t len;
int64_t start;
int64_t i;
BYTE _11;
int64_t _12;
_DECL_1DARRAY_BYTE(_13);
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
int64_t _18;
BYTE _19;
int64_t _20;
int64_t _21;
BYTE _22;
int64_t _23;
int64_t _24;
BYTE _25;
_DECL_1DARRAY_BYTE(_26);
int64_t _27;
int64_t _28;
int64_t _29;
int64_t _30;
int64_t _31;
int64_t _32;
BYTE _33;
_DECL_1DARRAY_BYTE(_34);
int64_t _35;
int64_t _36;
int64_t _37;
int64_t _38;
_DECL_1DARRAY_BYTE(_39);
//const %11 = 00000000b : byte
_11 = 0b00000000;
//const %12 = 0 : int
_12 = 0;
//arraygen %13 = [11; 12] : byte[]
_NEW_1DARRAY_BYTE(_13, _12, _11);
//assign %2 = %13 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(items, _13);
//const %14 = 0 : int
_14 = 0;
//assign %3 = %14 : int
// isCopyEliminated = true
inspos = _14;
//const %15 = 0 : int
_15 = 0;
//assign %4 = %15 : int
// isCopyEliminated = true
pos = _15;
//loop (%2, %3, %4, %5, %6, %7, %8, %9, %10, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30, %31, %32, %33, %34, %35, %36, %37, %38)
while(true){
//const %16 = 1 : int
_16 = 1;
//add %17 = %4, %16 : int
_17=pos+_16;
//lengthof %18 = %0 : byte[]
_18 = data_size;
//ifge %17, %18 goto blklab18 : int
if(_17>=_18){goto blklab18;}
//indexof %19 = %0, %4 : byte[]
_19=data[pos];
//assign %5 = %19 : byte
// isCopyEliminated = true
header = _19;
//const %20 = 1 : int
_20 = 1;
//add %21 = %4, %20 : int
_21=pos+_20;
//indexof %22 = %0, %21 : byte[]
_22=data[_21];
//assign %6 = %22 : byte
// isCopyEliminated = true
item = _22;
//const %23 = 2 : int
_23 = 2;
//add %24 = %4, %23 : int
_24=pos+_23;
//assign %4 = %24 : int
// isCopyEliminated = true
pos = _24;
//const %25 = 00000000b : byte
_25 = 0b00000000;
//ifne %5, %25 goto blklab20 : byte
if(header!=_25){goto blklab20;}
//invoke (%26) = (%2, %3, %6) lz77_opt_decompress:opt_append : function(byte[],lz77_opt_decompress:nat,byte)->(byte[])
{
// isCopyEliminated of 'items at 0' = true
_26 = _opt_append_(items, items_size, inspos, item, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_26));
}
//assign %2 = %26 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(items, _26);
//const %27 = 1 : int
_27 = 1;
//add %28 = %3, %27 : int
_28=inspos+_27;
//assign %3 = %28 : int
// isCopyEliminated = true
inspos = _28;
//goto blklab21
goto blklab21;
//.blklab20
blklab20:;
//invoke (%29) = (%5) whiley/lang/Byte:toUnsignedInt : function(byte)->(whiley/lang/Int:uint)
{
_29 = (unsigned int)header;
}
//assign %7 = %29 : int
// isCopyEliminated = true
offset = _29;
//invoke (%30) = (%6) whiley/lang/Byte:toUnsignedInt : function(byte)->(whiley/lang/Int:uint)
{
_30 = (unsigned int)item;
}
//assign %8 = %30 : int
// isCopyEliminated = true
len = _30;
//sub %31 = %3, %7 : int
_31=inspos-offset;
//assign %9 = %31 : int
// isCopyEliminated = true
start = _31;
//assign %10 = %9 : int
// isCopyEliminated = false
i = start;
//loop (%2, %3, %6, %10, %32, %33, %34, %35, %36, %37, %38)
while(true){
//add %32 = %9, %8 : int
_32=start+len;
//ifge %10, %32 goto blklab22 : int
if(i>=_32){goto blklab22;}
//indexof %33 = %2, %10 : byte[]
_33=items[i];
//assign %6 = %33 : byte
// isCopyEliminated = true
item = _33;
//invoke (%34) = (%2, %3, %6) lz77_opt_decompress:opt_append : function(byte[],lz77_opt_decompress:nat,byte)->(byte[])
{
// isCopyEliminated of 'items at 0' = true
_34 = _opt_append_(items, items_size, inspos, item, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_34));
}
//assign %2 = %34 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(items, _34);
//const %35 = 1 : int
_35 = 1;
//add %36 = %3, %35 : int
_36=inspos+_35;
//assign %3 = %36 : int
// isCopyEliminated = true
inspos = _36;
//const %37 = 1 : int
_37 = 1;
//add %38 = %10, %37 : int
_38=i+_37;
//assign %10 = %38 : int
// isCopyEliminated = true
i = _38;
//.blklab23
blklab23:;
}
//.blklab22
blklab22:;
//.blklab21
blklab21:;
//.blklab19
blklab19:;
}
//.blklab18
blklab18:;
//invoke (%39) = (%2, %3) lz77_opt_decompress:resize : function(byte[],int)->(byte[])
{
// isCopyEliminated of 'items at 0' = true
_39 = _resize_(items, items_size, inspos, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_39));
}
//assign %1 = %39 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(output, _39);
//return %1
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
BYTE* _f_(BYTE* data, size_t data_size, _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
int64_t pos;
BYTE item;
BYTE length;
int64_t _5;
BYTE _6;
int64_t _7;
_DECL_1DARRAY_BYTE(_8);
int64_t _9;
BYTE _10;
BYTE _11;
int64_t _12;
int64_t _13;
_DECL_1DARRAY_BYTE(_14);
_DECL_1DARRAY_BYTE(_15);
int64_t _16;
int64_t _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
int64_t _24;
_DECL_1DARRAY_BYTE(_25);
//const %5 = 0 : int
_5 = 0;
//assign %2 = %5 : int
pos = _5;
//const %6 = 00000000b : byte
_6 = 0b00000000;
//const %7 = 0 : int
_7 = 0;
//const %16 = 2 : int
_16 = 2;
//lengthof %17 = %0 : byte[]
_17 = data_size;
//mul %18 = %16, %17 : int
_18=_16*_17;
//arraygen %8 = [6; 18] : byte[]
_NEW_1DARRAY_BYTE(_8, _18, _6);
//const %19 = 0 : int
_19 = 0;
//assign %20 = %19 : int
_20 = _19;
//assign %1 = %8 : byte[]
_COPY_1DARRAY_BYTE(output, _8);
//loop (%1, %2, %3, %4, %9, %10, %11, %12, %13, %14, %15, %20)
while(true){
//lengthof %9 = %0 : byte[]
_9 = data_size;
//ifge %2, %9 goto blklab7 : int
if(pos>=_9){goto blklab7;}
//indexof %10 = %0, %2 : byte[]
_10=data[pos];
//assign %3 = %10 : byte
item = _10;
//invoke (%11) = (%2) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_11 = (BYTE)pos;
}
//assign %4 = %11 : byte
length = _11;
//const %12 = 1 : int
_12 = 1;
//add %13 = %2, %12 : int
_13=pos+_12;
//assign %2 = %13 : int
pos = _13;
//update %1[%20] = %4 : byte[] -> byte[]
output[_20] = length;
//const %21 = 1 : int
_21 = 1;
//add %22 = %20, %21 : int
_22=_20+_21;
//assign %20 = %22 : int
_20 = _22;
//update %1[%20] = %3 : byte[] -> byte[]
output[_20] = item;
//const %23 = 1 : int
_23 = 1;
//add %24 = %20, %23 : int
_24=_20+_23;
//assign %20 = %24 : int
_20 = _24;
//.blklab8
blklab8:;
}
//.blklab7
blklab7:;
//invoke (%25) = (%1, %20) appendarray:resize : function(byte[],int)->(byte[])
{
void* tmp_items;
_COPY_1DARRAY_PARAM(output, tmp_items, BYTE);
_25 = _resize_(tmp_items, output_size, _20, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_25));
}
//assign %1 = %25 : byte[]
_COPY_1DARRAY_BYTE(output, _25);
//return %1
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_1DARRAY(b);
_DECL_1DARRAY(c);
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
_DECL_1DARRAY(_9);
_DECL_1DARRAY(_10);
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
void* _15;
_DECL_1DARRAY(_17);
void* _18;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
int64_t _24;
int64_t _25;
int64_t _26;
_DECL_1DARRAY(_27);
_DECL_1DARRAY(_28);
int64_t _29;
int64_t _30;
int64_t _31;
int64_t _32;
int64_t _33;
int64_t _34;
int64_t _35;
void* _36;
_DECL_1DARRAY(_38);
void* _39;
int64_t _41;
int64_t _42;
void* _43;
_DECL_1DARRAY(_45);
void* _46;
int64_t _48;
int64_t _49;
//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 = (%4, %5, %6, %7, %8) : int[]
_NEW_1DARRAY_int64_t(_9, 5, 0);
_9[0] = _4; _9[1] = _5; _9[2] = _6; _9[3] = _7; _9[4] = _8;
//assign %1 = %9 : int[]
_COPY_1DARRAY_int64_t(a, _9);
//const %11 = 6 : int
_11 = 6;
//invoke (%10) = (%1, %11) FunctionCall2:func : function(int[],int)->(int[])
{
void* tmp_s;
_COPY_1DARRAY_PARAM(a, tmp_s, int64_t);
_10 = _func_(tmp_s, a_size, _11, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_10));
}
//assign %1 = %10 : int[]
_COPY_1DARRAY_int64_t(a, _10);
//assert
{
//const %12 = 2 : int
_12 = 2;
//indexof %13 = %1, %12 : int[]
_13=a[_12];
//const %14 = 3 : int
_14 = 3;
//ifeq %13, %14 goto blklab2 : int
if(_13==_14){goto blklab2;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab2
blklab2:;
//assert
}
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %17 = [97,91,50,93,61] : int[]
_NEW_1DARRAY_int64_t(_17, 5, 0);
_17[0] = 97; _17[1] = 91; _17[2] = 50; _17[3] = 93; _17[4] = 61;
//indirectinvoke () = %16 (%17) : method(int[])->()
{
printf_s(_17, _17_size);
}
//fieldload %18 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %19 = %18 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %20 = 2 : int
_20 = 2;
//indexof %21 = %1, %20 : int[]
_21=a[_20];
//indirectinvoke () = %19 (%21) : method(any)->()
{
printf("%"PRId64"\n", _21);
}
//const %22 = 0 : int
_22 = 0;
//const %23 = 0 : int
_23 = 0;
//const %24 = 0 : int
_24 = 0;
//const %25 = 0 : int
_25 = 0;
//const %26 = 0 : int
_26 = 0;
//newlist %27 = (%22, %23, %24, %25, %26) : int[]
_NEW_1DARRAY_int64_t(_27, 5, 0);
_27[0] = _22; _27[1] = _23; _27[2] = _24; _27[3] = _25; _27[4] = _26;
//assign %2 = %27 : int[]
_COPY_1DARRAY_int64_t(b, _27);
//const %29 = 1 : int
_29 = 1;
//invoke (%28) = (%2, %29) FunctionCall2:func : function(int[],int)->(int[])
{
void* tmp_s;
_COPY_1DARRAY_PARAM(b, tmp_s, int64_t);
_28 = _func_(tmp_s, b_size, _29, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_28));
}
//assign %3 = %28 : int[]
_COPY_1DARRAY_int64_t(c, _28);
//assert
{
//const %30 = 2 : int
_30 = 2;
//indexof %31 = %2, %30 : int[]
_31=b[_30];
//const %32 = 0 : int
_32 = 0;
//ifeq %31, %32 goto blklab3 : int
if(_31==_32){goto blklab3;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab3
blklab3:;
//assert
}
//assert
{
//const %33 = 2 : int
_33 = 2;
//indexof %34 = %3, %33 : int[]
_34=c[_33];
//const %35 = 0 : int
_35 = 0;
//ifeq %34, %35 goto blklab4 : int
if(_34==_35){goto blklab4;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab4
blklab4:;
//assert
}
//fieldload %36 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %37 = %36 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %38 = [98,91,50,93,61] : int[]
_NEW_1DARRAY_int64_t(_38, 5, 0);
_38[0] = 98; _38[1] = 91; _38[2] = 50; _38[3] = 93; _38[4] = 61;
//indirectinvoke () = %37 (%38) : method(int[])->()
{
printf_s(_38, _38_size);
}
//fieldload %39 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %40 = %39 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %41 = 2 : int
_41 = 2;
//indexof %42 = %2, %41 : int[]
_42=b[_41];
//indirectinvoke () = %40 (%42) : method(any)->()
{
printf("%"PRId64"\n", _42);
}
//fieldload %43 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %44 = %43 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %45 = [99,91,50,93,61] : int[]
_NEW_1DARRAY_int64_t(_45, 5, 0);
_45[0] = 99; _45[1] = 91; _45[2] = 50; _45[3] = 93; _45[4] = 61;
//indirectinvoke () = %44 (%45) : method(int[])->()
{
printf_s(_45, _45_size);
}
//fieldload %46 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %47 = %46 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %48 = 2 : int
_48 = 2;
//indexof %49 = %3, %48 : int[]
_49=c[_48];
//indirectinvoke () = %47 (%49) : method(any)->()
{
printf("%"PRId64"\n", _49);
}
//return
exit(0);
}
int main(int argc, char** args){
FILE* file;
_DECL_1DARRAY_BYTE(data);
_DECL_DEALLOC(data);
_DECL_1DARRAY_BYTE(compress_data);
_DECL_DEALLOC(compress_data);
FILE* writer;
_DECL_1DARRAY_BYTE(decompress_data);
_DECL_DEALLOC(decompress_data);
void* _6;
_DECL_DEALLOC(_6);
_DECL_1DARRAY(_7);
_DECL_DEALLOC(_7);
_DECL_1DARRAY_BYTE(_8);
_DECL_DEALLOC(_8);
void* _10;
_DECL_1DARRAY(_12);
_DECL_DEALLOC(_12);
void* _13;
_DECL_1DARRAY(_15);
_DECL_DEALLOC(_15);
void* _16;
int64_t _18;
void* _19;
_DECL_1DARRAY(_21);
_DECL_DEALLOC(_21);
_DECL_1DARRAY_BYTE(_22);
_DECL_DEALLOC(_22);
void* _23;
_DECL_1DARRAY(_25);
_DECL_DEALLOC(_25);
void* _26;
int64_t _28;
void* _29;
_DECL_1DARRAY(_31);
_DECL_DEALLOC(_31);
void* _32;
_DECL_DEALLOC(_32);
_DECL_1DARRAY(_33);
_DECL_DEALLOC(_33);
int64_t _34;
_DECL_1DARRAY_BYTE(_37);
_DECL_DEALLOC(_37);
void* _38;
_DECL_1DARRAY(_40);
_DECL_DEALLOC(_40);
void* _41;
_DECL_1DARRAY(_43);
_DECL_DEALLOC(_43);
void* _44;
int64_t _46;
void* _47;
_DECL_1DARRAY(_49);
_DECL_DEALLOC(_49);
//const %7 = [105,110,112,117,116,50,120,46,105,110] : int[]
_DEALLOC(_7);
_NEW_1DARRAY_int64_t(_7, 10, 0);
_7[0] = 105; _7[1] = 110; _7[2] = 112; _7[3] = 117; _7[4] = 116; _7[5] = 50; _7[6] = 120; _7[7] = 46; _7[8] = 105; _7[9] = 110;
_ADD_DEALLOC(_7);
//invoke (%6) = (%7) whiley/io/File:Reader : method(whiley/lang/ASCII:string)->(whiley/io/File:Reader)
{
_6 = Reader(_7, _7_size);
}
//assign %1 = %6 : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
file = _6;
//fieldload %9 = %1 readAll : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
//indirectinvoke (%8) = %9 () : method()->(byte[])
{
_8 = readAll(file, &_8_size);
_ADD_DEALLOC(_8);
}
//assign %2 = %8 : byte[]
_DEALLOC(data);
_COPY_1DARRAY_BYTE(data, _8);
_ADD_DEALLOC(data);
//fieldload %10 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %11 = %10 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %12 = [68,97,116,97,58,32,32,32,32,32,32,32,32,32] : int[]
_DEALLOC(_12);
_NEW_1DARRAY_int64_t(_12, 14, 0);
_12[0] = 68; _12[1] = 97; _12[2] = 116; _12[3] = 97; _12[4] = 58; _12[5] = 32; _12[6] = 32; _12[7] = 32; _12[8] = 32; _12[9] = 32; _12[10] = 32; _12[11] = 32; _12[12] = 32; _12[13] = 32;
_ADD_DEALLOC(_12);
//indirectinvoke () = %11 (%12) : method(int[])->()
{
println_s(_12, _12_size);
}
//fieldload %13 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %14 = %13 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//invoke (%15) = (%2) whiley/lang/ASCII:fromBytes : function(byte[])->(whiley/lang/ASCII:string)
{
_DEALLOC(_15);
_15 = fromBytes(data, data_size);
_15_size = data_size;
_ADD_DEALLOC(_15);
}
//indirectinvoke () = %14 (%15) : method(int[])->()
{
println_s(_15, _15_size);
}
//fieldload %16 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %17 = %16 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %18 = %2 : byte[]
_18 = data_size;
//indirectinvoke () = %17 (%18) : method(any)->()
{
printf("%"PRId64, _18);
}
//fieldload %19 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %20 = %19 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %21 = [32,98,121,116,101,115] : int[]
_DEALLOC(_21);
_NEW_1DARRAY_int64_t(_21, 6, 0);
_21[0] = 32; _21[1] = 98; _21[2] = 121; _21[3] = 116; _21[4] = 101; _21[5] = 115;
_ADD_DEALLOC(_21);
//indirectinvoke () = %20 (%21) : method(int[])->()
{
println_s(_21, _21_size);
}
//invoke (%22) = (%2) lz77_compress:compress : function(byte[])->(byte[])
{
void* tmp_data;
_COPY_1DARRAY_PARAM(data, tmp_data, BYTE);
_DEALLOC(_22);
_22 = _compress_(tmp_data, data_size, true, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_22));
_CALLEE_DEALLOC(data, "false-false-false" , "compress");
_CALLEE_DEALLOC_POST(_22, data);
}
//assign %3 = %22 : byte[]
_DEALLOC(compress_data);
_COPY_1DARRAY_BYTE(compress_data, _22);
_ADD_DEALLOC(compress_data);
//fieldload %23 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %24 = %23 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %25 = [67,79,77,80,82,69,83,83,69,68,32,68,97,116,97,58,32,32,32] : int[]
_DEALLOC(_25);
_NEW_1DARRAY_int64_t(_25, 19, 0);
_25[0] = 67; _25[1] = 79; _25[2] = 77; _25[3] = 80; _25[4] = 82; _25[5] = 69; _25[6] = 83; _25[7] = 83; _25[8] = 69; _25[9] = 68; _25[10] = 32; _25[11] = 68; _25[12] = 97; _25[13] = 116; _25[14] = 97; _25[15] = 58; _25[16] = 32; _25[17] = 32; _25[18] = 32;
_ADD_DEALLOC(_25);
//indirectinvoke () = %24 (%25) : method(int[])->()
{
println_s(_25, _25_size);
}
//fieldload %26 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %27 = %26 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %28 = %3 : byte[]
_28 = compress_data_size;
//indirectinvoke () = %27 (%28) : method(any)->()
{
printf("%"PRId64, _28);
}
//fieldload %29 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %30 = %29 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %31 = [32,98,121,116,101,115] : int[]
_DEALLOC(_31);
_NEW_1DARRAY_int64_t(_31, 6, 0);
_31[0] = 32; _31[1] = 98; _31[2] = 121; _31[3] = 116; _31[4] = 101; _31[5] = 115;
_ADD_DEALLOC(_31);
//indirectinvoke () = %30 (%31) : method(int[])->()
{
println_s(_31, _31_size);
}
//const %33 = [115,109,97,108,108,46,100,97,116] : int[]
_DEALLOC(_33);
_NEW_1DARRAY_int64_t(_33, 9, 0);
_33[0] = 115; _33[1] = 109; _33[2] = 97; _33[3] = 108; _33[4] = 108; _33[5] = 46; _33[6] = 100; _33[7] = 97; _33[8] = 116;
_ADD_DEALLOC(_33);
//invoke (%32) = (%33) whiley/io/File:Writer : method(whiley/lang/ASCII:string)->(whiley/io/File:Writer)
{
_32 = Writer(_33, _33_size);
}
//assign %4 = %32 : {method()->() close,method()->() flush,method(byte[])->(int) write,...}
writer = _32;
//fieldload %35 = %4 write : {method()->() close,method()->() flush,method(byte[])->(int) write,...}
//indirectinvoke (%34) = %35 (%3) : method(byte[])->(int)
{
writeAll(writer, compress_data, compress_data_size);
}
//fieldload %36 = %4 close : {method()->() close,method()->() flush,method(byte[])->(int) write,...}
//indirectinvoke () = %36 () : method()->()
{
fclose(writer);
writer = NULL;
}
//invoke (%37) = (%3) lz77_compress:decompress : function(byte[])->(byte[])
{
void* tmp_data;
_COPY_1DARRAY_PARAM(compress_data, tmp_data, BYTE);
_DEALLOC(_37);
_37 = _decompress_(tmp_data, compress_data_size, true, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_37));
_CALLEE_DEALLOC(compress_data, "false-false-false" , "decompress");
_CALLEE_DEALLOC_POST(_37, compress_data);
}
//assign %5 = %37 : byte[]
_DEALLOC(decompress_data);
_COPY_1DARRAY_BYTE(decompress_data, _37);
_ADD_DEALLOC(decompress_data);
//fieldload %38 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %39 = %38 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %40 = [68,69,67,79,77,80,82,69,83,83,69,68,58,32,32,32] : int[]
_DEALLOC(_40);
_NEW_1DARRAY_int64_t(_40, 16, 0);
_40[0] = 68; _40[1] = 69; _40[2] = 67; _40[3] = 79; _40[4] = 77; _40[5] = 80; _40[6] = 82; _40[7] = 69; _40[8] = 83; _40[9] = 83; _40[10] = 69; _40[11] = 68; _40[12] = 58; _40[13] = 32; _40[14] = 32; _40[15] = 32;
_ADD_DEALLOC(_40);
//indirectinvoke () = %39 (%40) : method(int[])->()
{
println_s(_40, _40_size);
}
//fieldload %41 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %42 = %41 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//invoke (%43) = (%5) whiley/lang/ASCII:fromBytes : function(byte[])->(whiley/lang/ASCII:string)
{
_DEALLOC(_43);
_43 = fromBytes(decompress_data, decompress_data_size);
_43_size = decompress_data_size;
_ADD_DEALLOC(_43);
}
//indirectinvoke () = %42 (%43) : method(int[])->()
{
println_s(_43, _43_size);
}
//fieldload %44 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %45 = %44 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %46 = %5 : byte[]
_46 = decompress_data_size;
//indirectinvoke () = %45 (%46) : method(any)->()
{
printf("%"PRId64, _46);
}
//fieldload %47 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %48 = %47 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %49 = [32,98,121,116,101,115] : int[]
_DEALLOC(_49);
_NEW_1DARRAY_int64_t(_49, 6, 0);
_49[0] = 32; _49[1] = 98; _49[2] = 121; _49[3] = 116; _49[4] = 101; _49[5] = 115;
_ADD_DEALLOC(_49);
//indirectinvoke () = %48 (%49) : method(int[])->()
{
println_s(_49, _49_size);
}
//return
if(file != NULL){fclose(file); file = NULL;}
_DEALLOC(data);
_DEALLOC(compress_data);
if(writer != NULL){fclose(writer); writer = NULL;}
_DEALLOC(decompress_data);
_DEALLOC(_7);
_DEALLOC(_8);
_DEALLOC(_12);
_DEALLOC(_15);
_DEALLOC(_21);
_DEALLOC(_22);
_DEALLOC(_25);
_DEALLOC(_31);
_DEALLOC(_33);
_DEALLOC(_37);
_DEALLOC(_40);
_DEALLOC(_43);
_DEALLOC(_49);
exit(0);
}
BYTE* _compress_(BYTE* data, size_t data_size, _DECL_DEALLOC_PARAM(data), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
_DECL_DEALLOC(output);
int64_t pos;
Match* m;
_DECL_DEALLOC(m);
BYTE offset;
BYTE length;
int64_t _6;
BYTE _7;
int64_t _8;
_DECL_1DARRAY_BYTE(_9);
_DECL_DEALLOC(_9);
int64_t _10;
Match* _11;
_DECL_DEALLOC(_11);
BYTE _12;
int64_t _13;
BYTE _14;
int64_t _15;
BYTE _16;
BYTE _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
_DECL_1DARRAY_BYTE(_22);
_DECL_DEALLOC(_22);
_DECL_1DARRAY_BYTE(_23);
_DECL_DEALLOC(_23);
int64_t _24;
int64_t _25;
int64_t _26;
int64_t _27;
int64_t _28;
int64_t _29;
int64_t _30;
int64_t _31;
int64_t _32;
_DECL_1DARRAY_BYTE(_33);
_DECL_DEALLOC(_33);
//const %6 = 0 : int
_6 = 0;
//assign %2 = %6 : int
pos = _6;
//const %7 = 00000000b : byte
_7 = 0b00000000;
//const %8 = 0 : int
_8 = 0;
//const %24 = 2 : int
_24 = 2;
//lengthof %25 = %0 : byte[]
_25 = data_size;
//mul %26 = %24, %25 : int
_26=_24*_25;
//arraygen %9 = [7; 26] : byte[]
_DEALLOC(_9);
_NEW_1DARRAY_BYTE(_9, _26, _7);
_ADD_DEALLOC(_9);
//const %27 = 0 : int
_27 = 0;
//assign %28 = %27 : int
_28 = _27;
//assign %1 = %9 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _9);
_ADD_DEALLOC(output);
//loop (%1, %2, %3, %4, %5, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %28)
while(true){
//lengthof %10 = %0 : byte[]
_10 = data_size;
//ifge %2, %10 goto blklab12 : int
if(pos>=_10){goto blklab12;}
//invoke (%11) = (%0, %2) lz77_compress:findLongestMatch : function(byte[],lz77_compress:nat)->(lz77_compress:Match)
{
void* tmp_data;
_COPY_1DARRAY_PARAM(data, tmp_data, BYTE);
_DEALLOC_STRUCT(_11, Match);
_11 = _findLongestMatch_(tmp_data, data_size, true, pos);
_CALLEE_DEALLOC(data, "false-false-true" , "findLongestMatch");
_CALLEE_DEALLOC_POST(_11, data);
}
//assign %3 = %11 : {int len,int offset}
_DEALLOC_STRUCT(m, Match);
m = copy_Match(_11);
_ADD_DEALLOC(m);
//fieldload %13 = %3 offset : {int len,int offset}
_13 = m->offset;
//invoke (%12) = (%13) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_12 = (BYTE)_13;
}
//assign %4 = %12 : byte
offset = _12;
//fieldload %15 = %3 len : {int len,int offset}
_15 = m->len;
//invoke (%14) = (%15) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_14 = (BYTE)_15;
}
//assign %5 = %14 : byte
length = _14;
//const %16 = 00000000b : byte
_16 = 0b00000000;
//ifne %4, %16 goto blklab14 : byte
if(offset!=_16){goto blklab14;}
//indexof %17 = %0, %2 : byte[]
_17=data[pos];
//assign %5 = %17 : byte
length = _17;
//const %18 = 1 : int
_18 = 1;
//add %19 = %2, %18 : int
_19=pos+_18;
//assign %2 = %19 : int
pos = _19;
//goto blklab15
goto blklab15;
//.blklab14
blklab14:;
//fieldload %20 = %3 len : {int len,int offset}
_20 = m->len;
//add %21 = %2, %20 : int
_21=pos+_20;
//assign %2 = %21 : int
pos = _21;
//.blklab15
blklab15:;
//update %1[%28] = %4 : byte[] -> byte[]
output[_28] = offset;
//const %29 = 1 : int
_29 = 1;
//add %30 = %28, %29 : int
_30=_28+_29;
//assign %28 = %30 : int
_28 = _30;
//update %1[%28] = %5 : byte[] -> byte[]
output[_28] = length;
//const %31 = 1 : int
_31 = 1;
//add %32 = %28, %31 : int
_32=_28+_31;
//assign %28 = %32 : int
_28 = _32;
//.blklab13
blklab13:;
}
//.blklab12
blklab12:;
//invoke (%33) = (%1, %28) lz77_compress:resize : function(byte[],int)->(byte[])
{
void* tmp_items;
_COPY_1DARRAY_PARAM(output, tmp_items, BYTE);
_DEALLOC(_33);
_33 = _resize_(tmp_items, output_size, true, _28, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_33));
_CALLEE_DEALLOC(output, "false-false-false" , "resize");
_CALLEE_DEALLOC_POST(_33, output);
}
//assign %1 = %33 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _33);
_ADD_DEALLOC(output);
//return %1
_DEALLOC(data);
_DEALLOC_STRUCT(m, Match);
_DEALLOC(_9);
_DEALLOC_STRUCT(_11, Match);
_DEALLOC(_22);
_DEALLOC(_23);
_DEALLOC(_33);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
int main(int argc, char** args){
int64_t* n;
int64_t size;
int64_t width;
int64_t height;
_DECL_1DARRAY(A);
_DECL_1DARRAY(B);
_DECL_1DARRAY(C);
int64_t* _8;
_DECL_2DARRAY(_9);
int64_t _10;
_DECL_1DARRAY(_11);
void* _12;
_DECL_1DARRAY(_14);
void* _15;
int64_t _17;
int64_t _18;
_DECL_1DARRAY(_19);
_DECL_1DARRAY(_20);
int64_t _21;
int64_t _22;
_DECL_1DARRAY(_23);
_DECL_1DARRAY(_24);
int64_t _25;
int64_t _26;
_DECL_1DARRAY(_27);
_DECL_1DARRAY(_28);
void* _29;
int64_t _31;
int64_t _32;
int64_t _33;
int64_t _34;
int64_t _35;
int64_t _36;
int64_t _37;
void* _38;
_DECL_1DARRAY(_40);
//fieldload %9 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
_CONV_ARGS(_9);
//const %10 = 0 : int
_10 = 0;
//indexof %11 = %9, %10 : int[][]
_11=_9[_10];
_11_size = _9_size_size;
//invoke (%8) = (%11) whiley/lang/Int:parse : function(whiley/lang/ASCII:string)->(null|int)
{
_STR_TO_INT(_8, _11);
}
//assign %1 = %8 : null|int
_NEW_INTEGER_POINTER(n, _8);
//ifis %1, null goto blklab10 : null|int
if(n == NULL) { goto blklab10;}
//assign %2 = %1 : int
size = *n;
//assign %3 = %2 : int
width = size;
//assign %4 = %2 : int
height = size;
//fieldload %12 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %13 = %12 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %14 = [115,105,122,101,32,61,32] : int[]
_NEW_1DARRAY_int64_t(_14, 7, 0);
_14[0] = 115; _14[1] = 105; _14[2] = 122; _14[3] = 101; _14[4] = 32; _14[5] = 61; _14[6] = 32;
//indirectinvoke () = %13 (%14) : method(int[])->()
{
printf_s(_14, _14_size);
}
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %16 (%2) : method(any)->()
{
printf("%"PRId64"\n", size);
}
//const %17 = 0 : int
_17 = 0;
//mul %18 = %3, %4 : int
_18=width*height;
//arraygen %19 = [17; 18] : int[]
_NEW_1DARRAY_int64_t(_19, _18, _17);
//assign %5 = %19 : int[]
_COPY_1DARRAY_int64_t(A, _19);
//invoke (%20) = (%5, %3, %4) MatrixMult_original:init : function(int[],int,int)->(int[])
{
void* tmp_data;
_COPY_1DARRAY_PARAM(A, tmp_data, int64_t);
_20 = _init_(tmp_data, A_size, width, height, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_20));
}
//assign %5 = %20 : int[]
_COPY_1DARRAY_int64_t(A, _20);
//const %21 = 0 : int
_21 = 0;
//mul %22 = %3, %4 : int
_22=width*height;
//arraygen %23 = [21; 22] : int[]
_NEW_1DARRAY_int64_t(_23, _22, _21);
//assign %6 = %23 : int[]
_COPY_1DARRAY_int64_t(B, _23);
//invoke (%24) = (%6, %3, %4) MatrixMult_original:init : function(int[],int,int)->(int[])
{
void* tmp_data;
_COPY_1DARRAY_PARAM(B, tmp_data, int64_t);
_24 = _init_(tmp_data, B_size, width, height, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_24));
}
//assign %6 = %24 : int[]
_COPY_1DARRAY_int64_t(B, _24);
//const %25 = 0 : int
_25 = 0;
//mul %26 = %3, %4 : int
_26=width*height;
//arraygen %27 = [25; 26] : int[]
_NEW_1DARRAY_int64_t(_27, _26, _25);
//assign %7 = %27 : int[]
_COPY_1DARRAY_int64_t(C, _27);
//invoke (%28) = (%5, %6, %7, %3, %4) MatrixMult_original:mat_mult : function(int[],int[],int[],int,int)->(int[])
{
void* tmp_a;
_COPY_1DARRAY_PARAM(A, tmp_a, int64_t);
void* tmp_b;
_COPY_1DARRAY_PARAM(B, tmp_b, int64_t);
void* tmp_data;
_COPY_1DARRAY_PARAM(C, tmp_data, int64_t);
_28 = _mat_mult_(tmp_a, A_size, tmp_b, B_size, tmp_data, C_size, width, height, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_28));
}
//assign %7 = %28 : int[]
_COPY_1DARRAY_int64_t(C, _28);
//fieldload %29 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %30 = %29 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %31 = 1 : int
_31 = 1;
//sub %32 = %2, %31 : int
_32=size-_31;
//mul %33 = %32, %2 : int
_33=_32*size;
//add %34 = %33, %2 : int
_34=_33+size;
//const %35 = 1 : int
_35 = 1;
//sub %36 = %34, %35 : int
_36=_34-_35;
//indexof %37 = %7, %36 : int[]
_37=C[_36];
//indirectinvoke () = %30 (%37) : method(any)->()
{
printf("%"PRId64"\n", _37);
}
//fieldload %38 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %39 = %38 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %40 = [80,97,115,115,32,77,97,116,114,105,120,77,117,108,116,32,116,101,115,116,32,99,97,115,101] : int[]
_NEW_1DARRAY_int64_t(_40, 25, 0);
_40[0] = 80; _40[1] = 97; _40[2] = 115; _40[3] = 115; _40[4] = 32; _40[5] = 77; _40[6] = 97; _40[7] = 116; _40[8] = 114; _40[9] = 105; _40[10] = 120; _40[11] = 77; _40[12] = 117; _40[13] = 108; _40[14] = 116; _40[15] = 32; _40[16] = 116; _40[17] = 101; _40[18] = 115; _40[19] = 116; _40[20] = 32; _40[21] = 99; _40[22] = 97; _40[23] = 115; _40[24] = 101;
//indirectinvoke () = %39 (%40) : method(int[])->()
{
println_s(_40, _40_size);
}
//.blklab10
blklab10:;
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(till);
_DECL_DEALLOC(till);
int64_t _2;
int64_t _3;
int64_t _4;
int64_t _5;
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
void* _11;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
void* _14;
_DECL_1DARRAY(_16);
_DECL_DEALLOC(_16);
//const %2 = 5 : int
_2 = 5;
//const %3 = 3 : int
_3 = 3;
//const %4 = 3 : int
_4 = 3;
//const %5 = 1 : int
_5 = 1;
//const %6 = 1 : int
_6 = 1;
//const %7 = 3 : int
_7 = 3;
//const %8 = 0 : int
_8 = 0;
//const %9 = 0 : int
_9 = 0;
//newlist %10 = (%2, %3, %4, %5, %6, %7, %8, %9) : int[]
_DEALLOC(_10);
_NEW_1DARRAY_int64_t(_10, 8, 0);
_10[0] = _2; _10[1] = _3; _10[2] = _4; _10[3] = _5; _10[4] = _6; _10[5] = _7; _10[6] = _8; _10[7] = _9;
_10_dealloc = true;
//assign %1 = %10 : int[]
_ADD_DEALLOC(till, _10, int64_t);
//fieldload %11 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %12 = %11 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %13 = [84,105,108,108,58,32] : int[]
_DEALLOC(_13);
_NEW_1DARRAY_int64_t(_13, 6, 0);
_13[0] = 84; _13[1] = 105; _13[2] = 108; _13[3] = 108; _13[4] = 58; _13[5] = 32;
_13_dealloc = true;
//indirectinvoke () = %12 (%13) : method(int[])->()
{
printf_s(_13, _13_size);
}
//fieldload %14 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %15 = %14 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//invoke (%16) = (%1) ArrayAppend3:toString : function(ArrayAppend3:Cash)->(whiley/lang/ASCII:string)
{
_FUNCTIONCALL_COPY_PRE(_16, till, 0, "liveness: till = false, readonly: till = true, return:till = NEVER_RETURN" , "toString");
_DEALLOC(_16);
void* tmp_c;
_COPY_1DARRAY_PARAM(till, tmp_c, int64_t);
_16 = _toString_(tmp_c, till_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_16));
_16_dealloc = true;
free(tmp_c);
}
//indirectinvoke () = %15 (%16) : method(int[])->()
{
println_s(_16, _16_size);
}
//return
_DEALLOC(till);
_DEALLOC(_10);
_DEALLOC(_13);
_DEALLOC(_16);
exit(0);
}
int main(int argc, char** args){
FILE* file;
_DECL_1DARRAY_BYTE(input_data);
_DECL_1DARRAY_BYTE(decompress_data);
void* _4;
_DECL_1DARRAY(_5);
_DECL_1DARRAY_BYTE(_6);
_DECL_1DARRAY_BYTE(_8);
void* _9;
_DECL_1DARRAY(_11);
void* _12;
_DECL_1DARRAY(_14);
void* _15;
int64_t _17;
void* _18;
_DECL_1DARRAY(_20);
//const %5 = [46,46,47,46,46,47,46,46,47,73,110,112,117,116,102,105,108,101,115,47,115,109,97,108,108,46,100,97,116] : int[]
_NEW_1DARRAY_int64_t(_5, 29, 0);
_5[0] = 46; _5[1] = 46; _5[2] = 47; _5[3] = 46; _5[4] = 46; _5[5] = 47; _5[6] = 46; _5[7] = 46; _5[8] = 47; _5[9] = 73; _5[10] = 110; _5[11] = 112; _5[12] = 117; _5[13] = 116; _5[14] = 102; _5[15] = 105; _5[16] = 108; _5[17] = 101; _5[18] = 115; _5[19] = 47; _5[20] = 115; _5[21] = 109; _5[22] = 97; _5[23] = 108; _5[24] = 108; _5[25] = 46; _5[26] = 100; _5[27] = 97; _5[28] = 116;
//invoke (%4) = (%5) whiley/io/File:Reader : method(whiley/lang/ASCII:string)->(whiley/io/File:Reader)
{
_4 = Reader(_5, _5_size);
}
//assign %1 = %4 : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
// isCopyEliminated = true
file = _4;
//fieldload %7 = %1 readAll : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
//indirectinvoke (%6) = %7 () : method()->(byte[])
{
_6 = readAll(file, &_6_size);
}
//assign %2 = %6 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(input_data, _6);
//invoke (%8) = (%2) lz77_decompress:decompress : function(byte[])->(byte[])
{
// isCopyEliminated of 'input_data at 0' = true
_8 = _decompress_(input_data, input_data_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_8));
}
//assign %3 = %8 : byte[]
// isCopyEliminated = true
_UPDATE_1DARRAY(decompress_data, _8);
//fieldload %9 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %10 = %9 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %11 = [68,69,67,79,77,80,82,69,83,83,69,68,58,32,32,32] : int[]
_NEW_1DARRAY_int64_t(_11, 16, 0);
_11[0] = 68; _11[1] = 69; _11[2] = 67; _11[3] = 79; _11[4] = 77; _11[5] = 80; _11[6] = 82; _11[7] = 69; _11[8] = 83; _11[9] = 83; _11[10] = 69; _11[11] = 68; _11[12] = 58; _11[13] = 32; _11[14] = 32; _11[15] = 32;
//indirectinvoke () = %10 (%11) : method(int[])->()
{
println_s(_11, _11_size);
}
//fieldload %12 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %13 = %12 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//invoke (%14) = (%3) whiley/lang/ASCII:fromBytes : function(byte[])->(whiley/lang/ASCII:string)
{
_14 = fromBytes(decompress_data, decompress_data_size);
_14_size = decompress_data_size;
}
//indirectinvoke () = %13 (%14) : method(int[])->()
{
println_s(_14, _14_size);
}
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//lengthof %17 = %3 : byte[]
_17 = decompress_data_size;
//indirectinvoke () = %16 (%17) : method(any)->()
{
printf("%"PRId64, _17);
}
//fieldload %18 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %19 = %18 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %20 = [32,98,121,116,101,115] : int[]
_NEW_1DARRAY_int64_t(_20, 6, 0);
_20[0] = 32; _20[1] = 98; _20[2] = 121; _20[3] = 116; _20[4] = 101; _20[5] = 115;
//indirectinvoke () = %19 (%20) : method(int[])->()
{
println_s(_20, _20_size);
}
//fieldload %21 = %1 close : {method()->(int) available,method()->() close,method()->(bool) hasMore,method(int)->(byte[]) read,method()->(byte[]) readAll}
//indirectinvoke () = %21 () : method()->()
{
fclose(file);
file = NULL;
}
//return
exit(0);
}
int main(int argc, char** args){
int64_t n;
_DECL_1DARRAY(moves);
int64_t sum_alice;
int64_t _4;
int64_t _5;
int64_t _6;
_DECL_1DARRAY(_7);
_DECL_1DARRAY(_8);
int64_t _9;
int64_t _10;
int64_t _11;
int64_t _12;
void* _13;
_DECL_1DARRAY(_15);
void* _16;
void* _18;
_DECL_1DARRAY(_20);
//const %4 = 10 : int
_4 = 10;
//assign %1 = %4 : int
n = _4;
//const %5 = 0 : int
_5 = 0;
//mul %6 = %1, %1 : int
_6=n*n;
//arraygen %7 = [5; 6] : int[]
_NEW_1DARRAY_int64_t(_7, _6, _5);
//assign %2 = %7 : int[]
_COPY_1DARRAY_int64_t(moves, _7);
//invoke (%8) = (%2, %1) CoinGame2:findMoves : function(int[],int)->(int[])
{
void* tmp_moves;
_COPY_1DARRAY_PARAM(moves, tmp_moves, int64_t);
_8 = _findMoves_(tmp_moves, moves_size, n, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_8));
}
//assign %2 = %8 : int[]
_COPY_1DARRAY_int64_t(moves, _8);
//const %9 = 1 : int
_9 = 1;
//sub %10 = %1, %9 : int
_10=n-_9;
//indexof %11 = %2, %10 : int[]
_11=moves[_10];
//assign %3 = %11 : int
sum_alice = _11;
//assert
{
//const %12 = 25 : int
_12 = 25;
//ifeq %3, %12 goto blklab11 : int
if(sum_alice==_12){goto blklab11;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab11
blklab11:;
//assert
}
//fieldload %13 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %14 = %13 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %15 = [84,104,101,32,116,111,116,97,108,32,97,109,111,117,110,116,32,111,102,32,109,111,110,101,121,32,40,109,97,120,105,109,117,109,41,32,65,108,105,99,101,32,103,101,116,115,32,105,115,32] : int[]
_NEW_1DARRAY_int64_t(_15, 50, 0);
_15[0] = 84; _15[1] = 104; _15[2] = 101; _15[3] = 32; _15[4] = 116; _15[5] = 111; _15[6] = 116; _15[7] = 97; _15[8] = 108; _15[9] = 32; _15[10] = 97; _15[11] = 109; _15[12] = 111; _15[13] = 117; _15[14] = 110; _15[15] = 116; _15[16] = 32; _15[17] = 111; _15[18] = 102; _15[19] = 32; _15[20] = 109; _15[21] = 111; _15[22] = 110; _15[23] = 101; _15[24] = 121; _15[25] = 32; _15[26] = 40; _15[27] = 109; _15[28] = 97; _15[29] = 120; _15[30] = 105; _15[31] = 109; _15[32] = 117; _15[33] = 109; _15[34] = 41; _15[35] = 32; _15[36] = 65; _15[37] = 108; _15[38] = 105; _15[39] = 99; _15[40] = 101; _15[41] = 32; _15[42] = 103; _15[43] = 101; _15[44] = 116; _15[45] = 115; _15[46] = 32; _15[47] = 105; _15[48] = 115; _15[49] = 32;
//indirectinvoke () = %14 (%15) : method(int[])->()
{
printf_s(_15, _15_size);
}
//fieldload %16 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %17 = %16 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %17 (%3) : method(any)->()
{
printf("%"PRId64"\n", sum_alice);
}
//fieldload %18 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %19 = %18 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %20 = [80,97,115,115,32,67,111,105,110,71,97,109,101,32,116,101,115,116,32,99,97,115,101] : int[]
_NEW_1DARRAY_int64_t(_20, 23, 0);
_20[0] = 80; _20[1] = 97; _20[2] = 115; _20[3] = 115; _20[4] = 32; _20[5] = 67; _20[6] = 111; _20[7] = 105; _20[8] = 110; _20[9] = 71; _20[10] = 97; _20[11] = 109; _20[12] = 101; _20[13] = 32; _20[14] = 116; _20[15] = 101; _20[16] = 115; _20[17] = 116; _20[18] = 32; _20[19] = 99; _20[20] = 97; _20[21] = 115; _20[22] = 101;
//indirectinvoke () = %19 (%20) : method(int[])->()
{
println_s(_20, _20_size);
}
//return
exit(0);
}
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
}
int main(int argc, char** args){
int64_t* n;
_DECL_DEALLOC(n);
int64_t max;
int64_t size;
int64_t repeats;
int64_t index;
_DECL_1DARRAY(arr);
_DECL_DEALLOC(arr);
int64_t* _7;
_DECL_DEALLOC(_7);
_DECL_2DARRAY(_8);
_DECL_DEALLOC(_8);
int64_t _9;
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
int64_t _11;
int64_t _12;
int64_t _13;
int64_t _14;
_DECL_1DARRAY(_15);
_DECL_DEALLOC(_15);
int64_t _16;
int64_t _17;
int64_t _18;
_DECL_1DARRAY(_19);
_DECL_DEALLOC(_19);
void* _20;
int64_t _22;
int64_t _23;
int64_t _24;
void* _25;
int64_t _27;
int64_t _28;
void* _29;
_DECL_1DARRAY(_31);
_DECL_DEALLOC(_31);
void* _32;
void* _34;
_DECL_1DARRAY(_36);
_DECL_DEALLOC(_36);
//fieldload %8 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
_DEALLOC_2DARRAY(_8);
_CONV_ARGS(_8);
_8_dealloc = true;
//const %9 = 0 : int
_9 = 0;
//indexof %10 = %8, %9 : int[][]
_10=_8[_9];
_10_size = _8_size_size;
_10_dealloc = false;
//invoke (%7) = (%10) whiley/lang/Int:parse : function(whiley/lang/ASCII:string)->(null|int)
{
_STR_TO_INT(_7, _10);
_7_dealloc = true;
_10_dealloc = false;
}
//assign %1 = %7 : null|int
// isCopyEliminated = true
_DEALLOC(n);
n = _7;
_TRANSFER_DEALLOC_POST(n, _7);
//ifis %1, null goto blklab4 : null|int
if(n == NULL) { goto blklab4;}
//const %11 = 1 : int
_11 = 1;
//assign %2 = %11 : int
// isCopyEliminated = true
max = _11;
//assign %3 = %1 : int
// isCopyEliminated = true
size = *n;
//const %12 = 0 : int
_12 = 0;
//assign %4 = %12 : int
// isCopyEliminated = true
repeats = _12;
//loop (%4, %5, %6, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28)
while(true){
//ifge %4, %2 goto blklab5 : int
if(repeats>=max){goto blklab5;}
//const %13 = 0 : int
_13 = 0;
//assign %5 = %13 : int
// isCopyEliminated = true
index = _13;
//const %14 = 0 : int
_14 = 0;
//arraygen %15 = [14; 3] : int[]
_NEW1DARRAY_DEALLOC(_15, _14, size, int64_t);
//assign %6 = %15 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(arr, _15);
//loop (%5, %6, %16, %17, %18)
while(true){
//ifge %5, %3 goto blklab7 : int
if(index>=size){goto blklab7;}
//sub %16 = %3, %5 : int
_16=size-index;
//update %6[%5] = %16 : int[] -> int[]
arr[index] = _16;
//const %17 = 1 : int
_17 = 1;
//add %18 = %5, %17 : int
_18=index+_17;
//assign %5 = %18 : int
// isCopyEliminated = true
index = _18;
//.blklab8
blklab8:;
}
//.blklab7
blklab7:;
//invoke (%19) = (%6) Reverse_original:reverse : function(int[])->(int[])
{
_FUNCTIONCALL_NO_COPY_PRE(_19, arr, 0, "liveness: arr = false, readonly: arr = true, return:arr = NEVER_RETURN" , "reverse");
_DEALLOC(_19);
// isCopyEliminated of 'arr at 0' = true
_19 = _reverse_(arr, arr_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_19));
_19_dealloc = true;
}
//assign %6 = %19 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(arr, _19);
//fieldload %20 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %21 = %20 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %22 = 1 : int
_22 = 1;
//sub %23 = %3, %22 : int
_23=size-_22;
//indexof %24 = %6, %23 : int[]
_24=arr[_23];
//indirectinvoke () = %21 (%24) : method(any)->()
{
printf("%"PRId64"\n", _24);
}
//fieldload %25 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %26 = %25 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %26 (%4) : method(any)->()
{
printf("%"PRId64"\n", repeats);
}
//const %27 = 1 : int
_27 = 1;
//add %28 = %4, %27 : int
_28=repeats+_27;
//assign %4 = %28 : int
// isCopyEliminated = true
repeats = _28;
//.blklab6
blklab6:;
}
//.blklab5
blklab5:;
//fieldload %29 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %30 = %29 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %31 = [78,117,109,98,101,114,32,111,102,32,114,101,112,101,97,116,115,58,32] : int[]
_DEALLOC(_31);
_NEW_1DARRAY_int64_t(_31, 19, 0);
_31[0] = 78; _31[1] = 117; _31[2] = 109; _31[3] = 98; _31[4] = 101; _31[5] = 114; _31[6] = 32; _31[7] = 111; _31[8] = 102; _31[9] = 32; _31[10] = 114; _31[11] = 101; _31[12] = 112; _31[13] = 101; _31[14] = 97; _31[15] = 116; _31[16] = 115; _31[17] = 58; _31[18] = 32;
_31_dealloc = true;
//indirectinvoke () = %30 (%31) : method(int[])->()
{
printf_s(_31, _31_size);
}
//fieldload %32 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %33 = %32 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//indirectinvoke () = %33 (%4) : method(any)->()
{
printf("%"PRId64"\n", repeats);
}
//fieldload %34 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %35 = %34 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %36 = [80,97,115,115,32,82,101,118,101,114,115,101,32,116,101,115,116,32,99,97,115,101,32] : int[]
_DEALLOC(_36);
_NEW_1DARRAY_int64_t(_36, 23, 0);
_36[0] = 80; _36[1] = 97; _36[2] = 115; _36[3] = 115; _36[4] = 32; _36[5] = 82; _36[6] = 101; _36[7] = 118; _36[8] = 101; _36[9] = 114; _36[10] = 115; _36[11] = 101; _36[12] = 32; _36[13] = 116; _36[14] = 101; _36[15] = 115; _36[16] = 116; _36[17] = 32; _36[18] = 99; _36[19] = 97; _36[20] = 115; _36[21] = 101; _36[22] = 32;
_36_dealloc = true;
//indirectinvoke () = %35 (%36) : method(int[])->()
{
println_s(_36, _36_size);
}
//.blklab4
blklab4:;
//return
_DEALLOC(n);
_DEALLOC(arr);
_DEALLOC(_7);
_FREE_ARGS(_8);
_DEALLOC(_10);
_DEALLOC(_15);
_DEALLOC(_19);
_DEALLOC(_31);
_DEALLOC(_36);
exit(0);
}
int main(int argc, char** args){
int64_t* n;
_DECL_DEALLOC(n);
int64_t max = 0;
int64_t index = 0;
_DECL_1DARRAY(arr);
_DECL_DEALLOC(arr);
int64_t* _5;
_DECL_DEALLOC(_5);
_DECL_2DARRAY(_6);
_DECL_DEALLOC(_6);
int64_t _7 = 0;
_DECL_1DARRAY(_8);
_DECL_DEALLOC(_8);
int64_t _9 = 0;
int64_t _10 = 0;
_DECL_1DARRAY(_11);
_DECL_DEALLOC(_11);
int64_t _12 = 0;
int64_t _13 = 0;
int64_t _14 = 0;
_DECL_1DARRAY(_15);
_DECL_DEALLOC(_15);
int64_t _16 = 0;
void* _17;
int64_t _19 = 0;
int64_t _20 = 0;
void* _21;
int64_t _23 = 0;
int64_t _24 = 0;
int64_t _25 = 0;
void* _26;
_DECL_1DARRAY(_28);
_DECL_DEALLOC(_28);
//fieldload %6 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
_DEALLOC_2DARRAY_int64_t(_6);
_CONV_ARGS(_6);
_ADD_DEALLOC(_6);
//const %7 = 0 : int
_7 = 0;
//indexof %8 = %6, %7 : int[][]
_8=_6[_7];
_8_size = _6_size_size;
_REMOVE_DEALLOC(_8);
//invoke (%5) = (%8) whiley/lang/Int:parse : function(whiley/lang/ASCII:string)->(null|int)
{
_STR_TO_INT(_5, _8);
_ADD_DEALLOC(_5);
_REMOVE_DEALLOC(_8);
}
//assign %1 = %5 : null|int
_DEALLOC(n);
// isCopyEliminated = true
n = _5;
_TRANSFER_DEALLOC(n, _5);
//ifis %1, null goto blklab9 : null|int
if(n == NULL) { goto blklab9;}
//assign %2 = %1 : int
// isCopyEliminated = true
max = *n;
//const %9 = 0 : int
_9 = 0;
//assign %3 = %9 : int
// isCopyEliminated = true
index = _9;
//const %10 = 0 : int
_10 = 0;
//arraygen %11 = [10; 2] : int[]
_DEALLOC(_11);
_NEW_1DARRAY_int64_t(_11, max, _10);
_ADD_DEALLOC(_11);
//assign %4 = %11 : int[]
_DEALLOC(arr);
// isCopyEliminated = true
_UPDATE_1DARRAY(arr, _11);
_TRANSFER_DEALLOC(arr, _11);
//loop (%3, %4, %12, %13, %14)
while(true){
//ifge %3, %2 goto blklab10 : int
if(index>=max){goto blklab10;}
//sub %12 = %2, %3 : int
_12=max-index;
//update %4[%3] = %12 : int[] -> int[]
// isCopyEliminated = false
arr[index] = _12;
//const %13 = 1 : int
_13 = 1;
//add %14 = %3, %13 : int
_14=index+_13;
//assign %3 = %14 : int
// isCopyEliminated = true
index = _14;
//.blklab11
blklab11:;
}
//.blklab10
blklab10:;
//const %16 = 0 : int
_16 = 0;
//invoke (%15) = (%4, %16, %2) MergeSort_original:sortV1 : function(int[],int,int)->(int[])
{
_DEALLOC(_15);
// isCopyEliminated of '_4' = true
_15 = _sortV1_(_1DARRAY_PARAM(arr), false, _16, max, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_15));
_RESET_DEALLOC(arr, "true-true-false" , "sortV1");
_ADD_DEALLOC(_15);
}
//assign %4 = %15 : int[]
_DEALLOC(arr);
// isCopyEliminated = true
_UPDATE_1DARRAY(arr, _15);
_TRANSFER_DEALLOC(arr, _15);
//fieldload %17 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %18 = %17 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %19 = 0 : int
_19 = 0;
//indexof %20 = %4, %19 : int[]
_20=arr[_19];
//indirectinvoke () = %18 (%20) : method(any)->()
{
printf("%"PRId64"\n", _20);
}
//fieldload %21 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %22 = %21 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %23 = 1 : int
_23 = 1;
//sub %24 = %2, %23 : int
_24=max-_23;
//indexof %25 = %4, %24 : int[]
_25=arr[_24];
//indirectinvoke () = %22 (%25) : method(any)->()
{
printf("%"PRId64"\n", _25);
}
//fieldload %26 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %27 = %26 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %28 = [80,97,115,115,32,77,101,114,103,101,115,111,114,116,32,116,101,115,116,32,99,97,115,101] : int[]
_DEALLOC(_28);
_NEW_1DARRAY_int64_t(_28, 24, 0);
_28[0] = 80; _28[1] = 97; _28[2] = 115; _28[3] = 115; _28[4] = 32; _28[5] = 77; _28[6] = 101; _28[7] = 114; _28[8] = 103; _28[9] = 101; _28[10] = 115; _28[11] = 111; _28[12] = 114; _28[13] = 116; _28[14] = 32; _28[15] = 116; _28[16] = 101; _28[17] = 115; _28[18] = 116; _28[19] = 32; _28[20] = 99; _28[21] = 97; _28[22] = 115; _28[23] = 101;
_ADD_DEALLOC(_28);
//indirectinvoke () = %27 (%28) : method(int[])->()
{
println_s(_28, _28_size);
}
//.blklab9
blklab9:;
//return
_DEALLOC(n);
_DEALLOC(arr);
_DEALLOC(_5);
_DEALLOC_2DARRAY_int64_t(_6);
_DEALLOC(_8);
_DEALLOC(_11);
_DEALLOC(_15);
_DEALLOC(_28);
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_DEALLOC(a);
_DECL_1DARRAY(b);
_DECL_DEALLOC(b);
_DECL_1DARRAY(c);
_DECL_DEALLOC(c);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t _5;
int64_t _6;
_DECL_1DARRAY(_7);
_DECL_DEALLOC(_7);
int64_t _8;
int64_t _9;
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
int64_t _11;
int64_t _12;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
_DECL_1DARRAY(_14);
_DECL_DEALLOC(_14);
int64_t _15;
int64_t _16;
int64_t _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
int64_t _24;
int64_t _25;
int64_t _26;
//const %5 = 1 : int
_5 = 1;
//const %6 = 2 : int
_6 = 2;
//arraygen %7 = [5; 6] : int[]
_NEW1DARRAY_DEALLOC(_7, _5, _6, int64_t);
//assign %1 = %7 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(a, _7);
//const %8 = 2 : int
_8 = 2;
//const %9 = 2 : int
_9 = 2;
//arraygen %10 = [8; 9] : int[]
_NEW1DARRAY_DEALLOC(_10, _8, _9, int64_t);
//assign %2 = %10 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(b, _10);
//const %11 = 3 : int
_11 = 3;
//const %12 = 2 : int
_12 = 2;
//arraygen %13 = [11; 12] : int[]
_NEW1DARRAY_DEALLOC(_13, _11, _12, int64_t);
//assign %3 = %13 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(c, _13);
//invoke (%14) = (%1, %2, %3) specialcase1:func : function(int[],int[],int[])->(int[])
{
_FUNCTIONCALL_COPY_PRE(_14, c, 2, "liveness: c = true, readonly: c = false, return:c = MAYBE_RETURN" , "func");
_FUNCTIONCALL_COPY_PRE(_14, b, 1, "liveness: b = true, readonly: b = false, return:b = MAYBE_RETURN" , "func");
_FUNCTIONCALL_COPY_PRE(_14, a, 0, "liveness: a = true, readonly: a = false, return:a = MAYBE_RETURN" , "func");
_DEALLOC(_14);
void* tmp_a;
_COPY_1DARRAY_PARAM(a, tmp_a, int64_t);
void* tmp_b;
_COPY_1DARRAY_PARAM(b, tmp_b, int64_t);
void* tmp_c;
_COPY_1DARRAY_PARAM(c, tmp_c, int64_t);
// isCopyEliminated of 'a at 0' = false
// isCopyEliminated of 'b at 1' = false
// isCopyEliminated of 'c at 2' = false
_14 = _func_(tmp_a, a_size, tmp_b, b_size, tmp_c, c_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_14));
if( _14 == tmp_a ){
_14_dealloc = true;
free(tmp_b);
free(tmp_c);
} else if( _14 == tmp_b ){
_14_dealloc = true;
free(tmp_a);
free(tmp_c);
} else if( _14 == tmp_c ){
_14_dealloc = true;
free(tmp_a);
free(tmp_b);
} else {
_14_dealloc = true;
free(tmp_a);
free(tmp_b);
free(tmp_c);
}
}
//assign %4 = %14 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _14);
//assert
{
//const %15 = 0 : int
_15 = 0;
//indexof %16 = %1, %15 : int[]
_16=a[_15];
//const %17 = 1 : int
_17 = 1;
//ifeq %16, %17 goto blklab2 : int
if(_16==_17){goto blklab2;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab2
blklab2:;
//assert
}
//assert
{
//const %18 = 0 : int
_18 = 0;
//indexof %19 = %2, %18 : int[]
_19=b[_18];
//const %20 = 2 : int
_20 = 2;
//ifeq %19, %20 goto blklab3 : int
if(_19==_20){goto blklab3;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab3
blklab3:;
//assert
}
//assert
{
//const %21 = 0 : int
_21 = 0;
//indexof %22 = %3, %21 : int[]
_22=c[_21];
//const %23 = 3 : int
_23 = 3;
//ifeq %22, %23 goto blklab4 : int
if(_22==_23){goto blklab4;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab4
blklab4:;
//assert
}
//assert
{
//const %24 = 0 : int
_24 = 0;
//indexof %25 = %4, %24 : int[]
_25=r[_24];
//const %26 = 3 : int
_26 = 3;
//ifeq %25, %26 goto blklab5 : int
if(_25==_26){goto blklab5;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab5
blklab5:;
//assert
}
//return
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(r);
_DEALLOC(_7);
_DEALLOC(_10);
_DEALLOC(_13);
_DEALLOC(_14);
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_DEALLOC(a);
_DECL_1DARRAY(b);
_DECL_DEALLOC(b);
_DECL_1DARRAY(c);
_DECL_DEALLOC(c);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t _5;
int64_t _6;
_DECL_1DARRAY(_7);
_DECL_DEALLOC(_7);
int64_t _8;
int64_t _9;
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
int64_t _11;
int64_t _12;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
_DECL_1DARRAY(_14);
_DECL_DEALLOC(_14);
//const %5 = 2 : int
_5 = 2;
//const %6 = 2 : int
_6 = 2;
//arraygen %7 = [5; 6] : int[]
_NEW1DARRAY_DEALLOC(_7, _5, _6, int64_t);
//assign %1 = %7 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(a, _7);
//const %8 = 2 : int
_8 = 2;
//const %9 = 2 : int
_9 = 2;
//arraygen %10 = [8; 9] : int[]
_NEW1DARRAY_DEALLOC(_10, _8, _9, int64_t);
//assign %2 = %10 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(b, _10);
//const %11 = 2 : int
_11 = 2;
//const %12 = 2 : int
_12 = 2;
//arraygen %13 = [11; 12] : int[]
_NEW1DARRAY_DEALLOC(_13, _11, _12, int64_t);
//assign %3 = %13 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(c, _13);
//invoke (%14) = (%1, %2, %3) 3parameter_test637:func : function(int[],int[],int[])->(int[])
{
_FUNCTIONCALL_NO_COPY_PRE(_14, c, "true-NEVER_RETURN-false" , "func");
_FUNCTIONCALL_NO_COPY_PRE(_14, b, "false-NEVER_RETURN-false" , "func");
_FUNCTIONCALL_NO_COPY_PRE(_14, a, "false-NEVER_RETURN-false" , "func");
_DEALLOC(_14);
// isCopyEliminated of '_1' = true
// isCopyEliminated of '_2' = true
// isCopyEliminated of '_3' = true
_14 = _func_(a, a_size, b, b_size, c, c_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_14));
_14_dealloc = true;
}
//assign %4 = %14 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _14);
//return
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(r);
_DEALLOC(_7);
_DEALLOC(_10);
_DEALLOC(_13);
_DEALLOC(_14);
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(rs);
int64_t max;
int64_t index;
_DECL_1DARRAY(arr);
_DECL_1DARRAY(_5);
int64_t _6;
int64_t _7;
int64_t _8;
int64_t _9;
int64_t _10;
_DECL_1DARRAY(_11);
int64_t _12;
int64_t _13;
int64_t _14;
int64_t _15;
int64_t _16;
_DECL_1DARRAY(_17);
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
_DECL_1DARRAY(_23);
int64_t _24;
int64_t _25;
int64_t _26;
_DECL_1DARRAY(_27);
int64_t _28;
int64_t _29;
int64_t _30;
int64_t _31;
void* _32;
_DECL_1DARRAY(_34);
//const %6 = 1 : int
_6 = 1;
//const %7 = 2 : int
_7 = 2;
//const %8 = 3 : int
_8 = 3;
//const %9 = 4 : int
_9 = 4;
//const %10 = 5 : int
_10 = 5;
//newlist %11 = (%6, %7, %8, %9, %10) : int[]
_NEW_1DARRAY_int64_t(_11, 5, 0);
_11[0] = _6; _11[1] = _7; _11[2] = _8; _11[3] = _9; _11[4] = _10;
//invoke (%5) = (%11) reverse:reverse : function(int[])->(int[])
{
void* tmp_ls;
_COPY_1DARRAY_PARAM(_11, tmp_ls, int64_t);
_5 = _reverse_(tmp_ls, _11_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_5));
}
//assign %1 = %5 : int[]
_COPY_1DARRAY_int64_t(rs, _5);
//assert
{
//const %12 = 5 : int
_12 = 5;
//const %13 = 4 : int
_13 = 4;
//const %14 = 3 : int
_14 = 3;
//const %15 = 2 : int
_15 = 2;
//const %16 = 1 : int
_16 = 1;
//newlist %17 = (%12, %13, %14, %15, %16) : int[]
_NEW_1DARRAY_int64_t(_17, 5, 0);
_17[0] = _12; _17[1] = _13; _17[2] = _14; _17[3] = _15; _17[4] = _16;
//ifeq %1, %17 goto blklab4 : int[]
_IFEQ_ARRAY_int64_t(rs, _17, blklab4);
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab4
blklab4:;
//assert
}
//const %18 = 10 : int
_18 = 10;
//assign %2 = %18 : int
max = _18;
//const %19 = 0 : int
_19 = 0;
//assign %3 = %19 : int
index = _19;
//const %20 = 0 : int
_20 = 0;
//const %21 = 1 : int
_21 = 1;
//add %22 = %2, %21 : int
_22=max+_21;
//arraygen %23 = [20; 22] : int[]
_NEW_1DARRAY_int64_t(_23, _22, _20);
//assign %4 = %23 : int[]
_COPY_1DARRAY_int64_t(arr, _23);
//loop (%3, %4, %24, %25, %26)
while(true){
//ifgt %3, %2 goto blklab5 : int
if(index>max){goto blklab5;}
//sub %24 = %2, %3 : int
_24=max-index;
//update %4[%3] = %24 : int[] -> int[]
arr[index] = _24;
//const %25 = 1 : int
_25 = 1;
//add %26 = %3, %25 : int
_26=index+_25;
//assign %3 = %26 : int
index = _26;
//.blklab6
blklab6:;
}
//.blklab5
blklab5:;
//invoke (%27) = (%4) reverse:reverse : function(int[])->(int[])
{
void* tmp_ls;
_COPY_1DARRAY_PARAM(arr, tmp_ls, int64_t);
_27 = _reverse_(tmp_ls, arr_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_27));
}
//assign %4 = %27 : int[]
_COPY_1DARRAY_int64_t(arr, _27);
//assert
{
//const %28 = 0 : int
_28 = 0;
//indexof %29 = %4, %28 : int[]
_29=arr[_28];
//const %30 = 0 : int
_30 = 0;
//ifeq %29, %30 goto blklab7 : int
if(_29==_30){goto blklab7;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab7
blklab7:;
//assert
}
//assert
{
//indexof %31 = %4, %2 : int[]
_31=arr[max];
//ifeq %31, %2 goto blklab8 : int
if(_31==max){goto blklab8;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab8
blklab8:;
//assert
}
//fieldload %32 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %33 = %32 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %34 = [80,97,115,115,32,114,101,118,101,114,115,101,32,116,101,115,116,32,99,97,115,101] : int[]
_NEW_1DARRAY_int64_t(_34, 22, 0);
_34[0] = 80; _34[1] = 97; _34[2] = 115; _34[3] = 115; _34[4] = 32; _34[5] = 114; _34[6] = 101; _34[7] = 118; _34[8] = 101; _34[9] = 114; _34[10] = 115; _34[11] = 101; _34[12] = 32; _34[13] = 116; _34[14] = 101; _34[15] = 115; _34[16] = 116; _34[17] = 32; _34[18] = 99; _34[19] = 97; _34[20] = 115; _34[21] = 101;
//indirectinvoke () = %33 (%34) : method(int[])->()
{
printf_s(_34, _34_size);
}
//return
exit(0);
}
int main(int argc, char** args){
_DECL_1DARRAY(a);
_DECL_DEALLOC(a);
_DECL_1DARRAY(b);
_DECL_DEALLOC(b);
_DECL_1DARRAY(c);
_DECL_DEALLOC(c);
_DECL_1DARRAY(r);
_DECL_DEALLOC(r);
int64_t _5;
int64_t _6;
_DECL_1DARRAY(_7);
_DECL_DEALLOC(_7);
int64_t _8;
int64_t _9;
_DECL_1DARRAY(_10);
_DECL_DEALLOC(_10);
int64_t _11;
int64_t _12;
_DECL_1DARRAY(_13);
_DECL_DEALLOC(_13);
_DECL_1DARRAY(_14);
_DECL_DEALLOC(_14);
void* _15;
int64_t _17;
int64_t _18;
void* _19;
int64_t _21;
int64_t _22;
//const %5 = 2 : int
_5 = 2;
//const %6 = 2 : int
_6 = 2;
//arraygen %7 = [5; 6] : int[]
_NEW1DARRAY_DEALLOC(_7, _5, _6, int64_t);
//assign %1 = %7 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(a, _7);
//const %8 = 2 : int
_8 = 2;
//const %9 = 2 : int
_9 = 2;
//arraygen %10 = [8; 9] : int[]
_NEW1DARRAY_DEALLOC(_10, _8, _9, int64_t);
//assign %2 = %10 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(b, _10);
//const %11 = 2 : int
_11 = 2;
//const %12 = 2 : int
_12 = 2;
//arraygen %13 = [11; 12] : int[]
_NEW1DARRAY_DEALLOC(_13, _11, _12, int64_t);
//assign %3 = %13 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(c, _13);
//invoke (%14) = (%1, %2, %3) 3parameter_test397:func : function(int[],int[],int[])->(int[])
{
_FUNCTIONCALL_NO_COPY_PRE(_14, c, "false-NEVER_RETURN-true" , "func");
_FUNCTIONCALL_NO_COPY_PRE(_14, b, "false-NEVER_RETURN-true" , "func");
_FUNCTIONCALL_NO_COPY_PRE(_14, a, "true-ALWAYS_RETURN-false" , "func");
_DEALLOC(_14);
// isCopyEliminated of '_1' = true
// isCopyEliminated of '_2' = true
// isCopyEliminated of '_3' = true
_14 = _func_(a, a_size, b, b_size, c, c_size, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_14));
_14_dealloc = a_dealloc;
a_dealloc = false;
}
//assign %4 = %14 : int[]
// isCopyEliminated = true
_TRANSFER_DEALLOC(r, _14);
//fieldload %15 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %16 = %15 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %17 = 0 : int
_17 = 0;
//indexof %18 = %2, %17 : int[]
_18=b[_17];
//indirectinvoke () = %16 (%18) : method(any)->()
{
printf("%"PRId64"\n", _18);
}
//fieldload %19 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out}
//fieldload %20 = %19 println : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s}
//const %21 = 0 : int
_21 = 0;
//indexof %22 = %3, %21 : int[]
_22=c[_21];
//indirectinvoke () = %20 (%22) : method(any)->()
{
printf("%"PRId64"\n", _22);
}
//return
_DEALLOC(a);
_DEALLOC(b);
_DEALLOC(c);
_DEALLOC(r);
_DEALLOC(_7);
_DEALLOC(_10);
_DEALLOC(_13);
_DEALLOC(_14);
exit(0);
}
BYTE* _f_append_(BYTE* input, size_t input_size, _DECL_DEALLOC_PARAM(input), _DECL_1DARRAYSIZE_PARAM_CALLBYREFERENCE){
_DECL_1DARRAY_BYTE(output);
_DECL_DEALLOC(output);
int64_t pos;
BYTE index;
BYTE item;
int64_t _5;
BYTE _6;
int64_t _7;
_DECL_1DARRAY_BYTE(_8);
_DECL_DEALLOC(_8);
int64_t _9;
BYTE _10;
BYTE _11;
_DECL_1DARRAY_BYTE(_12);
_DECL_DEALLOC(_12);
_DECL_1DARRAY_BYTE(_13);
_DECL_DEALLOC(_13);
int64_t _14;
int64_t _15;
int64_t _16;
int64_t _17;
int64_t _18;
int64_t _19;
int64_t _20;
int64_t _21;
int64_t _22;
int64_t _23;
int64_t _24;
_DECL_1DARRAY_BYTE(_25);
_DECL_DEALLOC(_25);
//const %5 = 0 : int
_5 = 0;
//assign %2 = %5 : int
pos = _5;
//const %6 = 00000000b : byte
_6 = 0b00000000;
//const %7 = 0 : int
_7 = 0;
//const %16 = 2 : int
_16 = 2;
//lengthof %17 = %0 : byte[]
_17 = input_size;
//mul %18 = %16, %17 : int
_18=_16*_17;
//arraygen %8 = [6; 18] : byte[]
_DEALLOC(_8);
_NEW_1DARRAY_BYTE(_8, _18, _6);
_ADD_DEALLOC(_8);
//const %19 = 0 : int
_19 = 0;
//assign %20 = %19 : int
_20 = _19;
//assign %1 = %8 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _8);
_ADD_DEALLOC(output);
//loop (%1, %2, %3, %4, %9, %10, %11, %12, %13, %14, %15, %20)
while(true){
//lengthof %9 = %0 : byte[]
_9 = input_size;
//ifge %2, %9 goto blklab7 : int
if(pos>=_9){goto blklab7;}
//invoke (%10) = (%2) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte)
{
_10 = (BYTE)pos;
}
//assign %3 = %10 : byte
index = _10;
//indexof %11 = %0, %2 : byte[]
_11=input[pos];
//assign %4 = %11 : byte
item = _11;
//update %1[%20] = %3 : byte[] -> byte[]
output[_20] = index;
//const %21 = 1 : int
_21 = 1;
//add %22 = %20, %21 : int
_22=_20+_21;
//assign %20 = %22 : int
_20 = _22;
//update %1[%20] = %4 : byte[] -> byte[]
output[_20] = item;
//const %23 = 1 : int
_23 = 1;
//add %24 = %20, %23 : int
_24=_20+_23;
//assign %20 = %24 : int
_20 = _24;
//const %14 = 1 : int
_14 = 1;
//add %15 = %2, %14 : int
_15=pos+_14;
//assign %2 = %15 : int
pos = _15;
//.blklab8
blklab8:;
}
//.blklab7
blklab7:;
//assert
{
//ifle %20, %18 goto blklab13 : int
if(_20<=_18){goto blklab13;}
//fail
fprintf(stderr,"fail");
exit(-1);
//.blklab13
blklab13:;
//assert
}
//invoke (%25) = (%1, %20) appendarray1:resize : function(byte[],int)->(byte[])
{
void* output_tmp;
_DEALLOC(_25);
_25 = _resize_(_COPY_1DARRAY_PARAM_BYTE(output), true, _20, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_25));
_CALLEE_DEALLOC(output, "false-false-false" , "resize");
_25_dealloc = true;
}
//assign %1 = %25 : byte[]
_DEALLOC(output);
_COPY_1DARRAY_BYTE(output, _25);
_ADD_DEALLOC(output);
//return %1
_DEALLOC(input);
_DEALLOC(_8);
_DEALLOC(_12);
_DEALLOC(_13);
_DEALLOC(_25);
_UPDATE_1DARRAYSZIE_PARAM_CALLBYREFERENCE(output);
return output;
//return
}
