summaryrefslogtreecommitdiff
path: root/src/mem/slicc
diff options
context:
space:
mode:
authorLisa Hsu <Lisa.Hsu@amd.com>2011-03-31 17:18:00 -0700
committerLisa Hsu <Lisa.Hsu@amd.com>2011-03-31 17:18:00 -0700
commitd857105b5a56bf08f00f17f62a023d8ee3bbcc14 (patch)
tree0a7db41f49a1d4bab4a7770193495181d9e5a866 /src/mem/slicc
parent322b9ca2c5b0465db7086abdc6eadca061932575 (diff)
downloadgem5-d857105b5a56bf08f00f17f62a023d8ee3bbcc14.tar.xz
Ruby: Simplify SLICC and Entry/TBE handling.
Before this changeset, all local variables of type Entry and TBE were considered to be pointers, but an immediate use of said variables would not be automatically deferenced in SLICC-generated code. Instead, deferences occurred when such variables were passed to functions, and were automatically dereferenced in the bodies of the functions (e.g. the implicitly passed cache_entry). This is a more general way to do it, which leaves in place the assumption that parameters to functions and local variables of type AbstractCacheEntry and TBE are always pointers, but instead of dereferencing to access member variables on a contextual basis, the dereferencing automatically occurs on a type basis at the moment a member is being accessed. So, now, things you can do that you couldn't before include: Entry foo := getCacheEntry(address); cache_entry.DataBlk := foo.DataBlk; or cache_entry.DataBlk := getCacheEntry(address).DataBlk; or even cache_entry.DataBlk := static_cast(Entry, pointer, cache.lookup(address)).DataBlk;
Diffstat (limited to 'src/mem/slicc')
-rw-r--r--src/mem/slicc/ast/ActionDeclAST.py4
-rw-r--r--src/mem/slicc/ast/FormalParamAST.py13
-rw-r--r--src/mem/slicc/ast/FuncCallExprAST.py22
-rw-r--r--src/mem/slicc/ast/IsValidPtrExprAST.py5
-rw-r--r--src/mem/slicc/ast/MemberExprAST.py7
5 files changed, 20 insertions, 31 deletions
diff --git a/src/mem/slicc/ast/ActionDeclAST.py b/src/mem/slicc/ast/ActionDeclAST.py
index 2a8fb0639..8015523ab 100644
--- a/src/mem/slicc/ast/ActionDeclAST.py
+++ b/src/mem/slicc/ast/ActionDeclAST.py
@@ -59,12 +59,12 @@ class ActionDeclAST(DeclAST):
if machine.TBEType != None:
var = Var(self.symtab, "tbe", self.location, machine.TBEType,
- "(*m_tbe_ptr)", self.pairs)
+ "m_tbe_ptr", self.pairs)
self.symtab.newSymbol(var)
if machine.EntryType != None:
var = Var(self.symtab, "cache_entry", self.location,
- machine.EntryType, "(*m_cache_entry_ptr)", self.pairs)
+ machine.EntryType, "m_cache_entry_ptr", self.pairs)
self.symtab.newSymbol(var)
# Do not allows returns in actions
diff --git a/src/mem/slicc/ast/FormalParamAST.py b/src/mem/slicc/ast/FormalParamAST.py
index 142e837cc..783607f43 100644
--- a/src/mem/slicc/ast/FormalParamAST.py
+++ b/src/mem/slicc/ast/FormalParamAST.py
@@ -48,17 +48,12 @@ class FormalParamAST(AST):
param = "param_%s" % self.ident
# Add to symbol table
+ v = Var(self.symtab, self.ident, self.location, type, param,
+ self.pairs)
+ self.symtab.newSymbol(v)
if self.pointer or str(type) == "TBE" or (
"interface" in type and type["interface"] == "AbstractCacheEntry"):
- v = Var(self.symtab, self.ident, self.location, type,
- "(*%s)" % param, self.pairs)
- self.symtab.newSymbol(v)
return type, "%s* %s" % (type.c_ident, param)
-
else:
- v = Var(self.symtab, self.ident, self.location, type, param,
- self.pairs)
- self.symtab.newSymbol(v)
-
- return type, "%s %s" % (type.c_ident, param)
+ return type, "%s %s" % (type.c_ident, param)
diff --git a/src/mem/slicc/ast/FuncCallExprAST.py b/src/mem/slicc/ast/FuncCallExprAST.py
index 2c5e9ea4d..75ec12344 100644
--- a/src/mem/slicc/ast/FuncCallExprAST.py
+++ b/src/mem/slicc/ast/FuncCallExprAST.py
@@ -217,22 +217,12 @@ if (!(${{cvec[0]}})) {
first_param = True
for (param_code, type) in zip(cvec, type_vec):
- if str(type) == "TBE" or ("interface" in type and
- type["interface"] == "AbstractCacheEntry"):
-
- if first_param:
- params = str(param_code).replace('*','')
- first_param = False
- else:
- params += ', '
- params += str(param_code).replace('*','');
- else:
- if first_param:
- params = str(param_code)
- first_param = False
- else:
- params += ', '
- params += str(param_code);
+ if first_param:
+ params = str(param_code)
+ first_param = False
+ else:
+ params += ', '
+ params += str(param_code);
fix = code.nofix()
code('(${internal}${{func.c_ident}}($params))')
diff --git a/src/mem/slicc/ast/IsValidPtrExprAST.py b/src/mem/slicc/ast/IsValidPtrExprAST.py
index 850f45e96..e68e084c0 100644
--- a/src/mem/slicc/ast/IsValidPtrExprAST.py
+++ b/src/mem/slicc/ast/IsValidPtrExprAST.py
@@ -43,11 +43,10 @@ class IsValidPtrExprAST(ExprAST):
fix = code.nofix()
code("(")
var_type, var_code = self.variable.inline(True);
- var_code_str = str(var_code).replace('*','')
if self.flag:
- code("${var_code_str} != NULL)")
+ code("${var_code} != NULL)")
else:
- code("${var_code_str} == NULL)")
+ code("${var_code} == NULL)")
code.fix(fix)
type = self.symtab.find("bool", Type)
return type
diff --git a/src/mem/slicc/ast/MemberExprAST.py b/src/mem/slicc/ast/MemberExprAST.py
index 8f6b4a55c..a13205252 100644
--- a/src/mem/slicc/ast/MemberExprAST.py
+++ b/src/mem/slicc/ast/MemberExprAST.py
@@ -40,7 +40,12 @@ class MemberExprAST(ExprAST):
def generate(self, code):
return_type, gcode = self.expr_ast.inline(True)
fix = code.nofix()
- code("($gcode).m_${{self.field}}")
+
+ if str(return_type) == "TBE" or ("interface" in return_type and return_type["interface"] == "AbstractCacheEntry"):
+ code("(*$gcode).m_${{self.field}}")
+ else:
+ code("($gcode).m_${{self.field}}")
+
code.fix(fix)
# Verify that this is a valid field name for this type