huynhductin77/r6230

0 lines

83.44 KB

_ABI(raw_mipsel) _Noreturn
void destroyIPPJob(void) {
  struct_316 stack;
  pointer_or_number32_t var_0;
  pointer_or_number32_t var_1;
  generic32_t var_2;
  generic32_t var_3;
  artificial_struct_returned_by_rawfunction_51 var_4;
  stack.offset_52 = 11;
  stack.offset_60 = revng_undefined_ra();
  ((rawfunction_121 *) (*(generic32_t *) NULL & 0xFFFFFFFE))(*(generic32_t *) NULL, undef(generic32_t));
  var_3 = *(generic32_t *) *(generic32_t *) NULL;
  var_2 = 1;
  if (var_3) {
    var_4 = ((rawfunction_51 *) (*(generic32_t *) (stack.offset_16 - 32456) & 0xFFFFFFFE))(*(generic32_t *) (stack.offset_16 - 32728) - 7696, *(generic32_t *) (var_3 + 404), undef(generic32_t), undef(generic32_t));
    var_1 = var_4.register_v0;
    var_0 = var_4.register_v1;
    ((rawfunction_123 *) (*(generic32_t *) (stack.offset_16 - 32436) & 0xFFFFFFFE))(var_3, *(generic32_t *) (var_3 + 404), undef(generic32_t));
    function_0x40a030_Code_mipsel(var_2, 2, undef(generic32_t));
  }
  generic32_t var_5;
  var_5 = 0;
  while (true) {
    generic32_t var_6;
    var_6 = var_5 + 2;
    if (var_5 + 1 != 10) {
      generic32_t var_7;
      var_7 = *(generic32_t *) (*(generic32_t *) NULL + 4 + (var_5 << 2));
      var_5 = var_5 + 1;
      if (!var_7) {
        continue;
      }
      var_2 = var_6;
      var_3 = var_7;
      break;
    }
    ((rawfunction_124 *) (*(generic32_t *) (stack.offset_16 - 32420) & 0xFFFFFFFE))(*(generic32_t *) (stack.offset_16 - 32652), undef(generic32_t));
    ((rawfunction_125 *) (*(generic32_t *) (stack.offset_16 - 32368) & 0xFFFFFFFE))(*(generic32_t *) (stack.offset_16 - 32684) - 2376, undef(generic32_t));
    ((rawfunction_126 *) (*(generic32_t *) (stack.offset_16 - 32368) & 0xFFFFFFFE))(*(generic32_t *) (stack.offset_16 - 32652), undef(generic32_t));
    revng_abort("A longjmp was taken");
  }
  var_4 = ((rawfunction_51 *) (*(generic32_t *) (stack.offset_16 - 32456) & 0xFFFFFFFE))(*(generic32_t *) (stack.offset_16 - 32728) - 7696, *(generic32_t *) (var_3 + 404), undef(generic32_t), undef(generic32_t));
  var_1 = var_4.register_v0;
  var_0 = var_4.register_v1;
  ((rawfunction_123 *) (*(generic32_t *) (stack.offset_16 - 32436) & 0xFFFFFFFE))(var_3, *(generic32_t *) (var_3 + 404), undef(generic32_t));
  function_0x40a030_Code_mipsel(var_2, 2, undef(generic32_t));
}