[GR-67557] Handle v128 values in the polymorphic select instruction.

PullRequest: graal/21945

Author: jirkamarsik

wasm/src/org.graalvm.wasm.test/src/test/issue/GR-67557.result

@@ -0,0 +1 @@
+int 1

wasm/src/org.graalvm.wasm.test/src/test/issue/GR-67557.wat

@@ -0,0 +1,51 @@
+;;
+;; Copyright (c) 2025, Oracle and/or its affiliates. All rights reserved.
+;; DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+;;
+;; The Universal Permissive License (UPL), Version 1.0
+;;
+;; Subject to the condition set forth below, permission is hereby granted to any
+;; person obtaining a copy of this software, associated documentation and/or
+;; data (collectively the "Software"), free of charge and under any and all
+;; copyright rights in the Software, and any and all patent rights owned or
+;; freely licensable by each licensor hereunder covering either (i) the
+;; unmodified Software as contributed to or provided by such licensor, or (ii)
+;; the Larger Works (as defined below), to deal in both
+;;
+;; (a) the Software, and
+;;
+;; (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if
+;; one is included with the Software each a "Larger Work" to which the Software
+;; is contributed by such licensors),
+;;
+;; without restriction, including without limitation the rights to copy, create
+;; derivative works of, display, perform, and distribute the Software and make,
+;; use, sell, offer for sale, import, export, have made, and have sold the
+;; Software and the Larger Work(s), and to sublicense the foregoing rights on
+;; either these or other terms.
+;;
+;; This license is subject to the following condition:
+;;
+;; The above copyright notice and either this complete permission notice or at a
+;; minimum a reference to the UPL must be included in all copies or substantial
+;; portions of the Software.
+;;
+;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+;; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+;; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+;; AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+;; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+;; OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+;; SOFTWARE.
+;;
+(module
+  (type $main_func_type (func (result i32)))
+  (func $_main (export "_main") (type $main_func_type) (result i32)
+    v128.const i32x4 1 2 3 4
+    v128.const i32x4 5 6 7 8
+    i32.const 1
+    select
+    i32x4.extract_lane 0
+    return
+  )
+)

wasm/src/org.graalvm.wasm.test/src/test/issue/wasm_test_index

@@ -4,3 +4,4 @@ issue-36944-blocks
 issue-36944-loops
 GR-54851-typeindex-oob
 GR-54851-control-stack-empty
+GR-67557

wasm/src/org.graalvm.wasm/src/org/graalvm/wasm/BinaryParser.java

@@ -782,10 +782,15 @@ private CodeEntry readFunction(int functionIndex, byte[] locals, byte[] resultTy
                     state.popChecked(I32_TYPE); // condition
                     final byte t1 = state.pop(); // first operand
                     final byte t2 = state.pop(); // second operand
-                    assertTrue(WasmType.isNumberType(t1) && WasmType.isNumberType(t2), Failure.TYPE_MISMATCH);
+                    assertTrue((WasmType.isNumberType(t1) || WasmType.isVectorType(t1)) && (WasmType.isNumberType(t2) || WasmType.isVectorType(t2)), Failure.TYPE_MISMATCH);
                     assertTrue(t1 == t2 || t1 == WasmType.UNKNOWN_TYPE || t2 == WasmType.UNKNOWN_TYPE, Failure.TYPE_MISMATCH);
-                    state.push(t1 == WasmType.UNKNOWN_TYPE ? t2 : t1);
-                    state.addSelectInstruction(Bytecode.SELECT);
+                    final byte t = t1 == WasmType.UNKNOWN_TYPE ? t2 : t1;
+                    state.push(t);
+                    if (WasmType.isNumberType(t)) {
+                        state.addSelectInstruction(Bytecode.SELECT);
+                    } else {
+                        state.addSelectInstruction(Bytecode.SELECT_OBJ);
+                    }
                     break;
                 }
                 case Instructions.SELECT_T: {