Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Efficiency of let/and
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-09-27 (15:22)
From: Stefan Monnier <monnier@i...>
Subject: Re: [Caml-list] Re: Ant: Efficiency of let/and
>> If someone tries to use such things as `and' or
>> unspecified-argument-evaluation-order in the hopes that the compiler will
>> extract some imagined parallelism is simply deluding himself.
>> In some cases, the freedom to execute in any order does lead to better
>> code, but that code rarely if ever uses any kind of parallelism.

> This is not so at all. Limited Parallelism is indeed found in all 
> modern processors, which can, for example, distribute multiple
> instructions on several pipelines, decode in parallel with
> computing values, or perform several integer and/or floating
> operations simultaneously.

This has nothing to do with what I said.  Compilers can equally take
advantage of ILP with a `let' or with a specified evaluation order.