Changeset 47 for sources/src/gen_code.cc

Timestamp:

Oct 26, 2009, 7:07:37 PM (15 years ago)

Author:

buchmann

Message:

This patch simplifies SystemCASS.

Remove:

• ckeckings about multiwriting on registers and ports
• checkings related to FSM modeling
• regression tests related to the checkings

File:

• sources/src/gen_code.cc (modified) (5 diffs)

sources/src/gen_code.cc

@@ -58 +58 @@
 #endif
 
-#ifdef CONFIG_CHECK_FSM_RULES
-#include "fsm_rules.h"
-#define fsm_check_flag "-DCONFIG_CHECK_FSM_RULES"
-#else
-#define fsm_check_flag
-#endif
-
-#define casc_cflags GENERATED_MODULE_CFLAGS " " fsm_check_flag
+#define casc_cflags GENERATED_MODULE_CFLAGS
 
 // Enable CPP call, this is useful for typeinfo-enabled classes
@@ -608 +601 @@
 void static_simulate_1_cycle (void) 
 {
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = TRANSITION;
-#endif
   call_functions (pf[0]); // transition
   update     ();
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MOORE;
-#endif
   call_functions_in_parallel (pf[1]); // moore generation
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MEALY;
-#endif
   call_functions (pf[2]); // mealy generation
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = STIMULI;
-#endif
 }
 
@@ -668 +649 @@
 void quasistatic_simulate_1_cycle (void) 
 {
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = TRANSITION;
-#endif
   method_process_list_t::iterator mm;
   for( mm = func_list[0].begin(); mm != func_list[0].end(); ++mm)
@@ -678 +656 @@
   }
   update     ();
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MOORE;
-#endif
   for( mm = func_list[1].begin(); mm != func_list[1].end(); ++mm)
   {
@@ -686 +661 @@
     Call (m);
   }
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = GEN_MEALY;
-#endif
   quasistatic_mealy_generation ();
-#ifdef CONFIG_CHECK_FSM_RULES
-  casc_fsm_step = STIMULI;
-#endif
 }