diff --git a/backend/amd64/simd_selection.ml b/backend/amd64/simd_selection.ml index 71b90c93e5..42eeedccaa 100644 --- a/backend/amd64/simd_selection.ml +++ b/backend/amd64/simd_selection.ml @@ -843,6 +843,7 @@ let vectorize_operation (width_type : Vectorize_utils.Width_in_bits.t) | W32 -> None (* See previous comment *) | W16 -> None | W8 -> None) + | Ifloatarithmem _ -> None | Istore_int (_n, addressing_mode, is_assignment) -> ( if not (Vectorize_utils.Width_in_bits.equal width_type W64) then None