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 AAA04155; Fri, 27 Apr 2001 00:33:13 +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 AAA04149 for ; Fri, 27 Apr 2001 00:33:12 +0200 (MET DST) Received: from smtp4-cm.mail.eni.net (smtp4-cm.mail.eni.net [216.133.226.137]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3QMX3513547; Fri, 27 Apr 2001 00:33:04 +0200 (MET DST) Received: from checkerlap.d6.com (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp4-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id PAA08345; Thu, 26 Apr 2001 15:33:03 -0700 Message-Id: <4.3.2.7.2.20010426153132.026a2220@shell16.ba.best.com> X-Sender: def6@shell16.ba.best.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Thu, 26 Apr 2001 15:34:31 -0700 To: Xavier Leroy From: Chris Hecker Subject: Re: [Caml-list] two unrelated questions Cc: caml-list@inria.fr In-Reply-To: <20010426154727.E29782@pauillac.inria.fr> References: <200104252108.OAA02055@smtp2-cm.mail.eni.net> <200104252108.OAA02055@smtp2-cm.mail.eni.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >It's an embarrassing example of two distinct optimizations that >conflict, resulting in bad code :-) Ah, thanks. I have a strange talent for breaking things, I've found over the years. The first thing I try never works. I'd make a good tester. :) > The bytecode compiler performs no inlining at all. Why is this? I can think of a few reasonable arguments: - if you want speed you'll compile to native - bytecode is for size, and inlining hoses this - you tested it on real-size apps and found cache coherency made non-inlines faster - it's hard for some reason I don't understand - haven't gotten around to it yet - ??? Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr