0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0xb | Rs | Rd |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd Rs psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd Rs psw-cy) 4) (sll HI (add-cflag HI Rd Rs psw-cy) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and SI Rs 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x5 | Rd | imm16 |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd imm16 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd imm16 psw-cy) 4) (sll HI (add-cflag HI Rd imm16 psw-cy) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and UINT imm16 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x5 | 0x3 | imm4 | Rd |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd imm4 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd imm4 psw-cy) 4) (sll HI (add-cflag HI Rd imm4 psw-cy) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and UINT imm4 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x5 | 0xb | imm8 |
(sequence ((HI value) (HI newpsw)) (set value (addc HI (reg HI h-gr Rpsw) imm8 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI (reg HI h-gr Rpsw) imm8 psw-cy) 4) (sll HI (add-cflag HI (reg HI h-gr Rpsw) imm8 psw-cy) 2)) (or HI (and HI (srl HI (addc HI (and HI (reg HI h-gr Rpsw) 15) (and UINT imm8 15) psw-cy) 1) 8) (sll SI Rpsw 12))))) (set (reg HI h-gr Rpsw) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0x9 | Rs | Rd |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd Rs 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd Rs 0) 4) (sll HI (add-cflag HI Rd Rs 0) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and SI Rs 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x4 | Rd | imm16 |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd imm16 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd imm16 0) 4) (sll HI (add-cflag HI Rd imm16 0) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and UINT imm16 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x5 | 0x1 | imm4 | Rd |
(sequence ((HI value) (HI newpsw)) (set value (addc SI Rd imm4 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI Rd imm4 0) 4) (sll HI (add-cflag HI Rd imm4 0) 2)) (or HI (and HI (srl HI (addc HI (and SI Rd 15) (and UINT imm4 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x5 | 0x9 | imm8 |
(sequence ((HI value) (HI newpsw)) (set value (addc HI (reg HI h-gr Rpsw) imm8 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (add-oflag HI (reg HI h-gr Rpsw) imm8 0) 4) (sll HI (add-cflag HI (reg HI h-gr Rpsw) imm8 0) 2)) (or HI (and HI (srl HI (addc HI (and HI (reg HI h-gr Rpsw) 15) (and UINT imm8 15) 0) 1) 8) (sll SI Rpsw 12))))) (set (reg HI h-gr Rpsw) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0x0 | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (and SI Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x0 | Rd | imm16 |
(sequence ((HI nvalue)) (set nvalue (and SI Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x4 | 0x1 | imm8 |
(sequence ((HI nvalue)) (set nvalue (and HI (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or SI (and SI psw 3996) (or SI (sll SI Rpsw 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0x6 | Rs | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (sra HI Rd (and SI Rs 15))) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (if SI (eq (and SI Rs 15) 0) psw-cy (srl SI Rd (sub SI (and SI Rs 15) 1))) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x3 | 0x7 | imm4 | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (sra HI Rd imm4)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (if SI (eq imm4 0) psw-cy (srl SI Rd (sub UINT imm4 1))) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-rel8-2 |
0xd | bcond2 | rel8-2 |
(sequence ((BI tmp)) (case VOID bcond2 ((0) (set tmp (not SI (xor SI psw-s psw-ov)))) ((1) (set tmp (not SI psw-cy))) ((2) (set tmp (xor SI psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not SI (or SI (xor SI psw-s psw-ov) psw-z16)))) ((5) (set tmp (not SI (or SI psw-cy psw-z16)))) ((6) (set tmp (or SI (xor SI psw-s psw-ov) psw-z16))) ((7) (set tmp (or SI psw-cy psw-z16))) ((8) (set tmp (not SI psw-s))) ((9) (set tmp (not SI psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not SI psw-z8))) ((13) (set tmp (not SI psw-z16))) ((14) (set tmp psw-z8)) ((15) (set tmp psw-z16))) (if tmp (set pc rel8-2)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-Rs | f-Rd | f-op5 | f-rel12 |
0x0 | 0xd | Rs | Rd | bcond5 | rel12 |
(sequence () (sequence ((HI value)) (set value (sub SI Rd Rs)) (set psw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd Rs 0) 4) (sll HI (sub-cflag HI Rd Rs 0) 2)) (or HI (and HI (srl HI (sub HI (and SI Rd 15) (and SI Rs 15)) 1) 8) (sll INT (index-of Rd) 12)))))) (sequence ((BI tmp)) (case VOID bcond5 ((0) (set tmp (not SI (xor SI psw-s psw-ov)))) ((1) (set tmp (not SI psw-cy))) ((2) (set tmp (xor SI psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not SI (or SI (xor SI psw-s psw-ov) psw-z16)))) ((5) (set tmp (not SI (or SI psw-cy psw-z16)))) ((6) (set tmp (or SI (xor SI psw-s psw-ov) psw-z16))) ((7) (set tmp (or SI psw-cy psw-z16))) ((8) (set tmp (not SI psw-s))) ((9) (set tmp (not SI psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not SI psw-z8))) ((13) (set tmp (not SI psw-z16))) ((14) (set tmp psw-z8)) ((15) (set tmp psw-z16))) (if tmp (set pc rel12))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-Rm | f-op2m | f-imm8 | f-op5 | f-rel12 |
0x2 | Rm | 0x0 | imm8 | bcond5 | rel12 |
(sequence () (sequence ((HI value)) (set value (sub SI Rm imm8)) (set psw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rm imm8 0) 4) (sll HI (sub-cflag HI Rm imm8 0) 2)) (or HI (and HI (srl HI (sub HI (and SI Rm 15) (and UINT imm8 15)) 1) 8) (sll INT (index-of Rm) 12)))))) (sequence ((BI tmp)) (case VOID bcond5 ((0) (set tmp (not SI (xor SI psw-s psw-ov)))) ((1) (set tmp (not SI psw-cy))) ((2) (set tmp (xor SI psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not SI (or SI (xor SI psw-s psw-ov) psw-z16)))) ((5) (set tmp (not SI (or SI psw-cy psw-z16)))) ((6) (set tmp (or SI (xor SI psw-s psw-ov) psw-z16))) ((7) (set tmp (or SI psw-cy psw-z16))) ((8) (set tmp (not SI psw-s))) ((9) (set tmp (not SI psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not SI psw-z8))) ((13) (set tmp (not SI psw-z16))) ((14) (set tmp psw-z8)) ((15) (set tmp psw-z16))) (if tmp (set pc rel12))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-rel8-4 | f-imm16 |
0xc | bcond2 | rel8-4 | imm16 |
(sequence () (sequence ((HI value)) (set value (sub HI (reg HI h-gr Rpsw) imm16)) (set psw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI (reg HI h-gr Rpsw) imm16 0) 4) (sll HI (sub-cflag HI (reg HI h-gr Rpsw) imm16 0) 2)) (or HI (and HI (srl HI (sub HI (and HI (reg HI h-gr Rpsw) 15) (and UINT imm16 15)) 1) 8) (sll SI Rpsw 12)))))) (sequence ((BI tmp)) (case VOID bcond2 ((0) (set tmp (not SI (xor SI psw-s psw-ov)))) ((1) (set tmp (not SI psw-cy))) ((2) (set tmp (xor SI psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not SI (or SI (xor SI psw-s psw-ov) psw-z16)))) ((5) (set tmp (not SI (or SI psw-cy psw-z16)))) ((6) (set tmp (or SI (xor SI psw-s psw-ov) psw-z16))) ((7) (set tmp (or SI psw-cy psw-z16))) ((8) (set tmp (not SI psw-s))) ((9) (set tmp (not SI psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not SI psw-z8))) ((13) (set tmp (not SI psw-z16))) ((14) (set tmp psw-z8)) ((15) (set tmp psw-z16))) (if tmp (set pc rel8-4))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x0 | 0x0 | 0x2 | Rd |
(set pc (add USI (add USI pc 2) Rd))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-Rs | f-Rd | f-op5 | f-rel12 |
0x0 | 0x6 | Rs | Rd | 0x0 | rel12 |
(sequence () (set Rpsw (index-of Rd)) (if (eq (and SI Rd (sll INT 1 Rs)) 0) (set pc rel12)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-imm4 | f-Rd | f-op5 | f-rel12 |
0x0 | 0x4 | imm4 | Rd | 0x0 | rel12 |
(sequence () (set Rpsw (index-of Rd)) (if (eq (and SI Rd (sll INT 1 imm4)) 0) (set pc rel12)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-hmem8 | f-op5a | f-imm3b | f-rel12 |
0x7 | 0xe | hmem8 | 0x0 | imm3b | rel12 |
(if (eq (and QI (mem QI hmem8) (sll INT 1 imm3b)) 0) (set pc rel12))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-lmem8 | f-op5a | f-imm3b | f-rel12 |
0x7 | 0xc | lmem8 | 0x0 | imm3b | rel12 |
(if (eq (and QI (mem QI lmem8) (sll INT 1 imm3b)) 0) (set pc rel12))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-Rs | f-Rd | f-op5 | f-rel12 |
0x0 | 0x7 | Rs | Rd | 0x0 | rel12 |
(sequence () (set Rpsw (index-of Rd)) (if (ne (and SI Rd (sll INT 1 Rs)) 0) (set pc rel12)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-imm4 | f-Rd | f-op5 | f-rel12 |
0x0 | 0x5 | imm4 | Rd | 0x0 | rel12 |
(sequence () (set Rpsw (index-of Rd)) (if (ne (and SI Rd (sll INT 1 imm4)) 0) (set pc rel12)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-hmem8 | f-op5a | f-imm3b | f-rel12 |
0x7 | 0xf | hmem8 | 0x0 | imm3b | rel12 |
(if (ne (and QI (mem QI hmem8) (sll INT 1 imm3b)) 0) (set pc rel12))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-lmem8 | f-op5a | f-imm3b | f-rel12 |
0x7 | 0xd | lmem8 | 0x0 | imm3b | rel12 |
(if (ne (and QI (mem QI lmem8) (sll INT 1 imm3b)) 0) (set pc rel12))
0 1 2 3 | 4 5 6 7 8 9 10 11 12 13 14 | 15 |
f-op1 | f-rel12a | f-op4b |
0x1 | rel12a | 0x0 |
(set pc rel12a)
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x5 |
(c-call VOID "do_brk")
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-abs24 |
0x0 | 0x1 | abs24 |
(sequence () (set (mem SI sp) (add USI pc 4)) (set sp (add SI sp 4)) (set pc abs24))
0 1 2 3 | 4 5 6 7 | 8 9 10 | 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3b | f-Rbj | f-Rd |
0x0 | 0x0 | 0x5 | Rbj | Rd |
(sequence () (set (mem SI sp) (add USI pc 2)) (set sp (add SI sp 4)) (set pc (join SI HI Rbj Rd)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x0 | 0x0 | 0x1 | Rd |
(sequence () (set (mem SI sp) (add USI pc 2)) (set sp (add SI sp 4)) (set pc (add SI Rd (add USI pc 2))))
0 1 2 3 | 4 5 6 7 8 9 10 11 12 13 14 | 15 |
f-op1 | f-rel12a | f-op4b |
0x1 | rel12a | 0x1 |
(sequence () (set (mem SI sp) (add USI pc 2)) (set sp (add SI sp 4)) (set pc rel12a))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0xa | Rd |
(sequence ((HI nvalue)) (set nvalue (ext HI (trunc QI Rd))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x0 | 0xa | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (and SI Rd (inv INT (sll INT 1 (and SI Rs 15))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x0 | 0x8 | imm4 | Rd |
(sequence ((HI nvalue)) (set nvalue (and SI Rd (inv INT (sll INT 1 imm4)))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-imm3 | f-op2m | f-hmem8 |
0xf | imm3 | 0x0 | hmem8 |
(sequence ((HI nvalue)) (set nvalue (and QI (mem QI hmem8) (inv INT (sll INT 1 imm3)))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6))))) (set (mem QI hmem8) nvalue))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-imm3 | f-op2m | f-lmem8 |
0xe | imm3 | 0x0 | lmem8 |
(sequence ((HI nvalue)) (set nvalue (and QI (mem QI lmem8) (inv INT (sll INT 1 imm3)))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6))))) (set (mem QI lmem8) nvalue))
0 1 2 3 | 4 5 6 7 | 8 9 | 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3a | f-imm2 | f-Rd |
0x3 | 0x0 | 0x1 | imm2 | Rd |
(sequence ((HI nvalue)) (set nvalue (sub SI Rd (add UINT imm2 1))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xc0 |
(sequence () (set R1 (umod SI R0 R2)) (sequence ((HI nvalue)) (set nvalue (udiv SI R0 R2)) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6))))) (set R0 nvalue)))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xe0 |
(sequence ((SI value)) (set value (add SI (sll SI (and SI R1 65535) 16) (and SI R0 65535))) (set R1 (umod SI value R2)) (sequence ((HI nvalue)) (set nvalue (udiv SI value R2)) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6))))) (set R0 nvalue)))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x8 |
(c-call VOID "do_halt")
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xa |
(c-call VOID "do_hold")
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xb |
(c-call VOID "do_holdx")
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-abs24 |
0x0 | 0x3 | abs24 |
(sequence () (set (mem SI sp) (add USI pc 4)) (set (mem HI (add SI sp 4)) psw) (set sp (add SI sp 6)) (set pc abs24))
0 1 2 3 | 4 5 6 7 | 8 9 10 | 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3b | f-Rbj | f-Rd |
0x0 | 0x0 | 0x3 | Rbj | Rd |
(sequence () (set (mem SI sp) (add USI pc 2)) (set (mem HI (add SI sp 4)) psw) (set sp (add SI sp 6)) (set pc (join SI HI Rbj Rd)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x0 | 0x0 | 0x3 | Rd |
(sequence () (set (mem SI sp) (add USI pc 2)) (set (mem HI (add SI sp 4)) psw) (set sp (add SI sp 6)) (set pc (add SI Rd (add USI pc 2))))
0 1 2 3 | 4 5 6 7 | 8 9 | 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3a | f-imm2 | f-Rd |
0x3 | 0x0 | 0x0 | imm2 | Rd |
(sequence ((HI nvalue)) (set nvalue (add SI Rd (add UINT imm2 1))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x2 |
(sequence () (set sp (sub SI sp 6)) (set pc (mem SI sp)) (set psw (mem HI (add SI sp 4))))
0 1 2 3 | 4 5 6 7 | 8 9 10 | 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3b | f-Rbj | f-Rd |
0x0 | 0x0 | 0x2 | Rbj | Rd |
(set pc (join SI HI Rbj Rd))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-abs24 |
0x0 | 0x2 | abs24 |
(set pc abs24)
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0x3 | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (or HI (and HI Rd (inv HI Rs)) (and HI (reg HI h-gr Rpsw) Rs))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x0 | 0xe | Rd | imm16 |
(sequence ((HI nvalue)) (set nvalue (or SI (and SI Rd (inv UINT imm16)) (and HI (reg HI h-gr Rpsw) imm16))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x7 | 0x2 | ws2 | Rs | 0x0 | Rdm |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (or SI (sll SI R8 16) Rs) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (or SI (sll SI R8 16) Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x7 | 0x2 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x6 | 0x2 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))) (set Rs (add SI Rs (add UINT ws2 1))) (if (eq Rs 0) (set Rb (add SI Rb 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x6 | 0x6 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (if (eq Rs 0) (set Rb (sub SI Rb 1))) (set Rs (sub SI Rs (add UINT ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x2 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (join SI HI R8 Rs) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (join SI HI R8 Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))) (set Rs (add SI Rs (add UINT ws2 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x6 | ws2 | Rs | 0x0 | Rdm |
(sequence () (set Rs (sub SI Rs (add UINT ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (join SI HI R8 Rs) 4294967294))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (join SI HI R8 Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x7 | 0x3 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (set (mem HI (and SI (join SI HI R8 Rs) 4294967294)) Rdm) (set (mem QI (join SI HI R8 Rs)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x7 | 0x3 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (if ws2 (set (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add SI (join SI HI Rb Rs) imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x6 | 0x3 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (if ws2 (set (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add SI (join SI HI Rb Rs) imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (set Rs (add SI Rs (add UINT ws2 1))) (if (eq Rs 0) (set Rb (add SI Rb 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 | 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5a | f-Rb | f-imm12 |
0x6 | 0x7 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (if (eq Rs 0) (set Rb (sub SI Rb 1))) (set Rs (sub SI Rs (add UINT ws2 1))) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and SI (add SI (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add SI (join SI HI Rb Rs) imm12)) Rdm)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x3 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (set (mem HI (and SI (join SI HI R8 Rs) 4294967294)) Rdm) (set (mem QI (join SI HI R8 Rs)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (set Rs (add SI Rs (add UINT ws2 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x7 | ws2 | Rs | 0x0 | Rdm |
(sequence () (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (set Rs (sub SI Rs (add UINT ws2 1))) (if ws2 (set (mem HI (and SI (join SI HI R8 Rs) 4294967294)) Rdm) (set (mem QI (join SI HI R8 Rs)) Rdm)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0x6 | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue Rs) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x7 | 0x0 | ws2 | Rs | 0x0 | Rdm |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x7 | 0x0 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x6 | 0x0 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(sequence () (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))) (set Rs (add SI Rs (add UINT ws2 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x6 | 0x4 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(sequence () (set Rs (sub SI Rs (add UINT ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI (add SI Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI (add SI Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x0 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))) (set Rs (add SI Rs (add INT 1 ws2))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x4 | ws2 | Rs | 0x0 | Rdm |
(sequence () (set Rs (sub SI Rs (add INT 1 ws2))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and SI Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and INT 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6)))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x7 | 0x1 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (set (mem HI (and SI Rs 65534)) Rdm) (set (mem QI Rs) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x7 | 0x1 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(sequence () (if ws2 (set (mem HI (and SI (add SI Rs imm12) 65534)) Rdm) (set (mem QI (add SI Rs imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x6 | 0x1 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(sequence () (if ws2 (set (mem HI (and SI (add SI Rs imm12) 65534)) Rdm) (set (mem QI (add SI Rs imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (set Rs (add SI Rs (add UINT ws2 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 | 16 17 18 19 | 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm | f-op5 | f-imm12 |
0x6 | 0x5 | ws2 | Rs | 0x1 | Rdm | 0x0 | imm12 |
(sequence () (set Rs (sub SI Rs (add UINT ws2 1))) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and SI (add SI Rs imm12) 65534)) Rdm) (set (mem QI (add SI Rs imm12)) Rdm)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x1 | ws2 | Rs | 0x0 | Rdm |
(sequence () (if ws2 (set (mem HI (and SI Rs 65534)) Rdm) (set (mem QI Rs) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (set Rs (add SI Rs (add UINT ws2 1))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 | 12 | 13 14 15 |
f-op1 | f-op2a | f-op2m | f-Rs | f-op4m | f-Rdm |
0x6 | 0x5 | ws2 | Rs | 0x0 | Rdm |
(sequence () (set Rs (sub SI Rs (add UINT ws2 1))) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rdm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and SI Rs 65534)) Rdm) (set (mem QI Rs) Rdm)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-Rm | f-op2m | f-hmem8 |
0xa | Rm | ws2 | hmem8 |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and UINT hmem8 65534))) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (mem QI hmem8)) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0xd | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI (and SI Rd 255) (and HI (reg HI h-gr Rpsw) 65280))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-Rm | f-op2m | f-hmem8 |
0xb | Rm | ws2 | hmem8 |
(if ws2 (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem HI (and UINT hmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem QI hmem8) nvalue)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-hmem8 | f-imm16 |
0x7 | 0x5 | ws2 | hmem8 | imm16 |
(if ws2 (sequence ((HI nvalue)) (set nvalue imm16) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem HI (and UINT hmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue (and UINT imm16 255)) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem QI hmem8) nvalue)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-Rm | f-op2m | f-lmem8 |
0x8 | Rm | ws2 | lmem8 |
(if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and UINT lmem8 65534))) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (mem QI lmem8)) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-Rm | f-op2m | f-lmem8 |
0x9 | Rm | ws2 | lmem8 |
(if ws2 (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem HI (and UINT lmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem QI lmem8) nvalue)))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2a | f-op2m | f-lmem8 | f-imm16 |
0x7 | 0x4 | ws2 | lmem8 | imm16 |
(if ws2 (sequence ((HI nvalue)) (set nvalue imm16) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem HI (and UINT lmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue (and UINT imm16 255)) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul UINT ws2 8)) 0) 6))))) (set (mem QI lmem8) nvalue)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0xc | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI (and SI Rd 65280) (and HI (reg HI h-gr Rpsw) 255))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x3 | Rd | imm16 |
(sequence ((HI nvalue)) (set nvalue imm16) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-Rm | f-op2m | f-imm8 |
0x2 | Rm | 0x1 | imm8small |
(sequence ((HI nvalue)) (set nvalue imm8small) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rm) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x4 | 0x7 | imm8 |
(sequence ((HI nvalue)) (set nvalue imm8) (set (reg HI h-gr Rpsw) nvalue) (set psw (or SI (and SI psw 3996) (or SI (sll SI Rpsw 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xd0 |
(sequence ((SI value)) (set value (mul SI (and SI R0 65535) (and SI R2 65535))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI (trunc HI value) 255) 0) (sll HI (eq (trunc HI value) 0) 1)) (or HI (sll HI (c-call BI "parity" (trunc HI value)) 5) (sll HI (lt (srl HI (trunc HI value) (mul INT 1 8)) 0) 6))))) (set R0 (trunc HI value)) (set R1 (trunc HI (srl SI value 16))))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x0 |
(nop)
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0xb | Rd |
(sequence ((HI nvalue)) (set nvalue (inv SI Rd)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0x2 | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x1 | Rd | imm16 |
(sequence ((HI nvalue)) (set nvalue (or SI Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x4 | 0x3 | imm8 |
(sequence ((HI nvalue)) (set nvalue (or HI (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or SI (and SI psw 3996) (or SI (sll SI Rpsw 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x0 | 0x0 | 0x9 | Rd |
(sequence () (set sp (add SI sp -2)) (set Rd (mem HI sp)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x0 | 0x0 | 0x8 | Rd |
(sequence () (set (mem HI sp) Rd) (set sp (add SI sp 2)))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xf |
(nop)
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x3 |
(sequence () (set sp (sub SI sp 4)) (set pc (mem SI sp)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0xf | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI (sll SI (and SI Rd 1) 15) (or SI (sll SI (and SI Rd 2) 13) (or SI (sll SI (and SI Rd 4) 11) (or SI (sll SI (and SI Rd 8) 9) (or SI (sll SI (and SI Rd 16) 7) (or SI (sll SI (and SI Rd 32) 5) (or SI (sll SI (and SI Rd 64) 3) (or SI (sll SI (and SI Rd 128) 1) (or SI (srl SI (and SI Rd 256) 1) (or SI (srl SI (and SI Rd 512) 3) (or SI (srl SI (and SI Rd 1024) 5) (or SI (srl SI (and SI Rd 2048) 7) (or SI (srl SI (and SI Rd 4096) 9) (or SI (srl SI (and SI Rd 8192) 11) (or SI (srl SI (and SI Rd 16384) 13) (srl SI (and SI Rd 32768) 15))))))))))))))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0xa | Rs | Rd |
(sequence ((SI tmpfoo)) (set tmpfoo (or SI (or SI (and SI (sll SI Rd 15) 2147352576) Rd) (or SI (sll SI psw-cy 31) (sll SI psw-cy 16)))) (set tmpfoo (rol SI tmpfoo (and SI (and SI Rs 15) 31))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (srl SI tmpfoo 16) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x3 | 0xb | imm4 | Rd |
(sequence ((SI tmpfoo)) (set tmpfoo (or SI (or SI (and SI (sll SI Rd 15) 2147352576) Rd) (or SI (sll SI psw-cy 31) (sll SI psw-cy 16)))) (set tmpfoo (rol SI tmpfoo (and UINT imm4 31))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (srl SI tmpfoo 16) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0x8 | Rs | Rd |
(sequence ((SI tmpfoo)) (set tmpfoo (or SI (or SI (and SI (sll SI Rd 17) 4294836224) Rd) (sll SI psw-cy 16))) (set tmpfoo (ror SI tmpfoo (and SI Rs 15))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (srl SI tmpfoo 16) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x3 | 0x9 | imm4 | Rd |
(sequence ((SI tmpfoo)) (set tmpfoo (or SI (or SI (and SI (sll SI Rd 17) 4294836224) Rd) (sll SI psw-cy 16))) (set tmpfoo (ror SI tmpfoo (and UINT imm4 15))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (srl SI tmpfoo 16) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0xf | Rs | Rd |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd Rs psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd Rs psw-cy) 4) (sll HI (sub-cflag HI Rd Rs psw-cy) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and SI Rs 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x7 | Rd | imm16 |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd imm16 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd imm16 psw-cy) 4) (sll HI (sub-cflag HI Rd imm16 psw-cy) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and UINT imm16 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x5 | 0x7 | imm4 | Rd |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd imm4 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd imm4 psw-cy) 4) (sll HI (sub-cflag HI Rd imm4 psw-cy) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and UINT imm4 15) psw-cy) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x5 | 0xf | imm8 |
(sequence ((HI value) (HI newpsw)) (set value (subc HI (reg HI h-gr Rpsw) imm8 psw-cy)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI (reg HI h-gr Rpsw) imm8 psw-cy) 4) (sll HI (sub-cflag HI (reg HI h-gr Rpsw) imm8 psw-cy) 2)) (or HI (and HI (srl HI (subc HI (and HI (reg HI h-gr Rpsw) 15) (and UINT imm8 15) psw-cy) 1) 8) (sll SI Rpsw 12))))) (set (reg HI h-gr Rpsw) value) (set psw newpsw))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xc8 |
(sequence () (set R1 (mod HI R0 R2)) (sequence ((HI nvalue)) (set nvalue (div HI R0 R2)) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6))))) (set R0 nvalue)))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0xe8 |
(sequence ((SI value)) (set value (add SI (sll SI (and SI R1 65535) 16) (and SI R0 65535))) (set R1 (mod SI value (ext SI (trunc HI R2)))) (sequence ((HI nvalue)) (set nvalue (div SI value (ext SI (trunc HI R2)))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6))))) (set R0 nvalue)))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x0 | 0xb | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI Rd (sll INT 1 (and SI Rs 15)))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x0 | 0x9 | imm4 | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI Rd (sll INT 1 imm4))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-imm3 | f-op2m | f-hmem8 |
0xf | imm3 | 0x1 | hmem8 |
(sequence ((HI nvalue)) (set nvalue (or QI (mem QI hmem8) (sll INT 1 imm3))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6))))) (set (mem QI hmem8) nvalue))
0 1 2 3 | 4 5 6 | 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-imm3 | f-op2m | f-lmem8 |
0xe | imm3 | 0x1 | lmem8 |
(sequence ((HI nvalue)) (set nvalue (or QI (mem QI lmem8) (sll INT 1 imm3))) (set psw (or SI (and SI psw 65436) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6))))) (set (mem QI lmem8) nvalue))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0xe | Rs | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (sll SI Rd (and SI Rs 15))) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (srl SI (if SI (eq (and SI Rs 15) 0) (sll SI psw-cy 15) (sll SI Rd (sub SI (and SI Rs 15) 1))) 15) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x3 | 0xf | imm4 | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (sll SI Rd imm4)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (srl SI (if SI (eq imm4 0) (sll SI psw-cy 15) (sll SI Rd (sub UINT imm4 1))) 15) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0xc | Rs | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (srl SI Rd (and SI Rs 15))) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (if SI (eq (and SI Rs 15) 0) psw-cy (srl SI Rd (sub SI (and SI Rs 15) 1))) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x3 | 0xd | imm4 | Rd |
(sequence ((HI nvalue) (HI newpsw)) (set nvalue (srl SI Rd imm4)) (set newpsw (or SI (or SI (and SI psw 3992) (sll SI (and SI (and SI (if SI (eq imm4 0) psw-cy (srl SI Rd (sub UINT imm4 1))) 1) 1) 2)) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0xd | Rs | Rd |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd Rs 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd Rs 0) 4) (sll HI (sub-cflag HI Rd Rs 0) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and SI Rs 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x6 | Rd | imm16 |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd imm16 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd imm16 0) 4) (sll HI (sub-cflag HI Rd imm16 0) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and UINT imm16 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-imm4 | f-Rd |
0x5 | 0x5 | imm4 | Rd |
(sequence ((HI value) (HI newpsw)) (set value (subc SI Rd imm4 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI Rd imm4 0) 4) (sll HI (sub-cflag HI Rd imm4 0) 2)) (or HI (and HI (srl HI (subc HI (and SI Rd 15) (and UINT imm4 15) 0) 1) 8) (sll INT (index-of Rd) 12))))) (set (reg HI h-gr (index-of Rd)) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x5 | 0xd | imm8 |
(sequence ((HI value) (HI newpsw)) (set value (subc HI (reg HI h-gr Rpsw) imm8 0)) (set newpsw (or SI (or SI (and SI psw 3968) (or BI (or BI (eq (and HI value 255) 0) (sll HI (eq value 0) 1)) (or HI (sll HI (c-call BI "parity" value) 5) (sll HI (lt (srl HI value (mul INT 1 8)) 0) 6)))) (or HI (or HI (sll HI (sub-oflag HI (reg HI h-gr Rpsw) imm8 0) 4) (sll HI (sub-cflag HI (reg HI h-gr Rpsw) imm8 0) 2)) (or HI (and HI (srl HI (subc HI (and HI (reg HI h-gr Rpsw) 15) (and UINT imm8 15) 0) 1) 8) (sll SI Rpsw 12))))) (set (reg HI h-gr Rpsw) value) (set psw newpsw))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0x8 | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI (sll SI Rd 8) (srl SI Rd 8))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-op3 | f-Rd |
0x3 | 0x0 | 0x9 | Rd |
(sequence ((HI nvalue)) (set nvalue (or SI (or SI (and SI (sll SI Rd 4) 240) (and SI (srl SI Rd 4) 15)) (and SI Rd 65280))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 0 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x3 | 0x2 | Rs | Rd |
(sequence ((HI foo)) (set foo Rs) (set Rs Rd) (sequence ((HI nvalue)) (set nvalue foo) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6))))))))
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
f-op |
0x1 |
(c-call VOID "syscall")
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 |
f-op1 | f-op2 | f-Rs | f-Rd |
0x4 | 0x4 | Rs | Rd |
(sequence ((HI nvalue)) (set nvalue (xor SI Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 | 12 13 14 15 | 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
f-op1 | f-op2 | f-op3 | f-Rd | f-imm16 |
0x3 | 0x1 | 0x2 | Rd | imm16 |
(sequence ((HI nvalue)) (set nvalue (xor SI Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or SI (and SI psw 3996) (or INT (sll INT (index-of Rd) 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
0 1 2 3 | 4 5 6 7 | 8 9 10 11 12 13 14 15 |
f-op1 | f-op2 | f-imm8 |
0x4 | 0x5 | imm8 |
(sequence ((HI nvalue)) (set nvalue (xor HI (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or SI (and SI psw 3996) (or SI (sll SI Rpsw 12) (or BI (or BI (eq (and HI nvalue 255) 0) (sll HI (eq nvalue 0) 1)) (or HI (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt (srl HI nvalue (mul INT 1 8)) 0) 6)))))))
((emit decgrimm2 Rd (imm2 0)))
((emit incgrimm2 Rd (imm2 0)))
((emit movwgrimm16 Rd imm16))
((emit movwgrimm8 Rm imm8small))
((emit movwimm8 imm8))
This documentation was machine generated from the cgen cpu description
files for this architecture.
https://sourceware.org/cgen/