ruby: remove unused label no_vector
authorNilay Vaish <nilay@cs.wisc.edu>
Fri, 17 Jan 2014 17:02:15 +0000 (11:02 -0600)
committerNilay Vaish <nilay@cs.wisc.edu>
Fri, 17 Jan 2014 17:02:15 +0000 (11:02 -0600)
src/mem/protocol/MESI_Two_Level-dma.sm
src/mem/protocol/MI_example-dma.sm
src/mem/protocol/MOESI_CMP_token-dma.sm
src/mem/protocol/MOESI_hammer-dma.sm

index 8032c0bec4943fc5f7f987d9d3b77f188d8af9e7..f0301118c81e208aa9d05a53aab8187d107e5625 100644 (file)
@@ -32,8 +32,8 @@ machine(DMA, "DMA Controller")
   Cycles request_latency = 6
 {
 
-  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response", no_vector="true";
-  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request", no_vector="true";
+  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response";
+  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request";
 
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -53,8 +53,8 @@ machine(DMA, "DMA Controller")
     void dataCallback(DataBlock);
   }
 
-  MessageBuffer mandatoryQueue, ordered="false", no_vector="true";
-  State cur_state, no_vector="true";
+  MessageBuffer mandatoryQueue, ordered="false";
+  State cur_state;
 
   State getState(Address addr) {
     return cur_state;
index 5d67da465cfd993a213ff1a410449059a6291f95..7bc8a5f5da5450bad54198a688a1a4dd5dc684db 100644 (file)
@@ -32,8 +32,8 @@ machine(DMA, "DMA Controller")
   Cycles request_latency = 6
 {
 
-  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response", no_vector="true";
-  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request", no_vector="true";
+  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response";
+  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request";
 
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -48,8 +48,8 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false", no_vector="true";
-  State cur_state, no_vector="true";
+  MessageBuffer mandatoryQueue, ordered="false";
+  State cur_state;
 
   State getState(Address addr) {
     return cur_state;
index 378344a09d769f7bfd33c9647e672ee9feef7495..d09a552dbedd0721f11578da5f120d51e7ed783c 100644 (file)
@@ -32,8 +32,8 @@ machine(DMA, "DMA Controller")
   Cycles request_latency = 6
 {
 
-  MessageBuffer responseFromDir, network="From", virtual_network="5", ordered="true", vnet_type="response", no_vector="true";
-  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request", no_vector="true";
+  MessageBuffer responseFromDir, network="From", virtual_network="5", ordered="true", vnet_type="response";
+  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request";
 
   state_declaration(State, desc="DMA states", default="DMA_State_READY") {
     READY, AccessPermission:Invalid, desc="Ready to accept a new request";
@@ -53,8 +53,8 @@ machine(DMA, "DMA Controller")
     void dataCallback(DataBlock);
   }
 
-  MessageBuffer mandatoryQueue, ordered="false", no_vector="true";
-  State cur_state, no_vector="true";
+  MessageBuffer mandatoryQueue, ordered="false";
+  State cur_state;
 
   State getState(Address addr) {
     return cur_state;
index fd77346776c10ad73d8780e38eb6eed917b317c6..fc4699fd3bdded2aeb8f8ba9b3298558657c9a3b 100644 (file)
@@ -32,8 +32,8 @@ machine(DMA, "DMA Controller")
   Cycles request_latency = 6
 {
 
-  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response", no_vector="true";
-  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request", no_vector="true";
+  MessageBuffer responseFromDir, network="From", virtual_network="1", ordered="true", vnet_type="response";
+  MessageBuffer reqToDirectory, network="To", virtual_network="0", ordered="false", vnet_type="request";
 
   state_declaration(State, 
                     desc="DMA states", 
@@ -50,8 +50,8 @@ machine(DMA, "DMA Controller")
     Ack,          desc="DMA write to memory completed";
   }
 
-  MessageBuffer mandatoryQueue, ordered="false", no_vector="true";
-  State cur_state, no_vector="true";
+  MessageBuffer mandatoryQueue, ordered="false";
+  State cur_state;
 
   State getState(Address addr) {
     return cur_state;