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

Handle new F16 and F128 types #3069

Open
zhassan-aws opened this issue Mar 11, 2024 · 3 comments
Open

Handle new F16 and F128 types #3069

zhassan-aws opened this issue Mar 11, 2024 · 3 comments
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.

Comments

@zhassan-aws
Copy link
Contributor

This is a tracking issue for adding support for the new 16-bit and 128-bit floating-point types that are being added to Rust.

Upstream tracking issue: rust-lang/rust#116909

@zhassan-aws zhassan-aws added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Mar 11, 2024
@tgross35
Copy link

Just FYI these are super unstable and will basically ICE if you do anything at all with them. Hopefully that will change in a couple weeks.

Thanks for being on top of it!

@jaisnan
Copy link
Contributor

jaisnan commented Jun 28, 2024

Some support is being added as of this PR: #3306.
@zhassan-aws is this enough to close the issue or should we keep the issue open till they're fully stable?

@tgross35
Copy link

tgross35 commented Jun 28, 2024

FYI most of the ICE paths have been removed (const time as casting being the last thing until rust-lang/rust#127032). Platform support is still weak though, we're having some problems getting compiler_builtins updated.

See https://github.com/rust-lang/rust/blob/c4c0897a262d42f26f89aaca16ed52457f6a4f05/library/std/build.rs#L78-L127 if you need a rough estimate of what works where (I'll be keeping that up to date as more support gets added)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Projects
None yet
Development

No branches or pull requests

3 participants