revng-3064e6a/humidity-stucco-almanac

0 lines

133.77 KB

_ABI(SystemV_x86) _Noreturn
void function_0x804a8b8_Code_x86(generic32_t argument_0, generic32_t argument_1, generic32_t argument_2, generic32_t argument_3, generic32_t argument_4, generic32_t argument_5) {
  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;
  generic32_t var_10;
  generic32_t var_11;
  generic32_t var_12;
  generic32_t var_13;
  generic32_t var_14;
  generic32_t var_15;
  generic32_t var_16;
  generic32_t var_17;
  generic32_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  generic32_t var_21;
  generic32_t var_22;
  generic32_t var_23;
  generic32_t var_24;
  generic32_t var_25;
  generic32_t var_26;
  generic32_t var_27;
  generic32_t var_28;
  generic32_t var_29;
  generic32_t var_30;
  generic32_t var_31;
  generic32_t var_32;
  generic32_t var_33;
  generic32_t var_34;
  generic32_t var_35;
  generic32_t var_36;
  generic32_t var_37;
  generic32_t var_38;
  generic32_t var_39;
  generic32_t var_40;
  generic32_t var_41;
  generic32_t var_42;
  generic32_t var_43;
  generic32_t var_44;
  generic32_t var_45;
  generic32_t var_46;
  generic32_t var_47;
  generic32_t var_48;
  generic32_t var_49;
  generic32_t var_50;
  generic32_t var_51;
  var_46 = argument_0;
  var_47 = argument_1;
  var_48 = argument_2;
  var_49 = argument_3;
  var_50 = argument_4;
  var_51 = argument_5;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 452) = var_50 - 15897;
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 456) = *(generic32_t *) revng_undefined_local_sp() - 1920 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 460) = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464) = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_51 = var_50 - 15897;
  var_50 = var_50;
  var_49 = *(generic32_t *) revng_undefined_local_sp() - 1152 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_48 = *(generic32_t *) revng_undefined_local_sp() - 1920 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_47 = *(generic32_t *) revng_undefined_local_sp() - 1792 + (*(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 44) << 3);
  var_46 = var_46;
  *(generic32_t *) revng_undefined_local_sp() = *(generic32_t *) revng_undefined_local_sp();
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 452);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 472) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 456);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 476) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 460);
  *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 480) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464);
  *(generic32_t *) (revng_undefined_local_sp() - 4) = 51;
  *(generic32_t *) (revng_undefined_local_sp() - 8) = *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468);
  helper_lret_protected_wrapper(NULL, 1, 0, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 468), *(generic32_t *) revng_undefined_local_sp(), 51, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 464), function_0x804a986_Code_x86, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 476), (pointer_or_number32_t) &segment_1 + 6533, 0, *(generic32_t *) (*(generic32_t *) revng_undefined_local_sp() - 472), revng_undefined_local_sp() - 8, 0, 0, 0, 514, 272646323, 257, 43, 4294967295, 13628160, 35, 13630208, 43, 13628160, 43, 4294967295, 13628160, 0, 4294967295, 13628160, 43, 4294967295, 13628160, 0, 65535, 1107140608, 71, 2147549185, 328224, 0, 0, 543, 4294967295, 0, 4294967295, 0, &var_0, &var_1, &var_2, &var_3, &var_4, &var_5, &var_6, &var_7, &var_8, &var_9, &var_10, &var_11, &var_12, &var_13, &var_14, &var_15, &var_16, &var_17, &var_18, &var_19, &var_20, &var_21, &var_22, &var_23, &var_24, &var_25, &var_26, &var_27, &var_28, &var_29, &var_30, &var_31, &var_32, &var_33, &var_34, &var_35, &var_36, &var_37, &var_38, &var_39, &var_40, &var_41, &var_42, &var_43, &var_44, &var_45);
  revng_abort("A longjmp was taken");
}