Compact Byte Code parser and executor for Jerry.

JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg@inf.u-szeged.hu
JerryScript-DCO-1.0-Signed-off-by: László Langó llango.u-szeged@partner.samsung.com
JerryScript-DCO-1.0-Signed-off-by: Tamas Gergely tgergely.u-szeged@partner.samsung.com
JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
JerryScript-DCO-1.0-Signed-off-by: Roland Takacs rtakacs.u-szeged@partner.samsung.com
JerryScript-DCO-1.0-Signed-off-by: István Kádár ikadar@inf.u-szeged.hu

Author: Zoltan Herczeg

CMakeLists.txt

@@ -271,7 +271,7 @@ project (Jerry CXX C ASM)
   endmacro()
 
   add_jerry_compile_warnings(all extra format-nonliteral init-self conversion sign-conversion format-security missing-declarations)
-  add_jerry_compile_flags(-pedantic -Wno-stack-protector -Wno-attributes -Wfatal-errors)
+  add_jerry_compile_flags(-pedantic -Wno-stack-protector -Wno-attributes)
   if(CMAKE_COMPILER_IS_GNUCC OR CMAKE_COMPILER_IS_GNUCXX)
     add_jerry_compile_warnings(logical-op)
   else()

jerry-core/CMakeLists.txt

@@ -31,7 +31,6 @@ project (JerryCore CXX C ASM)
                   OUTPUT_STRIP_TRAILING_WHITESPACE)
 
   set(DEFINES_JERRY
-      JERRY_ENABLE_SNAPSHOT
       JERRY_BUILD_DATE="${JERRY_BUILD_DATE}"
       JERRY_COMMIT_HASH="${JERRY_GIT_COMMIT}"
       JERRY_BRANCH_NAME="${JERRY_GIT_BRANCH}")

jerry-core/ecma/base/ecma-gc.cpp

@@ -32,6 +32,7 @@
 #include "jrt.h"
 #include "jrt-libc-includes.h"
 #include "jrt-bit-fields.h"
+#include "vm-defines.h"
 #include "vm-stack.h"
 
 #define JERRY_INTERNAL
@@ -335,13 +336,11 @@ ecma_gc_mark (ecma_object_t *object_p) /**< object to mark from */
               JERRY_UNREACHABLE ();
             }
 
-            case ECMA_INTERNAL_PROPERTY_FORMAL_PARAMETERS: /* a collection of strings */
             case ECMA_INTERNAL_PROPERTY_PRIMITIVE_STRING_VALUE: /* compressed pointer to a ecma_string_t */
             case ECMA_INTERNAL_PROPERTY_PRIMITIVE_NUMBER_VALUE: /* compressed pointer to a ecma_number_t */
             case ECMA_INTERNAL_PROPERTY_PRIMITIVE_BOOLEAN_VALUE: /* a simple boolean value */
             case ECMA_INTERNAL_PROPERTY_CLASS: /* an enum */
             case ECMA_INTERNAL_PROPERTY_CODE_BYTECODE: /* compressed pointer to a bytecode array */
-            case ECMA_INTERNAL_PROPERTY_CODE_FLAGS_AND_OFFSET: /* an integer */
             case ECMA_INTERNAL_PROPERTY_NATIVE_CODE: /* an external pointer */
             case ECMA_INTERNAL_PROPERTY_NATIVE_HANDLE: /* an external pointer */
             case ECMA_INTERNAL_PROPERTY_FREE_CALLBACK: /* an object's native free callback */
@@ -484,25 +483,6 @@ ecma_gc_run (void)
     }
   }
 
-  /* if some object is referenced from a register variable (i.e. it is root),
-   * start recursive marking traverse from the object */
-  for (vm_stack_frame_t *frame_iter_p = vm_stack_get_top_frame ();
-       frame_iter_p != NULL;
-       frame_iter_p = frame_iter_p->prev_frame_p)
-  {
-    for (uint32_t reg_index = 0; reg_index < frame_iter_p->regs_number; reg_index++)
-    {
-      ecma_value_t reg_value = vm_stack_frame_get_reg_value (frame_iter_p, VM_REG_FIRST + reg_index);
-
-      if (ecma_is_value_object (reg_value))
-      {
-        ecma_object_t *obj_p = ecma_get_object_from_value (reg_value);
-
-        ecma_gc_set_object_visited (obj_p, true);
-      }
-    }
-  }
-
   bool marked_anything_during_current_iteration = false;
 
   do

jerry-core/ecma/base/ecma-globals.h

@@ -82,6 +82,7 @@ typedef enum
                                          but are stored directly in the array's property list
                                          (used for array elements with non-default attribute values) */
   ECMA_SIMPLE_VALUE_ARRAY_HOLE, /**< array hole, used for initialization of an array literal */
+  ECMA_SIMPLE_VALUE_REGISTER_REF, /**< register reference, a special "base" value for vm */
   ECMA_SIMPLE_VALUE__COUNT /** count of simple ecma-values */
 } ecma_simple_value_t;
 
@@ -170,21 +171,12 @@ typedef uint32_t ecma_completion_value_t;
 #define ECMA_COMPLETION_VALUE_VALUE_POS (0)
 #define ECMA_COMPLETION_VALUE_VALUE_WIDTH (ECMA_VALUE_SIZE)
 
-/**
- * Break / continue jump target
- */
-#define ECMA_COMPLETION_VALUE_TARGET_POS (0)
-#define ECMA_COMPLETION_VALUE_TARGET_WIDTH ((uint32_t) sizeof (vm_instr_counter_t) * JERRY_BITSINBYTE)
-
 /**
  * Type (ecma_completion_type_t)
  */
-#define ECMA_COMPLETION_VALUE_TYPE_POS (JERRY_MAX (JERRY_ALIGNUP (ECMA_COMPLETION_VALUE_VALUE_POS + \
+#define ECMA_COMPLETION_VALUE_TYPE_POS (JERRY_ALIGNUP (ECMA_COMPLETION_VALUE_VALUE_POS + \
                                                                   ECMA_COMPLETION_VALUE_VALUE_WIDTH, \
-                                                                  JERRY_BITSINBYTE), \
-                                                   JERRY_ALIGNUP (ECMA_COMPLETION_VALUE_TARGET_POS + \
-                                                                  ECMA_COMPLETION_VALUE_TARGET_WIDTH, \
-                                                                  JERRY_BITSINBYTE)))
+                                                                  JERRY_BITSINBYTE))
 #define ECMA_COMPLETION_VALUE_TYPE_WIDTH (8)
 
 /**
@@ -218,12 +210,9 @@ typedef enum
   ECMA_INTERNAL_PROPERTY_SCOPE, /**< [[Scope]] */
   ECMA_INTERNAL_PROPERTY_PARAMETERS_MAP, /**< [[ParametersMap]] */
   ECMA_INTERNAL_PROPERTY_CODE_BYTECODE, /**< first part of [[Code]] - compressed pointer to bytecode array */
-  ECMA_INTERNAL_PROPERTY_CODE_FLAGS_AND_OFFSET, /**< second part of [[Code]] - offset in bytecode array and code flags
-                                                 *   (see also: ecma_pack_code_internal_property_value) */
   ECMA_INTERNAL_PROPERTY_NATIVE_CODE, /**< native handler location descriptor */
   ECMA_INTERNAL_PROPERTY_NATIVE_HANDLE, /**< native handle associated with an object */
   ECMA_INTERNAL_PROPERTY_FREE_CALLBACK, /**< object's native free callback */
-  ECMA_INTERNAL_PROPERTY_FORMAL_PARAMETERS, /**< [[FormalParameters]] */
   ECMA_INTERNAL_PROPERTY_PRIMITIVE_STRING_VALUE, /**< [[Primitive value]] for String objects */
   ECMA_INTERNAL_PROPERTY_PRIMITIVE_NUMBER_VALUE, /**< [[Primitive value]] for Number objects */
   ECMA_INTERNAL_PROPERTY_PRIMITIVE_BOOLEAN_VALUE, /**< [[Primitive value]] for Boolean objects */
@@ -837,6 +826,14 @@ typedef struct ecma_string_t
  */
 typedef uintptr_t ecma_external_pointer_t;
 
+/**
+ * Shift value for byte code reference counting.
+ * The last 10 bit of the first uint16_t value
+ * of compact byte code or regexp byte code
+ * is reserved for reference counting.
+ */
+#define ECMA_BYTECODE_REF_SHIFT 6
+
 /**
  * @}
  */

jerry-core/ecma/base/ecma-helpers-string.cpp

@@ -20,7 +20,6 @@
  * @{
  */
 
-#include "bytecode-data.h"
 #include "ecma-alloc.h"
 #include "ecma-gc.h"
 #include "ecma-globals.h"
@@ -29,9 +28,10 @@
 #include "jrt.h"
 #include "jrt-libc-includes.h"
 #include "lit-char-helpers.h"
+#include "lit-literal.h"
 #include "lit-magic-strings.h"
-#include "vm.h"
 #include "rcs-records.h"
+#include "vm.h"
 
 /**
  * Maximum length of strings' concatenation

jerry-core/ecma/base/ecma-helpers-value.cpp

@@ -26,16 +26,16 @@
 #include "ecma-helpers.h"
 #include "jrt.h"
 #include "jrt-bit-fields.h"
+#include "vm-defines.h"
 
 JERRY_STATIC_ASSERT (sizeof (ecma_value_t) * JERRY_BITSINBYTE >= ECMA_VALUE_SIZE);
-JERRY_STATIC_ASSERT (sizeof (ecma_completion_value_t) * JERRY_BITSINBYTE >= ECMA_COMPLETION_VALUE_SIZE);
 
 /**
  * Get type field of ecma-value
  *
  * @return type field
  */
-static ecma_type_t __attr_pure___
+ecma_type_t __attr_pure___
 ecma_get_value_type_field (ecma_value_t value) /**< ecma-value */
 {
   return (ecma_type_t) jrt_extract_bit_field (value,
@@ -474,19 +474,6 @@ ecma_get_completion_value_value_field (ecma_completion_value_t completion_value)
                                                ECMA_COMPLETION_VALUE_VALUE_WIDTH);
 } /* ecma_get_completion_value_value_field */
 
-/**
- * Get target of break / continue completion value
- *
- * @return instruction counter
- */
-static vm_instr_counter_t
-ecma_get_completion_value_target (ecma_completion_value_t completion_value) /**< completion value */
-{
-  return (vm_instr_counter_t) jrt_extract_bit_field (completion_value,
-                                                     ECMA_COMPLETION_VALUE_TARGET_POS,
-                                                     ECMA_COMPLETION_VALUE_TARGET_WIDTH);
-} /* ecma_get_completion_value_target */
-
 /**
  * Set type field of completion value
  *
@@ -519,21 +506,6 @@ ecma_set_completion_value_value_field (ecma_completion_value_t completion_value,
                                                             ECMA_COMPLETION_VALUE_VALUE_WIDTH);
 } /* ecma_set_completion_value_value_field */
 
-/**
- * Set target of break / continue completion value
- *
- * @return completion value with updated field
- */
-static ecma_completion_value_t __attr_const___
-ecma_set_completion_value_target (ecma_completion_value_t completion_value, /**< completion value
-                                                                             * to set field in */
-                                  vm_instr_counter_t target) /**< break / continue target */
-{
-  return (ecma_completion_value_t) jrt_set_bit_field_value (completion_value,
-                                                            target,
-                                                            ECMA_COMPLETION_VALUE_TARGET_POS,
-                                                            ECMA_COMPLETION_VALUE_TARGET_WIDTH);
-} /* ecma_set_completion_value_target */
 
 /**
  * Normal, throw, return, exit and meta completion values constructor
@@ -652,24 +624,6 @@ ecma_make_meta_completion_value (void)
                                      ecma_make_simple_value (ECMA_SIMPLE_VALUE_EMPTY));
 } /* ecma_make_meta_completion_value */
 
-/**
- * Break / continue completion values constructor
- *
- * @return completion value
- */
-ecma_completion_value_t __attr_const___
-ecma_make_jump_completion_value (vm_instr_counter_t target) /**< target break / continue */
-{
-  ecma_completion_value_t completion_value = 0;
-
-  completion_value = ecma_set_completion_value_type_field (completion_value,
-                                                           ECMA_COMPLETION_TYPE_JUMP);
-  completion_value = ecma_set_completion_value_target (completion_value,
-                                                       target);
-
-  return completion_value;
-} /* ecma_make_jump_completion_value */
-
 /**
  * Get ecma-value from specified completion value
  *
@@ -722,20 +676,6 @@ ecma_get_object_from_completion_value (ecma_completion_value_t completion_value)
   return ecma_get_object_from_value (ecma_get_completion_value_value (completion_value));
 } /* ecma_get_object_from_completion_value */
 
-/**
- * Get break / continue target from completion value
- *
- * @return instruction counter
- */
-vm_instr_counter_t
-ecma_get_jump_target_from_completion_value (ecma_completion_value_t completion_value) /**< completion
-                                                                                       *   value */
-{
-  JERRY_ASSERT (ecma_get_completion_value_type_field (completion_value) == ECMA_COMPLETION_TYPE_JUMP);
-
-  return ecma_get_completion_value_target (completion_value);
-} /* ecma_get_jump_target_from_completion_value */
-
 /**
  * Copy ecma-completion value.
  *