JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik [email protected]

Rework VM dispatch

Author: Robert Fancsik

docs/05.PORT-API.md

@@ -26,7 +26,6 @@ typedef enum
 {
   ERR_OUT_OF_MEMORY = 10,
   ERR_REF_COUNT_LIMIT = 12,
-  ERR_DISABLED_BYTE_CODE = 13,
   ERR_FAILED_INTERNAL_ASSERTION = 120
 } jerry_fatal_code_t;
 ```

jerry-core/include/jerryscript-port.h

@@ -46,7 +46,6 @@ typedef enum
 {
   ERR_OUT_OF_MEMORY = 10,
   ERR_REF_COUNT_LIMIT = 12,
-  ERR_DISABLED_BYTE_CODE = 13,
   ERR_UNTERMINATED_GC_LOOPS = 14,
   ERR_FAILED_INTERNAL_ASSERTION = 120
 } jerry_fatal_code_t;

jerry-core/jrt/jrt-fatals.c

@@ -47,11 +47,6 @@ jerry_fatal (jerry_fatal_code_t code) /**< status code */
       JERRY_ERROR_MSG ("Error: ERR_UNTERMINATED_GC_LOOPS\n");
       break;
     }
-    case ERR_DISABLED_BYTE_CODE:
-    {
-      JERRY_ERROR_MSG ("Error: ERR_DISABLED_BYTE_CODE\n");
-      break;
-    }
     case ERR_FAILED_INTERNAL_ASSERTION:
     {
       JERRY_ERROR_MSG ("Error: ERR_FAILED_INTERNAL_ASSERTION\n");

jerry-core/parser/js/byte-code.h

@@ -1420,7 +1420,7 @@ parser_parse_object_literal (parser_context_t *context_p) /**< context */
         uint16_t function_literal_index = lexer_construct_function_object (context_p, status_flags);
 
 #if JERRY_ESNEXT
-        if (opcode >= CBC_EXT_SET_COMPUTED_GETTER)
+        if (is_computed)
         {
           literal_index = function_literal_index;
         }

jerry-core/parser/js/js-parser-expr.c

@@ -1158,8 +1158,8 @@ opfunc_add_computed_field (ecma_value_t class_object, /**< class object */
  * @return - new external function ecma-object
  */
 ecma_value_t
-opfunc_create_implicit_class_constructor (uint8_t opcode, /**< current cbc opcode */
-                                          const ecma_compiled_code_t *bytecode_p) /**< current byte code */
+opfunc_create_implicit_class_constructor (const ecma_compiled_code_t *bytecode_p, /**< current byte code */
+                                          bool is_herigate) /* true -if class heritage is present */
 {
   /* 8. */
   ecma_value_t script_value = ((cbc_uint8_arguments_t *) bytecode_p)->script_value;
@@ -1181,7 +1181,7 @@ opfunc_create_implicit_class_constructor (uint8_t opcode, /**< current cbc opcod
   constructor_object_p->u.constructor_function.flags = 0;
 
   /* 10.a.i */
-  if (opcode == CBC_EXT_PUSH_IMPLICIT_CONSTRUCTOR_HERITAGE)
+  if (is_herigate)
   {
     constructor_object_p->u.constructor_function.flags |= ECMA_CONSTRUCTOR_FUNCTION_HAS_HERITAGE;
   }
@@ -1574,9 +1574,6 @@ opfunc_collect_private_properties (ecma_value_t constructor, ecma_value_t prop_n
 
   if (opcode == CBC_EXT_COLLECT_PRIVATE_METHOD)
   {
-    prop_name ^= value;
-    value ^= prop_name;
-    prop_name ^= value;
     kind = ECMA_PRIVATE_METHOD;
   }
   else if (opcode == CBC_EXT_COLLECT_PRIVATE_GETTER)
@@ -1977,10 +1974,7 @@ opfunc_finalize_class (vm_frame_ctx_t *frame_ctx_p, /**< frame context */
  *         ECMA_VALUE_EMPTY - otherwise
  */
 ecma_value_t
-opfunc_form_super_reference (ecma_value_t **vm_stack_top_p, /**< current vm stack top */
-                             vm_frame_ctx_t *frame_ctx_p, /**< frame context */
-                             ecma_value_t prop_name, /**< property name to resolve */
-                             uint8_t opcode) /**< current cbc opcode */
+opfunc_resolve_super (vm_frame_ctx_t *frame_ctx_p) /**< frame context */
 {
   ecma_environment_record_t *environment_record_p = ecma_op_get_environment_record (frame_ctx_p->lex_env_p);
 
@@ -2001,112 +1995,8 @@ opfunc_form_super_reference (ecma_value_t **vm_stack_top_p, /**< current vm stac
     return ECMA_VALUE_ERROR;
   }
 
-  ecma_value_t *stack_top_p = *vm_stack_top_p;
-
-  if (opcode >= CBC_EXT_SUPER_PROP_ASSIGNMENT_REFERENCE)
-  {
-    JERRY_ASSERT (opcode == CBC_EXT_SUPER_PROP_ASSIGNMENT_REFERENCE
-                  || opcode == CBC_EXT_SUPER_PROP_LITERAL_ASSIGNMENT_REFERENCE);
-    *stack_top_p++ = parent;
-    *stack_top_p++ = ecma_copy_value (prop_name);
-    *vm_stack_top_p = stack_top_p;
-
-    return ECMA_VALUE_EMPTY;
-  }
-
-  ecma_object_t *parent_p = ecma_get_object_from_value (parent);
-  ecma_string_t *prop_name_p = ecma_op_to_property_key (prop_name);
-
-  if (prop_name_p == NULL)
-  {
-    ecma_deref_object (parent_p);
-    return ECMA_VALUE_ERROR;
-  }
-
-  ecma_value_t result = ecma_op_object_get_with_receiver (parent_p, prop_name_p, frame_ctx_p->this_binding);
-  ecma_deref_ecma_string (prop_name_p);
-  ecma_deref_object (parent_p);
-
-  if (ECMA_IS_VALUE_ERROR (result))
-  {
-    return result;
-  }
-
-  if (opcode == CBC_EXT_SUPER_PROP_LITERAL_REFERENCE || opcode == CBC_EXT_SUPER_PROP_REFERENCE)
-  {
-    *stack_top_p++ = ecma_copy_value (frame_ctx_p->this_binding);
-    *stack_top_p++ = ECMA_VALUE_UNDEFINED;
-  }
-
-  *stack_top_p++ = result;
-  *vm_stack_top_p = stack_top_p;
-
-  return ECMA_VALUE_EMPTY;
-} /* opfunc_form_super_reference */
-
-/**
- * Assignment operation for SuperRefence base
- *
- * @return ECMA_VALUE_ERROR - if the operation fails
- *         ECMA_VALUE_EMPTY - otherwise
- */
-ecma_value_t
-opfunc_assign_super_reference (ecma_value_t **vm_stack_top_p, /**< vm stack top */
-                               vm_frame_ctx_t *frame_ctx_p, /**< frame context */
-                               uint32_t opcode_data) /**< opcode data to store the result */
-{
-  ecma_value_t *stack_top_p = *vm_stack_top_p;
-
-  ecma_value_t base_obj = ecma_op_to_object (stack_top_p[-3]);
-
-  if (ECMA_IS_VALUE_ERROR (base_obj))
-  {
-    return base_obj;
-  }
-
-  ecma_object_t *base_obj_p = ecma_get_object_from_value (base_obj);
-  ecma_string_t *prop_name_p = ecma_op_to_property_key (stack_top_p[-2]);
-
-  if (prop_name_p == NULL)
-  {
-    ecma_deref_object (base_obj_p);
-    return ECMA_VALUE_ERROR;
-  }
-
-  bool is_strict = (frame_ctx_p->status_flags & VM_FRAME_CTX_IS_STRICT) != 0;
-
-  ecma_value_t result =
-    ecma_op_object_put_with_receiver (base_obj_p, prop_name_p, stack_top_p[-1], frame_ctx_p->this_binding, is_strict);
-
-  ecma_deref_ecma_string (prop_name_p);
-  ecma_deref_object (base_obj_p);
-
-  if (ECMA_IS_VALUE_ERROR (result))
-  {
-    return result;
-  }
-
-  for (int32_t i = 1; i <= 3; i++)
-  {
-    ecma_free_value (stack_top_p[-i]);
-  }
-
-  stack_top_p -= 3;
-
-  if (opcode_data & VM_OC_PUT_STACK)
-  {
-    *stack_top_p++ = result;
-  }
-  else if (opcode_data & VM_OC_PUT_BLOCK)
-  {
-    ecma_fast_free_value (VM_GET_REGISTER (frame_ctx_p, 0));
-    VM_GET_REGISTERS (frame_ctx_p)[0] = result;
-  }
-
-  *vm_stack_top_p = stack_top_p;
-
-  return result;
-} /* opfunc_assign_super_reference */
+  return parent;
+} /* opfunc_resolve_super */
 
 /**
  * Copy data properties of an object
@@ -2303,8 +2193,69 @@ opfunc_lexical_scope_has_restricted_binding (vm_frame_ctx_t *frame_ctx_p, /**< f
                                   && !ecma_is_property_configurable (property));
 } /* opfunc_lexical_scope_has_restricted_binding */
 
+void
+opfunc_set_function_name (ecma_value_t function_object,
+                          ecma_value_t function_name,
+                          char *prefix_p,
+                          lit_utf8_size_t prefix_size)
+{
+  ecma_object_t *func_obj_p = ecma_get_object_from_value (function_object);
+
+  if (ecma_find_named_property (func_obj_p, ecma_get_magic_string (LIT_MAGIC_STRING_NAME)) != NULL)
+  {
+    return;
+  }
+
+  ecma_property_value_t *value_p;
+  value_p = ecma_create_named_data_property (func_obj_p,
+                                             ecma_get_magic_string (LIT_MAGIC_STRING_NAME),
+                                             ECMA_PROPERTY_FLAG_CONFIGURABLE,
+                                             NULL);
+
+  if (ecma_get_object_type (func_obj_p) == ECMA_OBJECT_TYPE_FUNCTION)
+  {
+    ECMA_SET_SECOND_BIT_TO_POINTER_TAG (((ecma_extended_object_t *) func_obj_p)->u.function.scope_cp);
+  }
+
+  value_p->value = ecma_op_function_form_name (ecma_get_prop_name_from_value (function_name), prefix_p, prefix_size);
+} /* opfunc_set_function_name */
+
 #endif /* JERRY_ESNEXT */
 
+ecma_value_t
+opfunc_set_property (ecma_value_t *stack_top_p, ecma_value_t prop_name, ecma_value_t value, bool is_static)
+{
+  ecma_string_t *prop_name_p = ecma_op_to_property_key (prop_name);
+
+  if (JERRY_UNLIKELY (prop_name_p == NULL))
+  {
+    return ECMA_VALUE_ERROR;
+  }
+
+  int index = -1;
+
+#if JERRY_ESNEXT
+  if (JERRY_UNLIKELY (is_static))
+  {
+    if (ecma_compare_ecma_string_to_magic_id (prop_name_p, LIT_MAGIC_STRING_PROTOTYPE))
+    {
+      return ecma_raise_type_error (ECMA_ERR_CLASS_IS_NON_CONFIGURABLE);
+    }
+
+    index--;
+  }
+#else /* !JERRY_ESNEXT */
+  JERRY_UNUSED (is_static);
+#endif /* JERRY_ESNEXT */
+
+  ecma_object_t *object_p = ecma_get_object_from_value (stack_top_p[index]);
+
+  opfunc_set_data_property (object_p, prop_name_p, value);
+  ecma_deref_ecma_string (prop_name_p);
+
+  return ECMA_VALUE_EMPTY;
+} /* opfunc_set_property */
+
 /**
  * @}
  * @}

jerry-core/vm/opcodes.c

@@ -128,7 +128,7 @@ ecma_value_t opfunc_init_static_class_fields (ecma_value_t function_object, ecma
 
 ecma_value_t opfunc_add_computed_field (ecma_value_t class_object, ecma_value_t name);
 
-ecma_value_t opfunc_create_implicit_class_constructor (uint8_t opcode, const ecma_compiled_code_t *bytecode_p);
+ecma_value_t opfunc_create_implicit_class_constructor (const ecma_compiled_code_t *bytecode_p, bool is_herigate);
 
 void opfunc_set_home_object (ecma_object_t *func_p, ecma_object_t *parent_env_p);
 
@@ -162,20 +162,22 @@ void opfunc_pop_lexical_environment (vm_frame_ctx_t *frame_ctx_p);
 
 void opfunc_finalize_class (vm_frame_ctx_t *frame_ctx_p, ecma_value_t **vm_stack_top_p, ecma_value_t class_name);
 
-ecma_value_t opfunc_form_super_reference (ecma_value_t **vm_stack_top_p,
-                                          vm_frame_ctx_t *frame_ctx_p,
-                                          ecma_value_t prop_name,
-                                          uint8_t opcode);
-
-ecma_value_t
-opfunc_assign_super_reference (ecma_value_t **vm_stack_top_p, vm_frame_ctx_t *frame_ctx_p, uint32_t opcode_data);
+ecma_value_t opfunc_resolve_super (vm_frame_ctx_t *frame_ctx_p);
 
 ecma_value_t
 opfunc_copy_data_properties (ecma_value_t target_object, ecma_value_t source_object, ecma_value_t filter_array);
 
 ecma_value_t opfunc_lexical_scope_has_restricted_binding (vm_frame_ctx_t *vm_frame_ctx_p, ecma_string_t *name_p);
+
+void opfunc_set_function_name (ecma_value_t function_object,
+                               ecma_value_t function_name,
+                               char *prefix_p,
+                               lit_utf8_size_t prefix_size);
 #endif /* JERRY_ESNEXT */
 
+ecma_value_t
+opfunc_set_property (ecma_value_t *stack_top_p, ecma_value_t prop_name, ecma_value_t value, bool is_static);
+
 /**
  * @}
  * @}