FuncCallExprAST.py revision 6657
16657Snate@binkert.org# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 26657Snate@binkert.org# Copyright (c) 2009 The Hewlett-Packard Development Company 36657Snate@binkert.org# All rights reserved. 46657Snate@binkert.org# 56657Snate@binkert.org# Redistribution and use in source and binary forms, with or without 66657Snate@binkert.org# modification, are permitted provided that the following conditions are 76657Snate@binkert.org# met: redistributions of source code must retain the above copyright 86657Snate@binkert.org# notice, this list of conditions and the following disclaimer; 96657Snate@binkert.org# redistributions in binary form must reproduce the above copyright 106657Snate@binkert.org# notice, this list of conditions and the following disclaimer in the 116657Snate@binkert.org# documentation and/or other materials provided with the distribution; 126657Snate@binkert.org# neither the name of the copyright holders nor the names of its 136657Snate@binkert.org# contributors may be used to endorse or promote products derived from 146657Snate@binkert.org# this software without specific prior written permission. 156657Snate@binkert.org# 166657Snate@binkert.org# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176657Snate@binkert.org# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186657Snate@binkert.org# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196657Snate@binkert.org# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206657Snate@binkert.org# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216657Snate@binkert.org# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226657Snate@binkert.org# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236657Snate@binkert.org# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246657Snate@binkert.org# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256657Snate@binkert.org# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266657Snate@binkert.org# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276657Snate@binkert.org 286657Snate@binkert.orgfrom slicc.ast.ExprAST import ExprAST 296657Snate@binkert.orgfrom slicc.symbols import Func, Type 306657Snate@binkert.org 316657Snate@binkert.orgclass FuncCallExprAST(ExprAST): 326657Snate@binkert.org def __init__(self, slicc, proc_name, exprs): 336657Snate@binkert.org super(FuncCallExprAST, self).__init__(slicc) 346657Snate@binkert.org self.proc_name = proc_name 356657Snate@binkert.org self.exprs = exprs 366657Snate@binkert.org 376657Snate@binkert.org def __repr__(self): 386657Snate@binkert.org return "[FuncCallExpr: %s %s]" % (self.proc_name, self.exprs) 396657Snate@binkert.org 406657Snate@binkert.org def generate(self, code): 416657Snate@binkert.org machine = self.state_machine 426657Snate@binkert.org 436657Snate@binkert.org # DEBUG_EXPR is strange since it takes parameters of multiple types 446657Snate@binkert.org if self.proc_name == "DEBUG_EXPR": 456657Snate@binkert.org # FIXME - check for number of parameters 466657Snate@binkert.org code('DEBUG_SLICC(MedPrio, "$0: ", $1)', 476657Snate@binkert.org self.exprs[0].location, self.exprs[0].inline()) 486657Snate@binkert.org 496657Snate@binkert.org return self.symtab.find("void", Type) 506657Snate@binkert.org 516657Snate@binkert.org # hack for adding comments to profileTransition 526657Snate@binkert.org if self.proc_name == "APPEND_TRANSITION_COMMENT": 536657Snate@binkert.org # FIXME - check for number of parameters 546657Snate@binkert.org code("APPEND_TRANSITION_COMMENT($0)", self.exprs[0].inline()) 556657Snate@binkert.org return self.symtab.find("void", Type) 566657Snate@binkert.org 576657Snate@binkert.org # Look up the function in the symbol table 586657Snate@binkert.org func = self.symtab.find(self.proc_name, Func) 596657Snate@binkert.org 606657Snate@binkert.org # Check the types and get the code for the parameters 616657Snate@binkert.org if func is None: 626657Snate@binkert.org self.error("Unrecognized function name: '%s'", self.proc_name) 636657Snate@binkert.org 646657Snate@binkert.org if len(self.exprs) != len(func.param_types): 656657Snate@binkert.org self.error("Wrong number of arguments passed to function : '%s'" +\ 666657Snate@binkert.org " Expected %d, got %d", self.proc_name, 676657Snate@binkert.org len(func.param_types), len(self.exprs)) 686657Snate@binkert.org 696657Snate@binkert.org cvec = [] 706657Snate@binkert.org for expr,expected_type in zip(self.exprs, func.param_types): 716657Snate@binkert.org # Check the types of the parameter 726657Snate@binkert.org actual_type,param_code = expr.inline(True) 736657Snate@binkert.org if actual_type != expected_type: 746657Snate@binkert.org expr.error("Type mismatch: expected: %s actual: %s" % \ 756657Snate@binkert.org (expected_type, actual_type)) 766657Snate@binkert.org cvec.append(param_code) 776657Snate@binkert.org 786657Snate@binkert.org # OK, the semantics of "trigger" here is that, ports in the 796657Snate@binkert.org # machine have different priorities. We always check the first 806657Snate@binkert.org # port for doable transitions. If nothing/stalled, we pick one 816657Snate@binkert.org # from the next port. 826657Snate@binkert.org # 836657Snate@binkert.org # One thing we have to be careful as the SLICC protocol 846657Snate@binkert.org # writter is : If a port have two or more transitions can be 856657Snate@binkert.org # picked from in one cycle, they must be independent. 866657Snate@binkert.org # Otherwise, if transition A and B mean to be executed in 876657Snate@binkert.org # sequential, and A get stalled, transition B can be issued 886657Snate@binkert.org # erroneously. In practice, in most case, there is only one 896657Snate@binkert.org # transition should be executed in one cycle for a given 906657Snate@binkert.org # port. So as most of current protocols. 916657Snate@binkert.org 926657Snate@binkert.org if self.proc_name == "trigger": 936657Snate@binkert.org code(''' 946657Snate@binkert.org{ 956657Snate@binkert.org Address addr = ${{cvec[1]}}; 966657Snate@binkert.org TransitionResult result = doTransition(${{cvec[0]}}, ${machine}_getState(addr), addr); 976657Snate@binkert.org 986657Snate@binkert.org if (result == TransitionResult_Valid) { 996657Snate@binkert.org counter++; 1006657Snate@binkert.org continue; // Check the first port again 1016657Snate@binkert.org } 1026657Snate@binkert.org 1036657Snate@binkert.org if (result == TransitionResult_ResourceStall) { 1046657Snate@binkert.org g_eventQueue_ptr->scheduleEvent(this, 1); 1056657Snate@binkert.org 1066657Snate@binkert.org // Cannot do anything with this transition, go check next doable transition (mostly likely of next port) 1076657Snate@binkert.org } 1086657Snate@binkert.org} 1096657Snate@binkert.org''') 1106657Snate@binkert.org elif self.proc_name == "doubleTrigger": 1116657Snate@binkert.org # NOTE: Use the doubleTrigger call with extreme caution 1126657Snate@binkert.org # the key to double trigger is the second event triggered 1136657Snate@binkert.org # cannot fail becuase the first event cannot be undone 1146657Snate@binkert.org assert len(cvec) == 4 1156657Snate@binkert.org code(''' 1166657Snate@binkert.org{ 1176657Snate@binkert.org Address addr1 = ${{cvec[1]}}; 1186657Snate@binkert.org TransitionResult result1 = 1196657Snate@binkert.org doTransition(${{cvec[0]}}, ${machine}_getState(addr1), addr1); 1206657Snate@binkert.org 1216657Snate@binkert.org if (result1 == TransitionResult_Valid) { 1226657Snate@binkert.org //this second event cannont fail because the first event 1236657Snate@binkert.org // already took effect 1246657Snate@binkert.org Address addr2 = ${{cvec[3]}}; 1256657Snate@binkert.org TransitionResult result2 = doTransition(${{cvec[2]}}, ${machine}_getState(addr2), addr2); 1266657Snate@binkert.org 1276657Snate@binkert.org // ensure the event suceeded 1286657Snate@binkert.org assert(result2 == TransitionResult_Valid); 1296657Snate@binkert.org 1306657Snate@binkert.org counter++; 1316657Snate@binkert.org continue; // Check the first port again 1326657Snate@binkert.org } 1336657Snate@binkert.org 1346657Snate@binkert.org if (result1 == TransitionResult_ResourceStall) { 1356657Snate@binkert.org g_eventQueue_ptr->scheduleEvent(this, 1); 1366657Snate@binkert.org // Cannot do anything with this transition, go check next 1376657Snate@binkert.org // doable transition (mostly likely of next port) 1386657Snate@binkert.org } 1396657Snate@binkert.org} 1406657Snate@binkert.org''') 1416657Snate@binkert.org elif self.proc_name == "error": 1426657Snate@binkert.org code("$0", self.exprs[0].embedError(cvec[0])) 1436657Snate@binkert.org elif self.proc_name == "assert": 1446657Snate@binkert.org error = self.exprs[0].embedError('"assert failure"') 1456657Snate@binkert.org code(''' 1466657Snate@binkert.orgif (ASSERT_FLAG && !(${{cvec[0]}})) { 1476657Snate@binkert.org $error 1486657Snate@binkert.org} 1496657Snate@binkert.org''') 1506657Snate@binkert.org 1516657Snate@binkert.org elif self.proc_name == "continueProcessing": 1526657Snate@binkert.org code("counter++;") 1536657Snate@binkert.org code("continue; // Check the first port again") 1546657Snate@binkert.org else: 1556657Snate@binkert.org # Normal function 1566657Snate@binkert.org 1576657Snate@binkert.org # if the func is internal to the chip but not the machine 1586657Snate@binkert.org # then it can only be accessed through the chip pointer 1596657Snate@binkert.org internal = "" 1606657Snate@binkert.org if "external" not in func and not func.isInternalMachineFunc: 1616657Snate@binkert.org internal = "m_chip_ptr->" 1626657Snate@binkert.org 1636657Snate@binkert.org params = ', '.join(str(c) for c in cvec) 1646657Snate@binkert.org fix = code.nofix() 1656657Snate@binkert.org code('(${internal}${{func.c_ident}}($params))') 1666657Snate@binkert.org code.fix(fix) 1676657Snate@binkert.org 1686657Snate@binkert.org return func.return_type 169