huynhductin77/r6230

0 lines

44.85 KB

_ABI(raw_mipsel)
generic32_t printerWrite(generic32_t register_a0 _REG(a0_mips), generic32_t register_a1 _REG(a1_mips), generic32_t register_a2 _REG(a2_mips), generic32_t register_a3 _REG(a3_mips)) {
  struct_329 stack;
  stack.offset_52 = revng_undefined__ra();
  stack.offset_44 = 4;
  if (((!(register_a2 > 10 || register_a2 < 1)) && (*(generic32_t *) (((register_a2 - 1) << 2) + (*(generic32_t *) NULL - 2320)))) && (!((int32_t) *(generic32_t *) *(generic32_t *) (((register_a2 - 1) << 2) + (*(generic32_t *) NULL - 2320)) < (int32_t) 0 || !register_a0))) {
    generic32_t var_0;
    var_0 = getPrinterStatus2(register_a2, register_a1, register_a2, register_a3);
    if (var_0 < 1 || var_0 > 2) {
      revng_abort("A longjmp was taken");
    } else {
      generic32_t var_1;
      generic32_t var_2;
      generic32_t var_3;
      var_1 = register_a3;
      var_2 = register_a2;
      var_3 = register_a1;
      generic32_t var_4;
      generic32_t var_5;
      generic32_t var_6;
      generic32_t var_7;
      generic32_t var_8;
      artificial_struct_returned_by_rawfunction_217 var_9;
      do {
        var_9 = ((rawfunction_217 *) (*(generic32_t *) (stack.offset_16 - 32312) & 0xFFFFFFFE))(1, var_3, var_2, var_1, undef(generic32_t));
        var_8 = var_9.register_v0;
        var_7 = var_9.register_a1;
        var_3 = var_7;
        var_6 = var_9.register_a2;
        var_2 = var_6;
        var_5 = var_9.register_a3;
        var_1 = var_5;
        var_4 = getPrinterStatus2(register_a2, var_3, var_2, var_1);
      } while (!(var_4 < 1 || var_4 > 2));
      revng_abort("A longjmp was taken");
    }
  }
  return 4294967295;
}