def _phase_1(code):
instructions = code.instructions
''' Generate flow graph '''
flow_graph = cfg.generate(instructions)
''' Get usability information '''
use_ins, use_outs = fu.analyse(flow_graph, code.argument_fields, [])
''' Cherry-pick dead instructions '''
instruction_list = []
for _, node in flow_graph.iteritems():
for instruction in node.basic_block:
if isinstance(instruction, I.RMV):
if is_reserved_or_argument_field(instruction.field.field, code.argument_fields):
pass
else:
if get_rmv_instruction_count(code.instructions, instruction.field.field) < 2:
pass
elif not (instruction.field.field in use_outs[instruction]):
instruction_list.append(instruction)
''' Remove dead instructions from the code '''
for instruction in instruction_list:
instructions.remove(instruction)
def _phase_1(code):
instructions = code.instructions
''' Generate flow graph '''
flow_graph = cfg.generate(instructions)
''' Get usability information '''
use_ins, use_outs = fu.analyse(flow_graph, code.argument_fields, [I.RMV])
''' Cherry-pick dead instructions '''
instruction_list = []
for _, node in flow_graph.iteritems():
for instruction in node.basic_block:
if isinstance(instruction, I.ADD):
if is_reserved_or_argument_field(instruction.field.field,
code.argument_fields):
pass
elif not (instruction.field.field in use_outs[instruction]):
instruction_list.append(instruction)
''' Remove dead instructions from the code '''
for instruction in instruction_list:
instructions.remove(instruction)
def _phase_1(code):
instructions = code.instructions
""" Generate flow graph """
flow_graph = cfg.generate(instructions)
""" Get usability information """
use_ins, use_outs = fu.analyse(flow_graph, code.argument_fields, [I.RMV])
""" Cherry-pick dead instructions """
instruction_list = []
for _, node in flow_graph.iteritems():
for instruction in node.basic_block:
if isinstance(instruction, I.ADD):
if is_reserved_or_argument_field(instruction.field.field, code.argument_fields):
pass
elif not (instruction.field.field in use_outs[instruction]):
instruction_list.append(instruction)
""" Remove dead instructions from the code """
for instruction in instruction_list:
instructions.remove(instruction)
def _transform(code, exclude_list):
instructions = code.instructions
''' Generate flow graph '''
flow_graph = cfg.generate(instructions)
''' Get usability information '''
use_ins, use_outs = fu.analyse(flow_graph, code.argument_fields,
exclude_list)
''' Cherry-pick dead instructions '''
instruction_dict = {}
for _, node in flow_graph.iteritems():
for instruction in node.basic_block:
if isinstance(instruction, I.LD):
instruction_dict[instruction] = []
if isinstance(instruction.source, O.Field):
if is_reserved_or_argument_field(instruction.source.field,
code.argument_fields):
pass
elif not (instruction.source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.source.field)))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(
instruction.destination.field,
code.argument_fields):
pass
elif not (instruction.destination.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.ST):
instruction_dict[instruction] = []
if isinstance(instruction.source, O.Field):
if is_reserved_or_argument_field(instruction.source.field,
code.argument_fields):
pass
elif not (instruction.source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.source.field)))
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
offset.field)))
if isinstance(instruction.location.location.length,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
length.field)))
else:
raise RuntimeError(
"invalid %s of locations (%s). Should be %s." %
(type(instruction.location), instruction.location,
O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.OP):
instruction_dict[instruction] = []
if isinstance(instruction.left_source, O.Field):
if is_reserved_or_argument_field(
instruction.left_source.field,
code.argument_fields):
pass
elif not (instruction.left_source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.left_source.field)))
if isinstance(instruction.right_source, O.Field):
if is_reserved_or_argument_field(
instruction.right_source.field,
code.argument_fields):
pass
elif not (instruction.right_source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.right_source.field)))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(
instruction.destination.field,
code.argument_fields):
pass
elif not (instruction.destination.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.PUSH):
instruction_dict[instruction] = []
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
offset.field)))
if isinstance(instruction.location.location.length,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
length.field)))
else:
raise RuntimeError(
"invalid %s of locations (%s). Should be %s." %
(type(instruction.location), instruction.location,
O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.POP):
instruction_dict[instruction] = []
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
offset.field)))
if isinstance(instruction.location.location.length,
O.Field):
if is_reserved_or_argument_field(
instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(
O.Field(instruction.location.location.
length.field)))
else:
raise RuntimeError(
"invalid %s of locations (%s). Should be %s." %
(type(instruction.location), instruction.location,
O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.BR):
instruction_dict[instruction] = []
if isinstance(instruction.left_source, O.Field):
if is_reserved_or_argument_field(
instruction.left_source.field,
code.argument_fields):
pass
elif not (instruction.left_source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.left_source.field)))
if isinstance(instruction.right_source, O.Field):
if is_reserved_or_argument_field(
instruction.right_source.field,
code.argument_fields):
pass
elif not (instruction.right_source.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.right_source.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.LDt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field,
code.argument_fields):
pass
elif not (instruction.index.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.index.field)))
if isinstance(instruction.destinations, O.Operands__):
for operand in instruction.destinations:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
else:
raise RuntimeError(
"invalid %s of destinations (%s). Should be %s." %
(type(instruction.destinations),
instruction.destinations, O.Operands__))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.STt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field,
code.argument_fields):
pass
elif not (instruction.index.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.index.field)))
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
elif isinstance(instruction.sources, O.OperandsMasks_):
for operand, _ in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
else:
raise RuntimeError(
"invalid %s of sources (%s). Should be %s or %s." %
(type(instruction.sources), instruction.sources,
O.Operands_, O.OperandsMasks_))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.INCt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field,
code.argument_fields):
pass
elif not (instruction.index.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.index.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.LKt):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
else:
raise RuntimeError(
"invalid %s of sources (%s). Should be %s." %
(type(instruction.sources), instruction.sources,
O.Operands_))
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field,
code.argument_fields):
pass
elif not (instruction.index.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.index.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.CRC):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
else:
raise RuntimeError(
"invalid %s of sources (%s). Should be %s." %
(type(instruction.sources), instruction.sources,
O.Operands_))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(
instruction.destination.field,
code.argument_fields):
pass
elif not (instruction.destination.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.HSH):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(
operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(operand.field)))
else:
raise RuntimeError(
"invalid %s of sources (%s). Should be %s." %
(type(instruction.sources), instruction.sources,
O.Operands_))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(
instruction.destination.field,
code.argument_fields):
pass
elif not (instruction.destination.field
in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.CNC):
instruction_dict[instruction] = []
if isinstance(instruction.codes, I.Codes):
for _code in instruction.codes:
for field in _code.argument_fields:
if is_reserved_or_argument_field(
field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(field)))
else:
raise RuntimeError(
"invalid %s of codes (%s). Should be %s." %
(type(instruction.codes), instruction.codes, I.Codes))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.ATM):
instruction_dict[instruction] = []
if isinstance(instruction.code, I.Code):
for field in instruction.code.argument_fields:
if is_reserved_or_argument_field(
field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(field)))
else:
raise RuntimeError(
"invalid %s of code (%s). Should be %s." %
(type(instruction.code), instruction.code, I.Code))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.SEQ):
instruction_dict[instruction] = []
if isinstance(instruction.code, I.Code):
for field in instruction.code.argument_fields:
if is_reserved_or_argument_field(
field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(
I.RMV(O.Field(field)))
else:
raise RuntimeError(
"invalid %s of code (%s). Should be %s." %
(type(instruction.code), instruction.code, I.Code))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
''' Remove dead instructions from the code '''
for instruction, _instructions in instruction_dict.iteritems():
index = instructions.index(instruction)
for i in range(0, len(_instructions)):
instructions.insert(index + i + 1, _instructions[i])
def _transform(code, exclude_list):
instructions = code.instructions
''' Generate flow graph '''
flow_graph = cfg.generate(instructions)
''' Get usability information '''
use_ins, use_outs = fu.analyse(flow_graph, code.argument_fields, exclude_list)
''' Cherry-pick dead instructions '''
instruction_dict = {}
for _, node in flow_graph.iteritems():
for instruction in node.basic_block:
if isinstance(instruction, I.LD):
instruction_dict[instruction] = []
if isinstance(instruction.source, O.Field):
if is_reserved_or_argument_field(instruction.source.field, code.argument_fields):
pass
elif not (instruction.source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.source.field)))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(instruction.destination.field, code.argument_fields):
pass
elif not (instruction.destination.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.ST):
instruction_dict[instruction] = []
if isinstance(instruction.source, O.Field):
if is_reserved_or_argument_field(instruction.source.field, code.argument_fields):
pass
elif not (instruction.source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.source.field)))
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset, O.Field):
if is_reserved_or_argument_field(instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.offset.field)))
if isinstance(instruction.location.location.length, O.Field):
if is_reserved_or_argument_field(instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.length.field)))
else:
raise RuntimeError("invalid %s of locations (%s). Should be %s."
% (type(instruction.location), instruction.location, O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.OP):
instruction_dict[instruction] = []
if isinstance(instruction.left_source, O.Field):
if is_reserved_or_argument_field(instruction.left_source.field, code.argument_fields):
pass
elif not (instruction.left_source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.left_source.field)))
if isinstance(instruction.right_source, O.Field):
if is_reserved_or_argument_field(instruction.right_source.field, code.argument_fields):
pass
elif not (instruction.right_source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.right_source.field)))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(instruction.destination.field, code.argument_fields):
pass
elif not (instruction.destination.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.PUSH):
instruction_dict[instruction] = []
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset, O.Field):
if is_reserved_or_argument_field(instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.offset.field)))
if isinstance(instruction.location.location.length, O.Field):
if is_reserved_or_argument_field(instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.length.field)))
else:
raise RuntimeError("invalid %s of locations (%s). Should be %s."
% (type(instruction.location), instruction.location, O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.POP):
instruction_dict[instruction] = []
if isinstance(instruction.location, O.Location):
if isinstance(instruction.location.location.offset, O.Field):
if is_reserved_or_argument_field(instruction.location.location.offset.field,
code.argument_fields):
pass
elif not (instruction.location.location.offset.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.offset.field)))
if isinstance(instruction.location.location.length, O.Field):
if is_reserved_or_argument_field(instruction.location.location.length.field,
code.argument_fields):
pass
elif not (instruction.location.location.length.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(
O.Field(instruction.location.location.length.field)))
else:
raise RuntimeError("invalid %s of locations (%s). Should be %s."
% (type(instruction.location), instruction.location, O.Location))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.BR):
instruction_dict[instruction] = []
if isinstance(instruction.left_source, O.Field):
if is_reserved_or_argument_field(instruction.left_source.field, code.argument_fields):
pass
elif not (instruction.left_source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.left_source.field)))
if isinstance(instruction.right_source, O.Field):
if is_reserved_or_argument_field(instruction.right_source.field, code.argument_fields):
pass
elif not (instruction.right_source.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.right_source.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.LDt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field, code.argument_fields):
pass
elif not (instruction.index.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.index.field)))
if isinstance(instruction.destinations, O.Operands__):
for operand in instruction.destinations:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
else:
raise RuntimeError("invalid %s of destinations (%s). Should be %s."
% (type(instruction.destinations), instruction.destinations, O.Operands__))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.STt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field, code.argument_fields):
pass
elif not (instruction.index.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.index.field)))
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
elif isinstance(instruction.sources, O.OperandsMasks_):
for operand, _ in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
else:
raise RuntimeError("invalid %s of sources (%s). Should be %s or %s."
% (type(instruction.sources), instruction.sources,
O.Operands_, O.OperandsMasks_))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.INCt):
instruction_dict[instruction] = []
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field, code.argument_fields):
pass
elif not (instruction.index.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.index.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.LKt):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
else:
raise RuntimeError("invalid %s of sources (%s). Should be %s."
% (type(instruction.sources), instruction.sources, O.Operands_))
if isinstance(instruction.index, O.Field):
if is_reserved_or_argument_field(instruction.index.field, code.argument_fields):
pass
elif not (instruction.index.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.index.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.CRC):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
else:
raise RuntimeError("invalid %s of sources (%s). Should be %s."
% (type(instruction.sources), instruction.sources, O.Operands_))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(instruction.destination.field, code.argument_fields):
pass
elif not (instruction.destination.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.HSH):
instruction_dict[instruction] = []
if isinstance(instruction.sources, O.Operands_):
for operand in instruction.sources:
if isinstance(operand, O.Field):
if is_reserved_or_argument_field(operand.field, code.argument_fields):
pass
elif not (operand.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(operand.field)))
else:
raise RuntimeError("invalid %s of sources (%s). Should be %s."
% (type(instruction.sources), instruction.sources, O.Operands_))
if isinstance(instruction.destination, O.Field):
if is_reserved_or_argument_field(instruction.destination.field, code.argument_fields):
pass
elif not (instruction.destination.field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(instruction.destination.field)))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.CNC):
instruction_dict[instruction] = []
if isinstance(instruction.codes, I.Codes):
for _code in instruction.codes:
for field in _code.argument_fields:
if is_reserved_or_argument_field(field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(field)))
else:
raise RuntimeError("invalid %s of codes (%s). Should be %s."
% (type(instruction.codes), instruction.codes, I.Codes))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.ATM):
instruction_dict[instruction] = []
if isinstance(instruction.code, I.Code):
for field in instruction.code.argument_fields:
if is_reserved_or_argument_field(field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(field)))
else:
raise RuntimeError("invalid %s of code (%s). Should be %s."
% (type(instruction.code), instruction.code, I.Code))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
elif isinstance(instruction, I.SEQ):
instruction_dict[instruction] = []
if isinstance(instruction.code, I.Code):
for field in instruction.code.argument_fields:
if is_reserved_or_argument_field(field, code.argument_fields):
pass
elif not (field in use_outs[instruction]):
instruction_dict[instruction].append(I.RMV(O.Field(field)))
else:
raise RuntimeError("invalid %s of code (%s). Should be %s."
% (type(instruction.code), instruction.code, I.Code))
if not instruction_dict[instruction]:
del instruction_dict[instruction]
''' Remove dead instructions from the code '''
for instruction, _instructions in instruction_dict.iteritems():
index = instructions.index(instruction)
for i in range(0, len(_instructions)):
instructions.insert(index + i + 1, _instructions[i])
