diff options
author | Notkea | 2018-06-06 01:22:22 +0200 |
---|---|---|
committer | GitHub | 2018-06-06 01:22:22 +0200 |
commit | 9c2f38eab053a48a7c46ed267379764177cecdd8 (patch) | |
tree | 6a697025bf50f86d7ff05b56b3a2b2c21d70d4f0 /doc | |
parent | 28c8d2c07a2dd8140da5ca6464c0eb8887624f34 (diff) | |
download | tpc-compiler-9c2f38eab053a48a7c46ed267379764177cecdd8.tar.gz |
Blah blah
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rapport.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/rapport.md b/doc/rapport.md index 17a5719..b5bfad8 100644 --- a/doc/rapport.md +++ b/doc/rapport.md | |||
@@ -95,8 +95,15 @@ Pour des raisons de simplicité, il a été choisi de travailler principalement | |||
95 | 95 | ||
96 | ## Fonctions | 96 | ## Fonctions |
97 | 97 | ||
98 | ## Passage de paramètres | ||
99 | |||
98 | Il a été choisi d'effectuer le passage des paramamètres simples (de types `entier` et `caractere`) par copie pour des raisons de simplicité et de sécurité, pour permettre une certaine isolation des contextes lors de l'entrée dans une fonction. | 100 | Il a été choisi d'effectuer le passage des paramamètres simples (de types `entier` et `caractere`) par copie pour des raisons de simplicité et de sécurité, pour permettre une certaine isolation des contextes lors de l'entrée dans une fonction. |
99 | 101 | ||
102 | Tous les paramètres sont implicitement convertis en type `entier`, la vérification du typage des paramètres s'avérant difficile. De plus, il n'est pas possible de passer un tableau en paramètre par référence. | ||
103 | |||
104 | |||
105 | ## Retour de valeur | ||
106 | |||
100 | Les fonction valuées retournent leur valeur en suivant les conventions d'appel des fonctions C, c'est-à-dire en la plaçant dans le registre `rax`. L'appelant récupère ensuite cette valeur pour pouvoir la stocker dans la pile. | 107 | Les fonction valuées retournent leur valeur en suivant les conventions d'appel des fonctions C, c'est-à-dire en la plaçant dans le registre `rax`. L'appelant récupère ensuite cette valeur pour pouvoir la stocker dans la pile. |
101 | 108 | ||
102 | L'analyse statique des branchements étant un problème relativement complexe, il a été choisi de retourner une valeur par défaut (`-1`) en cas d'absence d'instruction de retour dans une fonction valuée. | 109 | L'analyse statique des branchements étant un problème relativement complexe, il a été choisi de retourner une valeur par défaut (`-1`) en cas d'absence d'instruction de retour dans une fonction valuée. |