Reorganize and commit all the modified TACLeBench code and run scripts

2 files changed, 1346 insertions, 0 deletions

diff --git a/baseline/source/statemate/ChangeLog.txt b/baseline/source/statemate/ChangeLog.txt
new file mode 100644
index 0000000..bce75dc
--- /dev/null
+++ b/baseline/source/statemate/ChangeLog.txt
@@ -0,0 +1,60 @@
+File: statemate.c
+Original provenience: Mälardalen benchmark suite,
+                      http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
+
+2016-02-02:
+- Removed original header comment, replaced by TACLeBench header.
+- Removed macro '#define float int' and replaced each 'float' by 'int' (8 in
+  total)
+- Removed unused macro
+  - #define entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_copy_IDX 1
+- Removed unused variables
+  - int FH_TUERMODUL_CTRL__N_copy;
+  - int BLOCK_ERKENNUNG_CTRL__I_EIN_MAX_copy;
+  - int BLOCK_ERKENNUNG_CTRL__N_copy;
+  - char FH_TUERMODUL_CTRL__FT;
+  - char FH_TUERMODUL__COM_OPEN;
+  - char FH_TUERMODUL__COM_CLOSE;
+  - char FH_DU__S_FH_TMBFAUFCAN_copy;
+  - char FH_DU__S_FH_TMBFZUCAN_copy;
+- Moved around all the following so that they are in the given order just after
+the header
+  - macro definitions
+  - forward declarations of fuctions
+  - declarations of global variables
+- Reordered functions in source code: initialization-related functions first,
+  followed by algorithm core functions, followed by main functions
+- Added a new main function that first calls init function then the old main
+  function sans init
+- Annotated statemate_main() as the entry point of the analysis
+- Removed seemingly unnecessary empty lines
+- Changed remaining floating number literals, all being used for time related
+  comparisons, to integer literals by multiplying them by 1000 so that the
+  code is totally floating number free. E.g:
+  changed 'time - sc_FH_TUERMODUL_CTRL_2375_2 >= 0.5f'
+       to 'time - sc_FH_TUERMODUL_CTRL_2375_2 >= 500'
+  Info: All time related variables were already converted to 'unsigned long'
+- Applied code formatting according to the following rules
+  - Lines shall not be wider than 80 characters; whenever possible, appropriate
+    line breaks shall be inserted to keep lines below 80 characters
+  - Indentation is done using whitespaces only, no tabs. Code is indented by
+    two whitespaces
+  - Two empty lines are put between any two functions
+  - In non-empty lists or index expressions, opening '(' and '[' are followed by
+    one whitespace, closing ')' and ']' are preceded by one whitespace
+  - In comma- or colon-separated argument lists, one whitespace is put after
+    each comma/colon
+  - Names of functions and global variables all start with a benchmark-specific
+  prefix (here: statemate_) followed by lowercase letter
+  - For pointer types, one whitespace is put before the '*'
+  - Operators within expressions shall be preceded and followed by one
+    whitespace
+  - Code of then- and else-parts of if-then-else statements shall be put in
+    separate lines, not in the same lines as the if-condition or the keyword
+    "else"
+  - Opening braces '{' denoting the beginning of code for some if-else or loop
+    body shall be put at the end of the same line where the keywords "if",
+    "else", "for", "while" etc. occur
+
+  2016-10-10:
+  - added statemate_return() function
diff --git a/baseline/source/statemate/statemate.c b/baseline/source/statemate/statemate.c
new file mode 100644
index 0000000..379366a
--- /dev/null
+++ b/baseline/source/statemate/statemate.c
@@ -0,0 +1,1286 @@
+/*
+
+  This program is part of the TACLeBench benchmark suite.
+  Version V 2.0
+
+  Name: statemate
+
+  Author: Friedhelm Stappert, C-LAB, Paderborn, Germany
+
+  Function: This code was automatically generated by
+            the STAtechart Real-time-Code generator STARC
+            which was developed at C-LAB.
+
+            The original StateChart specifies an experimental
+            car window lift control.
+
+  Source: MRTC
+          http://www.mrtc.mdh.se/projects/wcet/wcet_bench/statemate/statemate.c
+
+  Changes: no major functional changes
+
+  License: may be used, modified, and re-distributed freely
+
+*/
+
+/*
+  Macro definitions
+*/
+
+#include "../extra.h"
+
+#define SYS_bit_get(a,b) (a)[(b)]
+#define SYS_bit_clr(a,b) (a)[(b)] = 0
+#define SYS_bit_set(a,b) (a)[(b)] = 1
+#define SYS_bit_cpy(a1,i1,a2,i2) (a1)[(i1)] = (a2)[(i2)]
+
+#define active_KINDERSICHERUNG_CTRL_IDX 10
+#define active_KINDERSICHERUNG_CTRL_copy_IDX 11
+#define active_KINDERSICHERUNG_CTRL_old_IDX 12
+#define active_FH_TUERMODUL_CTRL_IDX 13
+#define active_FH_TUERMODUL_CTRL_copy_IDX 14
+#define active_FH_TUERMODUL_CTRL_old_IDX 15
+#define active_EINKLEMMSCHUTZ_CTRL_IDX 16
+#define active_EINKLEMMSCHUTZ_CTRL_copy_IDX 17
+#define active_EINKLEMMSCHUTZ_CTRL_old_IDX 18
+#define active_BLOCK_ERKENNUNG_CTRL_IDX 19
+#define active_BLOCK_ERKENNUNG_CTRL_copy_IDX 20
+#define active_BLOCK_ERKENNUNG_CTRL_old_IDX 21
+#define entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRL_IDX 0
+
+#define entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_IDX 4
+#define entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL_copy_IDX 5
+#define exited_BEREIT_FH_TUERMODUL_CTRL_IDX 6
+#define exited_BEREIT_FH_TUERMODUL_CTRL_copy_IDX 7
+
+#define  FH_TUERMODUL_CTRL__END_REVERS_IDX 22
+#define  FH_TUERMODUL_CTRL__END_REVERS_copy_IDX 23
+#define  FH_TUERMODUL__EINKLEMMUNG_IDX 24
+
+
+/*
+  Forward declaration of functions
+*/
+
+void statemate_init( void );
+void statemate_interface( void );
+void statemate_generic_KINDERSICHERUNG_CTRL( void );
+void statemate_generic_FH_TUERMODUL_CTRL( void );
+void statemate_generic_EINKLEMMSCHUTZ_CTRL( void );
+void statemate_generic_BLOCK_ERKENNUNG_CTRL( void );
+void statemate_FH_DU( void );
+void statemate_main( void );
+int statemate_return ( void );
+
+
+/*
+  Declaration of global variables
+*/
+
+static char     statemate_bitlist[64];
+unsigned long
+statemate_tm_entered_EINSCHALTSTROM_MESSEN_BLOCK_ERKENNUNG_CTRLch_BLOCK_ERKENNUNG_CTRL__N_copy;
+unsigned long
+statemate_tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRLexited_BEREIT_FH_TUERMODUL_CTRL;
+unsigned long   statemate_tm_entered_WIEDERHOLSPERRE_FH_TUERMODUL_CTRL;
+unsigned long   statemate_sc_FH_TUERMODUL_CTRL_2375_2;
+unsigned long   statemate_sc_FH_TUERMODUL_CTRL_2352_1;
+unsigned long   statemate_sc_FH_TUERMODUL_CTRL_2329_1;
+int             statemate_FH_TUERMODUL_CTRL__N;
+int             statemate_FH_TUERMODUL_CTRL__N_old;
+unsigned long   statemate_sc_FH_TUERMODUL_CTRL_1781_10;
+unsigned long   statemate_sc_FH_TUERMODUL_CTRL_1739_10;
+int             statemate_FH_TUERMODUL__POSITION;
+int             statemate_FH_TUERMODUL__I_EIN;
+int             statemate_FH_TUERMODUL__I_EIN_old;
+int             statemate_FH_DU__MFH;
+int             statemate_FH_DU__MFH_copy;
+int             statemate_FH_DU__POSITION;
+int             statemate_FH_DU__I_EIN;
+int             statemate_FH_DU__I_EIN_old;
+int             statemate_BLOCK_ERKENNUNG_CTRL__I_EIN_MAX;
+int             statemate_BLOCK_ERKENNUNG_CTRL__N;
+int             statemate_BLOCK_ERKENNUNG_CTRL__N_old;
+char            statemate_FH_TUERMODUL_CTRL__INREVERS2;
+char            statemate_FH_TUERMODUL_CTRL__INREVERS2_copy;
+char            statemate_FH_TUERMODUL_CTRL__INREVERS1;
+char            statemate_FH_TUERMODUL_CTRL__INREVERS1_copy;
+char            statemate_FH_TUERMODUL__SFHZ_ZENTRAL;
+char            statemate_FH_TUERMODUL__SFHZ_ZENTRAL_old;
+char            statemate_FH_TUERMODUL__SFHZ_MEC;
+char            statemate_FH_TUERMODUL__SFHZ_MEC_old;
+char            statemate_FH_TUERMODUL__SFHA_ZENTRAL;
+char            statemate_FH_TUERMODUL__SFHA_ZENTRAL_old;
+char            statemate_FH_TUERMODUL__SFHA_MEC;
+char            statemate_FH_TUERMODUL__SFHA_MEC_old;
+char            statemate_FH_TUERMODUL__KL_50;
+char            statemate_FH_TUERMODUL__BLOCK;
+char            statemate_FH_TUERMODUL__BLOCK_copy;
+char            statemate_FH_TUERMODUL__BLOCK_old;
+char            statemate_FH_TUERMODUL__FT;
+char            statemate_FH_TUERMODUL__SFHZ;
+char            statemate_FH_TUERMODUL__SFHZ_copy;
+char            statemate_FH_TUERMODUL__SFHZ_old;
+char            statemate_FH_TUERMODUL__SFHA;
+char            statemate_FH_TUERMODUL__SFHA_copy;
+char            statemate_FH_TUERMODUL__SFHA_old;