ffsx/testing

0 lines

305.26 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_8) {
    ((cabifunction_89 *) segment_3.got.offset_8)();
  }
}

_ABI(SystemV_x86_64)
int32_t putchar_2(int32_t c) {
  int32_t var_0;
  var_0 = putchar(c);
  return var_0;
}

_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 *format) {
  int32_t var_0;
  var_0 = printf(format);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t __isoc99_scanf_2(const int8_t *format) {
  int32_t var_0;
  var_0 = __isoc99_scanf(format);
  return var_0;
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x4010b0_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_65 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main((cabifunction_33 *) function_0x401386_Code_x86_64, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_33 *) function_0x4015b0_Code_x86_64, (cabifunction_32 *) function_0x401620_Code_x86_64, (cabifunction_32 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void function_0x4010f0_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
void function_0x401160_Code_x86_64(void) {
  if (!segment_3.bss.offset_0) {
    function_0x4010f0_Code_x86_64();
    segment_3.bss.offset_0 = '\001';
  }
}

_ABI(SystemV_x86_64)
void function_0x401190_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
void function_0x401196_Code_x86_64(generic64_t argument_0) {
  struct_60 stack;
  int32_t var_0;
  int32_t var_1;
  stack.offset_8 = argument_0;
  var_1 = puts_2((const int8_t *) "\nEnter Note Below");
  var_0 = __isoc99_scanf_2((const int8_t *) "%s");
  stack.offset_8->offset_0 = stack.offset_16;
  stack.offset_8->offset_8 = stack.offset_24;
  stack.offset_8->offset_16 = stack.offset_32;
  stack.offset_8->offset_24 = stack.offset_40;
  stack.offset_8->offset_32 = stack.offset_48;
  stack.offset_8->offset_40 = stack.offset_56;
  stack.offset_8->offset_48 = stack.offset_64;
  stack.offset_8->offset_56 = stack.offset_72;
  stack.offset_8->offset_64 = stack.offset_80;
  stack.offset_8->offset_72 = stack.offset_88;
  stack.offset_8->offset_80 = stack.offset_96;
  stack.offset_8->offset_88 = stack.offset_104;
  stack.offset_8->offset_96 = stack.offset_112;
  stack.offset_8->offset_104 = stack.offset_120;
  stack.offset_8->offset_112 = stack.offset_128;
  stack.offset_8->offset_120 = stack.offset_136;
  stack.offset_8->offset_128 = stack.offset_144;
  stack.offset_8->offset_136 = stack.offset_152;
  stack.offset_8->offset_144 = stack.offset_160;
  stack.offset_8->offset_152 = stack.offset_168;
  stack.offset_8->offset_160 = stack.offset_176;
  stack.offset_8->offset_168 = stack.offset_184;
  stack.offset_8->offset_176 = stack.offset_192;
  stack.offset_8->offset_184 = stack.offset_200;
}

_ABI(SystemV_x86_64)
void function_0x4012d9_Code_x86_64(generic64_t argument_0) {
  struct_61 stack;
  int32_t var_0;
  stack.offset_8 = argument_0;
  var_0 = putchar_2((int32_t) 10);
  stack.offset_28 = 0;
  if ((int32_t) *stack.offset_8 > (int32_t) 0) {
    int32_t var_1;
    do {
      var_1 = printf_2((const int8_t *) "Note %d: %s\n");
      stack.offset_28 = stack.offset_28 + 1;
    } while ((int64_t) ((number64_t) stack.offset_28 << 32) < (int64_t) ((number64_t) *stack.offset_8 << 32));
  }
}

_ABI(SystemV_x86_64)
void function_0x40133f_Code_x86_64(void) {
  int32_t var_0;
  int32_t var_1;
  int32_t var_2;
  int32_t var_3;
  int32_t var_4;
  var_4 = puts_2((const int8_t *) "\n### NOTEPAD ###");
  var_3 = puts_2((const int8_t *) "1. Create Note");
  var_2 = puts_2((const int8_t *) "2. Read Notes");
  var_1 = puts_2((const int8_t *) "3. Exit");
  var_0 = puts_2((const int8_t *) "Enter Choice Below");
}

_ABI(SystemV_x86_64)
generic64_t function_0x401386_Code_x86_64(void) {
  struct_63 stack;
  int32_t var_0;
  stack.offset_192 = 0;
  stack.offset_188 = 0;
  function_0x40133f_Code_x86_64();
  var_0 = __isoc99_scanf_2((const int8_t *) "%d");
  if (stack.offset_188 != 3) {
    generic32_t var_1;
    var_1 = stack.offset_188;
    int32_t var_2;
    do {
      int32_t var_3;
      if ((int32_t) var_1 > (int32_t) 3) {
        var_3 = puts_2((const int8_t *) "\nInvalid option");
      } else {
        switch ((number32_t) var_1) {
          case 1:
          {
            if (stack.offset_192 == 20) {
              int32_t var_4;
              var_4 = puts_2((const int8_t *) "\nCannot store any more notes!");
            } else {
              function_0x401196_Code_x86_64((generic64_t) &stack);
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3772) = stack.offset_0;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3764) = stack.offset_8;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3756) = stack.offset_16;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3748) = stack.offset_24;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3740) = stack.offset_32;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3732) = stack.offset_40;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3724) = stack.offset_48;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3716) = stack.offset_56;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3708) = stack.offset_64;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3700) = stack.offset_72;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3692) = stack.offset_80;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3684) = stack.offset_88;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3676) = stack.offset_96;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3668) = stack.offset_104;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3660) = stack.offset_112;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3652) = stack.offset_120;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3644) = stack.offset_128;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3636) = stack.offset_136;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3628) = stack.offset_144;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3620) = stack.offset_152;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3612) = stack.offset_160;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3604) = stack.offset_168;
              *(generic64_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3596) = stack.offset_176;
              *(generic32_t *) ((pointer_or_number64_t) &stack.offset_192 + 3776 + (number64_t) stack.offset_192 * 188 - 3588) = stack.offset_184;
              stack.offset_192 = stack.offset_192 + 1;
            }
          } break;
          case 2:
          {
            function_0x4012d9_Code_x86_64((generic64_t) &stack.offset_192);
          } break;
          default:
          {
            var_3 = puts_2((const int8_t *) "\nInvalid option");
          } break;
        }
      }
      stack.offset_188 = 0;
      function_0x40133f_Code_x86_64();
      var_2 = __isoc99_scanf_2((const int8_t *) "%d");
      var_1 = stack.offset_188;
    } while (var_1 != 3);
  }
  return 0;
}

_ABI(SystemV_x86_64)
struct_94 function_0x4015b0_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  struct_64 stack;
  struct_94 var_0;
  stack.offset_48 = &segment_3;
  function_0x401000_Code_x86_64();
  ((cabifunction_98 *) segment_3.init_array.offset_0)(argument_0 & 0xFFFFFFFF, argument_1, argument_2);
  var_0.offset_8 = argument_2;
  return var_0;
}

_ABI(SystemV_x86_64)
void function_0x401620_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
void function_0x401628_Code_x86_64(void) {
}