def MOD(i):
(l, y, z) = (datafile.block[i].out, datafile.block[i].op1, datafile.block[i].op2)
register.storereg('edx')
datafile.blockout.append("xor edx, edx")
datafile.lineno = datafile.lineno + 1
try :
int(z)
datafile.zprime = z
reg = register.emptyregister(i,['eax', 'edx'])
datafile.blockout.append('mov ' + reg + ", " + z)
datafile.lineno = datafile.lineno + 1
datafile.zprime = reg
except :
if datafile.addressdescriptor[z] == 'eax':
register.storereg(z)
register.getz(z)
pass
register.getreg(l, y, i, 'eax')
try :
int(y)
datafile.yprime = y
except :
pass
register.gety(y)
datafile.blockout.append("idiv " + register.mem(datafile.zprime))
datafile.lineno = datafile.lineno + 1
datafile.L = 'edx' #since the remainder is store in edx
register.update(l)
register_allocator.freereg(y, i)
register_allocator.freereg(z, i)
def ARRAYLOAD(i):
(l, y, z) = (datafile.block[i].out, datafile.block[i].op1, datafile.block[i].op2)
try:
int(z)
datafile.zprime = z
except:
register.getz(z)
if y in datafile.allvariables:
if datafile.addressdescriptor[y] != None:
datafile.yprime = datafile.addressdescriptor[y]
else:
datafile.yprime = y
m = []
reg = None
if register.mem(datafile.zprime) in datafile.registerlist:
m.append(register.mem(datafile.zprime))
if register.mem(datafile.yprime) in datafile.registerlist:
reg = register.mem(datafile.yprime)
if not reg:
reg = register.emptyregister(i,m)
datafile.L = reg
t = register.mem(datafile.yprime)
if t[0] == "[":
datafile.blockout.append("lea " + reg + "," + t)
else:
datafile.blockout.append("mov " + reg + "," + t)
if (y in datafile.globalsection) or (y in datafile.setofarray) or (y in datafile.setofList):
datafile.blockout.append("add " + reg + "," + register.mem(datafile.zprime))
else:
datafile.blockout.append("sub " + reg + "," + register.mem(datafile.zprime))
datafile.blockout.append("mov " + reg + ", [" + reg + "]" )
register.UpdateAddressDescriptor(l)
def DIV(i):
(l, y, z) = (datafile.block[i].out, datafile.block[i].op1, datafile.block[i].op2)
register.storereg('edx')
datafile.blockout.append("xor %edx, %edx")
datafile.lineno = datafile.lineno + 1
try :
int(z)
reg = register.emptyregister(i,['edx', 'eax'])
datafile.blockout.append('mov $' + z + ", %" + reg)
datafile.lineno = datafile.lineno + 1
datafile.zprime = reg
except :
if datafile.addressdescriptor[z] == 'eax':
register.storereg(z)
register.getz(z)
pass
register.getreg(l, y, i, 'eax')
try :
int(y)
datafile.yprime = y
except :
pass
register.gety(y)
datafile.blockout.append("idivl " + register.mem(datafile.zprime))
datafile.lineno = datafile.lineno + 1
register.UpdateAddressDescriptor(l)
register.freereg(y, i)
register.freereg(z, i)
def ADD(i):
(y, z, l) = (datafile.block[i].op1, datafile.block[i].op2, datafile.block[i].out)
#check if z is constant or not if not get the momloc or register if it is already in register since op r_i , r_j is similar to op r_i , M
print y,", ", z, ", ", l ,"these are y and l in add function"
try :
int(z)
datafile.zprime = z
except :
register.getz(z)
pass
#get the register for L to store the output of the operation
register.getreg(l, y, i)
# print datafile.L , "Hello"
try :
int(y)
datafile.yprime = y
except :
pass
register.gety(y)
datafile.blockout.append("addl " + register.mem(datafile.zprime) + ", " + register.mem(datafile.L))
# datafile.blockout.append("lineno" + str(datafile.lineno))
datafile.lineno = datafile.lineno + 1
register.UpdateAddressDescriptor(l)
register.freereg(y, i)
register.freereg(z, i)
def ARRAYLOAD(i):
(l, y, z) = (datafile.block[i].out, datafile.block[i].op1, datafile.block[i].op2)
#sb $0, array1($3) index addressing mode is used here
try:
int(z)
datafile.zprime = z
except:
register.getz(z)
reg = register.emptyregister(i)
datafile.blockout.append("movl " + register.mem(datafile.zprime) + ", " + register.mem(reg))
datafile.lineno = datafile.lineno + 1
datafile.L = reg
datafile.blockout.append("movl " + y + "(, %" + reg +", 4 ), %" + reg )
datafile.lineno = datafile.lineno + 1
register.UpdateAddressDescriptor(l)
def COMPARE(i):
(y,z) = (datafile.block[i].op1,datafile.block[i].op2)
try:
int(z)
datafile.zprime = z
except:
datafile.zprime = register.getz(z)
try:
int(y)
datafile.yprime = y
except:
if datafile.addressdescriptor[y] != None:
datafile.L = datafile.addressdescriptor[y]
elif datafile.zprime in datafile.allvariables:
reg = register.emptyregister(i)
datafile.blockout.append("movl " + register.mem(y) + ", " + register.mem(reg))
datafile.lineno = datafile.lineno + 1
datafile.L = reg
datafile.registerdescriptor[reg] = y
datafile.addressdescriptor[y] = reg
else:
datafile.L = y
datafile.blockout.append("cmp " + register.mem(y) + ", " + register.mem(z))
datafile.lineno = datafile.lineno + 1
register.freereg(y,i)
register.freereg(z,i)
def ADD(i):
(y, z, l) = (datafile.block[i].op1, datafile.block[i].op2, datafile.block[i].out)
try :
int(z)
datafile.zprime = z
except :
register.getz(z)
pass
register.getreg(l, y, i)
try :
int(y)
datafile.yprime = y
except :
pass
register.gety(y)
datafile.blockout.append("add " + register.mem(datafile.L) + ", "+register.mem(datafile.zprime) )
datafile.lineno = datafile.lineno + 1
register.UpdateAddressDescriptor(l)
register.freereg(y, i)
register.freereg(z, i)
def XOR(i):
(y, z, l) = (datafile.block[i].op1, datafile.block[i].op2, datafile.block[i].out)
#check if z is constant or not if not get the momloc or register if it is already in register since op r_i , r_j is similar to op r_i , M
try :
int(z)
datafile.zprime = z
except :
register.getz(z)
pass
#get the register for L to store the output of the operation
register.getreg(l, y, i)
try :
int(y)
datafile.yprime = y
except :
pass
register.gety(y)
datafile.blockout.append("xor " + register.mem(datafile.L) + ", " + register.mem(datafile.zprime) )
datafile.lineno = datafile.lineno + 1
register.UpdateAddressDescriptor(l)
register.freereg(y, i)
register.freereg(z, i)
def COMPARE(i):
(y,z) = (datafile.block[i].op1,datafile.block[i].op2)
try:
int(z)
datafile.zprime = z
except:
register.getz(z)
try:
int(y)
datafile.yprime = y
reg = register.emptyregister(i,[datafile.zprime])
datafile.blockout.append("mov " + reg + "," + datafile.yprime)
datafile.yprime = reg
except:
if datafile.addressdescriptor[y] != None:
datafile.L = datafile.addressdescriptor[y]
datafile.yprime = datafile.addressdescriptor[y]
elif datafile.zprime in datafile.allvariables:
reg = register.emptyregister(i)
datafile.blockout.append("mov " + reg + ", " + register.mem(y) )
datafile.yprime = reg
datafile.registerdescriptor[reg] = y
datafile.addressdescriptor[y] = reg
elif datafile.zprime not in datafile.registerlist:
reg = register.emptyregister(i)
datafile.blockout.append("mov " + reg + ", " + register.mem(y) )
datafile.yprime = reg
datafile.registerdescriptor[reg] = y
datafile.addressdescriptor[y] = reg
if datafile.yprime in datafile.registerlist:
datafile.blockout.append("cmp " + datafile.yprime + "," + register.mem(datafile.zprime))
else:
datafile.blockout.append("cmp " + register.mem(datafile.yprime) + "," + datafile.zprime)
register.freereg(y,i)
register.freereg(z,i)
