Cranelift: update to regalloc2 0.12.2; support many return values. (#10747)

* Cranelift: update to regalloc2 0.12.2; support many return values.

Prior versions of regalloc2 could not support more than 255 operands on
an instruction, and together with the integrated return-value loads on
call instructions introduced in #10502, this caused issues with calls
with many returns. This PR upgrades to a version of RA2 that supports up
to `2^16 - 1` operands per instruction (well in excess of the maximum of
1000 return/result values per Wasm's implementation limits, for
example).

Fixes #10741.

* Update vets

---------

Co-authored-by: Alex Crichton <[email protected]>

Author: cfallin

Cargo.lock

@@ -289,7 +289,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"

Cargo.toml

@@ -1166,8 +1166,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"

supply-chain/imports.lock

@@ -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

tests/disas/many-return-values.wat

@@ -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))
+)