diff options
Diffstat (limited to 'src/mem/slicc/symbols/StateMachine.py')
| -rw-r--r-- | src/mem/slicc/symbols/StateMachine.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/mem/slicc/symbols/StateMachine.py b/src/mem/slicc/symbols/StateMachine.py index 230eb1b22..39f3a4b43 100644 --- a/src/mem/slicc/symbols/StateMachine.py +++ b/src/mem/slicc/symbols/StateMachine.py @@ -1238,6 +1238,14 @@ if (!%s.areNSlotsAvailable(%s)) ''' % (key.code, val) case_sorter.append(val) + # Check all of the request_types for resource constraints + for request_type in request_types: + val = ''' +if (!checkResourceAvailable(%s_RequestType_%s, addr)) { + return TransitionResult_ResourceStall; +} +''' % (self.ident, request_type.ident) + case_sorter.append(val) # Emit the code sequences in a sorted order. This makes the # output deterministic (without this the output order can vary |