summaryrefslogtreecommitdiffstats
path: root/docs/spin/aio_notify_bug.promela
diff options
context:
space:
mode:
authorMax Filippov2020-07-01 04:27:02 +0200
committerMax Filippov2020-08-21 21:48:15 +0200
commitcfa9f0518144c0ea30f51fd2f203a09dd0a40cd9 (patch)
tree4a29bea5fe5092cae79d9d90027a4d3fed6c05f9 /docs/spin/aio_notify_bug.promela
parenttarget/xtensa: add DFPU option (diff)
downloadqemu-cfa9f0518144c0ea30f51fd2f203a09dd0a40cd9.tar.gz
qemu-cfa9f0518144c0ea30f51fd2f203a09dd0a40cd9.tar.xz
qemu-cfa9f0518144c0ea30f51fd2f203a09dd0a40cd9.zip
target/xtensa: add DFPU registers and opcodes
DFPU may be configured with 32-bit or with 64-bit registers. Xtensa ISA does not specify how single-precision values are stored in 64-bit registers. Existing implementations store them in the low half of the registers. Add value extraction and write back to single-precision opcodes. Add new double precision opcodes. Add 64-bit register file. Add 64-bit values dumping to the xtensa_cpu_dump_state. Signed-off-by: Max Filippov <jcmvbkbc@gmail.com>
Diffstat (limited to 'docs/spin/aio_notify_bug.promela')
0 files changed, 0 insertions, 0 deletions