diff options
| -rw-r--r-- | src/intrinsics/mod.rs | 9 | ||||
| -rw-r--r-- | src/intrinsics/simd.rs | 9 |
2 files changed, 9 insertions, 9 deletions
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs index f305942a8c3..36490c37000 100644 --- a/src/intrinsics/mod.rs +++ b/src/intrinsics/mod.rs @@ -91,15 +91,6 @@ macro validate_atomic_type($fx:ident, $intrinsic:ident, $span:ident, $ty:expr) { } } -fn validate_simd_type(fx: &mut FunctionCx<'_, '_, '_>, intrinsic: Symbol, span: Span, ty: Ty<'_>) { - if !ty.is_simd() { - fx.tcx.sess.span_err(span, &format!("invalid monomorphization of `{}` intrinsic: expected SIMD input type, found non-SIMD `{}`", intrinsic, ty)); - // Prevent verifier error - crate::trap::trap_unreachable(fx, "compilation should not have succeeded"); - return; - } -} - pub(crate) fn clif_vector_type<'tcx>(tcx: TyCtxt<'tcx>, layout: TyAndLayout<'tcx>) -> Option<Type> { let (element, count) = match layout.abi { Abi::Vector { element, count } => (element, count), diff --git a/src/intrinsics/simd.rs b/src/intrinsics/simd.rs index 9e42ff587bd..8bc4dd8e615 100644 --- a/src/intrinsics/simd.rs +++ b/src/intrinsics/simd.rs @@ -6,6 +6,15 @@ use rustc_span::Symbol; use super::*; use crate::prelude::*; +fn validate_simd_type(fx: &mut FunctionCx<'_, '_, '_>, intrinsic: Symbol, span: Span, ty: Ty<'_>) { + if !ty.is_simd() { + fx.tcx.sess.span_err(span, &format!("invalid monomorphization of `{}` intrinsic: expected SIMD input type, found non-SIMD `{}`", intrinsic, ty)); + // Prevent verifier error + crate::trap::trap_unreachable(fx, "compilation should not have succeeded"); + return; + } +} + pub(super) fn codegen_simd_intrinsic_call<'tcx>( fx: &mut FunctionCx<'_, '_, 'tcx>, intrinsic: Symbol, |
