[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-ppc] [PATCH 7/7] target/ppc: Use non-arithmetic conversions fo
From: |
Mark Cave-Ayland |
Subject: |
Re: [Qemu-ppc] [PATCH 7/7] target/ppc: Use non-arithmetic conversions for fp load/store |
Date: |
Fri, 6 Jul 2018 10:03:36 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 |
On 05/07/18 17:48, Richard Henderson wrote:
On 07/05/2018 09:31 AM, Programmingkid wrote:
On Jul 3, 2018, at 11:17 AM, Richard Henderson <address@hidden> wrote:
Memory operations have no side effects on fp state.
The use of a "real" conversions between float64 and float32
would raise exceptions for SNaN and out-of-range inputs.
Would you have any documentation that tells us about converting
between 64 bit and 32 bit floating points?
Spelled out right at the beginning of sections 4.6 (load) and 4.7 (store) of
Book 1 of the Power ISA manual (version 3.0B) [0].
I've double-checked vs RISU[1] testing of LFS and STFS, with master traces
generated on Power 8 ppc64le, so I don't see anything immediately wrong with
the patch. But I haven't had time to look further than that.
I've had a quick look at this with the attached patch to compare the
helper results before your patch and after, writing any differences to
the console.
With this patch applied to ppc-for-3.1 I've booted MacOS 9 and recorded
the output below:
$ ./qemu-system-ppc -cdrom MacOS921-macsbug.iso -boot d -M mac99
helper_todouble diff for arg: 3f800000 d.ll: 3ff0000000000000 ret:
3bf0000000000000
helper_todouble diff for arg: 3f800000 d.ll: 3ff0000000000000 ret:
3bf0000000000000
(note: MacOS 9 will hang here unless the line marked "Uncommenting this
allows MacOS to run" in my patch is enabled)
helper_todouble diff for arg: 3f000000 d.ll: 3fe0000000000000 ret:
3be0000000000000
helper_todouble diff for arg: 3f000000 d.ll: 3fe0000000000000 ret:
3be0000000000000
helper_todouble diff for arg: 3f800000 d.ll: 3ff0000000000000 ret:
3bf0000000000000
helper_todouble diff for arg: 3f800000 d.ll: 3ff0000000000000 ret:
3bf0000000000000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_todouble diff for arg: be61b08a d.ll: bfcc361140000000 ret:
bbcc361140000000
helper_todouble diff for arg: 3fdf81a5 d.ll: 3ffbf034a0000000 ret:
3bfbf034a0000000
helper_todouble diff for arg: bf402647 d.ll: bfe804c8e0000000 ret:
bbe804c8e0000000
helper_todouble diff for arg: 3e61b08a d.ll: 3fcc361140000000 ret:
3bcc361140000000
helper_tosingle diff for arg: bfcc361140000000 f.l: be61b08a ret: 9e61b08a
helper_todouble diff for arg: 3f0ccccd d.ll: 3fe19999a0000000 ret:
3be19999a0000000
helper_tosingle diff for arg: 3ffbf034a0000000 f.l: 3fdf81a5 ret: 1fdf81a5
helper_tosingle diff for arg: bfe804c8e0000000 f.l: bf402647 ret: 9f402647
helper_tosingle diff for arg: 3fcc361140000000 f.l: 3e61b08a ret: 1e61b08a
helper_tosingle diff for arg: 3fe19999a0000000 f.l: 3f0ccccd ret: 1f0ccccd
helper_todouble diff for arg: 3b800000 d.ll: 3f70000000000000 ret:
3b70000000000000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_todouble diff for arg: 3b800000 d.ll: 3f70000000000000 ret:
3b70000000000000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
helper_tosingle diff for arg: 3ff0000000000000 f.l: 3f800000 ret: 1f800000
It looks like the differences are related to a flag or flags in the MSB
byte of ret.
ATB,
Mark.
qemu-ppc-fp-helper-compare.patch
Description: Text Data
- [Qemu-ppc] [PATCH 2/7] target/ppc: Honor fpscr_ze semantics and tidy fdiv, (continued)
- [Qemu-ppc] [PATCH 2/7] target/ppc: Honor fpscr_ze semantics and tidy fdiv, Richard Henderson, 2018/07/03
- [Qemu-ppc] [PATCH 4/7] target/ppc: Tidy helper_fadd, helper_fsub, Richard Henderson, 2018/07/03
- [Qemu-ppc] [PATCH 3/7] target/ppc: Tidy helper_fmul, Richard Henderson, 2018/07/03
- [Qemu-ppc] [PATCH 5/7] target/ppc: Tidy helper_fsqrt, Richard Henderson, 2018/07/03
- [Qemu-ppc] [PATCH 6/7] target/ppc: Honor fpscr_ze semantics and tidy fre, fresqrt, Richard Henderson, 2018/07/03
- [Qemu-ppc] [PATCH 7/7] target/ppc: Use non-arithmetic conversions for fp load/store, Richard Henderson, 2018/07/03
Re: [Qemu-ppc] [PATCH for-3.1 0/7] target/ppc fp cleanups, David Gibson, 2018/07/04
Re: [Qemu-ppc] [Qemu-devel] [PATCH for-3.1 0/7] target/ppc fp cleanups, Alex Bennée, 2018/07/04
Re: [Qemu-ppc] [PATCH for-3.1 0/7] target/ppc fp cleanups, Howard Spoelstra, 2018/07/05
Re: [Qemu-ppc] [PATCH for-3.1 0/7] target/ppc fp cleanups, Programmingkid, 2018/07/05