add test and fix multiply

Author: iritkatriel

Lib/test/test_opcache.py

@@ -1268,6 +1268,31 @@ def binary_op_add_unicode():
         self.assert_specialized(binary_op_add_unicode, "BINARY_OP_ADD_UNICODE")
         self.assert_no_opcode(binary_op_add_unicode, "BINARY_OP")
 
+        def binary_op_add_extend():
+            for _ in range(100):
+                a, b = 6, 3.0
+                c = a + b
+                self.assertEqual(c, 9.0)
+                c = b + a
+                self.assertEqual(c, 9.0)
+                c = a - b
+                self.assertEqual(c, 3.0)
+                c = b - a
+                self.assertEqual(c, -3.0)
+                c = a * b
+                self.assertEqual(c, 18.0)
+                c = b * a
+                self.assertEqual(c, 18.0)
+                c = a / b
+                self.assertEqual(c, 2.0)
+                c = b / a
+                self.assertEqual(c, 0.5)
+
+        binary_op_add_extend()
+        self.assert_specialized(binary_op_add_extend, "BINARY_OP_EXTEND")
+        self.assert_no_opcode(binary_op_add_extend, "BINARY_OP")
+
+
     @cpython_only
     @requires_specialization_ft
     def test_load_super_attr(self):

Python/specialize.c

@@ -2430,14 +2430,14 @@ static PyBinaryOpSpecializationDescr float_compactlong_specs[NB_OPARG_LAST+1] =
     [NB_ADD] = {float_compactlong_guard, float_compactlong_add},
     [NB_SUBTRACT] = {float_compactlong_guard, float_compactlong_subtract},
     [NB_TRUE_DIVIDE] = {float_compactlong_guard, float_compactlong_true_div},
-    [NB_INPLACE_MULTIPLY] = {float_compactlong_guard, float_compactlong_multiply},
+    [NB_MULTIPLY] = {float_compactlong_guard, float_compactlong_multiply},
 };
 
 static PyBinaryOpSpecializationDescr compactlong_float_specs[NB_OPARG_LAST+1] = {
     [NB_ADD] = {compactlong_float_guard, compactlong_float_add},
     [NB_SUBTRACT] = {compactlong_float_guard, compactlong_float_subtract},
     [NB_TRUE_DIVIDE] = {compactlong_float_guard, compactlong_float_true_div},
-    [NB_INPLACE_MULTIPLY] = {compactlong_float_guard, compactlong_float_multiply},
+    [NB_MULTIPLY] = {compactlong_float_guard, compactlong_float_multiply},
 };
 
 static int