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

Add value<->native_pointer intrinsics #855

Merged
merged 15 commits into from
Oct 10, 2022
Merged

Add value<->native_pointer intrinsics #855

Changes from 4 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
4f28e19
add value<->native_pointer builtins
TheNumbat Sep 29, 2022
c079237
didn't autoformat
TheNumbat Sep 29, 2022
27cd077
didn't need passthrough op
TheNumbat Sep 30, 2022
2b1960f
Update backend/cmm_helpers.ml
TheNumbat Sep 30, 2022
2278607
merge
TheNumbat Sep 30, 2022
5f1818a
fix reg alloc
TheNumbat Sep 30, 2022
743cee7
fix for arm64
TheNumbat Sep 30, 2022
ccb99fb
reverts
TheNumbat Oct 4, 2022
b15f4e8
add intofvalue/valueofint to cmm test parser
TheNumbat Oct 4, 2022
09dca6b
allow allocating two registers
TheNumbat Oct 4, 2022
b6cef97
make ops impure
TheNumbat Oct 4, 2022
7edc05b
emit mov instead of assert
TheNumbat Oct 4, 2022
9765504
adjust emit; reload intofvalue/valueofint
TheNumbat Oct 4, 2022
80f367c
format
TheNumbat Oct 4, 2022
77f0159
adjust arm emit
TheNumbat Oct 7, 2022
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
2 changes: 2 additions & 0 deletions backend/cmm_helpers.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3357,6 +3357,8 @@ let transl_builtin name args dbg =
(* Native_pointer: handled as unboxed nativeint *)
| "caml_ext_pointer_as_native_pointer" ->
Some (int_as_pointer (one_arg name args) dbg)
| "caml_native_pointer_of_value" | "caml_native_pointer_to_value" ->
Some (one_arg name args)
| "caml_native_pointer_load_immediate"
| "caml_native_pointer_load_unboxed_nativeint" ->
Some (Cop (Cload (Word_int, Mutable), args, dbg))
Expand Down