@react-native-quickjs/quickjs 1.0.0-alpha.1 → 1.0.0-alpha.3

package/engine/quickjs-rel/libregexp.h

@@ -42,6 +42,51 @@ extern "C" {
 #define LRE_FLAG_INDICES    (1 << 6) /* Unused by libregexp, just recorded. */
 #define LRE_FLAG_NAMED_GROUPS (1 << 7) /* named groups are present in the regexp */
 #define LRE_FLAG_UNICODE_SETS (1 << 8)
+#define LRE_FLAG_ATOM       (1 << 9) /* internal: raw literal pattern */
+#define LRE_FLAG_HAS_META   (1 << 10) /* internal optimization metadata */
+
+/* RegExp optimization metadata is serialized little-endian after the opcode
+   stream. Source literals borrow their payload from JSRegExp.pattern; all
+   other payloads are bounded so untrusted bytecode cannot request an
+   unbounded fast-path allocation or comparison. */
+#define LRE_META_VERSION 3
+#define LRE_META_NONE 0
+#define LRE_META_LITERAL 1
+#define LRE_META_PREFIX 2
+#define LRE_META_FIRST_SET 3 /* 256-bit bitmap of the mandatory first char */
+
+/* LRE_META_FIRST_SET payload: 1 flag byte (whether the first char may be
+   > 0xff) followed by a 32-byte little-endian bitmap covering code points
+   0..255. */
+#define LRE_FIRST_SET_BITMAP_LEN 32
+#define LRE_FIRST_SET_PAYLOAD_LEN (1 + LRE_FIRST_SET_BITMAP_LEN)
+
+#define LRE_META_FLAG_SOURCE 1 /* literal uses the source pattern; no payload */
+
+#define LRE_LITERAL_MAX_LENGTH 4096
+#define LRE_PREFIX_MIN_LENGTH 3
+#define LRE_PREFIX_MAX_LENGTH 32
+
+#define LRE_META_VERSION_OFFSET 0
+#define LRE_META_KIND_OFFSET 1
+#define LRE_META_ENCODING_OFFSET 2
+#define LRE_META_FLAGS_OFFSET 3
+#define LRE_META_PAYLOAD_SIZE_OFFSET 4
+#define LRE_META_LENGTH_OFFSET 8
+#define LRE_META_ENTRY_OFFSET 12
+#define LRE_META_HEADER_LEN 16
+
+typedef struct LREMetadata {
+    const uint8_t *payload;
+    const uint8_t *leading_chars;
+    uint32_t payload_size;
+    uint32_t primary_payload_size;
+    uint32_t length;
+    uint32_t entry_offset;
+    uint8_t kind;
+    uint8_t encoding;
+    uint8_t flags;
+} LREMetadata;
 
 #define LRE_RET_MEMORY_ERROR   (-1)
 #define LRE_RET_TIMEOUT        (-2)
@@ -54,13 +99,20 @@ uint8_t *lre_compile(int *plen, char *error_msg, int error_msg_size,
                      const char *buf, size_t buf_len, int re_flags,
                      void *opaque);
 int lre_get_alloc_count(const uint8_t *bc_buf);
-int lre_check_bytecode(const uint8_t *bc_buf, int bc_buf_len);
+int lre_check_bytecode(const uint8_t *bc_buf, int bc_buf_len, void *opaque);
 int lre_get_capture_count(const uint8_t *bc_buf);
 int lre_get_flags(const uint8_t *bc_buf);
-const char *lre_get_groupnames(const uint8_t *bc_buf);
+int lre_is_raw_atom(const char *buf, size_t len, int re_flags);
+int lre_get_metadata(const uint8_t *bc_buf, size_t bc_buf_len,
+                     LREMetadata *meta);
+const char *lre_get_groupnames(const uint8_t *bc_buf, size_t bc_buf_len);
 int lre_exec(uint8_t **capture,
              const uint8_t *bc_buf, const uint8_t *cbuf, int cindex, int clen,
              int cbuf_type, void *opaque);
+int lre_exec_at(uint8_t **capture,
+                const uint8_t *bc_buf, uint32_t bytecode_offset,
+                const uint8_t *cbuf, int cindex, int clen,
+                int cbuf_type, void *opaque);
 
 int lre_parse_escape(const uint8_t **pp, int allow_utf16);
 /* lre_is_space() is provided as an inline in libunicode.h */

package/engine/quickjs-rel/libunicode-table.h

@@ -4067,6 +4067,76 @@ static const uint8_t unicode_prop_Changes_When_NFKC_Casefolded1_table[449] = {
     0xff,
 };
 
+static const uint8_t unicode_prop_Basic_Emoji1_table[144] = {
+    0x60, 0x23, 0x19, 0x81, 0x40, 0xcc, 0x1a, 0x01,
+    0x80, 0x42, 0x08, 0x81, 0x94, 0x81, 0xb1, 0x8b,
+    0xaa, 0x80, 0x92, 0x80, 0x8c, 0x07, 0x81, 0x90,
+    0x0c, 0x0f, 0x04, 0x80, 0x94, 0x06, 0x08, 0x03,
+    0x01, 0x06, 0x03, 0x81, 0x9b, 0x80, 0xa2, 0x00,
+    0x03, 0x10, 0x80, 0xbc, 0x82, 0x97, 0x80, 0x8d,
+    0x80, 0x43, 0x5a, 0x81, 0xb2, 0x03, 0x80, 0x61,
+    0xc4, 0xad, 0x80, 0x40, 0xc9, 0x80, 0x40, 0xbd,
+    0x01, 0x89, 0xe5, 0x80, 0x97, 0x80, 0x93, 0x01,
+    0x20, 0x82, 0x94, 0x81, 0x40, 0xad, 0xa0, 0x8b,
+    0x88, 0x80, 0xc5, 0x80, 0x95, 0x8b, 0xaa, 0x1c,
+    0x8b, 0x90, 0x10, 0x82, 0xc6, 0x00, 0x80, 0x40,
+    0xba, 0x81, 0xbe, 0x8c, 0x18, 0x97, 0x91, 0x80,
+    0x99, 0x81, 0x8c, 0x80, 0xd5, 0xd4, 0xaf, 0xc5,
+    0x28, 0x12, 0x0b, 0x13, 0x8a, 0x0e, 0x88, 0x40,
+    0xe2, 0x8b, 0x18, 0x41, 0x1a, 0xae, 0x80, 0x89,
+    0x80, 0x40, 0xb8, 0xef, 0x8c, 0x82, 0x8a, 0x82,
+    0xb8, 0x00, 0x83, 0x8f, 0x81, 0x8b, 0x83, 0x89,
+};
+
+static const uint8_t unicode_prop_Basic_Emoji2_table[183] = {
+    0x40, 0xa8, 0x03, 0x80, 0x5f, 0x8c, 0x80, 0x8b,
+    0x80, 0x40, 0xd7, 0x80, 0x95, 0x80, 0xd9, 0x85,
+    0x8e, 0x81, 0x41, 0x7c, 0x80, 0x40, 0xa5, 0x80,
+    0x9c, 0x10, 0x0c, 0x82, 0x40, 0xc6, 0x80, 0x40,
+    0xe6, 0x81, 0x89, 0x80, 0x88, 0x80, 0xb9, 0x0a,
+    0x84, 0x88, 0x01, 0x05, 0x03, 0x01, 0x00, 0x09,
+    0x02, 0x02, 0x0f, 0x14, 0x00, 0x80, 0x9b, 0x09,
+    0x00, 0x08, 0x80, 0x91, 0x01, 0x80, 0x92, 0x00,
+    0x18, 0x00, 0x0a, 0x05, 0x07, 0x81, 0x95, 0x05,
+    0x00, 0x00, 0x80, 0x94, 0x05, 0x09, 0x01, 0x17,
+    0x04, 0x09, 0x08, 0x01, 0x00, 0x00, 0x05, 0x02,
+    0x80, 0x90, 0x81, 0x8e, 0x01, 0x80, 0x9a, 0x81,
+    0xbb, 0x80, 0x41, 0x91, 0x81, 0x41, 0xce, 0x82,
+    0x45, 0x27, 0x80, 0x8b, 0x80, 0x42, 0x58, 0x00,
+    0x80, 0x61, 0xbe, 0xd5, 0x81, 0x8b, 0x81, 0x40,
+    0x81, 0x80, 0xb3, 0x80, 0x40, 0xe8, 0x01, 0x88,
+    0x88, 0x80, 0xc5, 0x80, 0x97, 0x08, 0x11, 0x81,
+    0xaa, 0x1c, 0x8b, 0x92, 0x00, 0x00, 0x80, 0xc6,
+    0x00, 0x80, 0x40, 0xba, 0x80, 0xca, 0x81, 0xa3,
+    0x09, 0x86, 0x8c, 0x01, 0x19, 0x80, 0x93, 0x01,
+    0x07, 0x81, 0x88, 0x04, 0x82, 0x8b, 0x17, 0x11,
+    0x00, 0x03, 0x05, 0x02, 0x05, 0x80, 0x40, 0xcf,
+    0x00, 0x82, 0x8f, 0x2a, 0x05, 0x01, 0x80,
+};
+
+static const uint8_t unicode_prop_RGI_Emoji_Flag_Sequence_table[128] = {
+    0x0c, 0x00, 0x09, 0x00, 0x04, 0x01, 0x02, 0x06,
+    0x03, 0x03, 0x01, 0x02, 0x01, 0x03, 0x07, 0x0d,
+    0x18, 0x00, 0x09, 0x00, 0x00, 0x89, 0x08, 0x00,
+    0x00, 0x81, 0x88, 0x83, 0x8c, 0x10, 0x00, 0x01,
+    0x07, 0x08, 0x29, 0x10, 0x28, 0x00, 0x80, 0x8a,
+    0x00, 0x0a, 0x00, 0x0e, 0x15, 0x18, 0x83, 0x89,
+    0x06, 0x00, 0x81, 0x8d, 0x00, 0x12, 0x08, 0x00,
+    0x03, 0x00, 0x24, 0x00, 0x05, 0x21, 0x00, 0x00,
+    0x29, 0x90, 0x00, 0x02, 0x00, 0x08, 0x09, 0x00,
+    0x08, 0x18, 0x8b, 0x80, 0x8c, 0x02, 0x19, 0x1a,
+    0x11, 0x00, 0x00, 0x80, 0x9c, 0x80, 0x88, 0x02,
+    0x00, 0x00, 0x02, 0x20, 0x88, 0x0a, 0x00, 0x03,
+    0x01, 0x02, 0x05, 0x08, 0x00, 0x01, 0x09, 0x20,
+    0x21, 0x18, 0x22, 0x00, 0x00, 0x00, 0x00, 0x18,
+    0x28, 0x89, 0x80, 0x8b, 0x80, 0x90, 0x80, 0x92,
+    0x80, 0x8d, 0x05, 0x80, 0x8a, 0x80, 0x88, 0x80,
+};
+
+static const uint8_t unicode_prop_Emoji_Keycap_Sequence_table[4] = {
+    0xa2, 0x05, 0x04, 0x89,
+};
+
 static const uint8_t unicode_prop_ASCII_Hex_Digit_table[5] = {
     0xaf, 0x89, 0x35, 0x99, 0x85,
 };
@@ -4641,89 +4711,6 @@ static const char unicode_prop_name_table[] =
     "XID_Start,XIDS"                     "\0"
 ;
 
-/* RGI emoji sequence support */
-static const uint8_t unicode_prop_Basic_Emoji1_table[144] = {
-    0x60, 0x23, 0x19, 0x81, 0x40, 0xcc, 0x1a, 0x01,
-    0x80, 0x42, 0x08, 0x81, 0x94, 0x81, 0xb1, 0x8b,
-    0xaa, 0x80, 0x92, 0x80, 0x8c, 0x07, 0x81, 0x90,
-    0x0c, 0x0f, 0x04, 0x80, 0x94, 0x06, 0x08, 0x03,
-    0x01, 0x06, 0x03, 0x81, 0x9b, 0x80, 0xa2, 0x00,
-    0x03, 0x10, 0x80, 0xbc, 0x82, 0x97, 0x80, 0x8d,
-    0x80, 0x43, 0x5a, 0x81, 0xb2, 0x03, 0x80, 0x61,
-    0xc4, 0xad, 0x80, 0x40, 0xc9, 0x80, 0x40, 0xbd,
-    0x01, 0x89, 0xe5, 0x80, 0x97, 0x80, 0x93, 0x01,
-    0x20, 0x82, 0x94, 0x81, 0x40, 0xad, 0xa0, 0x8b,
-    0x88, 0x80, 0xc5, 0x80, 0x95, 0x8b, 0xaa, 0x1c,
-    0x8b, 0x90, 0x10, 0x82, 0xc6, 0x00, 0x80, 0x40,
-    0xba, 0x81, 0xbe, 0x8c, 0x18, 0x97, 0x91, 0x80,
-    0x99, 0x81, 0x8c, 0x80, 0xd5, 0xd4, 0xaf, 0xc5,
-    0x28, 0x12, 0x0b, 0x13, 0x8a, 0x0e, 0x88, 0x40,
-    0xe2, 0x8b, 0x18, 0x41, 0x1a, 0xae, 0x80, 0x89,
-    0x80, 0x40, 0xb8, 0xef, 0x8c, 0x82, 0x8a, 0x82,
-    0xb8, 0x00, 0x83, 0x8f, 0x81, 0x8b, 0x83, 0x89,
-};
-
-static const uint8_t unicode_prop_Basic_Emoji2_table[183] = {
-    0x40, 0xa8, 0x03, 0x80, 0x5f, 0x8c, 0x80, 0x8b,
-    0x80, 0x40, 0xd7, 0x80, 0x95, 0x80, 0xd9, 0x85,
-    0x8e, 0x81, 0x41, 0x7c, 0x80, 0x40, 0xa5, 0x80,
-    0x9c, 0x10, 0x0c, 0x82, 0x40, 0xc6, 0x80, 0x40,
-    0xe6, 0x81, 0x89, 0x80, 0x88, 0x80, 0xb9, 0x0a,
-    0x84, 0x88, 0x01, 0x05, 0x03, 0x01, 0x00, 0x09,
-    0x02, 0x02, 0x0f, 0x14, 0x00, 0x80, 0x9b, 0x09,
-    0x00, 0x08, 0x80, 0x91, 0x01, 0x80, 0x92, 0x00,
-    0x18, 0x00, 0x0a, 0x05, 0x07, 0x81, 0x95, 0x05,
-    0x00, 0x00, 0x80, 0x94, 0x05, 0x09, 0x01, 0x17,
-    0x04, 0x09, 0x08, 0x01, 0x00, 0x00, 0x05, 0x02,
-    0x80, 0x90, 0x81, 0x8e, 0x01, 0x80, 0x9a, 0x81,
-    0xbb, 0x80, 0x41, 0x91, 0x81, 0x41, 0xce, 0x82,
-    0x45, 0x27, 0x80, 0x8b, 0x80, 0x42, 0x58, 0x00,
-    0x80, 0x61, 0xbe, 0xd5, 0x81, 0x8b, 0x81, 0x40,
-    0x81, 0x80, 0xb3, 0x80, 0x40, 0xe8, 0x01, 0x88,
-    0x88, 0x80, 0xc5, 0x80, 0x97, 0x08, 0x11, 0x81,
-    0xaa, 0x1c, 0x8b, 0x92, 0x00, 0x00, 0x80, 0xc6,
-    0x00, 0x80, 0x40, 0xba, 0x80, 0xca, 0x81, 0xa3,
-    0x09, 0x86, 0x8c, 0x01, 0x19, 0x80, 0x93, 0x01,
-    0x07, 0x81, 0x88, 0x04, 0x82, 0x8b, 0x17, 0x11,
-    0x00, 0x03, 0x05, 0x02, 0x05, 0x80, 0x40, 0xcf,
-    0x00, 0x82, 0x8f, 0x2a, 0x05, 0x01, 0x80,
-};
-
-static const uint8_t unicode_prop_RGI_Emoji_Modifier_Sequence_table[72] = {
-    0x60, 0x26, 0x1c, 0x80, 0x40, 0xda, 0x80, 0x8f,
-    0x83, 0x61, 0xcc, 0x76, 0x80, 0xbb, 0x11, 0x01,
-    0x82, 0xf4, 0x09, 0x8a, 0x94, 0x18, 0x8d, 0x10,
-    0x1a, 0x02, 0x30, 0x00, 0x97, 0x80, 0x40, 0xc8,
-    0x0b, 0x80, 0x94, 0x03, 0x81, 0x40, 0xad, 0x12,
-    0x84, 0xd2, 0x80, 0x8f, 0x82, 0x88, 0x80, 0x8a,
-    0x80, 0x42, 0x3e, 0x01, 0x07, 0x3d, 0x80, 0x88,
-    0x89, 0x0a, 0xb7, 0x80, 0xbc, 0x08, 0x08, 0x80,
-    0x90, 0x10, 0x8c, 0x40, 0xe4, 0x82, 0xa9, 0x88,
-};
-
-static const uint8_t unicode_prop_RGI_Emoji_Flag_Sequence_table[128] = {
-    0x0c, 0x00, 0x09, 0x00, 0x04, 0x01, 0x02, 0x06,
-    0x03, 0x03, 0x01, 0x02, 0x01, 0x03, 0x07, 0x0d,
-    0x18, 0x00, 0x09, 0x00, 0x00, 0x89, 0x08, 0x00,
-    0x00, 0x81, 0x88, 0x83, 0x8c, 0x10, 0x00, 0x01,
-    0x07, 0x08, 0x29, 0x10, 0x28, 0x00, 0x80, 0x8a,
-    0x00, 0x0a, 0x00, 0x0e, 0x15, 0x18, 0x83, 0x89,
-    0x06, 0x00, 0x81, 0x8d, 0x00, 0x12, 0x08, 0x00,
-    0x03, 0x00, 0x24, 0x00, 0x05, 0x21, 0x00, 0x00,
-    0x29, 0x90, 0x00, 0x02, 0x00, 0x08, 0x09, 0x00,
-    0x08, 0x18, 0x8b, 0x80, 0x8c, 0x02, 0x19, 0x1a,
-    0x11, 0x00, 0x00, 0x80, 0x9c, 0x80, 0x88, 0x02,
-    0x00, 0x00, 0x02, 0x20, 0x88, 0x0a, 0x00, 0x03,
-    0x01, 0x02, 0x05, 0x08, 0x00, 0x01, 0x09, 0x20,
-    0x21, 0x18, 0x22, 0x00, 0x00, 0x00, 0x00, 0x18,
-    0x28, 0x89, 0x80, 0x8b, 0x80, 0x90, 0x80, 0x92,
-    0x80, 0x8d, 0x05, 0x80, 0x8a, 0x80, 0x88, 0x80,
-};
-
-static const uint8_t unicode_prop_Emoji_Keycap_Sequence_table[4] = {
-    0xa2, 0x05, 0x04, 0x89,
-};
-
 static const uint8_t * const unicode_prop_table[] = {
     unicode_prop_Hyphen_table,
     unicode_prop_Other_Math_table,
@@ -4842,7 +4829,6 @@ static const uint16_t unicode_prop_len_table[] = {
     countof(unicode_prop_Case_Ignorable_table),
 };
 
-/* RGI emoji sequence-property tables */
 typedef enum {
     UNICODE_SEQUENCE_PROP_Basic_Emoji,
     UNICODE_SEQUENCE_PROP_Emoji_Keycap_Sequence,
@@ -5171,3 +5157,4 @@ static const uint8_t unicode_rgi_emoji_zwj_sequence[2392] = {
     0x86, 0x02, 0x4b, 0x16, 0x40, 0x86, 0x02, 0x26,
     0x19, 0x42, 0x86, 0x02, 0xd7, 0x19, 0x40, 0x86,
 };
+

package/engine/quickjs-rel/libunicode.c

@@ -1053,6 +1053,11 @@ int unicode_normalize(uint32_t **pdst, const uint32_t *src, int src_len,
     int *buf, buf_len, i, p, starter_pos, cc, last_cc, out_len;
     bool is_compat;
     DynBuf dbuf_s, *dbuf = &dbuf_s;
+    
+    if (src_len == 0) {
+        *pdst = NULL;
+        return 0;
+    }
 
     is_compat = n_type >> 1;
 

package/engine/quickjs-rel/quickjs-opcode.h

@@ -63,7 +63,10 @@ FMT(label_u16)
 #define def(id, size, n_pop, n_push, f) DEF(id, size, n_pop, n_push, f)
 #endif
 
-DEF(invalid, 1, 0, 0, none) /* never emitted */
+/* Escape prefix. Subopcode 0/1 are the two debugger trap variants; other
+   subopcodes are rejected. Reusing the never-emitted invalid slot keeps the
+   primary opcode table within one byte. */
+DEF(      esc1, 2, 0, 0, u8)
 
 /* push values */
 DEF(       push_i32, 5, 0, 1, i32)
@@ -77,6 +80,7 @@ DEF(      push_this, 1, 0, 1, none) /* only used at the start of a function */
 DEF(     push_false, 1, 0, 1, none)
 DEF(      push_true, 1, 0, 1, none)
 DEF(         object, 1, 0, 1, none)
+DEF( object_template, 3, 0, 1, u16)
 DEF( special_object, 2, 0, 1, u8) /* only used at the start of a function */
 DEF(           rest, 3, 0, 1, u16) /* only used at the start of a function */
 
@@ -141,6 +145,14 @@ DEF(      get_field, 5, 1, 1, atom)
 DEF(     get_field2, 5, 1, 2, atom)
 DEF(      put_field, 5, 2, 0, atom)
 
+/* Inline-cache variants: atom:u32 followed by a u16 site index. Same stack
+   effects as the plain forms.
+   Emitted by resolve_labels when JS_ENABLE_IC; always defined and handled so
+   precompiled bytecode blobs stay valid regardless of the build flag. */
+DEF(   get_field_ic, 7, 1, 1, atom_u16)
+DEF(  get_field2_ic, 7, 1, 2, atom_u16)
+DEF(   put_field_ic, 7, 2, 0, atom_u16)
+
 DEF( get_private_field, 1, 2, 1, none) /* obj prop -> value */
 DEF( put_private_field, 1, 3, 0, none) /* obj value prop -> */
 DEF(define_private_field, 1, 3, 1, none) /* obj prop value -> obj */
@@ -321,7 +333,8 @@ DEF(       get_loc8, 2, 0, 1, loc8)
 DEF(       put_loc8, 2, 1, 0, loc8)
 DEF(       set_loc8, 2, 1, 1, loc8)
 
-DEF(  get_loc0_loc1, 1, 0, 2, none_loc)
+DEF(get_loc_field_nr, 9, 0, 1, atom_u16)
+
 DEF(       get_loc0, 1, 0, 1, none_loc)
 DEF(       get_loc1, 1, 0, 1, none_loc)
 DEF(       get_loc2, 1, 0, 1, none_loc)
@@ -376,10 +389,6 @@ DEF(        is_null, 1, 1, 1, none)
 DEF(typeof_is_undefined, 1, 1, 1, none)
 DEF( typeof_is_function, 1, 1, 1, none)
 
-/* Debugger trap. The u8 operand carries JS_DEBUG_TRACE_* flags. Defined
-   unconditionally so opcode numbering never depends on JS_ENABLE_DEBUGGER. */
-DEF(          debug, 2, 0, 0, u8)
-
 #undef DEF
 #undef def
 #endif  /* DEF */