Non-unique list of variables whose value is read by this instruction
(self)
| 490 | |
| 491 | @property |
| 492 | def vars_read(self) -> VariablesList: |
| 493 | """Non-unique list of variables whose value is read by this instruction""" |
| 494 | non_read = [*self.vars_written, *self.vars_address_taken] |
| 495 | result = [] |
| 496 | for v in self.vars: |
| 497 | if v in non_read: |
| 498 | non_read.remove(v) |
| 499 | continue |
| 500 | result.append(v) |
| 501 | return result |
| 502 | |
| 503 | @property |
| 504 | def vars_address_taken(self) -> VariablesList: |