🚀 go-pugleaf

"Charlie Gordon" <news@chqrlie.org> writes:

> "Jean-Marc Bourguet" <jm@bourguet.org> wrote in message
> news:pxb8xy21qk8.fsf@news.bourguet.org...
> > "Antoine Leca" <root@localhost.invalid> writes:
> >
> > > En <news:pxbhdcq1z5u.fsf@news.bourguet.org>,
> > >     Jean-Marc Bourguet va escriure:
> > > > Autrement dit
> > > >    int f(int a, int b) { return a * b; }
> > > >    i = 0;
> > > >    k = f(i++, i++);
> > > > on sait qu'apres l'execution k vaut 0 et i 2 mais on ne sait pas si
> > > > l'appel c'est fait avec a=0 et b=1 ou bien a=1 et b=0.
> > >
> > > Ou m�me a=0 b=0.
> >
> > Oops, j'ai ete voir aux sources plutot que de me baser sur ma memoire
> > -- ce que je devrais faire quand il s'agit de points dont je ne me
> > sert de toute facon pas -- et contrairement a ce que je pensais il n'y
> > a pas de point de sequence entre les evaluations des arguments mais
> > uniquement avant l'appel de la fonction.
> 
> Exact, ce qui permet par exemple d'evaluer en parall�le sur les
> architectures qui le permettent les expressions des param�tres de f.

Ce n'est permis evidemment que quand ces parametres sont des
expressions sans appels de fonction, sinon il y a quelques points de
sequencement en plus (mais leur ordre relatif n'est pas fixe).  Pour
reprendre mon exemple:

int incr(int* i) {
   return (*i)++;
}
i = 0;
k = f(incr(i), incr(i));

ici on est sur que l'appel a f se fait avec a=0 et b=1 ou a=1 et b=0.
(Ou alors il y a autre chose qui m'echappe).

Plus subtil, est-ce que

k = f(incr(i), i++);

a les memes garanties?  (Pas le temps de faire un exegese pour essayer
d'apporter une reponse).  Naturellement, je laisse

int j = 0;
incr(int*i) { j++; return (*i)++;}
k = f(incr(i), i++ + j++);

a ceux qui veulent reellement s'amuser.

Une chose qui m'echappe c'est un exemple realiste ou ca apporte un
gain et ou la regle du "as-if" ne permet pas le meme gain.  Il faut
avouer que j'ai le meme probleme pour l'ordre d'evaluation des
parametres (si j'admets que ca simplifie un peu le compilateur, je ne
percois pas de gain en performance).

A+

-- 
Jean-Marc
FAQ de fclc:       http://www.isty-info.uvsq.fr/~rumeau/fclc
Site de usenet-fr: http://www.usenet-fr.news.eu.org