Func.py revision 11030
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.symbols.Symbol import Symbol 296657Snate@binkert.orgfrom slicc.symbols.Type import Type 306657Snate@binkert.org 316657Snate@binkert.orgclass Func(Symbol): 3210984SBrad.Beckmann@amd.com def __init__(self, table, ident, name, location, return_type, param_types, 3311030Snilay@cs.wisc.edu proto_param_strings, body_param_strings, body, 3411030Snilay@cs.wisc.edu pairs, default_count = 0): 356657Snate@binkert.org super(Func, self).__init__(table, ident, location, pairs) 366657Snate@binkert.org self.return_type = return_type 376657Snate@binkert.org self.param_types = param_types 3811030Snilay@cs.wisc.edu self.proto_param_strings = proto_param_strings 3911030Snilay@cs.wisc.edu self.body_param_strings = body_param_strings 406657Snate@binkert.org self.body = body 416657Snate@binkert.org self.isInternalMachineFunc = False 428337Snilay@cs.wisc.edu self.c_ident = ident 4310984SBrad.Beckmann@amd.com self.c_name = name 449298Snilay@cs.wisc.edu self.class_name = "" 4511030Snilay@cs.wisc.edu self.default_count = default_count 466657Snate@binkert.org 476657Snate@binkert.org def __repr__(self): 486657Snate@binkert.org return "" 496657Snate@binkert.org 506657Snate@binkert.org @property 516657Snate@binkert.org def prototype(self): 526657Snate@binkert.org if "external" in self: 536657Snate@binkert.org return "" 546657Snate@binkert.org 556657Snate@binkert.org return_type = self.return_type.c_ident 566657Snate@binkert.org void_type = self.symtab.find("void", Type) 576657Snate@binkert.org if "return_by_ref" in self and self.return_type != void_type: 586657Snate@binkert.org return_type += "&" 597839Snilay@cs.wisc.edu elif "return_by_pointer" in self and self.return_type != void_type: 607839Snilay@cs.wisc.edu return_type += "*" 616657Snate@binkert.org 6210984SBrad.Beckmann@amd.com return "%s %s(%s);" % (return_type, self.c_name, 6311030Snilay@cs.wisc.edu ", ".join(self.proto_param_strings)) 646657Snate@binkert.org 659219Spower.jg@gmail.com def writeCodeFiles(self, path, includes): 668478Snilay@cs.wisc.edu return 678478Snilay@cs.wisc.edu 6811029Snilay@cs.wisc.edu def checkArguments(self, args): 6911030Snilay@cs.wisc.edu if len(args) + self.default_count < len(self.param_types) or \ 7011030Snilay@cs.wisc.edu len(args) > len(self.param_types): 7111030Snilay@cs.wisc.edu self.error("Wrong number of arguments passed to function: '%s'" + \ 7211030Snilay@cs.wisc.edu " Expected at least: %d, got: %d", self.c_ident, 7311030Snilay@cs.wisc.edu len(self.param_types) - self.default_count, len(args)) 7411029Snilay@cs.wisc.edu 7511029Snilay@cs.wisc.edu cvec = [] 7611029Snilay@cs.wisc.edu type_vec = [] 7711029Snilay@cs.wisc.edu for expr,expected_type in zip(args, self.param_types): 7811029Snilay@cs.wisc.edu # Check the types of the parameter 7911029Snilay@cs.wisc.edu actual_type,param_code = expr.inline(True) 8011029Snilay@cs.wisc.edu if str(actual_type) != 'OOD' and \ 8111029Snilay@cs.wisc.edu str(actual_type) != str(expected_type) and \ 8211029Snilay@cs.wisc.edu str(actual_type["interface"]) != str(expected_type): 8311029Snilay@cs.wisc.edu expr.error("Type mismatch: expected: %s actual: %s" % \ 8411029Snilay@cs.wisc.edu (expected_type, actual_type)) 8511029Snilay@cs.wisc.edu cvec.append(param_code) 8611029Snilay@cs.wisc.edu type_vec.append(expected_type) 8711029Snilay@cs.wisc.edu 8811029Snilay@cs.wisc.edu return cvec, type_vec 8911029Snilay@cs.wisc.edu 908478Snilay@cs.wisc.edu def generateCode(self): 916657Snate@binkert.org '''This write a function of object Chip''' 926657Snate@binkert.org if "external" in self: 938478Snilay@cs.wisc.edu return "" 946657Snate@binkert.org 956999Snate@binkert.org code = self.symtab.codeFormatter() 966657Snate@binkert.org 976657Snate@binkert.org # Generate function header 9811030Snilay@cs.wisc.edu return_type = self.return_type.c_ident 996657Snate@binkert.org void_type = self.symtab.find("void", Type) 1006657Snate@binkert.org if "return_by_ref" in self and self.return_type != void_type: 1016657Snate@binkert.org return_type += "&" 1027839Snilay@cs.wisc.edu if "return_by_pointer" in self and self.return_type != void_type: 1037839Snilay@cs.wisc.edu return_type += "*" 1046657Snate@binkert.org 10511030Snilay@cs.wisc.edu params = ', '.join(self.body_param_strings) 1066657Snate@binkert.org 1076657Snate@binkert.org code(''' 1087007Snate@binkert.org$return_type 10910984SBrad.Beckmann@amd.com${{self.class_name}}::${{self.c_name}}($params) 1106657Snate@binkert.org{ 1116657Snate@binkert.org${{self.body}} 1126657Snate@binkert.org} 1136657Snate@binkert.org''') 1148478Snilay@cs.wisc.edu return str(code) 1156657Snate@binkert.org 1166657Snate@binkert.org__all__ = [ "Func" ] 117