Re: [PATCH v2 1/4] target/loongarch: ftint_xxx insns set the result high 32bit 0xffffffff

[Richard Henderson]

On 9/26/22 23:48, Song Gao wrote:

we just set high 32bit 0xffffffff as the other float instructions do.

Signed-off-by: Song Gao<gaos...@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?


r~