|
From: | gaosong |
Subject: | Re: [PATCH v2 1/4] target/loongarch: ftint_xxx insns set the result high 32bit 0xffffffff |
Date: | Thu, 29 Sep 2022 11:24:26 +0800 |
User-agent: | Mozilla/5.0 (X11; Linux loongarch64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 9/26/22 23:48, Song Gao wrote:The high 32bit value is not fixed as the manual 3.1.3.1 said:
we just set high 32bit 0xffffffff as the other float instructions do.
Signed-off-by: Song Gao<gaosong@loongson.cn>
---
target/loongarch/fpu_helper.c | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
But the result in these cases is an integer, not a (single-precision) float.
Is this really what hardware does?
[Prev in Thread] | Current Thread | [Next in Thread] |