Changeset 2247 for src/ASM/Status.ma


Ignore:
Timestamp:
Jul 24, 2012, 6:00:48 PM (8 years ago)
Author:
mulligan
Message:

Work on the MOV instruction from today and bug fixes in set_arg_1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2172 r2247  
    10151015    match a return λx. bool_to_Prop (is_in ? [[bit_addr ; carry]] x) → ? with
    10161016      [ BIT_ADDR b ⇒ λbit_addr: True.
    1017         let 〈bit_1, seven_bits〉 ≝ vsplit bool 1 7 (get_8051_sfr … s SFR_PSW) in
     1017        let 〈bit_1, seven_bits〉 ≝ vsplit bool 1 7 b in
    10181018        match head' … bit_1 with
    10191019        [ true ⇒
Note: See TracChangeset for help on using the changeset viewer.