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);
}
