{"name": "test_darray_sort_add_and_darray_find", "code": "const char * test_darray_sort_add_and_darray_find ( ) { int * v0 ; char * v1 ; const char * result ; int * v3 ; char * v4 ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; int @@v9@@ ; int * @@v10@@ ; @@v10@@ = ( int * ) create_words ( ) ; @@v9@@ = * @@v10@@ ; if ( ( unsigned int ) DArray_sort_add ( @@v10@@ , testcmp , String ) ) { if ( * __errno_location ( ) ) { v0 = __errno_location ( ) ; v1 = strerror ( * v0 ) ; } else { v1 = String ; } fprintf ( stderr , String , String , Number L , String , v1 ) ; result = String ; } else if ( @@v9@@ + Number == * @@v10@@ ) { if ( ( unsigned int ) is_sorted ( @@v10@@ ) ) { if ( ( unsigned int ) DArray_find ( @@v10@@ , testcmp , String ) == * @@v10@@ - Number ) { DArray_destroy ( @@v10@@ ) ; result = Number L ; } else { if ( * __errno_location ( ) ) { v7 = __errno_location ( ) ; v8 = strerror ( * v7 ) ; } else { v8 = String ; } fprintf ( stderr , String , String , Number L , String , v8 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; result = String ; } return result ; }", "source": [{"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 3, "t": "int"}, "location": "s8"}]}
{"name": "testcmp", "code": "int __fastcall testcmp ( const char * * @@a1@@ , const char * * @@a2@@ ) { return strcmp ( * @@a1@@ , * @@a2@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char *"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char *"}, "location": "r64"}]} {"name": "create_words", "code": "__int64 create_words ( ) { __int64 @@v1@@ [ Number ] ; int @@v2@@ ; __int64 @@v3@@ ; int @@i@@ ; @@v3@@ = DArray_create ( Number L , N ) ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v2@@ = Number ; for ( @@i@@ = Number ; @@i@@ < N ; ++ @@i@@ ) { @@v2@@ = rand ( ) % Number ; DArray_push ( @@v3@@ , @@v1@@ [ @@v2@@ ] ) ; } return @@v3@@ ; }", "source": [{"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v2", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v1", "t": {"T": 2, "n": 5, "s": 8, "t": "__int64"}, "location": "s64"}]} {"name": "is_sorted", "code": "__int64 __fastcall is_sorted ( _DWORD * @@a1@@ ) { const char * @@v1@@ ; const char * @@v2@@ ; int @@i@@ ; for ( @@i@@ = Number ; @@i@@ < * @@a1@@ - Number ; ++ @@i@@ ) { @@v1@@ = ( const char * ) DArray_get ( ( __int64 ) @@a1@@ , @@i@@ + Number ) ; @@v2@@ = ( const char * ) DArray_get ( ( __int64 ) @@a1@@ , @@i@@ ) ; if ( strcmp ( @@v2@@ , @@v1@@ ) > Number ) return Number L ; } return Number L ; }", "source": [{"n": "v1", "t": {"T": 3, "t": "const char"}, "location": "r32"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "v2", "t": {"T": 3, "t": "const char"}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}]} {"name": "all_tests", "code": "const char * all_tests ( ) { unsigned int @@v0@@ ; __time_t v2 ; __time_t v3 ; __time_t v4 ; __time_t v5 ; __suseconds_t v6 ; __suseconds_t v7 ; __suseconds_t v8 ; __suseconds_t v9 ; struct timeval @@v10@@ ; struct timeval @@tv@@ ; const char * @@v12@@ ; @@v0@@ = time ( Number L ) ; srand ( @@v0@@ ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_darray_sort_add_and_darray_find ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; while ( N <= Number ) { fprintf ( stderr , String , String , Number L , ( unsigned int ) N ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_gnu_qsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v2 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v6 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v2 ; v6 += Number L ; } fprintf ( stderr , String , String , Number L , v2 , v6 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_qsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v3 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v7 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v3 ; v7 += Number L ; } fprintf ( stderr , String , String , Number L , v3 , v7 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_heapsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v4 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v8 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v4 ; v8 += Number L ; } fprintf ( stderr , String , String , Number L , v4 , v8 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_mergesort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v5 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v9 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v5 ; v9 += Number L ; } fprintf ( stderr , String , String , Number L , v5 , v9 ) ; N *= Number ; } return Number L ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r8"}, {"n": "tv", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s32"}, {"n": "v10", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s48"}, {"n": "v12", "t": {"T": 3, "t": "const char"}, "location": "s8"}]} {"name": "DArray_destroy", "code": "void __fastcall DArray_destroy ( void * * @@a1@@ ) { int * v1 ; char * v2 ; if ( @@a1@@ ) { if ( @@a1@@ [ Number ] ) free ( @@a1@@ [ Number ] ) ; free ( @@a1@@ ) ; } else { if ( * __errno_location ( ) ) { v1 = __errno_location ( ) ; v2 = strerror ( * v1 ) ; } else { v2 = String ; } fprintf ( stderr , String , String , Number L , String , v2 ) ; * __errno_location ( ) = Number ; } }", "source": [{"n": "a1", "t": {"T": 3, "t": "void *"}, "location": "r56"}]} {"name": "DArray_sort_add", "code": "__int64 __fastcall DArray_sort_add ( _DWORD * @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { int * v3 ; char * v4 ; int * v5 ; char * v6 ; if ( @@a1@@ ) { if ( @@a2@@ ) { DArray_push ( ( __int64 ) @@a1@@ , @@a3@@ ) ; DArray_qsort ( @@a1@@ , @@a2@@ ) ; return Number L ; } if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; * __errno_location ( ) = Number ; } else { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; * __errno_location ( ) = Number ; } return Number L ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}]} {"name": "DArray_find", "code": "__int64 __fastcall DArray_find ( __int64 @@a1@@ , __int64 ( __fastcall * @@a2@@ ) ( __int64 * , const void * * ) , __int64 @@a3@@ ) { int * v3 ; char * v4 ; int * v5 ; char * v6 ; __int64 @@v8@@ ; __int64 ( __fastcall * @@v9@@ ) ( __int64 * , const void * * ) ; __int64 @@v10@@ ; const void * @@v11@@ ; unsigned int @@v12@@ ; int @@v13@@ ; int @@v14@@ ; int @@v15@@ ; @@v10@@ = @@a1@@ ; @@v9@@ = @@a2@@ ; @@v8@@ = @@a3@@ ; if ( ! @@a1@@ ) { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; * __errno_location ( ) = Number ; return Number ; } if ( ! @@v9@@ ) { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; * __errno_location ( ) = Number ; return Number ; } @@v15@@ = Number ; @@v14@@ = * ( _DWORD * ) @@v10@@ ; @@v13@@ = Number ; while ( @@v15@@ <= @@v14@@ ) { @@v12@@ = ( @@v14@@ - @@v15@@ ) / Number + @@v15@@ ; @@v11@@ = * ( const void * * ) ( Number L * ( int ) @@v12@@ + * ( _QWORD * ) ( @@v10@@ + Number ) ) ; fprintf ( stderr , String , String , Number L , @@v11@@ ) ; @@v13@@ = @@v9@@ ( & @@v8@@ , & @@v11@@ ) ; if ( @@v13@@ >= Number ) { if ( @@v13@@ <= Number ) return @@v12@@ ; @@v15@@ = @@v12@@ + Number ; } else { @@v14@@ = @@v12@@ - Number ; } } return Number ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 9, "n": "__int64 (__fastcall *)(__int64 *, const void **)"}, "location": "r64"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v12", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s16"}, {"n": "v11", "t": {"T": 3, "t": "const void"}, "location": "s24"}, {"n": "v15", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v10", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v9", "t": {"T": 9, "n": "__int64 (__fastcall *)(__int64 *, const void **)"}, "location": "s48"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s56"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}]}