def visit_Constant(self,const): if const.type == 'int': #XXX t = types.Int() reg = ir.I32() const = ir.ConstantI32(const.value) op = ir.LoadConstant(reg,const) v = ValTracker(False,t,reg) self.curBasicBlock.append(op) return v elif const.type == 'string': t = types.Char() reg = ir.Pointer() v = ValTracker(False,types.Pointer(t),reg) rawdata = cstrings.parseCString(const.value) label = self.module.addReadOnlyData(rawdata) op = ir.LoadGlobalAddr(reg,GlobalSym(label,v.type.clone())) self.curBasicBlock.append(op) return v elif const.type == 'char': t = types.Char() v = ValTracker(False,t,None) v.createVirtualReg() const = ir.ConstantI8(cstrings.parseCChar(const.value)) op = ir.LoadConstant(v.reg,const) self.curBasicBlock.append(op) return v else: raise Exception('unimplemented constant load : %s' % const.coord)
def visit_FuncCall(self,node): funcSym = self.symTab.lookupSymbol(node.name.name) funcType = funcSym.type finalArgs = [] if node.args: processingVarArgs = False for i,arg in enumerate(node.args.exprs): finalArg = self.inFunctionDispatch(arg) self.assertNonVoid(finalArg) if not processingVarArgs: if type(funcType.args[i]) == types.VarArgType: processingVarArgs = True if finalArg.type.isInt: finalArg = operatorgen.promoteToInt(self.curBasicBlock,finalArg) if not processingVarArgs: if not finalArg.type.strictTypeMatch(funcType.args[i]): raise Exception("type mismatch in funcall %s %s incompatible with %s" % (funcSym.name,finalArg.type,funcType.args[i])) finalArg = operatorgen.removeLValness(self.curBasicBlock,finalArg); finalArgs.append(finalArg) else: if len(funcType.args) != 0: raise Exception(("calling function %s with no args when it" \ + " requires args") % funcSym.name) retType = funcType.rettype.clone() retV = ValTracker(False,retType,None) retV.createVirtualReg() callinst = ir.Call(node.name.name) callinst.read = list(map(lambda v : v.reg,finalArgs)) if retV.reg != None: callinst.assigned = [retV.reg] else: callinst.assigned = [] self.curBasicBlock.append(callinst) return retV