--- parser3/src/main/compile_tools.h 2008/06/24 12:09:48 1.79 +++ parser3/src/main/compile_tools.h 2024/09/17 18:09:59 1.119 @@ -1,14 +1,14 @@ /** @file Parser: compiler support helper functions decls. - Copyright (c) 2001-2005 ArtLebedev Group (http://www.artlebedev.com) - Author: Alexandr Petrosian (http://paf.design.ru) + Copyright (c) 2001-2023 Art. Lebedev Studio (http://www.artlebedev.com) + Authors: Konstantin Morshnev , Alexandr Petrosian */ #ifndef COMPILE_TOOLS #define COMPILE_TOOLS -static const char * const IDENT_COMPILE_TOOLS_H="$Date: 2008/06/24 12:09:48 $"; +#define IDENT_COMPILE_TOOLS_H "$Id: compile_tools.h,v 1.119 2024/09/17 18:09:59 moko Exp $" #include "pa_opcode.h" #include "pa_types.h" @@ -87,7 +87,7 @@ public: //@} /// output: filled input 'methods' and 'error' if any - char error[MAX_STRING]; + const char *error; Parse_control(Request& arequest, VStateless_class* aclass, @@ -114,46 +114,56 @@ public: ls_sp(0), in_call_value(false), explicit_result(false), - append(false) { + append(false), + error("") { *cclasses+=aclass; } - void class_add(){ + /// false if exception should be rised + bool class_add(){ if(cclass_new){ cclass=cclass_new; - // append to request's classes - request.classes().put(cclass->name(), cclass); *cclasses+=cclass; cclass_new=0; append=false; + // append to request's classes + return request.add_class(cclass->type(), cclass); } + return true; } - bool class_reuse(){ - if(cclass_new){ - if(Value* class_value=request.classes().get(cclass_new->name())){ - if(VStateless_class* existed_class=class_value->get_class()) { - cclass=existed_class; - cclass_new=0; - append=true; - return true; - } else { - return false; - } - } - } - return false; + VStateless_class* get_existed_class(VStateless_class* aclass){ + // checking existence of the class during processing @OPTIONS\npartial + // can't use get_class because it will call @autouse[] if the class wasn't loaded + if(aclass) + return request.classes().get(aclass->type()); + return 0; } - void set_all_vars_local(){ - if(cclass_new){ - cclass_new->all_vars_local(); + bool reuse_existed_class(VStateless_class* aclass){ + if(aclass->is_partial()){ + cclass=aclass; + cclass_new=0; + append=true; + return true; } else { - cclass->all_vars_local(); + return false; } } + void set_all_vars_local(){ + (cclass_new ? cclass_new : cclass)->set_all_vars_local(); + } + + void set_methods_call_type(Method::Call_type call_type){ + (cclass_new ? cclass_new : cclass)->set_methods_call_type(call_type); + } + + Method::Call_type get_methods_call_type(){ + return (cclass_new ? cclass_new : cclass)->get_methods_call_type(); + } + void pos_next_line() { pos.line++; last_line_end_col=pos.col; @@ -184,7 +194,7 @@ inline ArrayOperation* N() { } /// Assembler instruction // append ordinary instruction to ops -inline void O(ArrayOperation& result, OPCODE code) { +inline void O(ArrayOperation& result, OP::OPCODE code) { result+=Operation(code); } @@ -197,8 +207,17 @@ inline void P(ArrayOperation& result, Ar result.append(code_array, offset); } +/// aPpend part of 'code_array', starting from offset, to 'result' +inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset, int limit) { + result.append(code_array, offset, limit); +} + /// append cOde Array -inline void OA(ArrayOperation& result, OPCODE code, ArrayOperation* code_array) { +inline void OA(ArrayOperation& result, ArrayOperation* code_array) { + result+=Operation(code_array); // append 'code_array' +} + +inline void OA(ArrayOperation& result, OP::OPCODE code, ArrayOperation* code_array) { result+=Operation(code); // append OP_CODE result+=Operation(code_array); // append 'code_array' } @@ -214,7 +233,7 @@ inline ArrayOperation* VL(Value* value, ArrayOperation& result=*N(); // append 'value' to 'result' - result+=Operation(OP_VALUE); + result+=Operation(OP::OP_VALUE); result+=Operation(file_no, line, col); // append origin result+=Operation(value); // append 'value' @@ -222,26 +241,170 @@ inline ArrayOperation* VL(Value* value, } /// Literal Array to(2) Value @return Value from literal Array OP+origin+Value -Value* LA2V(ArrayOperation& literal_string_array, int offset=0); +Value* LA2V(ArrayOperation& literal_string_array, int offset=0, OP::OPCODE code=OP::OP_VALUE); + /// Literal Array to(2) String @return String value from literal Array OP+origin+String array -inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0) { - if(Value* value=LA2V(literal_string_array, offset)) +inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0, OP::OPCODE code=OP::OP_VALUE) { + if(Value* value=LA2V(literal_string_array, offset, code)) return value->get_string(); return 0; } inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) { - literal_string_array.put(0, OP_STRING__WRITE); + literal_string_array.put(0, OP::OP_STRING__WRITE); } - void maybe_change_string_literal_to_double_literal(ArrayOperation& literal_string_array); void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value); -void changetail_or_append(ArrayOperation& opcodes, - OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound); +inline bool change(ArrayOperation& opcodes, int pos, OP::OPCODE find, OP::OPCODE replace) { + if(pos>=0) { + Operation& op=opcodes.get_ref(pos); + if(op.code==find) { + op.code=replace; + return true; + } + } + return false; +} + +inline void change_or_append(ArrayOperation& opcodes, int pos, OP::OPCODE find, OP::OPCODE replace, OP::OPCODE notfound) { + if(change(opcodes, pos, find, replace)) + return; + + opcodes+=Operation(notfound); +} + +bool change_first(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace); + +#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT +// OP_VALUE+origin+value+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_GET_OBJECT_ELEMENT+origin+value+origin+value +inline bool maybe_make_get_object_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t diving_count){ + if( + diving_count>=8 + && diving_code[0].code==OP::OP_VALUE + && diving_code[3].code==OP::OP_GET_ELEMENT + && diving_code[4].code==OP::OP_VALUE + && diving_code[7].code==OP::OP_GET_ELEMENT + ){ + O(opcodes, OP::OP_GET_OBJECT_ELEMENT); + P(opcodes, diving_code, 1 /*offset*/, 2 /*limit*/); // copy first origin+value + P(opcodes, diving_code, 5, 2); // second origin+value + if(diving_count>8) + P(opcodes, diving_code, 8 /*offset*/); // tail + return true; + } + return false; +} +#endif + + +#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT +// OP_VALUE+origin+value+OP_GET_ELEMENT+OP_WITH_READ+OP_VALUE+origin+value+OP_GET_ELEMENT+OP_GET_ELEMENT => OP_GET_OBJECT_VAR_ELEMENT+origin+value+origin+value +inline bool maybe_make_get_object_var_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t diving_count){ + if( + diving_count==10 + && diving_code[0].code==OP::OP_VALUE + && diving_code[3].code==OP::OP_GET_ELEMENT + && diving_code[4].code==OP::OP_WITH_READ + && diving_code[5].code==OP::OP_VALUE + && diving_code[8].code==OP::OP_GET_ELEMENT + && diving_code[9].code==OP::OP_GET_ELEMENT + ){ + O(opcodes, OP::OP_GET_OBJECT_VAR_ELEMENT); + P(opcodes, diving_code, 1 /*offset*/, 2 /*limit*/); // copy first origin+value + P(opcodes, diving_code, 6, 2); // second origin+value + return true; + } + return false; +} +#endif + + +bool maybe_make_self(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t diving_count); + +#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL +bool maybe_append_simple_diving_code(ArrayOperation& code, ArrayOperation& diving_code); + +bool is_special_element(ArrayOperation& opcodes); +#endif + +#ifdef OPTIMIZE_BYTECODE_CONSTRUCT +inline bool maybe_optimize_construct(ArrayOperation& opcodes, ArrayOperation& var_ops, ArrayOperation& expr_ops){ + size_t expr_count=expr_ops.count(); + OP::OPCODE construct_op=expr_ops[expr_count-1].code; + size_t construct=(construct_op==OP::OP_CONSTRUCT_VALUE)?0x01:(construct_op==OP::OP_CONSTRUCT_EXPR)?0x02:0x00; + if(construct){ + P(opcodes, expr_ops, 0/*offset*/, expr_count-1/*limit*/); // copy constructor body without CONSTRUCT_(VALUE|EXPR) + + size_t with=0x00; + switch(var_ops[0].code){ + case OP::OP_WITH_ROOT: + { + with=0x10; + break; + } + case OP::OP_WITH_WRITE: + { + with=0x20; + break; + } + case OP::OP_WITH_SELF: + { + with=0x30; + break; + } + default: break; + } + + if(with && var_ops[1].code==OP::OP_VALUE && var_ops.count()==4){ + OP::OPCODE code=OP::OP_VALUE; // calm down compiler. will be reassigned for sure. + switch( with | construct ) { + case 0x11: + { + code=OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE; + break; + } + case 0x12: + { + code=OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR; + break; + } + case 0x21: + { + code=OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE; + break; + } + case 0x22: + { + code=OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR; + break; + } + case 0x31: + { + code=OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE; + break; + } + case 0x32: + { + code=OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR; + break; + } + } + O(opcodes, code); + P(opcodes, var_ops, 2/*offset*/, 2/*limit*/); // copy origin+value + } else { + P(opcodes, var_ops); + O(opcodes, construct_op); + } + return true; + } + return false; +} +#endif +Method::Call_type GetMethodCallType(Parse_control& pc, ArrayOperation& literal_string_array); void push_LS(Parse_control& pc, lexical_state new_state); void pop_LS(Parse_control& pc);