(inst)
| 1069 | |
| 1070 | def purge(self, retain_usage=True): |
| 1071 | def relevant(inst): |
| 1072 | req_node = Tape.ReqNode("") |
| 1073 | req_node.num = Tape.ReqNum() |
| 1074 | inst.add_usage(req_node) |
| 1075 | return req_node.num != {} |
| 1076 | |
| 1077 | if retain_usage: |
| 1078 | self.usage_instructions = list(filter(relevant, self.instructions)) |