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 SAA17992; Mon, 21 May 2001 18:43:29 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA17988 for ; Mon, 21 May 2001 18:43:28 +0200 (MET DST) Received: from mta6.snfc21.pbi.net (mta6.snfc21.pbi.net [206.13.28.240]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f4LGhQb11477 for ; Mon, 21 May 2001 18:43:27 +0200 (MET DST) Received: from checkerlap.d6.com ([64.163.214.51]) by mta6.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0GDP009F42EYLF@mta6.snfc21.pbi.net> for caml-list@inria.fr; Mon, 21 May 2001 09:42:35 -0700 (PDT) Date: Mon, 21 May 2001 09:44:20 -0700 From: Chris Hecker Subject: Re: [Caml-list] Obsessed by speed In-reply-to: X-Sender: def6@shell16.ba.best.com To: Mattias Waldau , caml-list@inria.fr Message-id: <4.3.2.7.2.20010521094234.027bbb70@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" References: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >3. Would ocamlopt benefit from a peephole optimizer of > the assembler code? Or is the assembler code already > optimal? I have seen lots of cases where a peephole optimizer (or a very special case ocamlopt optimizer that recognizes certain idioms) would help. For example, lots of loops seem to keep any integers tagged even if they are only used inside the loop, and the asm untags them every time they're used. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr