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 Rd Rs psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd Rs psw-cy) 4) (sll HI (add-cflag HI Rd Rs psw-cy) 2)) (or (and (srl HI (addc HI (and Rd 15) (and Rs 15) psw-cy) 1) 8) (sll (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 Rd imm16 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd imm16 psw-cy) 4) (sll HI (add-cflag HI Rd imm16 psw-cy) 2)) (or (and (srl HI (addc HI (and Rd 15) (and imm16 15) psw-cy) 1) 8) (sll (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 Rd imm4 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd imm4 psw-cy) 4) (sll HI (add-cflag HI Rd imm4 psw-cy) 2)) (or (and (srl HI (addc HI (and Rd 15) (and imm4 15) psw-cy) 1) 8) (sll (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 (reg HI h-gr Rpsw) imm8 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (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 (and (srl HI (addc HI (and (reg HI h-gr Rpsw) 15) (and imm8 15) psw-cy) 1) 8) (sll 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 Rd Rs 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd Rs 0) 4) (sll HI (add-cflag HI Rd Rs 0) 2)) (or (and (srl HI (addc HI (and Rd 15) (and Rs 15) 0) 1) 8) (sll (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 Rd imm16 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd imm16 0) 4) (sll HI (add-cflag HI Rd imm16 0) 2)) (or (and (srl HI (addc HI (and Rd 15) (and imm16 15) 0) 1) 8) (sll (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 Rd imm4 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (add-oflag HI Rd imm4 0) 4) (sll HI (add-cflag HI Rd imm4 0) 2)) (or (and (srl HI (addc HI (and Rd 15) (and imm4 15) 0) 1) 8) (sll (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 (reg HI h-gr Rpsw) imm8 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (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 (and (srl HI (addc HI (and (reg HI h-gr Rpsw) 15) (and imm8 15) 0) 1) 8) (sll 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 Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or (and psw 3996) (or (sll Rpsw 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rs 15))) (set newpsw (or (or (and psw 3992) (sll (and (and SI (if SI (eq (and Rs 15) 0) psw-cy (srl Rd (sub (and Rs 15) 1))) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and psw 3992) (sll (and (and SI (if SI (eq imm4 0) psw-cy (srl Rd (sub imm4 1))) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 bcond2 ((0) (set tmp (not (xor psw-s psw-ov)))) ((1) (set tmp (not psw-cy))) ((2) (set tmp (xor psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not (or (xor psw-s psw-ov) psw-z16)))) ((5) (set tmp (not (or psw-cy psw-z16)))) ((6) (set tmp (or (xor psw-s psw-ov) psw-z16))) ((7) (set tmp (or psw-cy psw-z16))) ((8) (set tmp (not psw-s))) ((9) (set tmp (not psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not psw-z8))) ((13) (set tmp (not 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 Rd Rs)) (set psw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd Rs 0) 4) (sll HI (sub-cflag HI Rd Rs 0) 2)) (or (and (srl HI (sub HI (and Rd 15) (and Rs 15)) 1) 8) (sll (index-of Rd) 12)))))) (sequence ((BI tmp)) (case bcond5 ((0) (set tmp (not (xor psw-s psw-ov)))) ((1) (set tmp (not psw-cy))) ((2) (set tmp (xor psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not (or (xor psw-s psw-ov) psw-z16)))) ((5) (set tmp (not (or psw-cy psw-z16)))) ((6) (set tmp (or (xor psw-s psw-ov) psw-z16))) ((7) (set tmp (or psw-cy psw-z16))) ((8) (set tmp (not psw-s))) ((9) (set tmp (not psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not psw-z8))) ((13) (set tmp (not 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 Rm imm8)) (set psw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rm imm8 0) 4) (sll HI (sub-cflag HI Rm imm8 0) 2)) (or (and (srl HI (sub HI (and Rm 15) (and imm8 15)) 1) 8) (sll (index-of Rm) 12)))))) (sequence ((BI tmp)) (case bcond5 ((0) (set tmp (not (xor psw-s psw-ov)))) ((1) (set tmp (not psw-cy))) ((2) (set tmp (xor psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not (or (xor psw-s psw-ov) psw-z16)))) ((5) (set tmp (not (or psw-cy psw-z16)))) ((6) (set tmp (or (xor psw-s psw-ov) psw-z16))) ((7) (set tmp (or psw-cy psw-z16))) ((8) (set tmp (not psw-s))) ((9) (set tmp (not psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not psw-z8))) ((13) (set tmp (not 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 (reg HI h-gr Rpsw) imm16)) (set psw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (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 (and (srl HI (sub HI (and (reg HI h-gr Rpsw) 15) (and imm16 15)) 1) 8) (sll Rpsw 12)))))) (sequence ((BI tmp)) (case bcond2 ((0) (set tmp (not (xor psw-s psw-ov)))) ((1) (set tmp (not psw-cy))) ((2) (set tmp (xor psw-s psw-ov))) ((3) (set tmp psw-cy)) ((4) (set tmp (not (or (xor psw-s psw-ov) psw-z16)))) ((5) (set tmp (not (or psw-cy psw-z16)))) ((6) (set tmp (or (xor psw-s psw-ov) psw-z16))) ((7) (set tmp (or psw-cy psw-z16))) ((8) (set tmp (not psw-s))) ((9) (set tmp (not psw-ov))) ((10) (set tmp psw-s)) ((11) (set tmp psw-ov)) ((12) (set tmp (not psw-z8))) ((13) (set tmp (not 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 (add 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 Rd (sll 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 Rd (sll 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 (mem QI hmem8) (sll 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 (mem QI lmem8) (sll 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 Rd (sll 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 Rd (sll 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 (mem QI hmem8) (sll 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 (mem QI lmem8) (sll 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 pc 4)) (set sp (add 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 pc 2)) (set sp (add 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 pc 2)) (set sp (add sp 4)) (set pc (add Rd (add 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 pc 2)) (set sp (add 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 (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (inv (sll 1 (and Rs 15))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (inv (sll 1 imm4)))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (mem QI hmem8) (inv (sll 1 imm3)))) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (mem QI lmem8) (inv (sll 1 imm3)))) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (add imm2 1))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 R0 R2)) (sequence ((HI nvalue)) (set nvalue (udiv R0 R2)) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 pc 4)) (set (mem HI (add sp 4)) psw) (set sp (add 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 pc 2)) (set (mem HI (add sp 4)) psw) (set sp (add 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 pc 2)) (set (mem HI (add sp 4)) psw) (set sp (add sp 6)) (set pc (add Rd (add 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 Rd (add imm2 1))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 sp 6)) (set pc (mem SI sp)) (set psw (mem HI (add 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 (reg HI h-gr Rpsw) Rs))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and Rd (inv imm16)) (and (reg HI h-gr Rpsw) imm16))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (sll SI R8 16) Rs) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (or (sll SI R8 16) Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add (join SI HI Rb Rs) imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add (join SI HI Rb Rs) imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6)))))))) (set Rs (add Rs (add 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-op5a | f-Rb | f-imm12 |
0x6 | 0x6 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (set Rs (sub Rs (add ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and (add (join SI HI Rb Rs) imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add (join SI HI Rb Rs) imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (join SI HI R8 Rs) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (join SI HI R8 Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6)))))))) (set Rs (add Rs (add 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 Rs (add ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and (join SI HI R8 Rs) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (join SI HI R8 Rs)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (join SI HI R8 Rs) 65534)) Rdm) (set (mem QI (join SI HI R8 Rs)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add (join SI HI Rb Rs) imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add (join SI HI Rb Rs) imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (set Rs (add Rs (add 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-op5a | f-Rb | f-imm12 |
0x6 | 0x7 | ws2 | Rs | 0x1 | Rdm | 0x0 | Rb | imm12 |
(sequence () (set Rs (sub Rs 1)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and (add (join SI HI Rb Rs) imm12) 4294967294)) Rdm) (set (mem QI (add (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 (join SI HI R8 Rs) 65534)) Rdm) (set (mem QI (join SI HI R8 Rs)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (set Rs (add Rs (add 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 (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (set Rs (sub Rs (add ws2 1))) (if ws2 (set (mem HI (and (join SI HI R8 Rs) 65534)) 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 (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6)))))))) (set Rs (add Rs (add 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 Rs (add ws2 1))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and (add Rs imm12) 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI (add Rs imm12)))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6)))))))) (set Rs (add Rs (add 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 Rs (add 1 ws2))) (if ws2 (sequence ((HI nvalue)) (set nvalue (mem HI (and Rs 65534))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (and 255 (mem QI Rs))) (set (reg HI h-gr (index-of Rdm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rs 65534)) Rdm) (set (mem QI Rs) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add Rs imm12) 65534)) Rdm) (set (mem QI (add Rs imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (add Rs imm12) 65534)) Rdm) (set (mem QI (add Rs imm12)) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (set Rs (add Rs 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 Rs 1)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and (add Rs imm12) 65534)) Rdm) (set (mem QI (add 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 Rs 65534)) Rdm) (set (mem QI Rs) Rdm)) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (set Rs (add Rs (add 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 Rs (add ws2 1))) (sequence ((HI nvalue)) (set nvalue Rdm) (set psw (or (and psw 3996) (or (sll (index-of Rdm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (if ws2 (set (mem HI (and 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 hmem8 65534))) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (mem QI hmem8)) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and Rd 255) (and (reg HI h-gr Rpsw) 65280))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))) (set (mem HI (and hmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))) (set (mem HI (and hmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue (and imm16 255)) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 lmem8 65534))) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))))) (sequence ((HI nvalue)) (set nvalue (mem QI lmem8)) (set (reg HI h-gr (index-of Rm)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))) (set (mem HI (and lmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue Rm) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul ws2 8)) 0) 6))))) (set (mem HI (and lmem8 65534)) nvalue)) (sequence ((HI nvalue)) (set nvalue (and imm16 255)) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and Rd 65280) (and (reg HI h-gr Rpsw) 255))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 3996) (or (sll (index-of Rm) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 3996) (or (sll Rpsw 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and (trunc HI value) 255) 0) (sll HI (eq HI (trunc HI value) 0) 1)) (or (sll HI (c-call BI "parity" (trunc HI value)) 5) (sll HI (lt QI (srl (trunc HI value) (mul 1 8)) 0) 6))))) (set R0 (trunc HI value)) (set R1 (trunc HI (srl 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 Rd)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or (and psw 3996) (or (sll Rpsw 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 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 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 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 (sll (and Rd 1) 15) (or (sll (and Rd 2) 13) (or (sll (and Rd 4) 11) (or (sll (and Rd 8) 9) (or (sll (and Rd 16) 7) (or (sll (and Rd 32) 5) (or (sll (and Rd 64) 3) (or (sll (and Rd 128) 1) (or (srl (and Rd 256) 1) (or (srl (and Rd 512) 3) (or (srl (and Rd 1024) 5) (or (srl (and Rd 2048) 7) (or (srl (and Rd 4096) 9) (or (srl (and Rd 8192) 11) (or (srl (and Rd 16384) 13) (srl (and Rd 32768) 15))))))))))))))))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and (sll SI Rd 15) 2147352576) Rd) (or (sll SI psw-cy 31) (sll SI psw-cy 16)))) (set tmpfoo (rol tmpfoo (and (and Rs 15) 31))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or (or (and psw 3992) (sll (and (and (srl tmpfoo 16) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and (sll SI Rd 15) 2147352576) Rd) (or (sll SI psw-cy 31) (sll SI psw-cy 16)))) (set tmpfoo (rol tmpfoo (and imm4 31))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or (or (and psw 3992) (sll (and (and (srl tmpfoo 16) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and (sll SI Rd 17) 4294836224) Rd) (sll SI psw-cy 16))) (set tmpfoo (ror tmpfoo (and Rs 15))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or (or (and psw 3992) (sll (and (and (srl tmpfoo 16) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and (sll SI Rd 17) 4294836224) Rd) (sll SI psw-cy 16))) (set tmpfoo (ror tmpfoo (and imm4 15))) (sequence ((HI nvalue) (HI newpsw)) (set nvalue (trunc HI tmpfoo)) (set newpsw (or (or (and psw 3992) (sll (and (and (srl tmpfoo 16) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd Rs psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd Rs psw-cy) 4) (sll HI (sub-cflag HI Rd Rs psw-cy) 2)) (or (and (srl HI (subc HI (and Rd 15) (and Rs 15) psw-cy) 1) 8) (sll (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 Rd imm16 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd imm16 psw-cy) 4) (sll HI (sub-cflag HI Rd imm16 psw-cy) 2)) (or (and (srl HI (subc HI (and Rd 15) (and imm16 15) psw-cy) 1) 8) (sll (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 Rd imm4 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd imm4 psw-cy) 4) (sll HI (sub-cflag HI Rd imm4 psw-cy) 2)) (or (and (srl HI (subc HI (and Rd 15) (and imm4 15) psw-cy) 1) 8) (sll (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 (reg HI h-gr Rpsw) imm8 psw-cy)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (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 (and (srl HI (subc HI (and (reg HI h-gr Rpsw) 15) (and imm8 15) psw-cy) 1) 8) (sll 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (sll 1 (and Rs 15)))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (sll 1 imm4))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (mem QI hmem8) (sll 1 imm3))) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (mem QI lmem8) (sll 1 imm3))) (set psw (or (and psw 65436) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (and Rs 15))) (set newpsw (or (or (and psw 3992) (sll (and (srl SI (if SI (eq (and Rs 15) 0) (sll psw-cy 15) (sll Rd (sub (and Rs 15) 1))) 15) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd imm4)) (set newpsw (or (or (and psw 3992) (sll (and (srl SI (if SI (eq imm4 0) (sll psw-cy 15) (sll Rd (sub imm4 1))) 15) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd (and Rs 15))) (set newpsw (or (or (and psw 3992) (sll (and (and SI (if SI (eq (and Rs 15) 0) psw-cy (srl Rd (sub (and Rs 15) 1))) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd imm4)) (set newpsw (or (or (and psw 3992) (sll (and (and SI (if SI (eq imm4 0) psw-cy (srl Rd (sub imm4 1))) 1) 1) 2)) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd Rs 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd Rs 0) 4) (sll HI (sub-cflag HI Rd Rs 0) 2)) (or (and (srl HI (subc HI (and Rd 15) (and Rs 15) 0) 1) 8) (sll (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 Rd imm16 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd imm16 0) 4) (sll HI (sub-cflag HI Rd imm16 0) 2)) (or (and (srl HI (subc HI (and Rd 15) (and imm16 15) 0) 1) 8) (sll (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 Rd imm4 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (sll HI (sub-oflag HI Rd imm4 0) 4) (sll HI (sub-cflag HI Rd imm4 0) 2)) (or (and (srl HI (subc HI (and Rd 15) (and imm4 15) 0) 1) 8) (sll (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 (reg HI h-gr Rpsw) imm8 0)) (set newpsw (or (or (and psw 3968) (or (or (eq (and value 255) 0) (sll HI (eq HI value 0) 1)) (or (sll HI (c-call BI "parity" value) 5) (sll HI (lt QI (srl value (mul 1 8)) 0) 6)))) (or (or (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 (and (srl HI (subc HI (and (reg HI h-gr Rpsw) 15) (and imm8 15) 0) 1) 8) (sll 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 (sll Rd 8) (srl Rd 8))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (or (and (sll Rd 4) 240) (and (srl Rd 4) 15)) (and Rd 65280))) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd Rs)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 Rd imm16)) (set (reg HI h-gr (index-of Rd)) nvalue) (set psw (or (and psw 3996) (or (sll (index-of Rd) 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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 (reg HI h-gr Rpsw) imm8)) (set (reg HI h-gr Rpsw) nvalue) (set psw (or (and psw 3996) (or (sll Rpsw 12) (or (or (eq (and nvalue 255) 0) (sll HI (eq HI nvalue 0) 1)) (or (sll HI (c-call BI "parity" nvalue) 5) (sll HI (lt QI (srl nvalue (mul 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.
http://sources.redhat.com/cgen/