Disable vector abi check for the unadjusted abi

Author: sayantn

compiler/rustc_monomorphize/src/mono_checks/abi_check.rs

@@ -1,6 +1,6 @@
 //! This module ensures that if a function's ABI requires a particular target feature,
 //! that target feature is enabled both on the callee and all callers.
-use rustc_abi::{BackendRepr, RegKind};
+use rustc_abi::{BackendRepr, ExternAbi, RegKind};
 use rustc_hir::{CRATE_HIR_ID, HirId};
 use rustc_middle::mir::{self, Location, traversal};
 use rustc_middle::ty::layout::LayoutCx;
@@ -31,10 +31,16 @@ fn uses_vector_registers(mode: &PassMode, repr: &BackendRepr) -> bool {
 fn do_check_simd_vector_abi<'tcx>(
     tcx: TyCtxt<'tcx>,
     abi: &FnAbi<'tcx, Ty<'tcx>>,
+    extern_abi: ExternAbi,
     def_id: DefId,
     is_call: bool,
     loc: impl Fn() -> (Span, HirId),
 ) {
+    // we skip this check for the "unadjusted" abi
+    if extern_abi == ExternAbi::Unadjusted {
+        return;
+    }
+
     // We check this on all functions, including those using the "Rust" ABI.
     // For the "Rust" ABI it would be a bug if the lint ever triggered, but better safe than sorry.
     let feature_def = tcx.sess.target.features_for_correct_vector_abi();
@@ -49,11 +55,6 @@ fn do_check_simd_vector_abi<'tcx>(
             // Find the first feature that provides at least this vector size.
             let feature = match feature_def.iter().find(|(bits, _)| size.bits() <= *bits) {
                 Some((_, feature)) => feature,
-                None if matches!(&*tcx.sess.target.arch, "x86" | "x86_64")
-                    && size.bits() == 8192 =>
-                {
-                    "amx-tile"
-                }
                 None => {
                     let (span, _hir_id) = loc();
                     tcx.dcx().emit_err(errors::AbiErrorUnsupportedVectorType {
@@ -171,7 +172,8 @@ fn check_instance_abi<'tcx>(tcx: TyCtxt<'tcx>, instance: Instance<'tcx>) {
             def_id.as_local().map(|did| tcx.local_def_id_to_hir_id(did)).unwrap_or(CRATE_HIR_ID),
         )
     };
-    do_check_simd_vector_abi(tcx, abi, instance.def_id(), /*is_call*/ false, loc);
+    let extern_abi = instance.ty(tcx, typing_env).fn_sig(tcx).abi();
+    do_check_simd_vector_abi(tcx, abi, extern_abi, instance.def_id(), /*is_call*/ false, loc);
     do_check_wasm_abi(tcx, abi, /*is_call*/ false, loc);
 }
 
@@ -209,7 +211,9 @@ fn check_call_site_abi<'tcx>(
         // ABI failed to compute; this will not get through codegen.
         return;
     };
-    do_check_simd_vector_abi(tcx, callee_abi, caller.def_id(), /*is_call*/ true, loc);
+
+    let extern_abi = callee.fn_sig(tcx).abi();
+    do_check_simd_vector_abi(tcx, callee_abi, extern_abi, caller.def_id(), /*is_call*/ true, loc);
     do_check_wasm_abi(tcx, callee_abi, /*is_call*/ true, loc);
 }