diff --git a/Cargo.lock b/Cargo.lock
index 1518eb4f3442..f75aef6c144b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2781,9 +2781,9 @@ dependencies = [
 
 [[package]]
 name = "regalloc2"
-version = "0.12.1"
+version = "0.12.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "987b16639ffa003f99fe9c183ce633c6ba2578f6383b2f04fe9dc669f9aac55a"
+checksum = "5216b1837de2149f8bc8e6d5f88a9326b63b8c836ed58ce4a0a29ec736a59734"
 dependencies = [
  "allocator-api2",
  "bumpalo",
diff --git a/Cargo.toml b/Cargo.toml
index b60eb446be30..d7ea17d64e3f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -287,7 +287,7 @@ byte-array-literals = { path = "crates/wasi-preview1-component-adapter/byte-arra
 
 # Bytecode Alliance maintained dependencies:
 # ---------------------------
-regalloc2 = "0.12.1"
+regalloc2 = "0.12.2"
 
 # cap-std family:
 target-lexicon = "0.13.0"
diff --git a/supply-chain/imports.lock b/supply-chain/imports.lock
index e218884efcd0..a76c50c035d6 100644
--- a/supply-chain/imports.lock
+++ b/supply-chain/imports.lock
@@ -954,8 +954,8 @@ user-login = "dtolnay"
 user-name = "David Tolnay"
 
 [[publisher.regalloc2]]
-version = "0.12.1"
-when = "2025-04-15"
+version = "0.12.2"
+when = "2025-05-07"
 user-id = 3726
 user-login = "cfallin"
 user-name = "Chris Fallin"
diff --git a/tests/disas/many-return-values.wat b/tests/disas/many-return-values.wat
new file mode 100644
index 000000000000..d81c1cb8acff
--- /dev/null
+++ b/tests/disas/many-return-values.wat
@@ -0,0 +1,43 @@
+;;! target = "x86_64"
+;;! test = "compile"
+
+(module
+  (type $t
+    (func
+      (result
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 10
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 20
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 30
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 40
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 50
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 60
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 70
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 80
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 90
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 100
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 110
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 120
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 130
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 140
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 150
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 160
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 170
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 180
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 190
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 200
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 210
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 220
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 230
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 240
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 250
+        i32 i32 i32 i32                         ;; 254
+      )
+    )
+  )
+  (export "f" (func $f))
+  (func $f (type $t) (unreachable))
+)
+;; wasm[0]::function[0]::f:
+;;       pushq   %rbp
+;;       movq    %rsp, %rbp
+;;       ud2
diff --git a/tests/misc_testsuite/many-return-values.wast b/tests/misc_testsuite/many-return-values.wast
new file mode 100644
index 000000000000..b4a9a41fb5e2
--- /dev/null
+++ b/tests/misc_testsuite/many-return-values.wast
@@ -0,0 +1,36 @@
+(module
+  (type $t
+    (func
+      (result
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 10
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 20
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 30
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 40
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 50
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 60
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 70
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 80
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 90
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 100
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 110
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 120
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 130
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 140
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 150
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 160
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 170
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 180
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 190
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 200
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 210
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 220
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 230
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 240
+        i32 i32 i32 i32 i32 i32 i32 i32 i32 i32 ;; 250
+        i32 i32 i32 i32                         ;; 254
+      )
+    )
+  )
+  (export "f" (func $f))
+  (func $f (type $t) (unreachable))
+)