From 72c6c60d80cdfe63af5046a1a98549f0515734f2 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 24 Jun 2010 19:21:40 -0700 Subject: Add intrinsic calling convention. --- src/boot/me/trans.ml | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'src/boot/me/trans.ml') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index b43ffb82..3d23a945 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -4525,10 +4525,12 @@ let trans_visitor [| Asm.WORD (word_ty_mach, Asm.IMM 0L) |])) in - let trans_required_fn (fnid:node_id) (blockid:node_id) : unit = + let trans_real_required_fn + (fnid:node_id) + (blockid:node_id) : unit = + let (ilib, conv) = Hashtbl.find cx.ctxt_required_items fnid in trans_frame_entry fnid; emit (Il.Enter (Hashtbl.find cx.ctxt_block_fixups blockid)); - let (ilib, conv) = Hashtbl.find cx.ctxt_required_items fnid in let lib_num = htab_search_or_add cx.ctxt_required_lib_num ilib (fun _ -> Hashtbl.length cx.ctxt_required_lib_num) @@ -4655,6 +4657,12 @@ let trans_visitor "Trans.required_rust_fn on unexpected form of require library" in + let trans_required_fn (fnid:node_id) (blockid:node_id) : unit = + if fn_is_intrinsic cx fnid + then () + else trans_real_required_fn fnid blockid + in + let trans_tag (n:Ast.ident) (tagid:node_id) -- cgit v1.2.3