support f*_algebraic

[bend-n]

supports the f*_algebraic intrinsics.

[RalfJung]

Thanks!

This should use adjust_nan to avoid making any guarantees about the NaNs being returned.

Ideally, we'd also not return the exact result but perturb it a bit, to drive home the point that these operations are non-deterministic. But the existing fast-math intrinsics don't do that either so we can leave that to #3555.

[RalfJung]

Please put the test into the tests/pass/intrinsics folder.

[bend-n]

This should use adjust_nan to avoid making any guarantees about the NaNs being

the comment on f*_fast says that wrapping_binary_op already calls generate_nan?

[RalfJung]

the comment on f*_fast says that wrapping_binary_op already calls generate_nan?

Ah, you're right, thanks!

[RalfJung]

Thanks, looks good. :)

Please squash the commits.

[RalfJung]

@bors r+

[bors]

📌 Commit 18379e8 has been approved by RalfJung

It is now in the queue for this repository.

[bors]

⌛ Testing commit 18379e8 with merge 24fc363...

[bors]

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 24fc363 to master...