Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Specs] Need to codify ftint edge-case behavior in the LoongArch manual #38

Open
xen0n opened this issue Jan 15, 2024 · 2 comments
Open
Labels
AREA: Specs A proper fix would involve updating specification text and likely vendor cooperation

Comments

@xen0n
Copy link
Member

xen0n commented Jan 15, 2024

Patch: zherczeg/sljit#226

But this patch seems relying on the implicit behavior documented nowhere. The instruction manual only says the ftint instructions satisfy IEEE 754-2008 where these results are unspecified.

We cannot just rely on the Hyrum rule here because the user base of LoongArch is not large enough. We should either avoid relying on the undocumented behavior, or tell the hardware engineers to add this into the specification and keep it in future products.

Originally posted by @xry111 in #36 (comment)

@xen0n xen0n added the AREA: Specs A proper fix would involve updating specification text and likely vendor cooperation label Jan 15, 2024
@lrzlin
Copy link

lrzlin commented Jan 15, 2024

risc-v-f-extension

A simple table like this would be great, hoping we could find this in future LoongArch manual or spec.
Reference: RISC-V Unprev Spec Chapter 13.7 Table 15. Domains of float-to-integer conversions and behavior for invalid inputs (Version 20191214, Revised 20230723)

@xry111
Copy link
Member

xry111 commented Jan 18, 2024

Need to raise this to an engineer from Loongson.

@heiher :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
AREA: Specs A proper fix would involve updating specification text and likely vendor cooperation
Projects
None yet
Development

No branches or pull requests

3 participants