afonso360 commented on issue #6883:
Looks like RISC-V is the only backend that does not implement select_spectre_guard with floats
select_spectre_guard
Last updated: Jan 09 2026 at 13:15 UTC