-exec (addr, Low, op) s =
- (s', ())
- where
- (reg_s, alu_s, t, z) = s
- (reg_s', t') = register_bank (addr, Low, DontCare) reg_s
- (alu_s', z') = alu (op, t', t) alu_s
- s' = (reg_s', alu_s', t', z')
-
--- Write
-exec (addr, High, op) s =
- (s', ())