From 0e060754a55f9bceaf54f5d275930572ee7849b9 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 2 Sep 2024 14:51:46 +0200
Subject: [PATCH] refactor: change the name of a dev CLI option (-2cmct ->
-2cmtt)
---
lib/lic2soc.ml | 4 ++--
lib/lv6MainArgs.ml | 12 ++++++------
2 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/lib/lic2soc.ml b/lib/lic2soc.ml
index e22f55a..61f8ae4 100644
--- a/lib/lic2soc.ml
+++ b/lib/lic2soc.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 02/09/2024 (at 14:09) by Erwan Jahier> *)
+(** Time-stamp: <modified the 02/09/2024 (at 14:51) by Erwan Jahier> *)
(* XXX ce module est mal écrit. A reprendre. (R1) *)
@@ -790,7 +790,7 @@ let (is_a_task : bool -> Lxm.t -> bool) =
| Pragma(_,_)::pl -> f pl
in
if Lv6MainArgs.global_opt.Lv6MainArgs.multi_task_top then
- toplevel_node
+ toplevel_node || f (Lxm.pragma lxm)
else if Lv6MainArgs.global_opt.Lv6MainArgs.multi_task then
f (Lxm.pragma lxm)
else
diff --git a/lib/lv6MainArgs.ml b/lib/lv6MainArgs.ml
index 9b84c54..c4f38b2 100644
--- a/lib/lv6MainArgs.ml
+++ b/lib/lv6MainArgs.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 09/07/2024 (at 11:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 02/09/2024 (at 14:48) by Erwan Jahier> *)
(*
Le manager d'argument adapté de celui de lutin, plus joli
N.B. solution un peu batarde : les options sont stockées, comme avant, dans Global,
@@ -562,7 +562,7 @@ let mkoptab (opt:t) : unit = (
["Generate a main file for computing the wcet (force -2c -2cgc)"]
;
mkopt opt ~doc_level:Dev
- ["-2cmc";"--2c-multi-core";"-2cmt";"--2c-multi-task"]
+ ["-2cmt";"--2c-multi-task"]
(Arg.Unit (fun () ->
set_c_options opt;
global_opt.io_transmit_mode <- Ctx;
@@ -570,15 +570,15 @@ let mkoptab (opt:t) : unit = (
["Set on the multi-task code generation mode (nodes with the %MT:t% pragma are tasks)"]
;
mkopt opt ~doc_level:Dev
- ["-2cmct";"--2c-multi-task-top"]
+ ["-2cmtt";"--2c-multi-task-toplevel"]
(Arg.Unit (fun () ->
set_c_options opt;
global_opt.io_transmit_mode <- Ctx;
global_opt.multi_task <- true;
- global_opt.multi_task_top <- true;))
- ["All node calls in the main node are put in a task"]
+ global_opt.multi_task_top <- true;
+ ))
+ ["Set on the multi-task code generation mode and consider all top-level nodes as tasks"]
;
-
mkopt opt ~doc_level:Advanced
["-2c-ioa";"--2c-io-in-args"]
(Arg.Unit (fun () -> set_c_options opt; global_opt.io_transmit_mode <- Args))
--
GitLab