jonasmki00/fetch-vomit-lycra

Artifacts

binary

helpers.h

0 lines

77.29 KB

#pragma once
#include <stdint.h>
#include <stdbool.h>
#include "primitive-types.h"

uint8_t bit_parity(uint8_t);

uint32_t llvm_fshl_i32(uint32_t, uint32_t, uint32_t);

uint32_t lshift(uint32_t, uint32_t);

void revng_abort(pointer32_t(void));

uint64_t helper_fistll_ST0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint16_t, uint8_t, uint8_t, uint8_t, pointer32_t(void), pointer32_t(void));

void helper_fpop_wrapper(pointer32_t(void), uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_load_seg_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_fmov_FT0_STN_wrapper(pointer32_t(void), uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, pointer32_t(void));

void helper_fcom_ST0_FT0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint16_t, uint8_t, uint8_t, uint64_t, uint16_t, pointer32_t(void), pointer32_t(void));

void helper_daa_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void));

void helper_fildl_FT0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_iret_protected_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

uint32_t helper_rcrb_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, pointer32_t(void));

void helper_lcall_protected_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_aas_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void));

void helper_das_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void));

void helper_fwait_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint16_t, uint64_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_fldl_FT0_wrapper(pointer32_t(void), uint64_t, uint16_t, uint16_t, uint16_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_fmul_ST0_FT0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint16_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint64_t, uint16_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_lret_protected_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_fsub_ST0_FT0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint16_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint8_t, uint64_t, uint16_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

void helper_into_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint32_t, uint64_t, uint64_t, uint64_t, uint32_t, uint32_t, uint32_t, uint32_t, pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void), pointer32_t(void));

uint32_t helper_rcll_wrapper(pointer32_t(void), uint32_t, uint32_t, uint32_t, pointer32_t(void));

uint32_t helper_fistt_ST0_wrapper(pointer32_t(void), uint32_t, uint16_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint64_t, uint16_t, uint16_t, uint8_t, uint8_t, pointer32_t(void), pointer32_t(void));

uint32_t revng_undefined_local_sp(void);

uint32_t llvm_bswap_i32(uint32_t);