|
@@ -601,7 +601,11 @@ class ReadValueInstruction(StateInstruction):
|
|
|
|
|
|
def simplify(self):
|
|
|
"""Applies basic simplification to this instruction and its children."""
|
|
|
- return ReadValueInstruction(self.node_id.simplify())
|
|
|
+ simplified_node_id = self.node_id.simplify()
|
|
|
+ if isinstance(simplified_node_id, CreateNodeWithValueInstruction):
|
|
|
+ return simplified_node_id.value
|
|
|
+ else:
|
|
|
+ return ReadValueInstruction(simplified_node_id)
|
|
|
|
|
|
def get_opcode(self):
|
|
|
"""Gets the opcode for this state instruction."""
|