Cleanup primitive #232

david-michel1 · 2024-03-22T14:32:56Z

No description provided.

denismerigoux

Bravo @david-michel1, le refactoring avance bien ! Cette PR supprime plein de vieux code inutile, j'approuve. Petit bémol sur le changement de l'interpéteur d'un code fonctionnel sans effet de bord à un fonctionnement avec TGV mutable. C'est plus proche de la réalité mais ça rend plus difficile de lire une sémantique propre pour ton M étendu et du coup ça rend plus difficile la création d'analyses statiques formelles par dessus (ce qui est quand même notre idéal lointain).

denismerigoux · 2024-03-27T11:03:24Z

src/mlang/backend_ir/bir_interpreter.ml

Il faut renommer ce fichier mir_interpreter.ml et le mettre dans le dossier mir/ non ?

La hiérarchie des passes n'est pas encore fixée. Mais l'interpréteur va sans doute opérer sur une structure Mir. D'ailleurs, Com va peut-être devenir le nouveau Mir.

Le répertoire backend_ir a été effacé. Le code de l'interpréteur est maintenant dans m_ir.

denismerigoux · 2024-03-27T11:06:13Z

src/mlang/backend_ir/bir_interpreter.ml

+  type print_ctx = { mutable indent : int; mutable is_newline : bool }

  type ctx = {
-    ctx_local_vars : value Pos.marked Mir.LocalVariableMap.t;
-    ctx_vars : var_value Bir.VariableMap.t;
-    ctx_it : Mir.variable IntMap.t;
+    ctx_tgv : value Array.t;
+    ctx_tmps : value Array.t;
+    mutable ctx_tmps_org : int;
+    ctx_it : Mir.Var.t Array.t;
+    mutable ctx_it_org : int;
    ctx_pr_out : print_ctx;
    ctx_pr_err : print_ctx;
-    ctx_anos : (Mir.error * string option) list;
-    ctx_old_anos : StrSet.t;
-    ctx_nb_anos : int;
-    ctx_nb_discos : int;
-    ctx_nb_infos : int;
-    ctx_nb_bloquantes : int;
-    ctx_finalized_anos : (Mir.error * string option) list;
-    ctx_exported_anos : (Mir.error * string option) list;
+    mutable ctx_anos : (Com.Error.t * string option) list;
+    mutable ctx_old_anos : StrSet.t;
+    mutable ctx_nb_anos : int;
+    mutable ctx_nb_discos : int;
+    mutable ctx_nb_infos : int;
+    mutable ctx_nb_bloquantes : int;
+    mutable ctx_finalized_anos : (Com.Error.t * string option) list;
+    mutable ctx_exported_anos : (Com.Error.t * string option) list;


Alors je ne suis pas vraiment favorable à avoir des champs mutable dans le contexte de l'interprète. Jusqu'à présent, l'interprète était purement fonctionnel et cela permet d'en lire le code sans avoir à se préoccuper des effets de bords. Est-ce que c'est pour un gain de performance de l'interpréteur ?

C'est un essai qui ne me satisfait pas pleinement. En fait, je voulais avoir un interpréteur plus rapide (et il l'est). Mais il perd sa fonction de référence sémantique, ce qui est inacceptable. Je vais donc peut-être me retrouver avec un interpréteur de référence et un interpréteur optimisé.

Le code est dans un état intermédiaire. La pull-request porte mal son nom.

Comme la sémantique est impérative, avoir un interpréteur impératif facilite le codage des backends: les différentes versions se ressemblent beaucoup plus. Je vais laisser l'interpréteur comme ça pour l'instant.

denismerigoux · 2024-03-27T11:08:47Z

src/mlang/backend_ir/bir_interpreter.ml

-  let rec evaluate_stmt (canBlock : bool) (p : Bir.program) (ctx : ctx)
-      (stmt : Bir.stmt) (loc : code_location) =
+  let set_var_value (p : Mir.program) (ctx : ctx) (var : Mir.Var.t)
+      (vexpr : Mir.expression Pos.marked) : unit =


Voilà, je pense que c'est un problème que ce genre de fonctions retourne unit et pas ctx...

denismerigoux · 2024-03-27T12:46:55Z

src/mlang/m_frontend/check_validity.ml

-          global_description = input_var.Mast.input_description;
-          global_typ = Option.map Pos.unmark input_var.Mast.input_typ;
-        }
+        Mir.Var.new_tgv ~name:input_var.Mast.input_name ~is_table:None


new_tgv créé un TGV ou une variable de TGV ?

Comme la fonction est dans le module Var, c'est forcément une variable TGV, que je vais sans doute renommer "variable globale".

denismerigoux · 2024-03-27T12:48:49Z

src/mlang/m_frontend/check_validity.ml

+    | None -> 0
+  in
+  let prog_targets =
+    let rec aux nbIt = function


Qu'est ce que aux fait ? C'est pas clair en lisant le code.

aux fait des trucs auxiliaires... Elle changera de nom si ce qu'elle calcule sera conservé.

denismerigoux · 2024-03-27T12:50:03Z

src/mlang/m_frontend/check_validity.ml

-      | "supzero" -> check_func 1
-      | "present" ->
+          | _ -> Err.multimax_require_two_args expr_pos)
+      | Com.SumFunc -> check_func (-1)


-1 arguments ? C'est comme ça que tu encodes "un nombre arbitraire d'arguments" ?

Pour l'instant... Je n'avais pas envie de changer toute la structure de la fonction, et de créer un type juste pour ça.

denismerigoux · 2024-03-27T12:51:46Z

src/mlang/m_frontend/check_validity.ml

@@ -2186,8 +2338,9 @@ let proceed (p : Mast.program) : program =
            | Mast.Rule r -> check_rule r prog
            | Mast.Verification v -> check_verif v prog)
          prog source_file)
-      (empty_program p app) p
+      (empty_program p app main_target)
+      p
  in
  prog |> complete_rdom_decls |> complete_vdom_decls |> convert_rules


Alors ici ce serait vachement bien d'avoir un commentaire à chaque étape qui résume à grands traits ce que cette étape fait !

La moitié de Check_validity va déménager dans un autre fichier, vu qu'il ne s'agit plus de valider la cohérence du code M mais de le transformer en code générique.

denismerigoux · 2024-03-27T12:57:42Z

src/mlang/m_ir/com.mli

Du coup Com c'est la partie de l'AST commune entre Mast et Mir ? Si oui c'est malin, j'approuve.

C'est commun le temps de rendre les structures communes (Mast, Mir, Bir). Quand ça sera fait, elle changera de nom puisque les choses communes auront disparu.

…into cleanup_primitive

denismerigoux

Let's merge this!

denismerigoux approved these changes Mar 27, 2024

View reviewed changes

david-michel1 added 17 commits April 30, 2024 11:11

Nettoyage mast_to_mir

9c9634d

Nettoyage Bir

687458e

Nettoyage, suite

0877b62

Nettoyage, suite

22c017c

Ajout fichiers Com(mun)

136d6bb

Nettoyage, suite

9404cd3

Optimisation de l'interpréteur en cours

3ef3fc9

Optimisation de l'interpéteur, suite

3ea2fc2

Optimisation de l'interpréteur, suite

6e5d2f9

Optimisation de l'interpréteur

1094b50

Élimination du Bir

addd191

Optimisation de l'interpréteur

712f363

Nettoyage, suite

e75e029

Nettoyage, suite

b56e8f7

Nettoyage, suite

4be77a8

Nettoyage, suite

05aa4d5

rebase master

0f1861b

david-michel1 force-pushed the cleanup_primitive branch from 4a61eb7 to 0f1861b Compare April 30, 2024 11:23

update commit mlang-deps points to

840b2bc

david-michel1 force-pushed the cleanup_primitive branch from 5d80ccb to 840b2bc Compare May 2, 2024 14:19

david-michel1 added 9 commits May 2, 2024 16:24

Sccript de MàJ de mlang-deps inutile

11ab6b6

Passage au mode multithread.

4ccec9a

Variables temporaires pour les règles

c083357

Généralisation des règles et des cibles.

f0565d5

Taille des variables

7ebf6ef

Introduction des références de variables

4de70c8

Formatage de mlang.h

b9e3532

Variables temporaires dans irdata

75c5f42

Changements dirers

04eb3a7

david-michel1 and others added 28 commits June 13, 2024 10:21

Nettoyage, suite

ff916c8

Nettoyage, suite

f172ce0

Nettoyage, suite

060e4ed

Nettoyage, suite

b258168

rebase master

136af70

update commit mlang-deps points to

f09b3ba

Sccript de MàJ de mlang-deps inutile

5a1f124

Passage au mode multithread.

1731690

Variables temporaires pour les règles

d82c6f9

Généralisation des règles et des cibles.

af6579e

Taille des variables

6c0fdee

Introduction des références de variables

8c37ca7

Formatage de mlang.h

b3b9b86

Variables temporaires dans irdata

713eea1

Changements dirers

bcb3944

Gestion des références dans le backend C

2c92654

Arguments de cible (instable)

a944dfd

Arguments pour les cibles

142e51b

Itérateurs avec listes de variables.

f42d0aa

Suppression de Dgfip_varid.var_id_map

c4b0c57

Ajout des fonctions (syntaxe)

53399e7

Fonctions définissables.

d26ccc2

Construction quand-faire-sinon

92ef066

Merge branch 'cleanup_primitive' of https://github.com/MLanguage/mlang …

7fc5f91

…into cleanup_primitive

Merge

8997798

Bir vers Mir.

cacf335

Merge branch 'master' into cleanup_primitive

8950d38

Remove obsolete Java backend

b19a705

denismerigoux approved these changes Jul 11, 2024

View reviewed changes

denismerigoux merged commit e15393b into master Jul 11, 2024
1 check passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Cleanup primitive #232

Cleanup primitive #232

david-michel1 commented Mar 22, 2024

denismerigoux left a comment

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

david-michel1 Jun 13, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

david-michel1 Jun 13, 2024

denismerigoux Mar 27, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

denismerigoux Mar 27, 2024

david-michel1 Mar 27, 2024

denismerigoux left a comment

Cleanup primitive #232

Cleanup primitive #232

Conversation

david-michel1 commented Mar 22, 2024

denismerigoux left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

denismerigoux left a comment

Choose a reason for hiding this comment