From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA11228 for caml-red; Mon, 17 Jul 2000 00:01:16 +0200 (MET DST)
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 OAA22234 for <caml-list@pauillac.inria.fr>; Tue, 11 Jul 2000 14:03:08 +0200 (MET DST)
Received: from air.irisa.fr (air.irisa.fr [131.254.60.130])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e6BC37b24177;
	Tue, 11 Jul 2000 14:03:07 +0200 (MET DST)
Received: from parate.irisa.fr (parate.irisa.fr [131.254.12.25])
	by air.irisa.fr (8.9.3/8.9.3) with ESMTP id OAA18146;
	Tue, 11 Jul 2000 14:02:59 +0200 (MET DST)
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: Jean-Marc EBER <Jean-Marc.Eber@socgen.com>, caml-list <caml-list@inria.fr>
Subject: Re: OCaml on IA-64
References: <023623965C0B8031*/c=FR/admd=ATLAS/prmd=SG/o=INFI/s=EBER/g=JEAN-MARC/@MHS>
	<20000707215813.37253@pauillac.inria.fr>
From: David.Mentre@irisa.fr (David=?iso-8859-1?q?_Mentr=E9?=)
Date: 11 Jul 2000 14:02:59 +0200
In-Reply-To: Xavier Leroy's message of "Fri, 7 Jul 2000 21:58:13 +0200"
Message-ID: <wd88zv8eux8.fsf@parate.irisa.fr>
User-Agent: Gnus/5.0805 (Gnus v5.8.5) Emacs/20.6
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: weis@pauillac.inria.fr

By the way, are there any aspects of Caml, like the functionnal part of
the language, that allows more easy optimizations specific to IA-64
architecture (for example definition and use of predicates, use of
speculation, etc.) compared to usual imperative language like C? And at
the opposite, are there any Caml features that are difficult to compile
on such an architecture?

Short version: Compared to the C language, compiling Caml on IA-64 is:
 [ ] more difficult
 [ ] less difficult
 [ ] it depends
 [ ] doesn't matter


david
-- 
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.