State change
Explicit state change
Illustrative lines, not from Note G
Op
Operation
Inputs
Destination
1
×
V1, V2
V3
2
+
V3, V4
V4
Only the destination, V3, changes.
Nothing else was told to change.
The store
before
after op 1
V1
2
2
unchanged
V2
3
3
unchanged
V3
0
6
changed
V4
10
10
unchanged