From 96c165b1110db7519e60f076a111b8a796180305 Mon Sep 17 00:00:00 2001
From: daxpedda <daxpedda@gmail.com>
Date: Tue, 16 Dec 2025 22:38:34 +0100
Subject: [PATCH] Make `asm_experimental_arch` work in
 `allow_internal_unstable` macros

---
 compiler/rustc_ast_lowering/src/asm.rs         | 10 +++++++++-
 .../ui/internal/auxiliary/internal_unstable.rs |  7 +++++++
 .../internal-unstable-asm-experimental-arch.rs | 18 ++++++++++++++++++
 3 files changed, 34 insertions(+), 1 deletion(-)
 create mode 100644 tests/ui/internal/internal-unstable-asm-experimental-arch.rs

diff --git a/compiler/rustc_ast_lowering/src/asm.rs b/compiler/rustc_ast_lowering/src/asm.rs
index d44faad017ee5..04e5f0523101b 100644
--- a/compiler/rustc_ast_lowering/src/asm.rs
+++ b/compiler/rustc_ast_lowering/src/asm.rs
@@ -52,7 +52,15 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                     | asm::InlineAsmArch::LoongArch64
                     | asm::InlineAsmArch::S390x
             );
-            if !is_stable && !self.tcx.features().asm_experimental_arch() {
+            if !is_stable
+                && !self.tcx.features().asm_experimental_arch()
+                && sp
+                    .ctxt()
+                    .outer_expn_data()
+                    .allow_internal_unstable
+                    .filter(|features| features.contains(&sym::asm_experimental_arch))
+                    .is_none()
+            {
                 feature_err(
                     &self.tcx.sess,
                     sym::asm_experimental_arch,
diff --git a/tests/ui/internal/auxiliary/internal_unstable.rs b/tests/ui/internal/auxiliary/internal_unstable.rs
index eb4d6cb380efe..bea153227a777 100644
--- a/tests/ui/internal/auxiliary/internal_unstable.rs
+++ b/tests/ui/internal/auxiliary/internal_unstable.rs
@@ -99,3 +99,10 @@ macro_rules! access_field_noallow {
 macro_rules! pass_through_noallow {
     ($e: expr) => { $e }
 }
+
+#[stable(feature = "stable", since = "1.0.0")]
+#[allow_internal_unstable(asm_experimental_arch)]
+#[macro_export]
+macro_rules! asm_redirect {
+    ($($t:tt)*) => { core::arch::global_asm!($($t)*); }
+}
diff --git a/tests/ui/internal/internal-unstable-asm-experimental-arch.rs b/tests/ui/internal/internal-unstable-asm-experimental-arch.rs
new file mode 100644
index 0000000000000..6d97779ff911d
--- /dev/null
+++ b/tests/ui/internal/internal-unstable-asm-experimental-arch.rs
@@ -0,0 +1,18 @@
+//@ only-wasm32-wasip1
+//@ compile-flags: --crate-type=lib
+//@ build-pass
+//@ aux-build:internal_unstable.rs
+
+#[macro_use]
+extern crate internal_unstable;
+
+asm_redirect!(
+    "test:",
+    ".globl test",
+    ".functype test (i32) -> (i32)",
+    "local.get 0",
+    "i32.const 1",
+    "i32.add",
+    "end_function",
+    ".export_name test, test",
+);