lestertan20313/floor-wink-arithmetic

0 lines

34.79 KB

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

_ABI(SystemV_x86_64)
void function_0x401000_Code_x86_64(void) {
  if (segment_3.got.offset_176) {
    ((cabifunction_197 *) segment_3.got.offset_176)();
  }
}

_ABI(SystemV_x86_64)
void setbuf_2(FILE_4 *fp, int8_t *buf) {
  setbuf(fp, buf);
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x401260_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_184 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main((cabifunction_34 *) function_0x408fe0_Code_x86_64, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_34 *) NULL, (cabifunction_33 *) NULL, (cabifunction_33 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void function_0x4043e0_Code_x86_64(struct_186 *argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
  struct_180 stack;
  generic32_t var_0;
  generic64_t var_1;
  generic64_t var_2;
  generic32_t var_3;
  *(generic64_t *) &stack = 514;
  segment_1.text.offset_12684 = segment_1.text.offset_12684 ^ 0xAEEE8E1;
  helper_write_eflags_wrapper(NULL, *(generic64_t *) &stack, 2375936, 514, &var_0, &var_1, &var_2, &var_3);
}

_ABI(SystemV_x86_64)
generic64_t function_0x408fe0_Code_x86_64(void) {
  setbuf_2((FILE_4 *) segment_3.bss.stdout, (int8_t *) NULL);
  function_0x4043e0_Code_x86_64((struct_186 *) segment_3.bss.stdout, 0, undef(generic64_t), undef(generic64_t));
  return 0;
}

_ABI(SystemV_x86_64)
void function_0x409010_Code_x86_64(void) {
}