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

Show file tree
Hide file tree
Changes from 1 commit
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
Prev Previous commit
Next Next commit
allow allocating two registers
  • Loading branch information
@TheNumbat
TheNumbat committed Oct 4, 2022
commit 09dca6b24f25a689ea26cbe2b4685517e742e72a
2 changes: 1 addition & 1 deletion backend/reloadgen.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ method reload_operation op arg res =
so that the presence of a probe does not affect
register allocation of the rest of the code. *)
(arg, res)
| Iopaque | Ivalueofint | Iintofvalue ->
| Iopaque ->
(* arg = result, can be on stack or register *)
assert (arg.(0).stamp = res.(0).stamp);
(arg, res)
Expand Down
3 changes: 0 additions & 3 deletions backend/selectgen.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -894,9 +894,6 @@ method emit_expr (env:environment) exp =
let rd = self#insert_op_debug env new_op dbg r1 rd in
set_traps_for_raise env;
Some rd
| Iintofvalue | Ivalueofint ->
let rs = self#emit_tuple env simple_args in
Some (self#insert_op_debug env new_op dbg rs rs)
| op ->
let r1 = self#emit_tuple env new_args in
let rd = self#regs_for ty in
Expand Down