Fix signature of memory_f80 intrinsics

Author: mrexodia

cmake/BCCompiler.cmake

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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;
 }