OperatorExprAST.py revision 9692
111308Santhony.gutierrez@amd.com# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 211308Santhony.gutierrez@amd.com# Copyright (c) 2009 The Hewlett-Packard Development Company 311308Santhony.gutierrez@amd.com# All rights reserved. 411308Santhony.gutierrez@amd.com# 511308Santhony.gutierrez@amd.com# Redistribution and use in source and binary forms, with or without 611308Santhony.gutierrez@amd.com# modification, are permitted provided that the following conditions are 711308Santhony.gutierrez@amd.com# met: redistributions of source code must retain the above copyright 811308Santhony.gutierrez@amd.com# notice, this list of conditions and the following disclaimer; 911308Santhony.gutierrez@amd.com# redistributions in binary form must reproduce the above copyright 1011308Santhony.gutierrez@amd.com# notice, this list of conditions and the following disclaimer in the 1111308Santhony.gutierrez@amd.com# documentation and/or other materials provided with the distribution; 1211308Santhony.gutierrez@amd.com# neither the name of the copyright holders nor the names of its 1311308Santhony.gutierrez@amd.com# contributors may be used to endorse or promote products derived from 1411308Santhony.gutierrez@amd.com# this software without specific prior written permission. 1511308Santhony.gutierrez@amd.com# 1611308Santhony.gutierrez@amd.com# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 1711308Santhony.gutierrez@amd.com# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 1811308Santhony.gutierrez@amd.com# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 1911308Santhony.gutierrez@amd.com# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 2011308Santhony.gutierrez@amd.com# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 2111308Santhony.gutierrez@amd.com# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 2211308Santhony.gutierrez@amd.com# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 2311308Santhony.gutierrez@amd.com# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 2411308Santhony.gutierrez@amd.com# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 2511308Santhony.gutierrez@amd.com# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2611308Santhony.gutierrez@amd.com# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2711308Santhony.gutierrez@amd.com 2811308Santhony.gutierrez@amd.comfrom slicc.ast.ExprAST import ExprAST 2911308Santhony.gutierrez@amd.comfrom slicc.symbols import Type 3011308Santhony.gutierrez@amd.com 3111308Santhony.gutierrez@amd.comclass InfixOperatorExprAST(ExprAST): 3211308Santhony.gutierrez@amd.com def __init__(self, slicc, left, op, right): 3311308Santhony.gutierrez@amd.com super(InfixOperatorExprAST, self).__init__(slicc) 3411308Santhony.gutierrez@amd.com 3511308Santhony.gutierrez@amd.com self.left = left 3611308Santhony.gutierrez@amd.com self.op = op 3711308Santhony.gutierrez@amd.com self.right = right 3811308Santhony.gutierrez@amd.com 3911308Santhony.gutierrez@amd.com def __repr__(self): 4011308Santhony.gutierrez@amd.com return "[InfixExpr: %r %s %r]" % (self.left, self.op, self.right) 4111308Santhony.gutierrez@amd.com 4211308Santhony.gutierrez@amd.com def generate(self, code): 4311308Santhony.gutierrez@amd.com lcode = self.slicc.codeFormatter() 4411308Santhony.gutierrez@amd.com rcode = self.slicc.codeFormatter() 4511308Santhony.gutierrez@amd.com 4611308Santhony.gutierrez@amd.com ltype = self.left.generate(lcode) 4711308Santhony.gutierrez@amd.com rtype = self.right.generate(rcode) 4811308Santhony.gutierrez@amd.com 4911308Santhony.gutierrez@amd.com # Figure out what the input and output types should be 5011308Santhony.gutierrez@amd.com if self.op in ("==", "!=", ">=", "<=", ">", "<"): 5111308Santhony.gutierrez@amd.com output = "bool" 5211308Santhony.gutierrez@amd.com if (ltype != rtype): 5311308Santhony.gutierrez@amd.com self.error("Type mismatch: left and right operands of " + 5411308Santhony.gutierrez@amd.com "operator '%s' must be the same type. " + 5511308Santhony.gutierrez@amd.com "left: '%s', right: '%s'", 5611308Santhony.gutierrez@amd.com self.op, ltype, rtype) 5711308Santhony.gutierrez@amd.com else: 5811308Santhony.gutierrez@amd.com expected_types = [] 5911308Santhony.gutierrez@amd.com output = None 6011308Santhony.gutierrez@amd.com 6111308Santhony.gutierrez@amd.com if self.op in ("&&", "||"): 6211308Santhony.gutierrez@amd.com # boolean inputs and output 6311308Santhony.gutierrez@amd.com expected_types = [("bool", "bool", "bool")] 6411308Santhony.gutierrez@amd.com elif self.op in ("<<", ">>"): 6511308Santhony.gutierrez@amd.com expected_types = [("int", "int", "int"), 6611308Santhony.gutierrez@amd.com ("Cycles", "int", "Cycles")] 6711308Santhony.gutierrez@amd.com elif self.op in ("+", "-", "*", "/"): 6811308Santhony.gutierrez@amd.com expected_types = [("int", "int", "int"), 6911308Santhony.gutierrez@amd.com ("Cycles", "Cycles", "Cycles"), 7011308Santhony.gutierrez@amd.com ("Cycles", "int", "Cycles"), 7111308Santhony.gutierrez@amd.com ("Scalar", "int", "Scalar"), 7211308Santhony.gutierrez@amd.com ("int", "Cycles", "Cycles")] 7311308Santhony.gutierrez@amd.com else: 7411308Santhony.gutierrez@amd.com self.error("No operator matched with {0}!" .format(self.op)) 7511308Santhony.gutierrez@amd.com 7611308Santhony.gutierrez@amd.com for expected_type in expected_types: 7711308Santhony.gutierrez@amd.com left_input_type = self.symtab.find(expected_type[0], Type) 7811308Santhony.gutierrez@amd.com right_input_type = self.symtab.find(expected_type[1], Type) 7911308Santhony.gutierrez@amd.com 8011308Santhony.gutierrez@amd.com if (left_input_type == ltype) and (right_input_type == rtype): 8111308Santhony.gutierrez@amd.com output = expected_type[2] 8211308Santhony.gutierrez@amd.com 8311308Santhony.gutierrez@amd.com if output == None: 8411308Santhony.gutierrez@amd.com self.error("Type mismatch: operands ({0}, {1}) for operator " \ 8511308Santhony.gutierrez@amd.com "'{2}' failed to match with the expected types" . 8611308Santhony.gutierrez@amd.com format(ltype, rtype, self.op)) 8711308Santhony.gutierrez@amd.com 8811308Santhony.gutierrez@amd.com # All is well 8911308Santhony.gutierrez@amd.com fix = code.nofix() 9011308Santhony.gutierrez@amd.com code("($lcode ${{self.op}} $rcode)") 9111308Santhony.gutierrez@amd.com code.fix(fix) 9211308Santhony.gutierrez@amd.com return self.symtab.find(output, Type) 9311308Santhony.gutierrez@amd.com 9411308Santhony.gutierrez@amd.comclass PrefixOperatorExprAST(ExprAST): 9511308Santhony.gutierrez@amd.com def __init__(self, slicc, op, operand): 9611308Santhony.gutierrez@amd.com super(PrefixOperatorExprAST, self).__init__(slicc) 9711308Santhony.gutierrez@amd.com 9811308Santhony.gutierrez@amd.com self.op = op 9911308Santhony.gutierrez@amd.com self.operand = operand 10011308Santhony.gutierrez@amd.com 10111308Santhony.gutierrez@amd.com def __repr__(self): 10211308Santhony.gutierrez@amd.com return "[PrefixExpr: %s %r]" % (self.op, self.operand) 10311308Santhony.gutierrez@amd.com 10411308Santhony.gutierrez@amd.com def generate(self, code): 10511308Santhony.gutierrez@amd.com opcode = self.slicc.codeFormatter() 10611308Santhony.gutierrez@amd.com optype = self.operand.generate(opcode) 10711308Santhony.gutierrez@amd.com 10811308Santhony.gutierrez@amd.com fix = code.nofix() 10911308Santhony.gutierrez@amd.com code("(${{self.op}} $opcode)") 11011308Santhony.gutierrez@amd.com code.fix(fix) 11111308Santhony.gutierrez@amd.com 11211308Santhony.gutierrez@amd.com return self.symtab.find("void", Type) 11311308Santhony.gutierrez@amd.com