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); }
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){ int64_t* n; _DECL_DEALLOC(n); int64_t max = 0; _DECL_1DARRAY_BYTE(data); _DECL_DEALLOC(data); _DECL_1DARRAY_BYTE(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); BYTE _9; _DECL_1DARRAY_BYTE(_10); _DECL_DEALLOC(_10); _DECL_1DARRAY_BYTE(_11); _DECL_DEALLOC(_11); int64_t _12 = 0; int64_t _13 = 0; int64_t _14 = 0; int64_t _15 = 0; void* _16; int64_t _18 = 0; //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); _NEW_INTEGER_POINTER(n, _5); _ADD_DEALLOC(n); //ifis %1, null goto blklab9 : null|int if(n == NULL) { goto blklab9;} //assign %2 = %1 : int max = *n; //const %9 = 01100001b : byte _9 = 0b01100001; //arraygen %10 = [9; 2] : byte[] _DEALLOC(_10); _NEW_1DARRAY_BYTE(_10, max, _9); _ADD_DEALLOC(_10); //assign %3 = %10 : byte[] _DEALLOC(data); _COPY_1DARRAY_BYTE(data, _10); _ADD_DEALLOC(data); //invoke (%11) = (%3) AppendArrayPattern_original:comp : function(byte[])->(byte[]) { void* data_tmp; _DEALLOC(_11); _11 = _comp_(_COPY_1DARRAY_PARAM_BYTE(data), true, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_11)); _CALLEE_DEALLOC(data, "false-false-false" , "comp"); _ADD_DEALLOC(_11); } //assign %4 = %11 : byte[] _DEALLOC(arr); _COPY_1DARRAY_BYTE(arr, _11); _ADD_DEALLOC(arr); //assert { //lengthof %12 = %4 : byte[] _12 = arr_size; //const %13 = 2 : int _13 = 2; //lengthof %14 = %3 : byte[] _14 = data_size; //mul %15 = %13, %14 : int _15=_13*_14; //ifeq %12, %15 goto blklab10 : int if(_12==_15){goto blklab10;} //fail fprintf(stderr,"fail"); exit(-1); //.blklab10 blklab10:; //assert } //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 = %4 : byte[] _18 = arr_size; //indirectinvoke () = %17 (%18) : method(any)->() { printf("%"PRId64, _18); } //.blklab9 blklab9:; //return _DEALLOC(n); _DEALLOC(data); _DEALLOC(arr); _DEALLOC(_5); _DEALLOC_2DARRAY_int64_t(_6); _DEALLOC(_8); _DEALLOC(_10); _DEALLOC(_11); exit(0); }