Add regression test for BE deopt loop

Author: DSouzaM

truffle/src/com.oracle.truffle.api.bytecode.test/src/com/oracle/truffle/api/bytecode/test/BoxingEliminationTest.java

@@ -2183,6 +2183,38 @@ public void testAndSingle() {
         assertStable(quickenings, node, 1L);
     }
 
+    @Test
+    public void testNonBEableOperand() {
+        // return arg0 + arg1
+        BoxingEliminationTestRootNode node = (BoxingEliminationTestRootNode) parse(b -> {
+            b.beginRoot();
+            b.beginReturn();
+            b.beginAddWithNonBEableOperands();
+            b.emitLoadArgument(0);
+            b.emitLoadArgument(1);
+            b.endAddWithNonBEableOperands();
+            b.endReturn();
+            b.endRoot();
+        }).getRootNode();
+
+        assertInstructions(node,
+                "load.argument",
+                "load.argument",
+                "c.AddWithNonBEableOperands",
+                "return");
+
+        node.getCallTarget().call(42, 3.14f);
+
+        assertInstructions(node,
+                "load.argument$Int",
+                "load.argument",
+                "c.AddWithNonBEableOperands$IntFloat",
+                "return");
+
+        var quickenings = assertQuickenings(node, 3, 1);
+        assertStable(quickenings, node, 123, 4.56f);
+    }
+
     @GenerateBytecode(languageClass = BytecodeDSLTestLanguage.class, //
                     enableYield = true, enableSerialization = true, //
                     enableQuickening = true, //
@@ -2651,6 +2683,22 @@ public static Object doInt(int constant1, Object dynamic, int constant2, @Cached
             }
         }
 
+        @Operation
+        static final class AddWithNonBEableOperands {
+            /**
+             * Regression test: the code for boxing elimination would incorrectly try to boxing
+             * eliminate the float operand because another specialization had a BE-able operand at
+             * the same operand index.
+             */
+            @Specialization
+            public static Object doIntFloat(int x, float y) {
+                return x + y;
+            }
+            @Specialization
+            public static Object doFloatInt(float x, int y) {
+                return x + y;
+            }
+        }
     }
 
 }