mirror of
https://github.com/lifting-bits/remill
synced 2026-06-21 13:56:07 +00:00
Duncan Ogilvie
198 lines
6.1 KiB
C++
198 lines
6.1 KiB
C++
/*
|
|
* Copyright (c) 2017 Trail of Bits, Inc.
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#include "remill/Arch/Runtime/Intrinsics.h"
|
|
|
|
#include "remill/Arch/Runtime/Operators.h"
|
|
|
|
#define USED(sym) __remill_mark_as_used(reinterpret_cast<const void *>(&sym))
|
|
|
|
// This is two big hacks:
|
|
// 1) This makes sure that a symbol is treated as used and prevents it
|
|
// from being optimized away.
|
|
// 2) This makes sure that some functions are marked has having their
|
|
// addresses taken, and so this prevents dead argument elimination.
|
|
extern "C" void __remill_mark_as_used(const void *);
|
|
|
|
// Each architecture's semantics module defines this variable
|
|
// See https://github.com/lifting-bits/remill/pull/631#issuecomment-1279989004
|
|
extern State __remill_state;
|
|
|
|
#if defined(REMILL_ON_SPARC32) || defined(REMILL_ON_SPARC64)
|
|
extern RegisterWindow __remill_register_window;
|
|
#endif
|
|
|
|
// This is just a hack to make sure all these functions appear in the bitcode
|
|
// file!
|
|
extern "C" [[gnu::used]] void __remill_intrinsics(void) {
|
|
|
|
USED(__remill_state);
|
|
|
|
#if defined(REMILL_ON_SPARC32) || defined(REMILL_ON_SPARC64)
|
|
USED(__remill_register_window);
|
|
#endif
|
|
|
|
USED(__remill_read_memory_8);
|
|
USED(__remill_read_memory_16);
|
|
USED(__remill_read_memory_32);
|
|
USED(__remill_read_memory_64);
|
|
|
|
USED(__remill_write_memory_8);
|
|
USED(__remill_write_memory_16);
|
|
USED(__remill_write_memory_32);
|
|
USED(__remill_write_memory_64);
|
|
|
|
USED(__remill_read_memory_f32);
|
|
USED(__remill_read_memory_f64);
|
|
USED(__remill_read_memory_f80);
|
|
USED(__remill_read_memory_f128);
|
|
|
|
USED(__remill_write_memory_f32);
|
|
USED(__remill_write_memory_f64);
|
|
USED(__remill_write_memory_f80);
|
|
USED(__remill_write_memory_f128);
|
|
|
|
USED(__remill_barrier_load_load);
|
|
USED(__remill_barrier_load_store);
|
|
USED(__remill_barrier_store_load);
|
|
USED(__remill_barrier_store_store);
|
|
|
|
USED(__remill_atomic_begin);
|
|
USED(__remill_atomic_end);
|
|
|
|
USED(__remill_delay_slot_begin);
|
|
USED(__remill_delay_slot_end);
|
|
|
|
// Atomic intrinsics
|
|
USED(__remill_compare_exchange_memory_8);
|
|
USED(__remill_compare_exchange_memory_16);
|
|
USED(__remill_compare_exchange_memory_32);
|
|
USED(__remill_compare_exchange_memory_64);
|
|
|
|
USED(__remill_fetch_and_add_8);
|
|
USED(__remill_fetch_and_add_16);
|
|
USED(__remill_fetch_and_add_32);
|
|
USED(__remill_fetch_and_add_64);
|
|
|
|
USED(__remill_fetch_and_sub_8);
|
|
USED(__remill_fetch_and_sub_16);
|
|
USED(__remill_fetch_and_sub_32);
|
|
USED(__remill_fetch_and_sub_64);
|
|
|
|
USED(__remill_fetch_and_or_8);
|
|
USED(__remill_fetch_and_or_16);
|
|
USED(__remill_fetch_and_or_32);
|
|
USED(__remill_fetch_and_or_64);
|
|
|
|
USED(__remill_fetch_and_and_8);
|
|
USED(__remill_fetch_and_and_16);
|
|
USED(__remill_fetch_and_and_32);
|
|
USED(__remill_fetch_and_and_64);
|
|
|
|
USED(__remill_fetch_and_xor_8);
|
|
USED(__remill_fetch_and_xor_16);
|
|
USED(__remill_fetch_and_xor_32);
|
|
USED(__remill_fetch_and_xor_64);
|
|
|
|
USED(__remill_fpu_exception_test);
|
|
USED(__remill_fpu_exception_clear);
|
|
USED(__remill_fpu_exception_raise);
|
|
USED(__remill_fpu_set_rounding);
|
|
USED(__remill_fpu_get_rounding);
|
|
|
|
// USED(__remill_defer_inlining);
|
|
|
|
USED(__remill_error);
|
|
|
|
USED(__remill_function_call);
|
|
USED(__remill_function_return);
|
|
USED(__remill_jump);
|
|
USED(__remill_missing_block);
|
|
|
|
USED(__remill_async_hyper_call);
|
|
USED(__remill_sync_hyper_call);
|
|
|
|
USED(__remill_undefined_8);
|
|
USED(__remill_undefined_16);
|
|
USED(__remill_undefined_32);
|
|
USED(__remill_undefined_64);
|
|
USED(__remill_undefined_f32);
|
|
USED(__remill_undefined_f64);
|
|
USED(__remill_undefined_f80);
|
|
|
|
USED(__remill_flag_computation_zero);
|
|
USED(__remill_flag_computation_overflow);
|
|
USED(__remill_flag_computation_sign);
|
|
USED(__remill_flag_computation_carry);
|
|
|
|
USED(__remill_compare_sle);
|
|
USED(__remill_compare_slt);
|
|
USED(__remill_compare_sgt);
|
|
USED(__remill_compare_sge);
|
|
|
|
USED(__remill_compare_eq);
|
|
USED(__remill_compare_neq);
|
|
|
|
USED(__remill_compare_ugt);
|
|
USED(__remill_compare_uge);
|
|
USED(__remill_compare_ult);
|
|
USED(__remill_compare_ule);
|
|
|
|
USED(__remill_x86_set_segment_es);
|
|
USED(__remill_x86_set_segment_ss);
|
|
USED(__remill_x86_set_segment_ds);
|
|
USED(__remill_x86_set_segment_fs);
|
|
USED(__remill_x86_set_segment_gs);
|
|
USED(__remill_x86_set_debug_reg);
|
|
USED(__remill_x86_set_control_reg_0);
|
|
USED(__remill_x86_set_control_reg_1);
|
|
USED(__remill_x86_set_control_reg_2);
|
|
USED(__remill_x86_set_control_reg_3);
|
|
USED(__remill_x86_set_control_reg_4);
|
|
USED(__remill_amd64_set_debug_reg);
|
|
USED(__remill_amd64_set_control_reg_0);
|
|
USED(__remill_amd64_set_control_reg_1);
|
|
USED(__remill_amd64_set_control_reg_2);
|
|
USED(__remill_amd64_set_control_reg_3);
|
|
USED(__remill_amd64_set_control_reg_4);
|
|
USED(__remill_amd64_set_control_reg_8);
|
|
USED(__remill_aarch64_emulate_instruction);
|
|
USED(__remill_aarch32_emulate_instruction);
|
|
USED(__remill_aarch32_check_not_el2);
|
|
USED(__remill_sparc_set_asi_register);
|
|
USED(__remill_sparc_unimplemented_instruction);
|
|
USED(__remill_sparc_unhandled_dcti);
|
|
USED(__remill_sparc_window_underflow);
|
|
USED(__remill_sparc_trap_cond_a);
|
|
USED(__remill_sparc_trap_cond_n);
|
|
USED(__remill_sparc_trap_cond_ne);
|
|
USED(__remill_sparc_trap_cond_e);
|
|
USED(__remill_sparc_trap_cond_g);
|
|
USED(__remill_sparc_trap_cond_le);
|
|
USED(__remill_sparc_trap_cond_ge);
|
|
USED(__remill_sparc_trap_cond_l);
|
|
USED(__remill_sparc_trap_cond_gu);
|
|
USED(__remill_sparc_trap_cond_leu);
|
|
USED(__remill_sparc_trap_cond_cc);
|
|
USED(__remill_sparc_trap_cond_cs);
|
|
USED(__remill_sparc_trap_cond_pos);
|
|
USED(__remill_sparc_trap_cond_neg);
|
|
USED(__remill_sparc_trap_cond_vc);
|
|
USED(__remill_sparc_trap_cond_vs);
|
|
USED(__remill_sparc32_emulate_instruction);
|
|
USED(__remill_sparc64_emulate_instruction);
|
|
}
|