Make more float intrinsics generic by N1ark · Pull Request #162395 · rust-lang/rust

N1ark · 2026-09-07T00:48:19Z

Another (big) step of #153834 + #160989

Makemore remaining float intrinsics generic! Each commit is self-contained.

In order:

ceil, floor, trunc, round, round_ties_even, with const libm fallbacks (using #[rustc_do_not_const_check], see Intrinsics should allow a non-const fallback body if hooked for CTFE #150961, cc @RalfJung @tgross35)
sqrt, with libm fallbacks
powf, with libm fallbacks
fma and fmuladd, with libm fallbacks (+#[rustc_do_not_const_check]) and a shared fallback, respectively.
powi, with no fallback (it already didn't have any)

The first commit just removes the f16/f128 fallbacks for fabs, as mentioned here. I didn't try making the backends use more fallbacks, to make the PR less risky since it's quite large. Happy to do changes there though (cc @folkertdev)

copysign, minimum_number_nsz, maximum_number_nsz, minimum, maximum will be handled separately as they require rustc_allow_const_fn_unstable

rustbot · 2026-09-07T00:48:22Z

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

miri is developed in its own repository. If the Miri part of this change can be broken out, consider making this change to rust-lang/miri instead. However, if Miri needs adjusting for rustc changes, just ignore this message.

cc @rust-lang/miri

rustc_codegen_gcc is developed in its own repository. If possible, consider making this change to rust-lang/rustc_codegen_gcc instead.

cc @antoyo, @GuillaumeGomez

compiler-builtins is developed in its own repository. If possible, consider making this change to rust-lang/compiler-builtins instead.

cc @tgross35

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

stdarch is developed in its own repository. If possible, consider making this change to rust-lang/stdarch instead.

cc @Amanieu, @folkertdev, @sayantn

Some changes occurred to the intrinsics. Make sure the CTFE / Miri interpreter
gets adapted for the changes, if necessary.

cc @rust-lang/miri, @RalfJung, @oli-obk, @lcnr

⚠️ #[miri::intrinsic_fallback_is_spec] must only be used if the function actively checks for all UB cases,
and explores the possible non-determinism of the intrinsic.

cc @rust-lang/miri

Any special-casing of Miri in the standard library requires review.

cc @rust-lang/miri

rustc_codegen_cranelift is developed in its own repository. If possible, consider making this change to rust-lang/rustc_codegen_cranelift instead.

cc @bjorn3

⚠️ #[rustc_intrinsic_const_stable_indirect] controls whether intrinsics can be exposed to stable const
code; adding it needs t-lang approval.

cc @rust-lang/wg-const-eval

rustbot · 2026-09-07T00:48:26Z

r? @JohnTitor

rustbot has assigned @JohnTitor.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

Owners of files modified in this PR: libs
libs expanded to 12 candidates
Random selection from Darksonn, JohnTitor, Mark-Simulacrum, clarfonthey

RalfJung · 2026-09-07T06:47:20Z

+#[rustc_const_unstable(feature = "core_intrinsics", issue = "none")]
 #[rustc_intrinsic_const_stable_indirect]


Noted this required adding #[rustc_const_unstable] to the whole intrinsic,

Why was this needed? I guess it is because the body now needs unstable const features, namely const traits? We should ensure const traits are stable enough before we do that.
(I now notice that you already did the same for fabs. We should have already checked this there then but forgot.)

@BoxyUwU @lcnr @oli-obk are const traits in a state where we can use them internally in const functions that can be called by public monomorphic stable const functions? I think this still allows us to change the syntax and logic for const traits pretty much arbitrarily as long as we keep some way of invoking trait functions in a const fn.

View changes since the review

yep, because it needs const_trait_impl, const_ops, const_cmp

RalfJung · 2026-09-07T06:49:47Z

+#[rustc_const_unstable(feature = "core_intrinsics", issue = "none")]
 #[rustc_intrinsic_const_stable_indirect]


This combination of attributes is a strange one.

#[rustc_const_unstable(feature = "core_intrinsics", issue = "none")] #[rustc_intrinsic_const_stable_indirect]

I don't think I ever intended for this combination to be used. It looks quite unsafe, from a const-stability perspective. We should disallow it and require something like rustc_allow_const_fn_unstable instead.

View changes since the review

fabs seems to be the only intrinsic using this. I am quite uncomfortable with adding more such intrinsics. If possible, we should remove this from fabs as well. Unfortunately I won't have time to work on fixing this hole in our const stability checks any time soon. (Well I can easily add the check that rejects this but probably cannot explore adding alternatives.)

i admit this is me just trying to understand how to make things compile. very happy to do something else or exploring adding/fixing an attribute

without #[rustc_const_unstable(feature = "core_intrinsics", issue = "none")], we get "const function that might be (indirectly) exposed to stable cannot use #[feature(const_trait_impl)]"

without #[rustc_intrinsic_const_stable_indirect], we get "const function that might be (indirectly) exposed to stable cannot use #[feature(core_intrinsics)]"

fixed (folded into the relevant commits), there now is rustc_allow_const_fn_unstable; i guess this needs some approval

rustbot · 2026-09-07T08:16:39Z

clippy is developed in its own repository. If possible, consider making this change to rust-lang/rust-clippy instead.

cc @rust-lang/clippy

RalfJung · 2026-09-07T09:58:03Z

Please also update the PR description to reflect which intrinsics are actually being changed here now.

rust-log-analyzer · 2026-09-07T09:58:18Z

The job test-tidy failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

downloading https://static.rust-lang.org/dist/2026-08-30/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz
extracting /checkout/obj/build/cache/2026-08-30/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz to /checkout/obj/build/x86_64-unknown-linux-gnu/rustfmt
[TIMING:end] format::InternalRustfmt {  } -- 13.073
Diff in /checkout/library/core/src/intrinsics/bounds.rs:46:
 /// Must actually *be* such a type.
 #[rustc_const_unstable(feature = "core_intrinsics", issue = "none")]
 pub const unsafe trait FloatPrimitive:
-    Sized
-    + Copy
-    + [const] core::ops::Mul<Output = Self>
-    + [const] core::ops::Add<Output = Self>
+    Sized + Copy + [const] core::ops::Mul<Output = Self> + [const] core::ops::Add<Output = Self>
 {
     type UInt: const core::ops::BitOr<Output = Self::UInt>
         + const core::ops::BitAnd<Output = Self::UInt>
Diff in /checkout/compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs:1159:
                     let arg = AbiParam::new(ty);
                     let i32 = AbiParam::new(types::I32);
                     let name = match float_ty {
-                        F32 => "__powisf2", // compiler-builtins
-                        F64 => "__powidf2", // compiler-builtins
+                        F32 => "__powisf2",  // compiler-builtins
+                        F64 => "__powidf2",  // compiler-builtins
                         F128 => "__powitf2", // compiler-builtins
                         _ => unreachable!(),
                     };
fmt: checked 7256 files
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Currently active steps:

RalfJung · 2026-09-07T09:59:32Z

            // bitwise, no NaN adjustments
            sym::fabs => interp_ok(x.abs().into()),


This comment is only correct for fabs. The code makes it currently look like it applies to all of them.

RalfJung · 2026-09-07T10:00:43Z

    where
        F: rustc_apfloat::Float + rustc_apfloat::FloatConvert<F> + Into<Scalar<M::Provenance>>,
    {
-        let x: F = x.to_float()?;


By removing this here, now every caller needs to call to_float first... is that really better?

cranelift: use fallbacks for abs f16, f128

18d2205

rustbot assigned JohnTitor Sep 7, 2026

This comment has been minimized.

Sign in to view

RalfJung reviewed Sep 7, 2026

View reviewed changes

Comment thread library/core/src/intrinsics/mod.rs

RalfJung reviewed Sep 7, 2026

View reviewed changes

N1ark force-pushed the more-float-generics branch from d78924b to 06625b8 Compare September 7, 2026 08:16

rustbot added the T-clippy Relevant to the Clippy team. label Sep 7, 2026

N1ark force-pushed the more-float-generics branch from 06625b8 to da4599d Compare September 7, 2026 08:18

This comment has been minimized.

Sign in to view

N1ark force-pushed the more-float-generics branch 2 times, most recently from ca3f9a9 to b4275be Compare September 7, 2026 09:12

This comment was marked as resolved.

Sign in to view

RalfJung reviewed Sep 7, 2026

View reviewed changes

Comment thread library/core/src/intrinsics/mod.rs Outdated

N1ark added 4 commits September 7, 2026 10:34

Make rounding intrinsics generic

3a59ac3

Make sqrt generic

1460423

Make powf generic

a6c16e6

Make fma and fmuladd generic

54fde3d

This comment has been minimized.

Sign in to view

N1ark added 2 commits September 7, 2026 10:53

Make powi generic

e336510

Add test for rustc_do_not_const_check intrinsics

49057d4

N1ark force-pushed the more-float-generics branch from b4275be to 49057d4 Compare September 7, 2026 09:53

N1ark changed the title ~~Make all float intrinsics generics~~ Make more float intrinsics generic Sep 7, 2026

RalfJung reviewed Sep 7, 2026

View reviewed changes

		#[rustc_const_unstable(feature = "core_intrinsics", issue = "none")]
		#[rustc_intrinsic_const_stable_indirect]

		// bitwise, no NaN adjustments
		sym::fabs => interp_ok(x.abs().into()),

Uh oh!

Uh oh!

Conversation

N1ark commented Sep 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Sep 7, 2026

Uh oh!

rustbot commented Sep 7, 2026

Uh oh!

This comment has been minimized.

Uh oh!

RalfJung Sep 7, 2026 • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

N1ark Sep 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

RalfJung Sep 7, 2026 • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

RalfJung Sep 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

N1ark Sep 7, 2026

Choose a reason for hiding this comment

Uh oh!

N1ark Sep 7, 2026

Choose a reason for hiding this comment

Uh oh!

rustbot commented Sep 7, 2026

Uh oh!

This comment has been minimized.

This comment was marked as resolved.

Uh oh!

This comment has been minimized.

RalfJung commented Sep 7, 2026

Uh oh!

rust-log-analyzer commented Sep 7, 2026

Uh oh!

RalfJung Sep 7, 2026

Choose a reason for hiding this comment

Uh oh!

RalfJung Sep 7, 2026

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

5 participants

N1ark commented Sep 7, 2026 •

edited

Loading

RalfJung Sep 7, 2026 •

edited by rustbot

Loading

N1ark Sep 7, 2026 •

edited

Loading

RalfJung Sep 7, 2026 •

edited by rustbot

Loading

RalfJung Sep 7, 2026 •

edited

Loading