hijinks/pool-official-happily

0 lines

19.32 KB

_ABI(Microsoft_x86_cdecl) _Noreturn
void function_0x401ba8_Code_x86(void) {
  generic64_t var_0;
  generic16_t var_1;
  generic64_t var_2;
  generic16_t var_3;
  generic64_t var_4;
  generic16_t var_5;
  generic64_t var_6;
  generic16_t var_7;
  generic64_t var_8;
  generic16_t var_9;
  generic64_t var_10;
  generic16_t var_11;
  generic64_t var_12;
  generic16_t var_13;
  generic64_t var_14;
  generic16_t var_15;
  generic8_t var_16;
  generic64_t var_17;
  generic16_t var_18;
  generic32_t var_19;
  generic32_t var_20;
  helper_das_wrapper(NULL, undef(generic32_t), 24, 0, 0, undef(generic32_t), &var_19, &var_20);
  helper_fildl_FT0_wrapper(NULL, *(generic32_t *) NULL, &var_17, &var_18);
  helper_fsubr_ST0_FT0_wrapper(NULL, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, '\000', '\000', '\000', 'P', '\000', '\000', var_17, var_18, &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);
  revng_abort("A longjmp was taken");
}