FuncCallExprAST.py revision 7793
1# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 2# Copyright (c) 2009 The Hewlett-Packard Development Company 3# All rights reserved. 4# 5# Redistribution and use in source and binary forms, with or without 6# modification, are permitted provided that the following conditions are 7# met: redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer; 9# redistributions in binary form must reproduce the above copyright 10# notice, this list of conditions and the following disclaimer in the 11# documentation and/or other materials provided with the distribution; 12# neither the name of the copyright holders nor the names of its 13# contributors may be used to endorse or promote products derived from 14# this software without specific prior written permission. 15# 16# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28from slicc.ast.ExprAST import ExprAST 29from slicc.symbols import Func, Type 30 31class FuncCallExprAST(ExprAST): 32 def __init__(self, slicc, proc_name, exprs): 33 super(FuncCallExprAST, self).__init__(slicc) 34 self.proc_name = proc_name 35 self.exprs = exprs 36 37 def __repr__(self): 38 return "[FuncCallExpr: %s %s]" % (self.proc_name, self.exprs) 39 40 def generate(self, code): 41 machine = self.state_machine 42 43 if self.proc_name == "DPRINTF": 44 # Code for inserting the location of the DPRINTF() 45 # statement in the .sm file in the statement it self. 46 # 'self.exprs[0].location' represents the location. 47 # 'format' represents the second argument of the 48 # original DPRINTF() call. It is left unmodified. 49 # str_list is used for concatenating the argument 50 # list following the format specifier. A DPRINTF() 51 # call may or may not contain any arguments following 52 # the format specifier. These two cases need to be 53 # handled differently. Hence the check whether or not 54 # the str_list is empty. 55 56 format = "%s" % (self.exprs[1].inline()) 57 format_length = len(format) 58 str_list = [] 59 60 for i in range(2, len(self.exprs)): 61 str_list.append("%s" % self.exprs[i].inline()) 62 63 if len(str_list) == 0: 64 code('DPRINTF(RubySlicc, "$0: $1")', 65 self.exprs[0].location, format[2:format_length-2]) 66 else: 67 code('DPRINTF(RubySlicc, "$0: $1", $2)', 68 self.exprs[0].location, format[2:format_length-2], 69 ', '.join(str_list)) 70 71 return self.symtab.find("void", Type) 72 73 # hack for adding comments to profileTransition 74 if self.proc_name == "APPEND_TRANSITION_COMMENT": 75 # FIXME - check for number of parameters 76 code("APPEND_TRANSITION_COMMENT($0)", self.exprs[0].inline()) 77 return self.symtab.find("void", Type) 78 79 # Look up the function in the symbol table 80 func = self.symtab.find(self.proc_name, Func) 81 82 # Check the types and get the code for the parameters 83 if func is None: 84 self.error("Unrecognized function name: '%s'", self.proc_name) 85 86 if len(self.exprs) != len(func.param_types): 87 self.error("Wrong number of arguments passed to function : '%s'" +\ 88 " Expected %d, got %d", self.proc_name, 89 len(func.param_types), len(self.exprs)) 90 91 cvec = [] 92 for expr,expected_type in zip(self.exprs, func.param_types): 93 # Check the types of the parameter 94 actual_type,param_code = expr.inline(True) 95 if actual_type != expected_type: 96 expr.error("Type mismatch: expected: %s actual: %s" % \ 97 (expected_type, actual_type)) 98 cvec.append(param_code) 99 100 # OK, the semantics of "trigger" here is that, ports in the 101 # machine have different priorities. We always check the first 102 # port for doable transitions. If nothing/stalled, we pick one 103 # from the next port. 104 # 105 # One thing we have to be careful as the SLICC protocol 106 # writter is : If a port have two or more transitions can be 107 # picked from in one cycle, they must be independent. 108 # Otherwise, if transition A and B mean to be executed in 109 # sequential, and A get stalled, transition B can be issued 110 # erroneously. In practice, in most case, there is only one 111 # transition should be executed in one cycle for a given 112 # port. So as most of current protocols. 113 114 if self.proc_name == "trigger": 115 code(''' 116{ 117 Address addr = ${{cvec[1]}}; 118 TransitionResult result = doTransition(${{cvec[0]}}, ${machine}_getState(addr), addr); 119 120 if (result == TransitionResult_Valid) { 121 counter++; 122 continue; // Check the first port again 123 } 124 125 if (result == TransitionResult_ResourceStall) { 126 g_eventQueue_ptr->scheduleEvent(this, 1); 127 128 // Cannot do anything with this transition, go check next doable transition (mostly likely of next port) 129 } 130} 131''') 132 elif self.proc_name == "doubleTrigger": 133 # NOTE: Use the doubleTrigger call with extreme caution 134 # the key to double trigger is the second event triggered 135 # cannot fail becuase the first event cannot be undone 136 assert len(cvec) == 4 137 code(''' 138{ 139 Address addr1 = ${{cvec[1]}}; 140 TransitionResult result1 = 141 doTransition(${{cvec[0]}}, ${machine}_getState(addr1), addr1); 142 143 if (result1 == TransitionResult_Valid) { 144 //this second event cannont fail because the first event 145 // already took effect 146 Address addr2 = ${{cvec[3]}}; 147 TransitionResult result2 = doTransition(${{cvec[2]}}, ${machine}_getState(addr2), addr2); 148 149 // ensure the event suceeded 150 assert(result2 == TransitionResult_Valid); 151 152 counter++; 153 continue; // Check the first port again 154 } 155 156 if (result1 == TransitionResult_ResourceStall) { 157 g_eventQueue_ptr->scheduleEvent(this, 1); 158 // Cannot do anything with this transition, go check next 159 // doable transition (mostly likely of next port) 160 } 161} 162''') 163 elif self.proc_name == "error": 164 code("$0", self.exprs[0].embedError(cvec[0])) 165 elif self.proc_name == "assert": 166 error = self.exprs[0].embedError('"assert failure"') 167 code(''' 168#ifndef NDEBUG 169if (!(${{cvec[0]}})) { 170 $error 171} 172#endif 173''') 174 175 elif self.proc_name == "continueProcessing": 176 code("counter++;") 177 code("continue; // Check the first port again") 178 else: 179 # Normal function 180 181 # if the func is internal to the chip but not the machine 182 # then it can only be accessed through the chip pointer 183 internal = "" 184 if "external" not in func and not func.isInternalMachineFunc: 185 internal = "m_chip_ptr->" 186 187 params = ', '.join(str(c) for c in cvec) 188 fix = code.nofix() 189 code('(${internal}${{func.c_ident}}($params))') 190 code.fix(fix) 191 192 return func.return_type 193