31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x1 | 0xf |
(sequence () (sequence () (sequence () (set cbit (add-cflag SI rn6 rm6 0)) (set vbit (add-oflag SI rn6 rm6 0)) (set vsbit (or BI vsbit vbit))) (set rd6 (add SI rn6 rm6)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x1 | 0xa |
(sequence () (sequence () (sequence () (set cbit (add-cflag SI rn rm 0)) (set vbit (add-oflag SI rn rm 0)) (set vsbit (or BI vsbit vbit))) (set rd (add SI rn rm)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-25-2 | f-rd6 | f-rn6 | f-sdisp11 | f-opc-6-3 | f-opc |
0x0 | rd6 | rn6 | simm11 | 0x1 | 0xb |
(sequence () (sequence () (sequence () (set cbit (add-cflag SI rn6 simm11 0)) (set vbit (add-oflag SI rn6 simm11 0)) (set vsbit (or BI vsbit vbit))) (set rd6 (add SI rn6 simm11)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-sdisp3 | f-opc-6-3 | f-opc |
rd | rn | simm3 | 0x1 | 0x3 |
(sequence () (sequence () (sequence () (set cbit (add-cflag SI rn simm3 0)) (set vbit (add-oflag SI rn simm3 0)) (set vsbit (or BI vsbit vbit))) (set rd (add SI rn simm3)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x5 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (and SI rn6 rm6)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x5 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (and SI rn rm)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x6 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (sra SI rn6 (and SI rm6 31))) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x6 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (sra SI rn (and SI rm 31))) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-shift | f-opc-4-1 | f-opc |
rd | rn | shift | 0x0 | 0xe |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (sra SI rn shift)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-shift | f-opc-4-1 | f-opc |
0x0 | 0xe | rd6 | rn6 | shift | 0x0 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (sra SI rn6 shift)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xe | 0x8 |
(set pc simm24)
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xe | 0x0 |
(set pc simm8)
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xa | 0x8 |
(if (or BI bzbit bzbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xa | 0x0 |
(if (or BI bzbit bzbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xc | 0x8 |
(if (and BI bnbit (not BI bzbit)) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xc | 0x0 |
(if (and BI bnbit (not BI bzbit)) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xd | 0x8 |
(if (or BI bnbit bzbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xd | 0x0 |
(if (or BI bnbit bzbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xb | 0x8 |
(if (not BI bzbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xb | 0x0 |
(if (not BI bzbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x0 | 0x8 |
(if (eq zbit 1) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x0 | 0x0 |
(if (eq zbit 1) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x6 | 0x8 |
(if (and BI (not BI zbit) (eq vbit nbit)) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x6 | 0x0 |
(if (and BI (not BI zbit) (eq vbit nbit)) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x7 | 0x8 |
(if (eq vbit nbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x7 | 0x0 |
(if (eq vbit nbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x3 | 0x8 |
(if (eq cbit 1) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x3 | 0x0 |
(if (eq cbit 1) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x2 | 0x8 |
(if (and BI cbit (not BI zbit)) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x2 | 0x0 |
(if (and BI cbit (not BI zbit)) (set pc simm8))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-shift | f-opc-4-1 | f-opc |
0x0 | 0xe | rd6 | rn6 | 0x0 | 0x1 | 0xf |
(sequence () (sequence () (sequence ((SI v)) (set v rn6) (set v (or SI (and SI (srl SI v 1) 1431655765) (sll SI (and SI v 1431655765) 1))) (set v (or SI (and SI (srl SI v 2) 858993459) (sll SI (and SI v 858993459) 2))) (set v (or SI (and SI (srl SI v 4) 252645135) (sll SI (and SI v 252645135) 4))) (set v (or SI (and SI (srl SI v 8) 16711935) (sll SI (and SI v 16711935) 8))) (set v (or SI (srl SI v 16) (sll SI v 16))) (set rd6 v)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0)) (set cbit 0) (set vbit 0)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-shift | f-opc-4-1 | f-opc |
rd | rn | 0x0 | 0x1 | 0xe |
(sequence () (sequence () (sequence ((SI v)) (set v rn) (set v (or SI (and SI (srl SI v 1) 1431655765) (sll SI (and SI v 1431655765) 1))) (set v (or SI (and SI (srl SI v 2) 858993459) (sll SI (and SI v 858993459) 2))) (set v (or SI (and SI (srl SI v 4) 252645135) (sll SI (and SI v 252645135) 4))) (set v (or SI (and SI (srl SI v 8) 16711935) (sll SI (and SI v 16711935) 8))) (set v (or SI (srl SI v 16) (sll SI v 16))) (set rd v)) (set zbit (eq rd 0)) (set nbit (lt rd 0)) (set cbit 0) (set vbit 0)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x1c | 0x2 |
(sequence () (c-call VOID "epiphany_break" pc) (set pc pc))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0xf | 0x8 |
(sequence () (set (reg SI h-registers 14) (add USI pc 4)) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0xf | 0x0 |
(sequence () (set (reg SI h-registers 14) (add USI pc 2)) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x8 | 0x8 |
(if (xor BI vbit nbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x8 | 0x0 |
(if (xor BI vbit nbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x9 | 0x8 |
(if (or BI zbit (xor BI vbit nbit)) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x9 | 0x0 |
(if (or BI zbit (xor BI vbit nbit)) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x4 | 0x8 |
(if (or BI (not BI cbit) zbit) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x4 | 0x0 |
(if (or BI (not BI cbit) zbit) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x5 | 0x8 |
(if (eq cbit 0) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x5 | 0x0 |
(if (eq cbit 0) (set pc simm8))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm24 | f-condcode | f-opc |
simm24 | 0x1 | 0x8 |
(if (eq zbit 0) (set pc simm24))
15 14 13 12 11 10 9 8 | 7 6 5 4 | 3 2 1 0 |
f-simm8 | f-condcode | f-opc |
simm8 | 0x1 | 0x0 |
(if (eq zbit 0) (set pc simm8))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0xe | 0x2 |
(sequence () (set rd rn) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0xa | 0x2 |
(sequence () (if (or BI bzbit bzbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0xc | 0x2 |
(sequence () (if (and BI bnbit (not BI bzbit)) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0xd | 0x2 |
(sequence () (if (or BI bnbit bzbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0xb | 0x2 |
(sequence () (if (not BI bzbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x0 | 0x2 |
(sequence () (if (eq zbit 1) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x6 | 0x2 |
(sequence () (if (and BI (not BI zbit) (eq vbit nbit)) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x7 | 0x2 |
(sequence () (if (eq vbit nbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x3 | 0x2 |
(sequence () (if (eq cbit 1) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x2 | 0x2 |
(sequence () (if (and BI cbit (not BI zbit)) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x8 | 0x2 |
(sequence () (if (xor BI vbit nbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x9 | 0x2 |
(sequence () (if (or BI zbit (xor BI vbit nbit)) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x4 | 0x2 |
(sequence () (if (or BI (not BI cbit) zbit) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x5 | 0x2 |
(sequence () (if (eq cbit 0) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
rd | rn | 0x0 | 0x0 | 0x1 | 0x2 |
(sequence () (if (eq zbit 0) (set rd rn)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0xe | 0xf |
(sequence () (set rd6 rn6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0xa | 0xf |
(sequence () (if (or BI bzbit bzbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0xc | 0xf |
(sequence () (if (and BI bnbit (not BI bzbit)) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0xd | 0xf |
(sequence () (if (or BI bnbit bzbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0xb | 0xf |
(sequence () (if (not BI bzbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x0 | 0xf |
(sequence () (if (eq zbit 1) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x6 | 0xf |
(sequence () (if (and BI (not BI zbit) (eq vbit nbit)) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x7 | 0xf |
(sequence () (if (eq vbit nbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x3 | 0xf |
(sequence () (if (eq cbit 1) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x2 | 0xf |
(sequence () (if (and BI cbit (not BI zbit)) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x8 | 0xf |
(sequence () (if (xor BI vbit nbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x9 | 0xf |
(sequence () (if (or BI zbit (xor BI vbit nbit)) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x4 | 0xf |
(sequence () (if (or BI (not BI cbit) zbit) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x5 | 0xf |
(sequence () (if (eq cbit 0) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-dc-9-1 | f-opc-8-1 | f-condcode | f-opc |
0x0 | 0x2 | rd6 | rn6 | 0x0 | 0x0 | 0x1 | 0xf |
(sequence () (if (eq zbit 0) (set rd6 rn6)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x0 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (xor SI rn6 rm6)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x0 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (xor SI rn rm)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rn | f-opc-6-3 | f-opc |
rd | rn | rn | 0x7 | 0x7 |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fabs" rd rn rn)) (set bnbit 0) (set bzbit (eq sdtmp 0)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rn6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rn6 | 0x7 | 0xf |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fabs" rd6 rn6 rn6)) (set bnbit 0) (set bzbit (eq sdtmp 0)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x0 | 0x7 |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fadd" rd rn rm)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_iadd" rd rn rm)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rm6 | 0x0 | 0xf |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fadd" rd6 rn6 rm6)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_iadd" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd6 sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rn | f-opc-6-3 | f-opc |
rd | rn | rn | 0x6 | 0x7 |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fix" rd rn rn)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit busbit) (and BI unExcEnbit bvsbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (set rd sdtmp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rn6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rn6 | 0x6 | 0xf |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fix" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit busbit) (and BI unExcEnbit bvsbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rn | f-opc-6-3 | f-opc |
frd | frn | frn | 0x5 | 0x7 |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_float" rd rn rn)) (set bnbit (lt sdtmp 0)) (set bzbit (eq sdtmp 0)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rn6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rn6 | 0x5 | 0xf |
(sequence () (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_float" rd6 rn6 rn6)) (set bnbit (lt sdtmp 0)) (set bzbit (eq sdtmp 0)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x3 | 0x7 |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmadd" rd rn rm)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imadd" rd rn rm)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rm6 | 0x3 | 0xf |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmadd" rd6 rn6 rm6)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imadd" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd6 sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x4 | 0x7 |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmsub" rd rn rm)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imsub" rd rn rm)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rm6 | 0x4 | 0xf |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmsub" rd6 rn6 rm6)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imsub" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd6 sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x2 | 0x7 |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmul" rd rn rm)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imul" rd rn rm)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rm6 | 0x2 | 0xf |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fmul" rd6 rn6 rm6)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_imul" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd6 sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-2 | f-dc-20-1 | f-opc-19-4 | f-rd6 | f-rn6 | f-rn6 | f-opc-6-3 | f-opc |
0x0 | 0x1 | 0x7 | frd6 | frn6 | frn6 | 0x0 | 0xf |
(sequence () (sequence ((SF fptemp)) (set bvbit 0) (set busbit 0) (set fptemp (c-call SF "epiphany_frecip" frn6)) (set bnbit (lt fptemp 0)) (set bzbit (eq fptemp 0)) (set bvsbit (or BI bvsbit bvbit)) (set frd6 fptemp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-2 | f-dc-20-1 | f-opc-19-4 | f-rd6 | f-rn6 | f-rn6 | f-opc-6-3 | f-opc |
0x0 | 0x1 | 0x7 | frd6 | frn6 | frn6 | 0x1 | 0xf |
(sequence () (sequence ((SF fptemp)) (set bvbit 0) (set busbit 0) (set fptemp (c-call SF "epiphany_fsqrt" frn6)) (set bnbit (lt fptemp 0)) (set bzbit (eq fptemp 0)) (set bvsbit (or BI bvsbit bvbit)) (set frd6 fptemp)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x1 | 0x7 |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fsub" rd rn rm)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_isub" rd rn rm)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x7 | rd6 | rn6 | rm6 | 0x1 | 0xf |
(sequence () (sequence () (if (eq arithmetic-modebit2 0) (sequence ((SF fptemp) (SI sdtmp)) (set sdtmp (c-call SI "epiphany_fsub" rd6 rn6 rm6)) (set bzbit (c-call BI "get_epiphany_fzeroflag" sdtmp)) (set bnbit (c-call BI "get_epiphany_fnegativeflag" sdtmp)) (set bvbit (c-call BI "get_epiphany_foverflowflag" sdtmp)) (set bubit (c-call BI "get_epiphany_funderflowflag" sdtmp)) (set bibit (c-call BI "get_epiphany_finvalidflag" sdtmp)) (set bvsbit (or BI bvsbit bvbit)) (set busbit (or BI busbit bubit)) (set bisbit (or BI bisbit bibit)) (set rd6 sdtmp) (if (or BI (and BI invExcEnbit bisbit) (or BI (and BI ovfExcEnbit bvsbit) (and BI unExcEnbit busbit))) (sequence () (set expcause0bit 1) (set expcause1bit 1) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))))) (if (eq arithmetic-modebit2 1) (sequence ((SI sdtmp)) (set sdtmp (c-call SI "epiphany_isub" rd6 rn6 rm6)) (set bzbit (eq sdtmp 0)) (set bnbit (lt sdtmp 0)) (set rd6 sdtmp)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-2 | f-dc-20-1 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x1 | 0xa | rd6 | rn6 | rm6 | 0x1 | 0xf |
(sequence () (sequence () (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-2 | f-dc-20-1 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x1 | 0xa | rd6 | rn6 | rm6 | 0x0 | 0xf |
(sequence () (sequence () (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-6 | f-gien-gidis-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x1 | 0x19 | 0x2 |
(sequence () (set gidisablebit 1) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-6 | f-gien-gidis-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x0 | 0x19 | 0x2 |
(sequence () (set gidisablebit 0) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x1b | 0x2 |
(sequence () (set caibit 0) (c-code VOID "sim_engine_halt (CPU_STATE (current_cpu), current_cpu, NULL, pc, sim_exited, 0);"))
31 30 29 | 28 27 26 25 24 23 | 22 21 20 19 | 18 17 16 | 15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-31-3 | f-dc-25-6 | f-opc-19-4 | f-dc-15-3 | f-rn6 | f-dc-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x0 | 0x2 | 0x0 | rn6 | 0x0 | 0x15 | 0xf |
(sequence () (set (reg SI h-registers 14) (add USI pc 4)) (set pc rn6))
15 14 13 | 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-3 | f-rn | f-dc-9-1 | f-opc-8-5 | f-opc |
0x0 | rn | 0x0 | 0x15 | 0x2 |
(sequence () (set (reg SI h-registers 14) (add USI pc 2)) (set pc rn))
31 30 29 | 28 27 26 25 24 23 | 22 21 20 19 | 18 17 16 | 15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-31-3 | f-dc-25-6 | f-opc-19-4 | f-dc-15-3 | f-rn6 | f-dc-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x0 | 0x2 | 0x0 | rn6 | 0x0 | 0x14 | 0xf |
(set pc rn6)
15 14 13 | 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-3 | f-rn | f-dc-9-1 | f-opc-8-5 | f-opc |
0x0 | rn | 0x0 | 0x14 | 0x2 |
(set pc rn)
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x0 | 0x0 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd6 (zext SI (mem QI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x0 | 0x0 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd (zext SI (mem QI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x0 | 0x0 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem QI rn6)))))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x0 | 0x0 | 0xd |
(sequence () (sequence ((SI tmprm)) (set tmprm rm6) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem QI rn6)))))) (if f-addsubx (set rn6 (sub SI rn6 tmprm)) (set rn6 (add SI rn6 tmprm)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x0 | 0x0 | 0x5 |
(sequence () (sequence ((SI tmprm)) (set tmprm rm) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set rd (zext SI (mem QI rn)))))) (set rn (add SI rn tmprm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x0 | 0x0 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set rd6 (zext SI (mem QI (sub SI rn6 rm6))))))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set rd6 (zext SI (mem QI (add SI rn6 rm6))))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x0 | 0x0 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set rd (zext SI (mem QI (add SI rn rm)))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x2 | 0x0 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd6 (zext SI (mem SI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x2 | 0x0 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd (zext SI (mem SI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x3 | 0x0 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr effa) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd6 (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd6) 1)) (mem SI loadaddr)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x3 | 0x0 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr effa) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd) 1)) (mem SI loadaddr)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x3 | 0x0 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr rn6) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd6 (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd6) 1)) (mem SI loadaddr))))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x3 | 0x0 | 0xd |
(sequence () (sequence ((SI tmprm)) (set tmprm rm6) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr rn6) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd6 (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd6) 1)) (mem SI loadaddr))))) (if f-addsubx (set rn6 (sub SI rn6 tmprm)) (set rn6 (add SI rn6 tmprm)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x3 | 0x0 | 0x5 |
(sequence () (sequence ((SI tmprm)) (set tmprm rm) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr rn) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd) 1)) (mem SI loadaddr))))) (set rn (add SI rn tmprm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x2 | 0x0 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem SI rn6)))))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x3 | 0x0 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr (sub SI rn6 rm6)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd6 (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd6) 1)) (mem SI loadaddr))))) (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr (add SI rn6 rm6)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd6 (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd6) 1)) (mem SI loadaddr))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x3 | 0x0 | 0x1 |
(sequence () (sequence () (sequence ((SI loadaddr) (BI isAligmentAccess)) (set loadaddr (add SI rn rm)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI loadaddr 0) 0)) ((OPW_SHORT) (eq (and SI loadaddr 1) 0)) ((OPW_WORD) (eq (and SI loadaddr 3) 0)) (else (eq (and SI loadaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr loadaddr) (set rd (mem SI loadaddr)) (set loadaddr (add SI loadaddr 4)) (set memaddr loadaddr) (set (reg SI h-registers (add INT (index-of rd) 1)) (mem SI loadaddr)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x1 | 0x0 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd6 (zext SI (mem HI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x1 | 0x0 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set rd (zext SI (mem HI effa))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x1 | 0x0 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem HI rn6)))))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x1 | 0x0 | 0xd |
(sequence () (sequence ((SI tmprm)) (set tmprm rm6) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem HI rn6)))))) (if f-addsubx (set rn6 (sub SI rn6 tmprm)) (set rn6 (add SI rn6 tmprm)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x1 | 0x0 | 0x5 |
(sequence () (sequence ((SI tmprm)) (set tmprm rm) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set rd (zext SI (mem HI rn)))))) (set rn (add SI rn tmprm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x1 | 0x0 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set rd6 (zext SI (mem HI (sub SI rn6 rm6))))))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set rd6 (zext SI (mem HI (add SI rn6 rm6))))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x1 | 0x0 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set rd (zext SI (mem HI (add SI rn rm)))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x2 | 0x0 | 0xd |
(sequence () (sequence ((SI tmprm)) (set tmprm rm6) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set rd6 (zext SI (mem SI rn6)))))) (if f-addsubx (set rn6 (sub SI rn6 tmprm)) (set rn6 (add SI rn6 tmprm)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x2 | 0x0 | 0x5 |
(sequence () (sequence ((SI tmprm)) (set tmprm rm) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set rd (zext SI (mem SI rn)))))) (set rn (add SI rn tmprm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x2 | 0x0 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set rd6 (zext SI (mem SI (sub SI rn6 rm6))))))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set rd6 (zext SI (mem SI (add SI rn6 rm6))))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x2 | 0x0 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set rd (zext SI (mem SI (add SI rn rm)))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-2 | f-dc-20-1 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0x1 | 0xa | rd6 | rn6 | rm6 | 0x2 | 0xf |
(sequence () (sequence () (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x2 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (sll SI rn6 (and SI rm6 31))) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x2 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (sll SI rn (and SI rm 31))) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-shift | f-opc-4-1 | f-opc |
rd | rn | shift | 0x1 | 0x6 |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (sll SI rn shift)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-shift | f-opc-4-1 | f-opc |
0x0 | 0x6 | rd6 | rn6 | shift | 0x1 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (sll SI rn6 shift)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x4 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (srl SI rn6 (and SI rm6 31))) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x4 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (srl SI rn (and SI rm 31))) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-shift | f-opc-4-1 | f-opc |
rd | rn | shift | 0x0 | 0x6 |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (srl SI rn shift)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-25-6 | f-opc-19-4 | f-rd6 | f-rn6 | f-shift | f-opc-4-1 | f-opc |
0x0 | 0x6 | rd6 | rn6 | shift | 0x0 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (srl SI rn6 shift)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x1 | 0x1c | 0x2 |
(nop)
31 | 30 29 28 27 | 26 25 24 23 22 21 | 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-28-1 | f-opc-19-4 | f-rd6 | f-imm16 | f-opc-4-1 | f-opc |
0x0 | 0x2 | rd6 | imm16 | 0x0 | 0xb |
(sequence () (set rd6 (zext SI imm16)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 9 8 7 6 5 | 4 | 3 2 1 0 |
f-rd | f-imm8 | f-opc-4-1 | f-opc |
rd | imm8 | 0x0 | 0x3 |
(sequence () (set rd (zext SI imm8)) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-rd | f-sn | f-dc-9-1 | f-opc-8-5 | f-opc |
rd | sn | 0x0 | 0x11 | 0x2 |
(sequence () (set rd sn) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x0 | 0x2 | rd6 | sn6 | 0x0 | 0x1 | 0x1 | 0xf |
(sequence () (set rd6 sn6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x1 | 0x2 | rd6 | sndma | 0x0 | 0x1 | 0x1 | 0xf |
(sequence () (set rd6 sndma) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x2 | 0x2 | rd6 | snmem | 0x0 | 0x1 | 0x1 | 0xf |
(sequence () (set rd6 snmem) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x3 | 0x2 | rd6 | snmesh | 0x0 | 0x1 | 0x1 | 0xf |
(sequence () (set rd6 snmesh) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 29 28 27 | 26 25 24 23 22 21 | 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 | 4 | 3 2 1 0 |
f-dc-28-1 | f-opc-19-4 | f-rd6 | f-imm16 | f-opc-4-1 | f-opc |
0x1 | 0x2 | rd6 | imm16 | 0x0 | 0xb |
(sequence () (set rd6 (or SI (and SI rd6 65535) (sll SI imm16 16))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-rd | f-sn | f-dc-9-1 | f-opc-8-5 | f-opc |
rd | sn | 0x0 | 0x10 | 0x2 |
(sequence () (set sn rd) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x0 | 0x2 | rd6 | sn6 | 0x0 | 0x1 | 0x0 | 0xf |
(sequence () (set sn6 rd6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x1 | 0x2 | rd6 | sndma | 0x0 | 0x1 | 0x0 | 0xf |
(sequence () (set sndma rd6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x2 | 0x2 | rd6 | snmem | 0x0 | 0x1 | 0x0 | 0xf |
(sequence () (set snmem rd6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 28 | 27 26 | 25 24 23 22 | 21 20 19 18 17 16 | 15 14 13 12 11 10 | 9 | 8 | 7 6 5 4 | 3 2 1 0 |
f-dc-25-4 | f-dc-21-2 | f-opc-19-4 | f-rd6 | f-sn6 | f-dc-9-1 | f-opc-8-1 | f-dc-7-4 | f-opc |
0x0 | 0x3 | 0x2 | rd6 | snmesh | 0x0 | 0x1 | 0x0 | 0xf |
(sequence () (set snmesh rd6) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x1a | 0x2 |
(sequence () (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x7 | 0xf |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd6 (or SI rn6 rm6)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x7 | 0xa |
(sequence () (sequence () (sequence () (set cbit 0) (set vbit 0)) (set rd (or SI rn rm)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x1d | 0x2 |
(sequence () (set (reg USI h-core-registers 13) (c-call SI "epiphany_rti" (reg USI h-core-registers 13) (reg USI h-core-registers 9))) (set gidisablebit 0) (set kmbit 0) (set pc (reg USI h-core-registers 8)))
31 30 29 | 28 27 26 | 25 24 23 22 21 20 | 19 18 17 16 | 15 14 13 | 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-31-3 | f-rn-x | f-dc-25-6 | f-opc-19-4 | f-dc-15-3 | f-rn | f-dc-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x1 | 0x0 | 0x2 | 0x0 | 0x6 | 0x0 | 0x14 | 0xf |
(set pc (reg SI h-registers 14))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x3a | 0x2 |
(sequence () (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x0 | 0x1 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem QI effa) rd6))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x0 | 0x1 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem QI effa) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x0 | 0x1 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_BYTE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem QI rn6) rd6)))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x0 | 0x1 | 0xd |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem QI rn6) rd6)))) (if f-addsubx (set rn6 (sub SI rn6 rm6)) (set rn6 (add SI rn6 rm6)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x0 | 0x1 | 0x5 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set (mem QI rn) rd)))) (set rn (add SI rn rm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x0 | 0x1 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set (mem QI (sub SI rn6 rm6)) rd6)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set (mem QI (add SI rn6 rm6)) rd6)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x0 | 0x1 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set (mem QI (add SI rn rm)) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x2 | 0x1 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem SI effa) rd6))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x2 | 0x1 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem SI effa) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x3 | 0x1 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr effa) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd6) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd6) 1))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x3 | 0x1 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr effa) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd) 1))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x3 | 0x1 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_DOUBLE) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr rn6) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd6) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd6) 1)))))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x3 | 0x1 | 0xd |
(sequence () (sequence () (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr rn6) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd6) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd6) 1)))))) (if f-addsubx (set rn6 (sub SI rn6 rm6)) (set rn6 (add SI rn6 rm6)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x3 | 0x1 | 0x5 |
(sequence () (sequence () (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr rn) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd) 1)))))) (set rn (add SI rn rm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x2 | 0x1 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_WORD) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem SI rn6) rd6)))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x3 | 0x1 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr (sub SI rn6 rm6)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd6) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd6) 1)))))) (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr (add SI rn6 rm6)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd6) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd6) 1)))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x3 | 0x1 | 0x1 |
(sequence () (sequence () (sequence ((SI storeaddr) (BI isAligmentAccess)) (set storeaddr (add SI rn rm)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_DOUBLE) ((OPW_BYTE) (eq (and SI storeaddr 0) 0)) ((OPW_SHORT) (eq (and SI storeaddr 1) 0)) ((OPW_WORD) (eq (and SI storeaddr 3) 0)) (else (eq (and SI storeaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr storeaddr) (set (mem SI storeaddr) rd) (set storeaddr (add SI storeaddr 4)) (set memaddr storeaddr) (set (mem SI storeaddr) (reg SI h-registers (add INT (index-of rd) 1))))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x0 | dpmi | rd6 | rn6 | disp11 | 0x1 | 0x1 | 0xc |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (if dpmi (set effa (sub SI rn6 (sll UINT disp11 scale))) (set effa (add SI rn6 (sll UINT disp11 scale)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem HI effa) rd6))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-disp3 | f-wordsize | f-store | f-opc |
rd | rn | disp3 | 0x1 | 0x1 | 0x4 |
(sequence () (sequence ((SI effa) (SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (set effa (add SI rn (sll UINT disp3 scale))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI effa 0) 0)) ((OPW_SHORT) (eq (and SI effa 1) 0)) ((OPW_WORD) (eq (and SI effa 3) 0)) (else (eq (and SI effa 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr effa) (set (mem HI effa) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-pm | f-subd | f-rd6 | f-rn6 | f-disp11 | f-wordsize | f-store | f-opc |
0x1 | dpmi | rd6 | rn6 | disp11 | 0x1 | 0x1 | 0xc |
(sequence () (sequence ((SI scale)) (set scale (case SI (enum INT OPW_SHORT) ((OPW_BYTE) 0) ((OPW_SHORT) 1) ((OPW_WORD) 2) (else 3))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem HI rn6) rd6)))) (if dpmi (set rn6 (sub SI rn6 (sll UINT disp11 scale))) (set rn6 (add SI rn6 (sll UINT disp11 scale))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x1 | 0x1 | 0xd |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem HI rn6) rd6)))) (if f-addsubx (set rn6 (sub SI rn6 rm6)) (set rn6 (add SI rn6 rm6)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x1 | 0x1 | 0x5 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set (mem HI rn) rd)))) (set rn (add SI rn rm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x1 | 0x1 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set (mem HI (sub SI rn6 rm6)) rd6)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set (mem HI (add SI rn6 rm6)) rd6)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x1 | 0x1 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set (mem HI (add SI rn rm)) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-2 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x2 | 0x1 | 0xd |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn6 0) 0)) ((OPW_SHORT) (eq (and SI rn6 1) 0)) ((OPW_WORD) (eq (and SI rn6 3) 0)) (else (eq (and SI rn6 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn6) (set (mem SI rn6) rd6)))) (if f-addsubx (set rn6 (sub SI rn6 rm6)) (set rn6 (add SI rn6 rm6)))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x2 | 0x1 | 0x5 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI rn 0) 0)) ((OPW_SHORT) (eq (and SI rn 1) 0)) ((OPW_WORD) (eq (and SI rn 3) 0)) (else (eq (and SI rn 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr rn) (set (mem SI rn) rd)))) (set rn (add SI rn rm))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x0 | direction | 0x0 | rd6 | rn6 | rm6 | 0x2 | 0x1 | 0x9 |
(sequence () (sequence () (if f-addsubx (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (sub SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (sub SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (sub SI rn6 rm6) 3) 0)) (else (eq (and SI (sub SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (sub SI rn6 rm6)) (set (mem SI (sub SI rn6 rm6)) rd6)))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (add SI rn6 rm6) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn6 rm6) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn6 rm6) 3) 0)) (else (eq (and SI (add SI rn6 rm6) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn6 rm6)) (set (mem SI (add SI rn6 rm6)) rd6)))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-wordsize | f-store | f-opc |
rd | rn | rm | 0x2 | 0x1 | 0x1 |
(sequence () (sequence () (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI (add SI rn rm) 0) 0)) ((OPW_SHORT) (eq (and SI (add SI rn rm) 1) 0)) ((OPW_WORD) (eq (and SI (add SI rn rm) 3) 0)) (else (eq (and SI (add SI rn rm) 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr (add SI rn rm)) (set (mem SI (add SI rn rm)) rd))))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-22-3 | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-opc-6-3 | f-opc |
0x0 | 0xa | rd6 | rn6 | rm6 | 0x3 | 0xf |
(sequence () (sequence () (sequence () (set cbit (not BI (sub-cflag SI rn6 rm6 0))) (set vbit (sub-oflag SI rn6 rm6 0)) (set vsbit (or BI vsbit vbit))) (set rd6 (sub SI rn6 rm6)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-rm | f-opc-6-3 | f-opc |
rd | rn | rm | 0x3 | 0xa |
(sequence () (sequence () (sequence () (set cbit (not BI (sub-cflag SI rn rm 0))) (set vbit (sub-oflag SI rn rm 0)) (set vsbit (or BI vsbit vbit))) (set rd (sub SI rn rm)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 30 | 29 28 27 26 25 24 | 23 22 21 20 19 18 | 17 16 15 14 13 12 11 10 9 8 7 | 6 5 4 | 3 2 1 0 |
f-dc-25-2 | f-rd6 | f-rn6 | f-sdisp11 | f-opc-6-3 | f-opc |
0x0 | rd6 | rn6 | simm11 | 0x3 | 0xb |
(sequence () (sequence () (sequence () (set cbit (not BI (sub-cflag SI rn6 simm11 0))) (set vbit (sub-oflag SI rn6 simm11 0)) (set vsbit (or BI vsbit vbit))) (set rd6 (sub SI rn6 simm11)) (set zbit (eq rd6 0)) (set nbit (lt rd6 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 | 12 11 10 | 9 8 7 | 6 5 4 | 3 2 1 0 |
f-rd | f-rn | f-sdisp3 | f-opc-6-3 | f-opc |
rd | rn | simm3 | 0x3 | 0x3 |
(sequence () (sequence () (sequence () (set cbit (not BI (sub-cflag SI rn simm3 0))) (set vbit (sub-oflag SI rn simm3 0)) (set vsbit (or BI vsbit vbit))) (set rd (sub SI rn simm3)) (set zbit (eq rd 0)) (set nbit (lt rd 0))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-6 | f-trap-swi-9-1 | f-opc-8-5 | f-opc |
0x0 | 0x0 | 0x1e | 0x2 |
(sequence () (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 128) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 128)) (set pc 36)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 128)))))
15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-trap-num | f-trap-swi-9-1 | f-opc-8-5 | f-opc |
swi_num | 0x0 | 0x1e | 0x2 |
(sequence () (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 128) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 128)) (set pc 36)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 128)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x1f | 0x2 |
(sequence () (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x1 | direction | 0x0 | rd6 | rn6 | rm6 | 0x0 | 0x0 | 0x9 |
(sequence () (sequence ((SI tmemaddr) (SI tmpValReg)) (set tmpValReg rd6) (if f-addsubx (set tmemaddr (sub SI rn6 rm6)) (set tmemaddr (add SI rn6 rm6))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_BYTE) ((OPW_BYTE) (eq (and SI tmemaddr 0) 0)) ((OPW_SHORT) (eq (and SI tmemaddr 1) 0)) ((OPW_WORD) (eq (and SI tmemaddr 3) 0)) (else (eq (and SI tmemaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr tmemaddr) (set rd6 (zext SI (mem QI tmemaddr)))))) (if rd6 (nop) (set (mem QI tmemaddr) tmpValReg))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x1 | direction | 0x0 | rd6 | rn6 | rm6 | 0x1 | 0x0 | 0x9 |
(sequence () (sequence ((SI tmemaddr) (SI tmpValReg)) (set tmpValReg rd6) (if f-addsubx (set tmemaddr (sub SI rn6 rm6)) (set tmemaddr (add SI rn6 rm6))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_SHORT) ((OPW_BYTE) (eq (and SI tmemaddr 0) 0)) ((OPW_SHORT) (eq (and SI tmemaddr 1) 0)) ((OPW_WORD) (eq (and SI tmemaddr 3) 0)) (else (eq (and SI tmemaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr tmemaddr) (set rd6 (zext SI (mem HI tmemaddr)))))) (if rd6 (nop) (set (mem HI tmemaddr) tmpValReg))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
31 | 30 | 29 | 28 27 26 25 | 24 23 22 21 20 19 | 18 17 16 15 14 13 | 12 11 10 9 8 7 | 6 5 | 4 | 3 2 1 0 |
f-dc-22-1 | f-dc-21-1 | f-addsubx | f-opc-19-4 | f-rd6 | f-rn6 | f-rm6 | f-wordsize | f-store | f-opc |
0x0 | 0x1 | direction | 0x0 | rd6 | rn6 | rm6 | 0x2 | 0x0 | 0x9 |
(sequence () (sequence ((SI tmemaddr) (SI tmpValReg)) (set tmpValReg rd6) (if f-addsubx (set tmemaddr (sub SI rn6 rm6)) (set tmemaddr (add SI rn6 rm6))) (sequence ((BI isAligmentAccess)) (sequence ((BI scale)) (set isAligmentAccess (case BI (enum INT OPW_WORD) ((OPW_BYTE) (eq (and SI tmemaddr 0) 0)) ((OPW_SHORT) (eq (and SI tmemaddr 1) 0)) ((OPW_WORD) (eq (and SI tmemaddr 3) 0)) (else (eq (and SI tmemaddr 7) 0)))) (if (not BI isAligmentAccess) (if (eq gidisablebit 0) (if (eq (and USI (reg USI h-core-registers 9) 2) 0) (sequence () (set kmbit 1) (set gidisablebit 1) (set (reg USI h-core-registers 8) (add USI pc 2)) (set (reg USI h-core-registers 13) (or USI (reg USI h-core-registers 13) 2)) (set pc 4)) (set (reg USI h-core-registers 10) (or USI (reg USI h-core-registers 10) 2)))))) (if (not BI (not BI isAligmentAccess)) (sequence () (set memaddr tmemaddr) (set rd6 (zext SI (mem SI tmemaddr)))))) (if rd6 (nop) (set (mem SI tmemaddr) tmpValReg))) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 | 9 | 8 7 6 5 4 | 3 2 1 0 |
f-trap-num | f-trap-swi-9-1 | f-opc-8-5 | f-opc |
trapnum6 | 0x1 | 0x1e | 0x2 |
(set (reg SI h-registers 0) (c-call SI "epiphany_trap" pc trapnum6))
31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 |
f-opc-31-32 |
0xf000f |
(sequence () (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
15 14 13 12 11 10 9 | 8 7 6 5 4 | 3 2 1 0 |
f-dc-15-7 | f-opc-8-5 | f-opc |
0x0 | 0x18 | 0x2 |
(sequence () (set sflagbit 1) (sequence ((USI tmpPC)) (if (eq pc (reg USI h-core-registers 7)) (set (reg USI h-core-registers 5) (sub USI (reg USI h-core-registers 5) 1))) (if (and BI (eq pc (reg USI h-core-registers 7)) (not BI (eq (reg USI h-core-registers 5) 0))) (set pc (reg USI h-core-registers 6)))))
((emit add rd6 rn6 rm6))
((emit addi rd6 rn6 simm11))
((emit addi rd6 rn6 simm11))
((emit addi16 rd rn simm3))
((emit and rd6 rn6 rm6))
((emit asr rd6 rn6 rm6))
((emit asri32 rd6 rn6 shift))
((emit b16 simm8))
((emit b simm24))
((emit bbeq16 simm8))
((emit bbeq simm24))
((emit bblt16 simm8))
((emit bblt simm24))
((emit bblte16 simm8))
((emit bblte simm24))
((emit bbne16 simm8))
((emit bbne simm24))
((emit beq16 simm8))
((emit beq simm24))
((emit bgt16 simm8))
((emit bgt simm24))
((emit bgte16 simm8))
((emit bgte simm24))
((emit bgteu16 simm8))
((emit bgteu simm24))
((emit bgtu16 simm8))
((emit bgtu simm24))
((emit bitr rd6 rn6))
((emit bl16 simm8))
((emit bl simm24))
((emit blt16 simm8))
((emit blt simm24))
((emit blte16 simm8))
((emit blte simm24))
((emit blteu16 simm8))
((emit blteu simm24))
((emit bltu16 simm8))
((emit bltu simm24))
((emit bne16 simm8))
((emit bne simm24))
((emit cmovB rd6 rn6))
((emit cmovBEQ rd6 rn6))
((emit cmovBLT rd6 rn6))
((emit cmovBLTE rd6 rn6))
((emit cmovBNE rd6 rn6))
((emit cmovEQ rd6 rn6))
((emit cmovGT rd6 rn6))
((emit cmovGTE rd6 rn6))
((emit cmovGTEU rd6 rn6))
((emit cmovGTU rd6 rn6))
((emit cmovLT rd6 rn6))
((emit cmovLTE rd6 rn6))
((emit cmovLTEU rd6 rn6))
((emit cmovLTU rd6 rn6))
((emit cmovNE rd6 rn6))
((emit eor rd6 rn6 rm6))
((emit f_absf32 rd6 rn6))
((emit f_addf32 rd6 rn6 rm6))
((emit f_ixf32 rd6 rn6))
((emit f_loatf32 rd6 rn6))
((emit f_maddf32 rd6 rn6 rm6))
((emit f_msubf32 rd6 rn6 rm6))
((emit f_mulf32 rd6 rn6 rm6))
((emit f_recipf32 frd6 frn6))
((emit f_sqrtf32 frd6 frn6))
((emit f_subf32 rd6 rn6 rm6))
((emit fdep rd6 rn6 rm6))
((emit fext rd6 rn6 rm6))
((emit f_addf16 rd rn rm))
((emit f_addf32 rd6 rn6 rm6))
((emit f_addf32 rd6 rn6 rm6))
((emit f_maddf16 rd rn rm))
((emit f_maddf32 rd6 rn6 rm6))
((emit f_maddf32 rd6 rn6 rm6))
((emit f_msubf16 rd rn rm))
((emit f_msubf32 rd6 rn6 rm6))
((emit f_msubf32 rd6 rn6 rm6))
((emit f_mulf16 rd rn rm))
((emit f_mulf32 rd6 rn6 rm6))
((emit f_mulf32 rd6 rn6 rm6))
((emit f_subf16 rd rn rm))
((emit f_subf32 rd6 rn6 rm6))
((emit f_subf32 rd6 rn6 rm6))
((emit ldrbd.l rd6 rn6 dpmi disp11))
((emit ldrbd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrbd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrbdpm.l rd6 rn6 dpmi disp11))
((emit ldrbd16.s rd rn (disp3 0)))
((emit ldrbp.l rd6 rn6 direction rm6))
((emit ldrbx.l rd6 rn6 direction rm6))
((emit ldrd.l rd6 rn6 dpmi disp11))
((emit ldrdd.l rd6 rn6 dpmi disp11))
((emit ldrdd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrdd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrddpm.l rd6 rn6 dpmi disp11))
((emit ldrdd16.s rd rn (disp3 0)))
((emit ldrd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrdp.l rd6 rn6 direction rm6))
((emit ldrdpm.l rd6 rn6 dpmi disp11))
((emit ldrd16.s rd rn (disp3 0)))
((emit ldrdx.l rd6 rn6 direction rm6))
((emit ldrhd.l rd6 rn6 dpmi disp11))
((emit ldrhd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrhd.l rd6 rn6 (dpmi 0) (disp11 0)))
((emit ldrhdpm.l rd6 rn6 dpmi disp11))
((emit ldrhd16.s rd rn (disp3 0)))
((emit ldrhp.l rd6 rn6 direction rm6))
((emit ldrhx.l rd6 rn6 direction rm6))
((emit ldrp.l rd6 rn6 direction rm6))
((emit ldrx.l rd6 rn6 direction rm6))
((emit lfsr rd6 rn6 rm6))
((emit lsl rd6 rn6 rm6))
((emit lsli32 rd6 rn6 shift))
((emit lsr rd6 rn6 rm6))
((emit lsri32 rd6 rn6 shift))
((emit mov16 rd6 imm16))
((emit mov8 rd imm8))
((emit movfs6 rd6 sn6))
((emit movfsdma rd6 sndma))
((emit movfsmem rd6 snmem))
((emit movfsmesh rd6 snmesh))
((emit movt rd6 imm16))
((emit movts6 sn6 rd6))
((emit movtsdma sndma rd6))
((emit movtsmem snmem rd6))
((emit movtsmesh snmesh rd6))
((emit orr rd6 rn6 rm6))
((emit strbd rd6 rn6 dpmi disp11))
((emit strbd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strbd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strbdpm rd6 rn6 dpmi disp11))
((emit strbd16 rd rn (disp3 0)))
((emit strbp rd6 rn6 direction rm6))
((emit strbx rd6 rn6 direction rm6))
((emit strd rd6 rn6 dpmi disp11))
((emit strdd rd6 rn6 dpmi disp11))
((emit strdd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strdd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strddpm rd6 rn6 dpmi disp11))
((emit strdd16 rd rn (disp3 0)))
((emit strd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strdp rd6 rn6 direction rm6))
((emit strdpm rd6 rn6 dpmi disp11))
((emit strd16 rd rn (disp3 0)))
((emit strdx rd6 rn6 direction rm6))
((emit strhd rd6 rn6 dpmi disp11))
((emit strhd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strhd rd6 rn6 (dpmi 0) (disp11 0)))
((emit strhdpm rd6 rn6 dpmi disp11))
((emit strhd16 rd rn (disp3 0)))
((emit strhp rd6 rn6 direction rm6))
((emit strhx rd6 rn6 direction rm6))
((emit strp rd6 rn6 direction rm6))
((emit strx rd6 rn6 direction rm6))
((emit sub rd6 rn6 rm6))
((emit subi rd6 rn6 simm11))
((emit subi rd6 rn6 simm11))
((emit subi16 rd rn simm3))
((emit testsetbt rd6 rn6 direction rm6))
((emit testsetht rd6 rn6 direction rm6))
((emit testsett rd6 rn6 direction rm6))
This documentation was machine generated from the cgen cpu description
files for this architecture.
https://sourceware.org/cgen/