toni/equivalent-ejector-owe

0 lines

53.38 KB

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

_ABI(SystemV_x86_64)
void _init(void) {
  if (segment_3.got.offset_16) {
    ((cabifunction_75 *) segment_3.got.offset_16)();
  }
}

_ABI(SystemV_x86_64)
int32_t puts_2(const int8_t *str) {
  int32_t var_0;
  var_0 = puts(str);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t printf_2(const int8_t *argument_0) {
  int32_t var_0;
  var_0 = printf(argument_0);
  return var_0;
}

_ABI(SystemV_x86_64)
uint32_t sleep_2(uint32_t argument_0) {
  uint32_t var_0;
  var_0 = sleep(argument_0);
  return var_0;
}

_ABI(SystemV_x86_64) _Noreturn
void _start(generic64_t argument_0, generic64_t argument_1, struct_58 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main((cabifunction_36 *) main, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_36 *) NULL, (cabifunction_35 *) NULL, (cabifunction_35 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void deregister_tm_clones(generic64_t argument_0) {
}

_ABI(SystemV_x86_64)
void register_tm_clones(void) {
}

_ABI(SystemV_x86_64)
void __do_global_dtors_aux(void) {
  if (!segment_3.bss.offset_0) {
    generic64_t var_0;
    if (segment_3.got.offset_32) {
      var_0 = segment_3.data.offset_8;
      __cxa_finalize((void *) var_0);
    }
    deregister_tm_clones(var_0);
    segment_3.bss.offset_0 = '\001';
  }
}

_ABI(SystemV_x86_64)
void frame_dummy(void) {
}

_ABI(SystemV_x86_64)
int32_t main(void) {
  struct_55 stack;
  int32_t var_0;
  var_0 = puts_2((const int8_t *) "Starting sleep loop...");
  stack.offset_12 = 1;
  generic32_t var_1;
  int32_t var_2;
  uint32_t var_3;
  int32_t var_4;
  do {
    var_4 = printf_2((const int8_t *) "Sleeping for %d seconds...\n");
    var_3 = sleep_2(stack.offset_12);
    var_2 = printf_2((const int8_t *) "Woke up from sleep %d!\n");
    var_1 = stack.offset_12;
    stack.offset_12 = var_1 + 1;
  } while (!((int32_t) var_1 > (int32_t) 2 && (int32_t) var_1 < (int32_t) 2147483647));
  int32_t var_5;
  var_5 = puts_2((const int8_t *) "Done.");
  return (int32_t) 0;
}

_ABI(SystemV_x86_64)
void _fini(void) {
}