From 01e49234ef28a738c670053dc56b00cabccf34d7 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Sun, 9 Feb 2014 20:43:46 +0100 Subject: [PATCH] transf-min - we run simplify without the assumptions of a regular system, and then we just simplify it --- src-wsl/transf-min.wsl | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src-wsl/transf-min.wsl b/src-wsl/transf-min.wsl index 44e7cca..f1046aa 100755 --- a/src-wsl/transf-min.wsl +++ b/src-wsl/transf-min.wsl @@ -18,6 +18,9 @@ License along with this program. If not, see . =========================================================="; +C:"set the following so that Action Systems are not automaticaly treated as regular"; +Assume_A_S_Regular := 0; + C:"Automatic transformation tool for simplification of WSL"; C:"code automaticaly translated from assembly using asm2wsl."; C:"a simple version"; @@ -26,6 +29,7 @@ MW_PROC @Process_Prog() == FOREACH Statement DO IF @ST(@I) = T_A_S THEN C:"don't need to test for this, works for T_A_S"; + @Trans(TR_Simplify_Action_System, ""); IF @Trans?(TR_Collapse_Action_System) THEN @Trans(TR_Collapse_Action_System, ""); FI; @@ -41,6 +45,13 @@ MW_PROC @Process_Prog() == @Delete FI OD; + + FOREACH Statement DO + IF @Trans?(TR_Simplify_Item) THEN + @Trans(TR_Simplify_Item,"") + FI + OD; + C:"Convert DO loops into WHILE loops"; FOREACH Statement DO IF @Trans?(TR_Floop_To_While) THEN -- 2.17.1