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
