mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
f5b385ca6c
Currently we keep all local variables in the scope chain as long as a nested function is alive. These variables consume memory although several of them are never used. This patch focuses on removing those unused ones whose can be detected at parsing time. JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg.u-szeged@partner.samsung.com
139 lines
3.7 KiB
C
139 lines
3.7 KiB
C
/* Copyright JS Foundation and other contributors, http://js.foundation
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#ifndef COMMON_H
|
|
#define COMMON_H
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <inttypes.h>
|
|
#include <setjmp.h>
|
|
|
|
/** \addtogroup parser Parser
|
|
* @{
|
|
*
|
|
* \addtogroup jsparser JavaScript
|
|
* @{
|
|
*
|
|
* \addtogroup jsparser_utils Utility
|
|
* @{
|
|
*/
|
|
|
|
#include "ecma-globals.h"
|
|
#include "ecma-regexp-object.h"
|
|
#include "jmem.h"
|
|
|
|
/* Immediate management. */
|
|
|
|
/**
|
|
* Literal types.
|
|
*
|
|
* The LEXER_UNUSED_LITERAL type is internal and
|
|
* used for various purposes.
|
|
*/
|
|
typedef enum
|
|
{
|
|
LEXER_IDENT_LITERAL = 0, /**< identifier literal */
|
|
LEXER_STRING_LITERAL = 1, /**< string literal */
|
|
LEXER_NUMBER_LITERAL = 2, /**< number literal */
|
|
LEXER_FUNCTION_LITERAL = 3, /**< function literal */
|
|
LEXER_REGEXP_LITERAL = 4, /**< regexp literal */
|
|
LEXER_UNUSED_LITERAL = 5, /**< unused literal, can only be
|
|
used by the byte code generator. */
|
|
} lexer_literal_type_t;
|
|
|
|
/* Flags for status_flags. */
|
|
|
|
/* Local identifier (var, function arg). */
|
|
#define LEXER_FLAG_VAR 0x01
|
|
/* This local identifier cannot be stored in register. */
|
|
#define LEXER_FLAG_NO_REG_STORE 0x02
|
|
/* This local identifier is initialized with a value. */
|
|
#define LEXER_FLAG_INITIALIZED 0x04
|
|
/* This local identifier has a reference to the function itself. */
|
|
#define LEXER_FLAG_FUNCTION_NAME 0x08
|
|
/* This local identifier is a function argument. */
|
|
#define LEXER_FLAG_FUNCTION_ARGUMENT 0x10
|
|
/* This local identifier is not used in the current context. */
|
|
#define LEXER_FLAG_UNUSED_IDENT 0x20
|
|
/* No space is allocated for this character literal. */
|
|
#define LEXER_FLAG_SOURCE_PTR 0x40
|
|
/* Initialize this variable after the byte code is freed. */
|
|
#define LEXER_FLAG_LATE_INIT 0x80
|
|
|
|
/**
|
|
* Literal data.
|
|
*/
|
|
typedef struct
|
|
{
|
|
union
|
|
{
|
|
jmem_cpointer_t value; /**< literal value (not processed by the parser) */
|
|
const uint8_t *char_p; /**< character value */
|
|
ecma_compiled_code_t *bytecode_p; /**< compiled function or regexp pointer */
|
|
uint32_t source_data; /**< encoded source literal */
|
|
} u;
|
|
|
|
#ifdef PARSER_DUMP_BYTE_CODE
|
|
struct
|
|
#else /* !PARSER_DUMP_BYTE_CODE */
|
|
union
|
|
#endif /* PARSER_DUMP_BYTE_CODE */
|
|
{
|
|
uint16_t length; /**< length of ident / string literal */
|
|
uint16_t index; /**< real index during post processing */
|
|
} prop;
|
|
|
|
uint8_t type; /**< type of the literal */
|
|
uint8_t status_flags; /**< status flags */
|
|
} lexer_literal_t;
|
|
|
|
void util_free_literal (lexer_literal_t *literal_p);
|
|
|
|
#ifdef PARSER_DUMP_BYTE_CODE
|
|
void util_print_literal (lexer_literal_t *);
|
|
#endif /* PARSER_DUMP_BYTE_CODE */
|
|
|
|
/* TRY/CATCH block */
|
|
|
|
#define PARSER_TRY_CONTEXT(context_name) \
|
|
jmp_buf context_name
|
|
|
|
#define PARSER_THROW(context_name) \
|
|
longjmp (context_name, 1);
|
|
|
|
#define PARSER_TRY(context_name) \
|
|
{ \
|
|
if (!setjmp (context_name)) \
|
|
{ \
|
|
|
|
#define PARSER_CATCH \
|
|
} \
|
|
else \
|
|
{
|
|
|
|
#define PARSER_TRY_END \
|
|
} \
|
|
}
|
|
|
|
/**
|
|
* @}
|
|
* @}
|
|
* @}
|
|
*/
|
|
|
|
#endif /* !COMMON_H */
|