revng-demos/linked-list

0 lines

88.1 KB

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

_ABI(SystemV_x86_64)
void unreserved__init(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
  call_gmon_start(_argument0, _argument1, _argument2, _argument3, _argument4, _argument5);
}

_ABI(SystemV_x86_64)
_struct_1871 unreserved___libc_start_main_(_struct_1868 *_argument0, pointer_or_number64_t _argument1, pointer_or_number64_t _argument2, pointer_or_number64_t _argument3, pointer_or_number64_t _argument4, pointer_or_number64_t _argument5) {
  _struct_1871 _var_0;
  _struct_1871 _var_1;
  _var_0 = unreserved___libc_start_main(_argument0, _argument1, _argument2, _argument3, _argument4, _argument5);
  _var_1._offset_0 = _var_0._offset_0;
  _var_1._offset_8 = _var_0._offset_8;
  return _var_1;
}

_ABI(SystemV_x86_64)
_struct_1871 unreserved___cxa_finalize_(_struct_1868 *_argument0, pointer_or_number64_t _argument1, pointer_or_number64_t _argument2, pointer_or_number64_t _argument3, pointer_or_number64_t _argument4, pointer_or_number64_t _argument5) {
  _struct_1871 _var_0;
  _struct_1871 _var_1;
  _var_0 = unreserved___cxa_finalize(_argument0, _argument1, _argument2, _argument3, _argument4, _argument5);
  _var_1._offset_0 = _var_0._offset_0;
  _var_1._offset_8 = _var_0._offset_8;
  return _var_1;
}

_ABI(SystemV_x86_64)
_struct_1871 free_(_struct_1868 *_argument0, pointer_or_number64_t _argument1, pointer_or_number64_t _argument2, pointer_or_number64_t _argument3, pointer_or_number64_t _argument4, pointer_or_number64_t _argument5) {
  _struct_1871 _var_0;
  _struct_1871 _var_1;
  _var_0 = free(_argument0, _argument1, _argument2, _argument3, _argument4, _argument5);
  _var_1._offset_0 = _var_0._offset_0;
  _var_1._offset_8 = _var_0._offset_8;
  return _var_1;
}

_ABI(SystemV_x86_64) _Noreturn
void unreserved__start(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2) {
  _struct_1871 _var_0;
  *(generic64_t *) ((__init_local_sp() + 8 & 0xFFFFFFFFFFFFFFF0) - 16) = (__init_local_sp() + 8 & 0xFFFFFFFFFFFFFFF0) - 8;
  *(generic64_t *) ((__init_local_sp() + 8 & 0xFFFFFFFFFFFFFFF0) - 24) = (generic64_t) &_segment_0x400000_Generic64_2968.unreserved__text._offset_40 + 1;
  _var_0 = unreserved___libc_start_main_((_struct_1868 *) ((generic64_t) &_segment_0x400000_Generic64_2968.unreserved__text._offset_40 + 344), (pointer_or_number64_t) *(generic64_t *) __init_local_sp(), (pointer_or_number64_t) (__init_local_sp() + 8), (pointer_or_number64_t) ((generic64_t) &_segment_0x400000_Generic64_2968.unreserved__text._offset_40 + 408), (pointer_or_number64_t) ((generic64_t) &_segment_0x400000_Generic64_2968.unreserved__text._offset_40 + 520), (pointer_or_number64_t) _argument2);
}

_ABI(SystemV_x86_64)
void call_gmon_start(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
  if (_segment_0x401d98_Generic64_657.unreserved__got._offset_0) {
    ((_cabifunction_1894 *) _segment_0x401d98_Generic64_657.unreserved__got._offset_0)();
  }
}

_ABI(SystemV_x86_64)
void deregister_tm_clones(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
}

_ABI(SystemV_x86_64)
void register_tm_clones(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
}

_ABI(SystemV_x86_64)
void unreserved___do_global_dtors_aux(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
  typedef struct _PACKED _struct_1863 _struct_1863;
  struct _PACKED _struct_1863 {
    uint8_t _padding_at_0[8];
  } _stack;
  if (!_segment_0x401d98_Generic64_657.unreserved__bss.completed_0) {
    generic64_t _var_0;
    generic64_t _var_1;
    _var_0 = _argument0;
    _var_1 = _argument2;
    if (_segment_0x401d98_Generic64_657.unreserved__got._offset_24) {
      _struct_1871 _var_2;
      _var_0 = _segment_0x401d98_Generic64_657.unreserved__data._offset_8;
      _var_2 = unreserved___cxa_finalize_((_struct_1868 *) _var_0, (pointer_or_number64_t) _argument1, (pointer_or_number64_t) _argument2, (pointer_or_number64_t) _argument3, (pointer_or_number64_t) _argument4, (pointer_or_number64_t) _argument5);
      _var_1 = _var_2._offset_8;
    }
    *(generic64_t *) ((generic64_t) &_stack - 8) = (generic64_t) &_segment_0x400000_Generic64_2968.unreserved__text._offset_40 + 196;
    deregister_tm_clones(_var_0, _argument1, _var_1, _argument3, _argument4, _argument5);
    _segment_0x401d98_Generic64_657.unreserved__bss.completed_0 = '\001';
  }
}

_ABI(SystemV_x86_64)
void frame_dummy(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
}

_ABI(SystemV_x86_64)
_struct_1868 *init_list(void) {
  return (_struct_1868 *) NULL;
}

_ABI(SystemV_x86_64)
generic64_t release_list(_struct_1868 *_argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
  typedef struct _PACKED _struct_1864 _struct_1864;
  struct _PACKED _struct_1864 {
    generic64_t _offset_0;
  } _stack;
  _struct_1871 _var_0;
  _var_0 = free_(_argument0, (pointer_or_number64_t) _argument1, (pointer_or_number64_t) _argument2, (pointer_or_number64_t) _argument3, (pointer_or_number64_t) _argument4, (pointer_or_number64_t) _argument5);
  return _stack._offset_0;
}

_ABI(SystemV_x86_64)
_struct_1887 sum(_struct_1868 *_argument0) {
  generic64_t _var_0;
  generic64_t _var_1;
  _var_0 = 0;
  _var_1 = 0;
  generic64_t _var_2;
  do {
    _var_2 = _var_0 + _argument0->_offset_0[_var_1];
    _var_0 = _var_2;
    _var_1 = _var_1 + 1;
  } while (_var_1 != 5);
  _struct_1887 _var_3;
  _var_3._offset_0 = _var_2;
  return _var_3;
}

_ABI(SystemV_x86_64)
generic64_t compute(_struct_1868 *_argument0) {
  _struct_1868 *_var_0;
  generic64_t _var_1;
  _var_0 = _argument0;
  _var_1 = 0;
  _struct_1887 _var_2;
  do {
    _var_2 = sum(_var_0);
    _var_1 = _var_1 + _var_2._offset_0;
    _var_0 = _var_0->_offset_40;
  } while (_var_0);
  return _var_1;
}

_ABI(SystemV_x86_64)
generic64_t main(void) {
  generic64_t _var_0;
  _struct_1887 _var_1;
  generic64_t _var_2;
  _struct_1868 *_var_3;
  _var_3 = init_list();
  _var_2 = compute(_var_3);
  _var_1 = sum(_var_3);
  _var_0 = release_list(_var_3, _undef_generic64_t(), _var_1._offset_8, _undef_generic64_t(), _undef_generic64_t(), _undef_generic64_t());
  return (generic64_t) (_var_1._offset_0 + _var_2 != 42);
}

_ABI(SystemV_x86_64)
void unreserved___libc_csu_init(generic64_t _argument0, generic64_t _argument1, generic64_t _argument2, generic64_t _argument3, generic64_t _argument4, generic64_t _argument5) {
  _artificial_struct_returned_by__rawfunction_1860 _var_0;
  unreserved__init(_argument0, _argument1, _argument2, _argument3, _argument4, _argument5);
  _var_0 = ((_rawfunction_1860 *) _segment_0x401d98_Generic64_657.unreserved__init_array._offset_0)();
}

_ABI(SystemV_x86_64)
void unreserved___libc_csu_fini(void) {
}

_ABI(SystemV_x86_64)
void unreserved__fini(void) {
}