Changeset 88 for trunk/IPs/systemC/processor/Morpheo/Behavioural/Core/Multi_Front_end/Front_end/Decod_unit/Decod_queue/src/Decod_queue_genMealy_decod_out.cpp

Timestamp:

Dec 10, 2008, 7:31:39 PM (15 years ago)

Author:

rosiere

Message:

Almost complete design
with Test and test platform

File:

• trunk/IPs/systemC/processor/Morpheo/Behavioural/Core/Multi_Front_end/Front_end/Decod_unit/Decod_queue/src/Decod_queue_genMealy_decod_out.cpp (modified) (3 diffs)

trunk/IPs/systemC/processor/Morpheo/Behavioural/Core/Multi_Front_end/Front_end/Decod_unit/Decod_queue/src/Decod_queue_genMealy_decod_out.cpp

@@ -23 +23 @@
   {
     log_begin(Decod_queue,FUNCTION);
+    log_function(Decod_queue,FUNCTION,_name.c_str());
 
     Tcontrol_t val [_param->_nb_inst_decod];
@@ -36 +37 @@
         if (reg_QUEUE->front()->_val [i])
           {
-            log_printf(TRACE,Decod_queue,FUNCTION,_("Queue is not empty, slot [%d] is valid."),i);
+            log_printf(TRACE,Decod_queue,FUNCTION,_("  * Queue is not empty, slot [%d] is valid."),i);
 
             Tcontext_t context         = reg_QUEUE->front()->_context_id    [i];
             Tdepth_t   depth           = reg_QUEUE->front()->_depth         [i];
-            Tdepth_t   depth_base      = (_param->_have_port_depth)?PORT_READ(in_DEPTH_TAIL      [context]):0;
-            Tdepth_t   depth_offset    = (_param->_have_port_depth)?PORT_READ(in_DEPTH_NB_BRANCH [context]):0;
-            Tdepth_t   depth_max       = depth_base + depth_offset;
+            Tdepth_t   depth_min       = (_param->_have_port_depth)?PORT_READ(in_DEPTH_MIN [context]):0;
+            Tdepth_t   depth_max       = PORT_READ(in_DEPTH_MAX[context]);
 
             // is a valid instruction ?
-            //  * depth must be lower that depth max
-            Tcontrol_t is_valid        = depth <= ((depth>depth_base)?(depth_max):(depth_max%_param->_nb_branch_speculated [context]));
+            // If DEPTH_CURRENT :
+            // equal at     DEPTH_MIN            -> not speculative
+            // not include ]DEPTH_MIN:DEPTH_MAX[ -> previous branch miss
+            //     include ]DEPTH_MIN:DEPTH_MAX[ -> speculative
 
-            log_printf(TRACE,Decod_queue,FUNCTION,_("  * is_valid : %d"),is_valid);
+            // All case
+            // ....... min ...X... max ....... OK
+            // ....... min ....... max ...X... KO
+            // ...X... min ....... max ....... KO
+            // ....... max ....... min ...X... OK
+            // ...X... max ....... min ....... OK
+            // ....... max ...X... min ....... KO
+
+            Tcontrol_t is_valid        = ((depth == depth_min) or 
+                                          ((depth_min < depth_max)?
+                                           (depth<depth_max):
+                                           ((depth > depth_min) or (depth < depth_max))));
+//          Tcontrol_t is_valid        = depth <= depth_max;
+
+            log_printf(TRACE,Decod_queue,FUNCTION,_("    * is_valid : %d"),is_valid);
 
             internal_DECOD_OUT_VAL [i] = 1; // in all case, val is set (entry is not empty, and instruction is valid)
@@ -65 +81 @@
     for (uint32_t i=0; i<_param->_nb_inst_decod; i++)
       {
+        log_printf(TRACE,Decod_queue,FUNCTION,_("  * DECOD_OUT_VAL : %d"),val [i]);
+
         PORT_WRITE(out_DECOD_OUT_VAL [i],val [i]);
       }