s0kil/cgminer-api_0e3d67e95d6c050f

0 lines

762.61 KB

#include "types-and-globals.h"
#include "helpers.h"

_ABI(AAPCS) _Noreturn
void function_0x8000_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(AAPCS) _Noreturn
void function_0x8008_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(AAPCS) _Noreturn
void function_0x8034_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(AAPCS) _Noreturn
void function_0x8040_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(AAPCS) _Noreturn
void function_0x8044_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(AAPCS) _Noreturn
void function_0x8048_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  revng_abort("");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_27 function_0x8620_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  struct_105 stack;
  stack.offset_0 = register_r3;
  stack.offset_4 = revng_undefined_r14();
  function_0x88f4_Code_arm();
  return (artificial_struct_returned_by_rawfunction_27) { register_r0, register_r1, register_r2, stack.offset_0 };
}

_ABI(AAPCS)
generic32_t function_0x863c_Code_arm(generic32_t argument_0) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strcmp(argument_0, undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
  return var_3;
}

_ABI(AAPCS)
void function_0x8640_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strcmp(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x864c_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strtol(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8658_Code_arm(generic32_t argument_0, generic32_t argument_1) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = printf(argument_0, argument_1, undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8664_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = realloc(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8670_Code_arm(generic32_t argument_0) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = __rawmemchr(argument_0, undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x867c_Code_arm(generic32_t argument_0) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = puts(argument_0, undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8688_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = malloc(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8694_Code_arm(generic32_t argument_0) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = __libc_start_main(argument_0, undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86a0_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strerror(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86b8_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = __ctype_b_loc(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86c4_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strlen(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86d0_Code_arm(generic32_t argument_0, generic32_t argument_1) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = strchr(argument_0, argument_1, undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86dc_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = fprintf(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86e8_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = __errno_location(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x86f4_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = socket(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8700_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = gethostbyname(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x870c_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = abort(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8718_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = recv(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8724_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = close(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x8730_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = send(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
void function_0x873c_Code_arm(void) {
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  pointer_or_number32_t var_2;
  pointer_or_number32_t var_3;
  artificial_struct_returned_by_rawfunction_26 var_4;
  var_4 = connect(undef(generic32_t), undef(generic32_t), undef(generic32_t), undef(generic32_t));
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
}

_ABI(AAPCS)
generic32_t function_0x8748_Code_arm(generic32_t argument_0, struct_123 *argument_1) {
  struct_106 stack;
  generic8_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic16_t var_5;
  struct_125 *var_6;
  stack.offset_36 = revng_undefined_r14();
  if ((argument_0 != 1) && ((int32_t) (((0 - argument_0) & argument_0) ^ (argument_0 - 1)) > -1)) {
    var_6 = segment_0.text.offset_352;
    var_5 = 4028;
  } else {
    generic32_t var_7;
    if (argument_1->offset_4->offset_0 == '-') {
      switch ((number8_t) argument_1->offset_4->offset_1) {
        case 63:
        case 104:
        {
          if (!argument_1->offset_4->offset_2) {
            function_0x86dc_Code_arm();
            return 1;
          }
        } break;
      }
      function_0x8640_Code_arm();
      if (!argument_1->offset_4) {
        function_0x86dc_Code_arm();
        return 1;
      }
      var_7 = 1;
      if (argument_1->offset_4->offset_1 == 'o') {
        var_7 = 1;
        if (!argument_1->offset_4->offset_2) {
          *segment_0.text.offset_364 = 1;
          var_7 = 2;
          if (argument_0 == 2) {
            var_6 = segment_0.text.offset_352;
            var_5 = 4028;
            function_0x8700_Code_arm();
            if (!var_6) {
              function_0x8658_Code_arm(segment_0.text.offset_1692, 0);
              return 1;
            }
            function_0x86f4_Code_arm();
            stack.offset_4 = 0;
            stack.offset_8 = 0;
            stack.offset_12 = 0;
            stack.offset_0.member_1 = 2;
            stack.offset_0.member_0.offset_2 = llvm_bswap_i16(var_5);
            stack.offset_4 = *(generic32_t *) *(generic32_t *) *(generic32_t *) ((pointer_or_number32_t) var_6 + 16);
            function_0x873c_Code_arm();
            function_0x86c4_Code_arm();
            function_0x8730_Code_arm();
            function_0x8688_Code_arm();
            var_3 = 0;
            var_4 = 65535;
            while (true) {
              var_1 = var_4;
              var_2 = 0;
              do {
                function_0x8718_Code_arm();
                var_0 = var_1 == var_3 + 2 + (var_2 << 1);
                var_2 = var_2 + 1;
              } while (!(var_0));
              var_4 = var_1 + 65535;
              function_0x8664_Code_arm();
              var_3 = var_1;
            }
          }
        }
      }
    } else {
      function_0x8640_Code_arm();
      var_7 = 1;
      if (!argument_1->offset_4) {
        function_0x86dc_Code_arm();
        return 1;
      }
    }
    struct_125 *var_8;
    var_8 = function_0x89ec_Code_arm((struct_125 *) *(generic32_t *) ((var_7 << 2) + (pointer_or_number32_t) argument_1));
    if (var_7 + 1 == argument_0) {
      var_6 = segment_0.text.offset_352;
      var_5 = 4028;
    } else {
      if ((int32_t) ((((argument_0 - (var_7 + 1)) ^ argument_0) & ((var_7 + 1) ^ argument_0)) ^ (argument_0 - (var_7 + 1))) > -1) {
        struct_125 *var_9;
        struct_125 *var_10;
        var_10 = function_0x89ec_Code_arm((struct_125 *) *(generic32_t *) (((var_7 + 1) << 2) + (pointer_or_number32_t) argument_1));
        var_9 = !var_10->offset_0.member_1 ? (generic32_t) segment_0.text.offset_352 : (generic32_t) var_10;
        var_6 = var_9;
        var_5 = 4028;
        if (var_7 + 2 != argument_0) {
          var_5 = 4028;
          var_6 = var_9;
          if ((int32_t) ((((argument_0 - (var_7 + 2)) ^ argument_0) & ((var_7 + 2) ^ argument_0)) ^ (argument_0 - (var_7 + 2))) > -1) {
            struct_125 *var_11;
            var_11 = function_0x89ec_Code_arm((struct_125 *) *(generic32_t *) (((var_7 + 2) << 2) + (pointer_or_number32_t) argument_1));
            var_5 = 4028;
            var_6 = var_9;
            if (var_11->offset_0.member_1) {
              function_0x864c_Code_arm();
              var_5 = (number16_t) var_11;
              var_6 = var_9;
            }
          }
        }
      } else {
        var_6 = segment_0.text.offset_352;
        var_5 = 4028;
      }
    }
  }
  function_0x8700_Code_arm();
  if (!var_6) {
    function_0x8658_Code_arm(segment_0.text.offset_1692, 0);
    return 1;
  }
  function_0x86f4_Code_arm();
  stack.offset_4 = 0;
  stack.offset_8 = 0;
  stack.offset_12 = 0;
  stack.offset_0.member_1 = 2;
  stack.offset_0.member_0.offset_2 = llvm_bswap_i16(var_5);
  stack.offset_4 = *(generic32_t *) *(generic32_t *) *(generic32_t *) ((pointer_or_number32_t) var_6 + 16);
  function_0x873c_Code_arm();
  function_0x86c4_Code_arm();
  function_0x8730_Code_arm();
  function_0x8688_Code_arm();
  var_3 = 0;
  var_4 = 65535;
  while (true) {
    var_1 = var_4;
    var_2 = 0;
    do {
      function_0x8718_Code_arm();
      var_0 = var_1 == var_3 + 2 + (var_2 << 1);
      var_2 = var_2 + 1;
    } while (!(var_0));
    var_4 = var_1 + 65535;
    function_0x8664_Code_arm();
    var_3 = var_1;
  }
}

_ABI(AAPCS) _Noreturn
void function_0x8798_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  struct_109 stack;
  function_0x8700_Code_arm();
  if (!segment_0.text.offset_352) {
    function_0x8658_Code_arm(segment_0.text.offset_1692, 0);
    revng_abort("A longjmp was taken");
  } else {
    generic32_t var_0;
    generic32_t var_1;
    function_0x86f4_Code_arm();
    stack.offset_4 = 0;
    stack.offset_8 = 0;
    stack.offset_12 = 0;
    stack.offset_0.member_1 = 2;
    stack.offset_0.member_0.offset_2 = 48143;
    stack.offset_4 = **segment_0.text.offset_352->offset_16;
    function_0x873c_Code_arm();
    function_0x86c4_Code_arm();
    function_0x8730_Code_arm();
    function_0x8688_Code_arm();
    var_0 = 0;
    var_1 = 65535;
    while (true) {
      generic32_t var_2;
      generic32_t var_3;
      var_2 = var_1;
      var_3 = 0;
      generic8_t var_4;
      do {
        function_0x8718_Code_arm();
        var_4 = var_2 == var_0 + 2 + (var_3 << 1);
        var_3 = var_3 + 1;
      } while (!(var_4));
      var_1 = var_2 + 65535;
      function_0x8664_Code_arm();
      var_0 = var_2;
    }
  }
}

_ABI(AAPCS) _Noreturn
void function_0x87c0_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, struct_124 *argument_3) {
  struct_110 stack;
  function_0x8700_Code_arm();
  if (!argument_3) {
    function_0x8658_Code_arm(segment_0.text.offset_1692, 0);
    revng_abort("A longjmp was taken");
  } else {
    generic32_t var_0;
    generic32_t var_1;
    function_0x86f4_Code_arm();
    stack.offset_4 = 0;
    stack.offset_8 = 0;
    stack.offset_12 = 0;
    stack.offset_0.member_1 = 2;
    stack.offset_0.member_0.offset_2 = 48143;
    stack.offset_4 = **argument_3->offset_16;
    function_0x873c_Code_arm();
    function_0x86c4_Code_arm();
    function_0x8730_Code_arm();
    function_0x8688_Code_arm();
    var_0 = 0;
    var_1 = 65535;
    while (true) {
      generic32_t var_2;
      generic32_t var_3;
      var_2 = var_1;
      var_3 = 0;
      generic8_t var_4;
      do {
        function_0x8718_Code_arm();
        var_4 = var_2 == var_0 + 2 + (var_3 << 1);
        var_3 = var_3 + 1;
      } while (!(var_4));
      var_1 = var_2 + 65535;
      function_0x8664_Code_arm();
      var_0 = var_2;
    }
  }
}

_ABI(AAPCS) _Noreturn
void function_0x8810_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  function_0x86dc_Code_arm();
  revng_abort("A longjmp was taken");
}

_ABI(AAPCS) _Noreturn
void function_0x8818_Code_arm(generic32_t argument_0, generic32_t argument_1) {
  function_0x86dc_Code_arm();
  revng_abort("A longjmp was taken");
}

_ABI(AAPCS) _Noreturn
void function_0x885c_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t *argument_3) {
  struct_111 stack;
  struct_125 *var_0;
  *argument_3 = 1;
  var_0 = function_0x89ec_Code_arm((struct_125 *) *(generic32_t *) NULL);
  function_0x8700_Code_arm();
  if (!segment_0.text.offset_352) {
    function_0x8658_Code_arm(segment_0.text.offset_1692, 0);
    revng_abort("A longjmp was taken");
  } else {
    generic32_t var_1;
    generic32_t var_2;
    function_0x86f4_Code_arm();
    stack.offset_4 = 0;
    stack.offset_8 = 0;
    stack.offset_12 = 0;
    stack.offset_0.member_1 = 2;
    stack.offset_0.member_0.offset_2 = 48143;
    stack.offset_4 = **segment_0.text.offset_352->offset_16;
    function_0x873c_Code_arm();
    function_0x86c4_Code_arm();
    function_0x8730_Code_arm();
    function_0x8688_Code_arm();
    var_1 = 0;
    var_2 = 65535;
    while (true) {
      generic32_t var_3;
      generic32_t var_4;
      var_3 = var_2;
      var_4 = 0;
      generic8_t var_5;
      do {
        function_0x8718_Code_arm();
        var_5 = var_3 == var_1 + 2 + (var_4 << 1);
        var_4 = var_4 + 1;
      } while (!(var_5));
      var_2 = var_3 + 65535;
      function_0x8664_Code_arm();
      var_1 = var_3;
    }
  }
}

_ABI(AAPCS) _Noreturn
void function_0x8874_Code_arm(void) {
  function_0x8700_Code_arm();
  function_0x8658_Code_arm(segment_0.text.offset_1692, undef(generic32_t));
  revng_abort("A longjmp was taken");
}

_ABI(raw_arm) _Noreturn
void function_0x88b8_Code_arm(generic32_t register_r0 _REG(r0_arm), struct_104 stack_arguments _STACK) {
  struct_113 stack;
  stack_arguments.offset_0 = &(&stack)[1].offset_4;
  stack.offset_4 = register_r0;
  stack.offset_0 = segment_0.text.offset_416;
  function_0x8694_Code_arm(segment_0.text.offset_420);
  revng_abort("A longjmp was taken");
}

_ABI(AAPCS)
void function_0x88f4_Code_arm(void) {
  revng_abort("");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_51 function_0x8918_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  struct_114 stack;
  stack.offset_0 = register_r3;
  stack.offset_4 = revng_undefined_r14();
  if ((!(segment_0.text.offset_512 - segment_0.text.offset_508 < 7)) && (*(generic32_t *) "")) {
    ((rawfunction_55 *) *(generic32_t *) "")(undef(generic32_t));
  }
  return (artificial_struct_returned_by_rawfunction_51) { segment_0.text.offset_508, register_r1, register_r2, stack.offset_0 };
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_70 function_0x8958_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  struct_115 stack;
  stack.offset_0 = register_r3;
  stack.offset_4 = revng_undefined_r14();
  if ((!(((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31) < 2)) && (*(generic32_t *) "")) {
    ((rawfunction_85 *) *(generic32_t *) "")((int32_t) (((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31)) >> 1, undef(generic32_t));
  }
  return (artificial_struct_returned_by_rawfunction_70) { register_r0, (int32_t) (((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31)) >> 1, register_r2, stack.offset_0 };
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_71 function_0x895c_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), struct_103 stack_arguments _STACK) {
  if ((!(((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31) < 2)) && (*(generic32_t *) "")) {
    ((cabifunction_205 *) *(generic32_t *) "")(register_r0, (int32_t) (((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31)) >> 1);
    revng_abort("A longjmp was taken");
  }
  return (artificial_struct_returned_by_rawfunction_71) { register_r0, (int32_t) (((int32_t) (register_r1 - register_r0) >> 2) + ((uint32_t) ((int32_t) (register_r1 - register_r0) >> 2) >> 31)) >> 1, (struct_126 *) undef(generic32_t), stack_arguments.offset_0 };
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_72 function_0x8978_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  ((cabifunction_207 *) register_r3)();
  revng_abort("A longjmp was taken");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_73 function_0x8990_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm)) {
  struct_116 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  stack.offset_4 = revng_undefined_r14();
  var_0 = register_r0;
  var_1 = register_r1;
  var_2 = register_r2;
  if (!*segment_0.text.offset_620) {
    generic32_t var_3;
    generic32_t var_4;
    generic32_t var_5;
    generic32_t var_6;
    artificial_struct_returned_by_rawfunction_51 var_7;
    var_7 = function_0x8918_Code_arm(register_r0, register_r1, register_r2, 0);
    var_6 = var_7.register_r0;
    var_0 = var_6;
    var_5 = var_7.register_r1;
    var_1 = var_5;
    var_4 = var_7.register_r2;
    var_2 = var_4;
    var_3 = var_7.register_r3;
    *segment_0.text.offset_620 = '\001';
  }
  return (artificial_struct_returned_by_rawfunction_73) { var_0, var_1, var_2 };
}

_ABI(AAPCS)
void function_0x899c_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  if (argument_3) {
    return;
  }
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  artificial_struct_returned_by_rawfunction_51 var_4;
  var_4 = function_0x8918_Code_arm(argument_0, argument_1, argument_2, 0);
  var_3 = var_4.register_r0;
  var_2 = var_4.register_r1;
  var_1 = var_4.register_r2;
  var_0 = var_4.register_r3;
  *(generic8_t *) NULL = '\001';
  revng_abort("A longjmp was taken");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_75 function_0x89b8_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  struct_117 stack;
  stack.offset_0 = register_r3;
  stack.offset_4 = revng_undefined_r14();
  if ((*segment_0.text.offset_668) && (*(generic32_t *) "")) {
    ((rawfunction_93 *) *(generic32_t *) "")(undef(generic32_t));
  }
  generic32_t var_0;
  var_0 = stack.offset_0;
  if (!(((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31) < 2)) {
    var_0 = stack.offset_0;
    if (*(generic32_t *) "") {
      ((rawfunction_92 *) *(generic32_t *) "")((int32_t) (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31)) >> 1, undef(generic32_t));
      var_0 = stack.offset_0;
    }
  }
  return (artificial_struct_returned_by_rawfunction_75) { segment_0.text.offset_572, (int32_t) (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31)) >> 1, register_r2, var_0 };
}

_ABI(AAPCS) _Noreturn
void function_0x89c0_Code_arm(generic32_t *argument_0) {
  if ((*argument_0) && (*(generic32_t *) "")) {
    ((cabifunction_209 *) *(generic32_t *) "")();
  }
  if (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31) < 2) {
    revng_abort("A longjmp was taken");
  } else {
    if (!*(generic32_t *) "") {
      revng_abort("A longjmp was taken");
    } else {
      ((cabifunction_208 *) *(generic32_t *) "")(segment_0.text.offset_572, (int32_t) (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31)) >> 1);
      revng_abort("A longjmp was taken");
    }
  }
}

_ABI(AAPCS) _Noreturn
void function_0x89d4_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  ((cabifunction_211 *) argument_3)();
  if (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31) < 2) {
    revng_abort("A longjmp was taken");
  } else {
    if (!*(generic32_t *) "") {
      revng_abort("A longjmp was taken");
    } else {
      ((cabifunction_210 *) *(generic32_t *) "")(segment_0.text.offset_572, (int32_t) (((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) + ((uint32_t) ((int32_t) (segment_0.text.offset_576 - segment_0.text.offset_572) >> 2) >> 31)) >> 1);
      revng_abort("A longjmp was taken");
    }
  }
}

_ABI(AAPCS)
struct_125 *function_0x89ec_Code_arm(struct_125 *argument_0) {
  struct_107 stack;
  generic32_t var_0;
  stack.offset_12 = revng_undefined_r14();
  function_0x86b8_Code_arm();
  var_0 = argument_0;
  generic32_t var_1;
  do {
    var_1 = var_0;
    var_0 = var_1 + 1;
  } while ((*(generic16_t *) (argument_0->offset_0.member_0 + (((struct_125 *) var_1)->offset_0.member_1 << 1)) & 0x2000));
  function_0x8670_Code_arm(var_1);
  return (struct_125 *) var_1;
}

_ABI(AAPCS)
void function_0x8a64_Code_arm(struct_126 *argument_0) {
  struct_108 stack;
  stack.offset_28 = revng_undefined_r14();
  if (argument_0) {
    generic64_t var_0;
    generic32_t var_1;
    generic32_t var_2;
    var_0 = 0;
    var_1 = 0;
    var_2 = argument_0;
    generic8_t var_3;
    do {
      function_0x86d0_Code_arm(var_2, 124);
      *(generic8_t *) (var_0 + (uint64_t) argument_0) = '\000';
      var_2 = var_2 + 1;
      var_3 = (pointer_or_number32_t) argument_0 + 1 == 0 - var_1;
      var_1 = var_1 + 1;
      var_0 = var_0 + 1;
    } while (!(var_3));
  }
}

_ABI(AAPCS) _Noreturn
void function_0x8d24_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t *argument_3) {
  *(generic8_t *) NULL = (number8_t) argument_2;
  if (*argument_3 == argument_2) {
    function_0x8658_Code_arm(segment_0.text.offset_1684, undef(generic32_t));
    function_0x8a64_Code_arm((struct_126 *) undef(generic32_t));
    function_0x8724_Code_arm();
    revng_abort("A longjmp was taken");
  } else {
    function_0x867c_Code_arm(undef(generic32_t));
    function_0x8724_Code_arm();
    revng_abort("A longjmp was taken");
  }
}

_ABI(AAPCS) _Noreturn
void function_0x8dbc_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2) {
  function_0x8658_Code_arm(argument_0, argument_1);
  revng_abort("A longjmp was taken");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_80 function_0x8de8_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  struct_118 stack;
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  artificial_struct_returned_by_rawfunction_27 var_7;
  stack.offset_0 = register_r3;
  stack.offset_28 = revng_undefined_r14();
  var_7 = function_0x8620_Code_arm(register_r0, register_r1, register_r2, register_r3);
  var_3 = var_7.register_r0;
  var_4 = var_3;
  var_2 = var_7.register_r1;
  var_5 = var_2;
  var_1 = var_7.register_r2;
  var_6 = var_1;
  var_0 = var_7.register_r3;
  if (!(segment_0.text.offset_1788 - segment_0.text.offset_1792 < 12 && segment_0.text.offset_1788 - segment_0.text.offset_1792 > 7)) {
    generic32_t var_8;
    var_8 = 0;
    generic32_t var_9;
    do {
      var_9 = segment_0.text.offset_1792 + (pointer_or_number32_t) function_0x8e10_Code_arm + (var_8 << 2);
      var_8 = var_8 + 1;
      ((rawfunction_98 *) *(generic32_t *) var_9)(register_r0, register_r1, register_r2, undef(generic32_t));
    } while (var_8 != (int32_t) (segment_0.text.offset_1788 - segment_0.text.offset_1792 - 8) >> 2);
    var_4 = register_r0;
    var_5 = register_r1;
    var_6 = register_r2;
  }
  return (artificial_struct_returned_by_rawfunction_80) { var_4, var_5, var_6, stack.offset_0 };
}

_ABI(AAPCS) _Noreturn
void function_0x8df8_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  artificial_struct_returned_by_rawfunction_27 var_5;
  var_5 = function_0x8620_Code_arm(argument_0, argument_1, argument_2, argument_3);
  var_3 = var_5.register_r0;
  var_2 = var_5.register_r1;
  var_1 = var_5.register_r2;
  var_0 = var_5.register_r3;
  var_4 = 0;
  generic32_t var_6;
  do {
    var_6 = var_4;
    var_4 = var_6 + 1;
    ((cabifunction_212 *) *(generic32_t *) (segment_0.text.offset_1792 + (pointer_or_number32_t) function_0x8e10_Code_arm + (var_6 << 2)))(undef(generic32_t), undef(generic32_t), argument_2);
  } while (var_6 != (pointer_or_number32_t) -1);
  revng_abort("A longjmp was taken");
}

_ABI(AAPCS) _Noreturn
void function_0x8e00_Code_arm(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  artificial_struct_returned_by_rawfunction_27 var_5;
  var_5 = function_0x8620_Code_arm(argument_0, argument_1, argument_2, argument_3);
  var_3 = var_5.register_r0;
  var_2 = var_5.register_r1;
  var_1 = var_5.register_r2;
  var_0 = var_5.register_r3;
  var_4 = 0;
  generic32_t var_6;
  do {
    var_6 = var_4;
    var_4 = var_6 + 1;
    ((cabifunction_213 *) *(generic32_t *) NULL)(undef(generic32_t), undef(generic32_t), undef(generic32_t));
  } while (var_6 != (pointer_or_number32_t) -1);
  revng_abort("A longjmp was taken");
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_83 function_0x8e10_Code_arm(void) {
  generic32_t var_0;
  generic32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  generic32_t var_4;
  generic32_t var_5;
  generic32_t var_6;
  generic32_t var_7;
  generic32_t var_8;
  generic32_t var_9;
  artificial_struct_returned_by_rawfunction_102 var_10;
  do {
    var_10 = ((rawfunction_102 *) *(generic32_t *) (var_7 + 4))(var_8, var_9, var_6);
    var_5 = var_10.register_r4;
    var_4 = var_10.register_r5;
    var_7 = var_4;
    var_3 = var_10.register_r6;
    var_2 = var_10.register_r7;
    var_8 = var_2;
    var_1 = var_10.register_r8;
    var_9 = var_1;
    var_0 = var_10.register_r10;
    var_6 = var_0;
  } while (var_5 != var_3);
  revng_abort("A longjmp was taken");
}

_ABI(AAPCS)
void function_0x8e4c_Code_arm(void) {
}

_ABI(raw_arm)
artificial_struct_returned_by_rawfunction_54 function_0x8e50_Code_arm(generic32_t register_r0 _REG(r0_arm), generic32_t register_r1 _REG(r1_arm), generic32_t register_r2 _REG(r2_arm), generic32_t register_r3 _REG(r3_arm)) {
  *(generic32_t *) (revng_undefined_local_sp() - 8) = register_r3;
  *(generic32_t *) (revng_undefined_local_sp() - 4) = revng_undefined_r14();
  return (artificial_struct_returned_by_rawfunction_54) { register_r0, register_r1, register_r2, *(generic32_t *) (revng_undefined_local_sp() - 8) };
}