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;
@@ -49,11 +49,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 {
@@ -158,6 +153,13 @@ fn do_check_wasm_abi<'tcx>(
 /// or return values for which the corresponding target feature is not enabled.
 fn check_instance_abi<'tcx>(tcx: TyCtxt<'tcx>, instance: Instance<'tcx>) {
     let typing_env = ty::TypingEnv::fully_monomorphized();
+    let ty = instance.ty(tcx, typing_env);
+    if ty.is_fn() {
+        if ty.fn_sig(tcx).abi() == ExternAbi::Unadjusted {
+            // we disable all checks for the unadjusted abi
+            return;
+        }
+    }
     let Ok(abi) = tcx.fn_abi_of_instance(typing_env.as_query_input((instance, ty::List::empty())))
     else {
         // An error will be reported during codegen if we cannot determine the ABI of this
@@ -183,8 +185,10 @@ fn check_call_site_abi<'tcx>(
     caller: InstanceKind<'tcx>,
     loc: impl Fn() -> (Span, HirId) + Copy,
 ) {
-    if callee.fn_sig(tcx).abi().is_rustic_abi() {
+    let extern_abi = callee.fn_sig(tcx).abi();
+    if extern_abi.is_rustic_abi() || extern_abi == ExternAbi::Unadjusted {
         // we directly handle the soundness of Rust ABIs
+        // we disable all checks for the unadjusted abi
         return;
     }
     let typing_env = ty::TypingEnv::fully_monomorphized();