diff options
author | Jin Guojie <jinguojie@loongson.cn> | 2017-01-05 12:57:47 +0800 |
---|---|---|
committer | Richard Henderson <rth@twiddle.net> | 2017-01-06 10:03:54 -0800 |
commit | 57a701fc2b34902310d4dbd1411088055616938a (patch) | |
tree | d8ac6eeac8626b99b444e75a32c891bb6018f800 /docs/tcg-exclusive.promela | |
parent | bb08afe9f0aee1a3f5c23508e2511b882ca31e1b (diff) |
tcg-mips: Add mips64 opcodes
Since the mips manual tables are in octal, reorg all of the opcodes
into that format for clarity. Note that the 64-bit opcodes are as
yet unused.
Tested-by: Aurelien Jarno <aurelien@aurel32.net>
Tested-by: James Hogan <james.hogan@imgtec.com>
Tested-by: YunQiang Su <wzssyqa@gmail.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Jin Guojie <jinguojie@loongson.cn>
Message-Id: <1483592275-4496-3-git-send-email-jinguojie@loongson.cn>
Diffstat (limited to 'docs/tcg-exclusive.promela')
0 files changed, 0 insertions, 0 deletions