admin/lifting-bits-remill
1
0
Fork 0
mirror of https://github.com/lifting-bits/remill synced 2026-06-21 13:56:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix signature of memory_f80 intrinsics

Browse Source
This commit is contained in:
Duncan Ogilvie
2025-11-24 12:45:48 +01:00
committed by Kyle Elliott
parent 2302aa8c8a
commit bed042f2d9
5 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
cmake/BCCompiler.cmake
+1 -1
View File
@@ -19,7 +19,7 @@ set(DEFAULT_BC_COMPILER_FLAGS
-ffreestanding -fno-common -fno-builtin -fno-exceptions -fno-rtti
-fno-asynchronous-unwind-tables -Wno-unneeded-internal-declaration
-Wno-unused-function -Wgnu-inline-cpp-without-extern
-Wno-pass-failed=transform-warning
-Wno-pass-failed=transform-warning -Wno-packed-non-pod
-std=c++17
)
include/remill/Arch/Runtime/Intrinsics.h
+2 -2
View File
@@ -47,7 +47,7 @@ extern "C" {
[[gnu::used]] extern float64_t __remill_read_memory_f64(Memory *, addr_t);
[[gnu::used]] extern Memory *__remill_read_memory_f80(Memory *, addr_t,
native_float80_t &);
float80_t &);
[[gnu::used]] extern float128_t __remill_read_memory_f128(Memory *, addr_t);
@@ -58,7 +58,7 @@ extern "C" {
float64_t);
[[gnu::used]] extern Memory *
__remill_write_memory_f80(Memory *, addr_t, const native_float80_t &);
__remill_write_memory_f80(Memory *, addr_t, const float80_t &);
[[gnu::used]] extern Memory *__remill_write_memory_f128(Memory *, addr_t,
float128_t);
include/remill/Arch/Runtime/Operators.h
+2 -2
View File
@@ -173,13 +173,13 @@ MAKE_MREAD(64, 64, float, f64)
#undef MAKE_MREAD
ALWAYS_INLINE static float80_t _Read(Memory *&memory, Mn<float80_t> op) {
native_float80_t val;
float80_t val;
memory = __remill_read_memory_f80(memory, op.addr, val);
return val;
}
ALWAYS_INLINE static float80_t _Read(Memory *&memory, MnW<float80_t> op) {
native_float80_t val;
float80_t val;
memory = __remill_read_memory_f80(memory, op.addr, val);
return val;
}
tests/AArch64/Run.cpp
+4 -4
View File
@@ -147,14 +147,14 @@ MAKE_RW_FP_MEMORY(64)
MAKE_RW_FP_MEMORY(128)
NEVER_INLINE Memory *__remill_read_memory_f80(Memory *, addr_t addr,
native_float80_t &out) {
out = AccessMemory<native_float80_t>(addr);
float80_t &out) {
out = AccessMemory<float80_t>(addr);
return nullptr;
}
NEVER_INLINE Memory *__remill_write_memory_f80(Memory *, addr_t addr,
const native_float80_t &in) {
AccessMemory<native_float80_t>(addr) = in;
const float80_t &in) {
AccessMemory<float80_t>(addr) = in;
return nullptr;
}
tests/X86/Run.cpp
+4 -4
View File
@@ -186,14 +186,14 @@ MAKE_RW_FP_MEMORY(64)
MAKE_RW_FP_MEMORY(128)
NEVER_INLINE Memory *__remill_read_memory_f80(Memory *, addr_t addr,
native_float80_t &out) {
out = AccessMemory<native_float80_t>(addr);
float80_t &out) {
out = AccessMemory<float80_t>(addr);
return nullptr;
}
NEVER_INLINE Memory *__remill_write_memory_f80(Memory *, addr_t addr,
const native_float80_t &in) {
AccessMemory<native_float80_t>(addr) = in;
const float80_t &in) {
AccessMemory<float80_t>(addr) = in;
return nullptr;
}