From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA17550; Tue, 8 Jun 2004 19:42:05 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA17237 for ; Tue, 8 Jun 2004 19:42:04 +0200 (MET DST) Received: from biscayne-one-station.mit.edu (BISCAYNE-ONE-STATION.MIT.EDU [18.7.7.80]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i58Hg3SH026592 for ; Tue, 8 Jun 2004 19:42:04 +0200 Received: from manawatu-mail-centre.mit.edu (MANAWATU-MAIL-CENTRE.MIT.EDU [18.7.7.71]) by biscayne-one-station.mit.edu (8.12.4/8.9.2) with ESMTP id i58Hg35o009664 for ; Tue, 8 Jun 2004 13:42:03 -0400 (EDT) Received: from psi-phi.mit.edu (PSI-PHI.MIT.EDU [18.187.1.35]) (authenticated bits=56) (User authenticated as jfc@ATHENA.MIT.EDU) by manawatu-mail-centre.mit.edu (8.12.4/8.12.4) with ESMTP id i58Hg2oL007658 for ; Tue, 8 Jun 2004 13:42:02 -0400 (EDT) Received: (from jfc@localhost) by psi-phi.mit.edu (8.12.9) id i58Hg1OG000367; Tue, 8 Jun 2004 13:42:01 -0400 Message-Id: <200406081742.i58Hg1OG000367@psi-phi.mit.edu> To: "caml" Subject: Re: [Caml-list] 32 bit floats, SSE instructions In-Reply-To: Your message of "Tue, 08 Jun 2004 09:10:31 BST." <78B55F0E8771CC4B8F6995AB83AF655204679C24@swsmsx402.ger.corp.intel.com> Date: Tue, 08 Jun 2004 13:42:01 -0400 From: John Carr X-Miltered: at concorde with ID 40C5FA6B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 floats:01 jfc:01 pointers:01 datatype:01 pointers:01 ocamlopt:01 compiler:01 garbage:01 distinguish:01 collector:02 stack:02 stack:02 data:03 emit:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > While a GC does need to have some way to distinguish between pointers > and data, this is not the only way that this can be done. Another > approach (used by GHC) is to dispense with tag bits and instead store a > bitmask for each datatype and each stack layout, indicating which fields > are pointers. ocamlopt marks values in stack frames for the benefit of the garbage collector. This code is in the individual emit.mlp files rather than the portable compiler. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners