src-wsl/transf-min.wsl

   1 C:"
   2 Copyright (C) 2012 Doni Pracner http://perun.dmi.rs/pracner
   3
   4 This program is free software; you can redistribute it
   5 and/or modify it under the terms of the GNU General Public
   6 License as published by the Free Software Foundation; either
   7 version 3 of the License, or (at your option) any later
   8 version.
   9
  10 This program is distributed in the hope that it will be
  11 useful, but WITHOUT ANY WARRANTY; without even the implied
  12 warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  13 PURPOSE. See the GNU General Public License for more
  14 details.
  15
  16 You should have received a copy of the GNU General Public
  17 License along with this program. If not, see
  18 <http://www.gnu.org/licenses/>.
  19 ==========================================================";
  20
  21 C:"set the following so that Action Systems are not automaticaly treated as regular";
  22 Assume_A_S_Regular := 0;
  23
  24 C:"Automatic transformation tool for simplification of WSL";
  25 C:"code automaticaly translated from assembly using asm2wsl.";
  26 C:"a simple version";
  27 MW_PROC @Process_Prog() ==
  28         @Trans(TR_Constant_Propagation, "");
  29         FOREACH Statement DO
  30                 IF @ST(@I) = T_A_S THEN
  31                         C:"don't need to test for this, works for T_A_S";
  32                         @Trans(TR_Simplify_Action_System, "");
  33                         IF @Trans?(TR_Collapse_Action_System) THEN
  34                                 @Trans(TR_Collapse_Action_System, "");
  35                         FI;
  36                 ELSIF @Trans?(TR_Remove_All_Redundant_Vars) THEN
  37                         @Trans(TR_Remove_All_Redundant_Vars, "");
  38                 ELSIF @ST(@I) = T_Skip THEN
  39                         @Delete
  40                 FI
  41         OD;
  42         C:"remove all the comments ";
  43         FOREACH Statement DO
  44         IF @ST(@I) = T_Comment THEN
  45                         @Delete
  46         FI
  47         OD;
  48
  49         FOREACH Statement DO
  50               IF @Trans?(TR_Simplify_Item) THEN
  51                 @Trans(TR_Simplify_Item,"")
  52               FI
  53         OD;
  54
  55         C:"Convert DO loops into WHILE loops";
  56         FOREACH Statement DO
  57                 IF @Trans?(TR_Floop_To_While) THEN
  58                         @Trans(TR_Floop_To_While, "");
  59                 FI
  60         OD;
  61         C:"Go back to the start, and remove redundant";
  62         @GOTO(< >);
  63         @Trans(TR_Delete_All_Redundant, "");
  64         SKIP
  65 END;
  66
  67 BEGIN
  68 VAR< prog := < >, inifilename := "transf.ini",
  69         filename:="", file := "", inifile:= ""
  70 >:
  71 IF @File_Exists?(inifilename) THEN
  72         inifile := @Open_Input_File(inifilename);
  73         filename := @Read_Line(inifile);
  74         WHILE NOT @EOF?(filename) DO
  75                 IF @File_Exists?(filename) THEN
  76                         @New_Program(@Parse_File(filename, T_Statements));
  77                         PRINT("Processing: ", filename);
  78                         prog := @Program;
  79                         @Process_Prog();
  80                         Get_New_Name(VAR filename);
  81                         @PP_Item(@Program, 80, filename);
  82                         Prog_Stat(prog);
  83                         PRINT("");
  84                         PRINT("After Conversion");
  85                         Prog_Stat(@Program)
  86                 FI;
  87                 filename := @Read_Line(inifile)
  88         OD;
  89         @Close_Input_Port(inifile);
  90 ELSE
  91     PRINT("ini file (",inifilename,") not found.",
  92     " it should contain a list of filenames to be converted");
  93     PRINT("you can input a filename now:");
  94     filename := @Read_Line(Standard_Input_Port);
  95     IF @File_Exists?(filename) THEN
  96         @New_Program(@Parse_File(filename, T_Statements));
  97         @Process_Prog();
  98         Get_New_Name(VAR filename);
  99         @PP_Item(@Program, 80, filename)
 100     FI;
 101 FI
 102 ENDVAR
 103 WHERE
 104
 105 PROC Prog_Stat(Pro VAR)==
 106   PRINT ("Mc ", @McCabe(Pro));
 107   PRINT ("Statements ", @Stat_Count(Pro));
 108   PRINT ("Control/data Flow ", @CFDF_Metric(Pro));
 109   PRINT ("Size(nodes) ", @Total_Size(Pro));
 110   PRINT ("Struct ", @Struct_Metric(Pro));
 111   SKIP
 112 END
 113
 114 PROC Get_New_Name(VAR str) ==
 115         IF @Ends_With?(str, ".wsl") THEN
 116                 str := SUBSTR(str, 0, SLENGTH(str)-4)
 117         FI;
 118         str := str ++ "_t.wsl"
 119 END
 120
 121 PROC Get_Before_Name(VAR str) ==
 122         IF @Ends_With?(str, ".wsl") THEN
 123                 str := SUBSTR(str, 0, SLENGTH(str)-4)
 124         FI;
 125         str := str ++ "_b.wsl"
 126 END
 127
 128 END