Reorganize and commit all the modified TACLeBench code and run scripts

2 files changed, 1053 insertions, 0 deletions

diff --git a/all_pairs/source/petrinet/ChangeLog.txt b/all_pairs/source/petrinet/ChangeLog.txt
new file mode 100644
index 0000000..3a02ec7
--- /dev/null
+++ b/all_pairs/source/petrinet/ChangeLog.txt
@@ -0,0 +1,63 @@
+File: petrinet.c
+Original provenience: Mälardalen benchmark suite,
+http://www.mrtc.mdh.se/projects/wcet/wcet_bench/nsichneu/nsichneu.c
+
+2016-02-02:
+- Added generic TACLeBench header.
+- Removed old file header (keep some information in TACLeBench
+  header).
+- Renamed global variables:
+  - main_iters_dummy_i -> petrinet_main_iters_dummy_i
+  - main_min_dummy_i -> petrinet_main_min_dummy_i
+  - main_max_dummy_i -> petrinet_main_max_dummy_i
+  - P1_is_marked        -> petrinet_P1_is_marked            
+  - P1_marking_member_0 -> petrinet_P1_marking_member_0
+  - P2_is_marked        -> petrinet_P2_is_marked            
+  - P2_marking_member_0 -> petrinet_P2_marking_member_0
+  - P3_is_marked        -> petrinet_P3_is_marked            
+  - P3_marking_member_0 -> petrinet_P3_marking_member_0
+- Renamed main function to petrinet_main, set as entrypoint.
+- Implemented new function main according to TACLeBench guidelines.
+- Implemented function petrinet_return, calculates checksum over
+  petrinet_P3_marking_member_0.
+- 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: bs_) followed by lowercase letter (e.g., bs_square)
+  - 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
+  - In non-empty lists or index expressions, opening '(' and '[' are followed by
+    one whitespace, closing ')' and ']' are preceded by one whitespace
+  - Operators within expressions shall be preceded and followed by one
+    whitespace
+
+2016-04-05:
+- Return '0' on success
+
+2016-04-06:
+- Fixed generation of return value
+
+2016-06-01:
+- Changed all prefixes to lower-case
+
+2016-06-08:
+- Prefix
+- removed return from petrinet_main
+
+2016-06-13:
+- introduced function petrinet_init
diff --git a/all_pairs/source/petrinet/petrinet.c b/all_pairs/source/petrinet/petrinet.c
new file mode 100644
index 0000000..7c9e1a0
--- /dev/null
+++ b/all_pairs/source/petrinet/petrinet.c
@@ -0,0 +1,990 @@
+/*
+
+  This program is part of the TACLeBench benchmark suite.
+  Version V 2.0
+
+  Name: Petrinet
+
+  Author: Friedhelm Stappert, C-LAB, Paderborn, Germany
+
+  Function: Simulate an extended Petri Net
+            Automatically generated code containing large amounts of
+            if-statements (more than 250)
+
+  Source: Mälardalen benchmark suite
+
+  Changes: no major functional changes
+
+  License: may be used, modified, and re-distributed freely
+
+*/
+
+/* Remove the following #define for actual WCET analyses! */
+/*
+  #define PROFILING
+*/
+
+
+#include "../extra.h"
+
+#ifdef PROFILING
+#include <stdio.h>
+#endif
+
+#ifdef PROFILING
+/* Profiling variables. Remove for actual WCET analyses. */
+int petrinet_main_iters_dummy_i = 0,
+    petrinet_main_min_dummy_i = 100000,
+    petrinet_main_max_dummy_i = 0;
+#endif
+
+/*
+  Forward declaration of functions
+*/
+void petrinet_init( void );
+int petrinet_return( void );
+void petrinet_main( void );
+//int main( void );
+
+
+volatile int  petrinet_P1_is_marked;
+volatile long petrinet_P1_marking_member_0[ 3 ];
+volatile int  petrinet_P2_is_marked;
+volatile long petrinet_P2_marking_member_0[ 5 ];
+volatile int  petrinet_P3_is_marked;
+volatile long petrinet_P3_marking_member_0[ 6 ];
+
+const long petrinet_CHECKSUM = 0;
+
+void _Pragma ( "entrypoint" ) petrinet_main( void )
+{
+  int dummy_i;
+  /*   dummy_i = 17; Takes too much time */
+  dummy_i = 2;
+
+  #ifdef PROFILING
+  main_iters_dummy_i = 0;
+  #endif
+  _Pragma( "loopbound min 2 max 2" )
+  while ( dummy_i > 0 ) {
+    #ifdef PROFILING
+    main_iters_dummy_i++;
+    #endif
+
+    dummy_i--;
+    /* Permutation for Place P1 : 0, 1, 2 */
+    /* Transition T1 */
+    if ( ( petrinet_P1_is_marked >= 3 ) &&
+         ( petrinet_P3_is_marked + 3 <= 6 ) &&
+         ( petrinet_P1_marking_member_0[ 1 ]
+           == petrinet_P1_marking_member_0[ 2 ] ) ) {
+
+      long  x;
+      long  y;
+      long  z;
+
+      x = petrinet_P1_marking_member_0[ 0 ];
+      y = petrinet_P1_marking_member_0[ 1 ];
+
+      /* Transition condition */
+      if ( x < y ) {
+
+        /* demarking of input places */
+        petrinet_P1_is_marked -= 3;
+
+        /* preaction */
+        z = x - y;
+
+        /* marking of output places */
+        petrinet_P3_marking_member_0[ petrinet_P3_is_marked + 0 ] = x;
+        petrinet_P3_marking_member_0[ petrinet_P3_is_marked + 1 ] = y;
+        petrinet_P3_marking_member_0[ petrinet_P3_is_marked + 2 ] = z;
+        petrinet_P3_is_marked += 3;
+
+      } /* end of if (Transition condition) */
+    }
+
+    /* Permutation for Place petrinet_P1 : 0, 2, 1 */
+    /* Transition T1 */
+    if ( ( petrinet_P1_is_marked >= 3 ) &&
+         ( petrinet_P3_is_marked + 3 <= 6 ) &&
+         ( petrinet_P1_marking_member_0[ 2 ]
+           == petrinet_P1_marking_member_0[ 1 ] ) ) {
+
+      long  x;
+      long  y;
+      long  z;
+
+      x = petrinet_P1_marking_member_0[ 0 ];
+      y = petrinet_P1_marking_member_0[ 2 ];
+
+      /* Transition condition */
+      if ( ( x < y ) ) {
+
+        /* demarking of input places */
+        petrinet_P1_is_marked -= 3;
+
+        /* preaction */
+        z = x - y;
+
+        /* marking of output places */