Skip to content

Conversation

@usamoi
Copy link
Contributor

@usamoi usamoi commented Dec 14, 2025

This makes some intrinsics to work in Miri.

The idea is from #1925:

modifies the integer reduce_add and reduce_mul intrinsics to use simd_reduce_add_ordered and simd_ordered_mul_ordered, respectively. As integer algebra is associative, it doesn't matter for correctness, and LLVM will use the most performant arrangement. The reason is that rustc_const_eval only implements these ordered reduction intrinsics, unordered reduction seems to be tricky to implement in const_eval

@rustbot
Copy link
Collaborator

rustbot commented Dec 14, 2025

r? @Amanieu

rustbot has assigned @Amanieu.
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

@usamoi usamoi force-pushed the aarch64-simd-reduce-add branch from e65073f to 8abeb42 Compare December 14, 2025 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants