Discussion :

[FullSpeed]

Je cherche a obliger le compilateur a mettre une variable en registre

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if a= b or a=c or a=d....then

Quand on regarde le code genere
on a mov A et CMP b, puis Mov a Cmp c...
a chaque sous test il recharge A. En mettant A en registre on double la vitesse
J'appelle cette routine des millions de fois alors le gain est important
Cela fonctionne parfaitement en ASM mais je voudrai le faire en Pascal
Boris

(J'espere que je suis sur le bon forum ...)

[Eric Boisvert]

Inverse l'ordre des comparaisons et se sera beaucoup mieux...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (b=a) or (c=a) or (d=a) or (e=a)

Le code generé sera plus rapide

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
Mov eax,b
cmp eax,a
jz..
Mov eax,c
cmp eax,a
jz...

[tourlourou]

Bonjour , JohnBorisAfond !

Si ta fonction est déclarée register, le 1° paramètre sera dans EAX (ce sera le self, implicite, si c'est une méthode d'objet), le second dans ECX (à vérifier ; ce sera ton 1° paramètre pour une méthode d'objet).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
function test(a: integer): Boolean; register;
begin
  // a est stocké dans EAX
end;

reste à voir si le code produit est amélioré pour autant...

[FullSpeed]

Inverse l'ordre des comparaisons et se sera beaucoup mieux...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (b=a) or (c=a) or (d=a) or (e=a)

Le code generé sera plus rapide

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
Mov eax,b
cmp eax,a
jz..
Mov eax,c
cmp eax,a
jz...

Pourquoi plus rapide ? En ASM je fais Mov EAX,A puis des
cmp eax,b
jz
cmp eax,c
jz ....

Boris
(La prochaine fois j'essaye Rapidos...)

[Eric Boisvert]

Oui, désolé, j'avais cru qu'il y avait 2 mov + cmp...
mais tu as raison l'inversion de la comparaison ne change rien.

le mode register est celui par défault dans Delphi.

Par contre, si tu active l'option d'optimisation de delphi,
tu sera surpris du resultat généré.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (b=a) or (c=a) or (d=a) or (e=a)...

Genere:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
cmp eax,edx
jz
cmp eax,esi
jz
cmp eax,d
jz
cmp eax,e
jz

[FullSpeed]

On peut enlever option?

D'accord avec toi les codeurs de chez Borland (a l"epoque) etaient balaises.
Le plus spectaculaire est l'optimisation des boucles for
Je crois avoir réussi a convaincre chez CodeGear pour que les opiisations
soient faites sur les autres itérations pout lD10 (64 bits)
Mais les compilos sont vraiment de plus en plus fort:
Malheureusement pour moi la proceduire est enorme (71 repeat imùbriqué)
et quand j'arrive les registres sont deja submergés

Je suis quand même un peu surpris que pour des or classiques la valeur se sont pas systématiquement en registre; la structure me semble-t-il est assez facile a identifier.

Boris

[Rekin85]

Bonjour
tourlourou a raison dans son idée. Toute tentative de transposition directe de code pascal en code asm se solde par un alourdissement consécutif dû au mode de lecture-codage du compilateur et on a vite fait d'accuser l'asm de ne rien apporter. Exact !

Mais si on bâtit sa routine en logique "technologie du processeur" alors on "force" le compilateur à un autre comportement.

Dans le cas présent il suffit de "raisonner" son code asm pour éviter les rechargements successifs de eax, c'est tout.