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.