Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: Fix FPU types #536

Merged
merged 16 commits into from
Aug 25, 2021
Merged

WIP: Fix FPU types #536

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
301aa06
wip: fix X87Stack types
kumarak Aug 3, 2021
936db64
Futher attempts at 80-bit floats
artemdinaburg Aug 6, 2021
b7001e8
Fix build error; test cases are still failing; Change ST register typ…
kumarak Aug 13, 2021
51d7e7a
Use std::abs instead of fabs to fix warning
artemdinaburg Aug 20, 2021
04012d7
Attempt at better naming and multiarch support
artemdinaburg Aug 20, 2021
56f0e8f
fixup! cleanup and remove type casting not needed
kumarak Aug 20, 2021
5454fa7
Add native_fp80 operators
artemdinaburg Aug 20, 2021
4e81dd8
Sprinkle a lot more FP80 around
artemdinaburg Aug 21, 2021
ac495c9
fixup! cleanup
kumarak Aug 21, 2021
8c0bb57
more 80-bit fpu fixes
artemdinaburg Aug 23, 2021
f0f2f66
Fix FBLD
artemdinaburg Aug 23, 2021
a52f370
Some fixes and runtime debug output
artemdinaburg Aug 23, 2021
443daf3
fix FRNDINT, ftst
kumarak Aug 23, 2021
a10f8b0
Silence warnings in test runner
artemdinaburg Aug 24, 2021
1a0e51d
Some fixes for non-x86 architectures
artemdinaburg Aug 24, 2021
c719bff
AArch64 build fixes
artemdinaburg Aug 24, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions include/remill/Arch/Runtime/Intrinsics.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ __remill_write_memory_64(Memory *, addr_t, uint64_t);
[[gnu::used, gnu::const]] extern float64_t __remill_read_memory_f64(Memory *,
addr_t);

[[gnu::used]] extern float64_t __remill_read_memory_f80(Memory *, addr_t);
[[gnu::used]] extern float80_t __remill_read_memory_f80(Memory *, addr_t);

[[gnu::used]] extern float64_t __remill_read_memory_f128(Memory *, addr_t);

Expand All @@ -68,7 +68,7 @@ __remill_write_memory_f32(Memory *, addr_t, float32_t);
__remill_write_memory_f64(Memory *, addr_t, float64_t);

[[gnu::used]] extern Memory *__remill_write_memory_f80(Memory *, addr_t,
float64_t);
float80_t);

[[gnu::used]] extern Memory *__remill_write_memory_f128(Memory *, addr_t,
float64_t);
Expand All @@ -85,6 +85,8 @@ __remill_write_memory_f64(Memory *, addr_t, float64_t);

[[gnu::used, gnu::const]] extern float64_t __remill_undefined_f64(void);

[[gnu::used, gnu::const]] extern float80_t __remill_undefined_f80(void);

// Generic error.
[[gnu::used]] extern Memory *__remill_error(State &, addr_t addr, Memory *);

Expand Down
Loading