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); }
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){ int* n; _DECL_DEALLOC(n); int width; int height; int size; _DECL_1DARRAY_BYTE(pixels); _DECL_DEALLOC(pixels); int i; _DECL_1DARRAY_BYTE(newPixels); _DECL_DEALLOC(newPixels); int* _8; _DECL_DEALLOC(_8); _DECL_2DARRAY(_9); _DECL_DEALLOC(_9); int _10; _DECL_1DARRAY(_11); _DECL_DEALLOC(_11); int _12; int _13; BYTE _14; _DECL_1DARRAY_BYTE(_15); _DECL_DEALLOC(_15); int _16; BYTE _17; int _18; int _19; int _20; int _21; void* _22; _DECL_1DARRAY(_24); _DECL_DEALLOC(_24); void* _25; int _27; BYTE _28; _DECL_1DARRAY_BYTE(_29); _DECL_DEALLOC(_29); void* _30; _DECL_1DARRAY(_32); _DECL_DEALLOC(_32); void* _33; int _35; void* _36; _DECL_1DARRAY(_38); _DECL_DEALLOC(_38); void* _39; _DECL_1DARRAY(_41); _DECL_DEALLOC(_41); void* _42; int _44; BYTE _45; //fieldload %9 = %0 args : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out} _DEALLOC_2DARRAY_int64_t(_9); _CONV_ARGS(_9); _ADD_DEALLOC(_9); //const %10 = 0 : int _10 = 0; //indexof %11 = %9, %10 : int[][] _11=_9[_10]; _11_size = _9_size_size; _REMOVE_DEALLOC(_11); //invoke (%8) = (%11) whiley/lang/Int:parse : function(whiley/lang/ASCII:string)->(null|int) { _STR_TO_INT(_8, _11); _ADD_DEALLOC(_8); _REMOVE_DEALLOC(_11); } //assign %1 = %8 : null|int _DEALLOC(n); // isCopyEliminated = true n = _8; _TRANSFER_DEALLOC(n, _8); //ifis %1, null goto blklab19 : null|int if(n == NULL) { goto blklab19;} //const %12 = 2000 : int _12 = 2000; //assign %2 = %12 : int // isCopyEliminated = true width = _12; //assign %3 = %1 : int // isCopyEliminated = true height = *n; //mul %13 = %2, %3 : int _13=width*height; //assign %4 = %13 : int // isCopyEliminated = true size = _13; //const %14 = 00100000b : byte _14 = 0b00100000; //arraygen %15 = [14; 4] : byte[] _DEALLOC(_15); _NEW_1DARRAY_BYTE(_15, size, _14); _ADD_DEALLOC(_15); //assign %5 = %15 : byte[] _DEALLOC(pixels); // isCopyEliminated = true _UPDATE_1DARRAY(pixels, _15); _TRANSFER_DEALLOC(pixels, _15); //const %16 = 0 : int _16 = 0; //assign %6 = %16 : int // isCopyEliminated = true i = _16; //loop (%5, %6, %17, %18, %19, %20, %21) while(true){ //ifge %6, %4 goto blklab20 : int if(i>=size){goto blklab20;} //const %18 = 256 : int _18 = 256; //rem %19 = %6, %18 : int _19=i%_18; //invoke (%17) = (%19) whiley/lang/Int:toUnsignedByte : function(whiley/lang/Int:u8)->(byte) { _17 = (BYTE)_19; } //update %5[%6] = %17 : byte[] -> byte[] pixels[i] = _17; //const %20 = 1 : int _20 = 1; //add %21 = %6, %20 : int _21=i+_20; //assign %6 = %21 : int // isCopyEliminated = true i = _21; //.blklab21 blklab21:; } //.blklab20 blklab20:; //fieldload %22 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out} //fieldload %23 = %22 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //const %24 = [112,105,120,101,108,115,91,49,48,48,48,93,61] : int[] _DEALLOC(_24); _NEW_1DARRAY_int64_t(_24, 13, 0); _24[0] = 112; _24[1] = 105; _24[2] = 120; _24[3] = 101; _24[4] = 108; _24[5] = 115; _24[6] = 91; _24[7] = 49; _24[8] = 48; _24[9] = 48; _24[10] = 48; _24[11] = 93; _24[12] = 61; _ADD_DEALLOC(_24); //indirectinvoke () = %23 (%24) : method(int[])->() { printf_s(_24, _24_size); } //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} //const %27 = 1000 : int _27 = 1000; //indexof %28 = %5, %27 : byte[] _28=pixels[_27]; //indirectinvoke () = %26 (%28) : method(any)->() { printf("%"PRIu8"\n", _28); } //invoke (%29) = (%5, %2, %3) SobelEdge_large:sobelEdgeDetection : function(byte[],int,int)->(byte[]) { _DEALLOC(_29); // isCopyEliminated of '_5' = true _29 = _sobelEdgeDetection_(pixels, pixels_size, false, width, height, _1DARRAYSIZE_PARAM_CALLBYREFERENCE(_29)); _RETAIN_DEALLOC(pixels, "false-false-false" , "sobelEdgeDetection"); _RETAIN_DEALLOC_POST(_29, pixels); } //assign %7 = %29 : byte[] _DEALLOC(newPixels); // isCopyEliminated = true _UPDATE_1DARRAY(newPixels, _29); _TRANSFER_DEALLOC(newPixels, _29); //fieldload %30 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out} //fieldload %31 = %30 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //const %32 = [66,108,117,114,114,101,100,32,73,109,97,103,101,32,115,105,122,101,115,58,32,32,32] : int[] _DEALLOC(_32); _NEW_1DARRAY_int64_t(_32, 23, 0); _32[0] = 66; _32[1] = 108; _32[2] = 117; _32[3] = 114; _32[4] = 114; _32[5] = 101; _32[6] = 100; _32[7] = 32; _32[8] = 73; _32[9] = 109; _32[10] = 97; _32[11] = 103; _32[12] = 101; _32[13] = 32; _32[14] = 115; _32[15] = 105; _32[16] = 122; _32[17] = 101; _32[18] = 115; _32[19] = 58; _32[20] = 32; _32[21] = 32; _32[22] = 32; _ADD_DEALLOC(_32); //indirectinvoke () = %31 (%32) : method(int[])->() { println_s(_32, _32_size); } //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 : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //lengthof %35 = %7 : byte[] _35 = newPixels_size; //indirectinvoke () = %34 (%35) : method(any)->() { printf("%d", _35); } //fieldload %36 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out} //fieldload %37 = %36 println_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //const %38 = [32,98,121,116,101,115] : int[] _DEALLOC(_38); _NEW_1DARRAY_int64_t(_38, 6, 0); _38[0] = 32; _38[1] = 98; _38[2] = 121; _38[3] = 116; _38[4] = 101; _38[5] = 115; _ADD_DEALLOC(_38); //indirectinvoke () = %37 (%38) : method(int[])->() { println_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 print_s : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //const %41 = [110,101,119,80,105,120,101,108,115,91,49,48,48,48,93,61] : int[] _DEALLOC(_41); _NEW_1DARRAY_int64_t(_41, 16, 0); _41[0] = 110; _41[1] = 101; _41[2] = 119; _41[3] = 80; _41[4] = 105; _41[5] = 120; _41[6] = 101; _41[7] = 108; _41[8] = 115; _41[9] = 91; _41[10] = 49; _41[11] = 48; _41[12] = 48; _41[13] = 48; _41[14] = 93; _41[15] = 61; _ADD_DEALLOC(_41); //indirectinvoke () = %40 (%41) : method(int[])->() { printf_s(_41, _41_size); } //fieldload %42 = %0 out : {int[][] args,{method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} out} //fieldload %43 = %42 print : {method(any)->() print,method(int[])->() print_s,method(any)->() println,method(int[])->() println_s} //const %44 = 1000 : int _44 = 1000; //indexof %45 = %7, %44 : byte[] _45=newPixels[_44]; //indirectinvoke () = %43 (%45) : method(any)->() { printf("%d", _45); } //.blklab19 blklab19:; //return _DEALLOC(n); _DEALLOC(pixels); _DEALLOC(newPixels); _DEALLOC(_8); _FREE_ARGS(_9); _DEALLOC(_11); _DEALLOC(_15); _DEALLOC(_24); _DEALLOC(_29); _DEALLOC(_32); _DEALLOC(_38); _DEALLOC(_41); exit(0); }