[BACK]Return to compile_tools.h CVS log [TXT] [DIR] Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/compile_tools.h between versions 1.94 and 1.110

version 1.94, 2009/06/04 09:31:38 version 1.110, 2016/04/01 16:27:32
Line 1 Line 1
 /** @file  /** @file
         Parser: compiler support helper functions decls.          Parser: compiler support helper functions decls.
   
         Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 #ifndef COMPILE_TOOLS  #ifndef COMPILE_TOOLS
 #define COMPILE_TOOLS  #define COMPILE_TOOLS
   
 static const char * const IDENT_COMPILE_TOOLS_H="$Date$";  #define IDENT_COMPILE_TOOLS_H "$Id$"
   
 #include "pa_opcode.h"  #include "pa_opcode.h"
 #include "pa_types.h"  #include "pa_types.h"
Line 18  static const char * const IDENT_COMPILE_ Line 18  static const char * const IDENT_COMPILE_
 /// used to track source column number  /// used to track source column number
 #define TAB_SIZE 8  #define TAB_SIZE 8
   
   #define METHOD_CALL_TYPE_STATIC "static"
   #define METHOD_CALL_TYPE_DYNAMIC "dynamic"
   const String method_call_type_static(METHOD_CALL_TYPE_STATIC);
   const String method_call_type_dynamic(METHOD_CALL_TYPE_DYNAMIC);
   
 enum lexical_state {  enum lexical_state {
         LS_USER, LS_NAME_SQUARE_PART,          LS_USER, LS_NAME_SQUARE_PART,
         LS_USER_COMMENT,          LS_USER_COMMENT,
Line 119  public: Line 124  public:
                 *cclasses+=aclass;                  *cclasses+=aclass;
         }          }
   
         void class_add(){          /// true if exception should be rised
           bool class_add(){
                 if(cclass_new){                  if(cclass_new){
                         cclass=cclass_new;                          cclass=cclass_new;
                         // append to request's classes  
                         request.classes().put(cclass->name(), cclass);  
                         *cclasses+=cclass;                          *cclasses+=cclass;
                         cclass_new=0;                          cclass_new=0;
                         append=false;                          append=false;
                           // append to request's classes
                           if(!request.allow_class_replace)
                                   return request.classes().put_dont_replace(cclass->type(), cclass) != 0;
                           request.classes().put(cclass->type(), cclass);
                 }                  }
                   return false;
         }          }
   
         VStateless_class* get_existed_class(VStateless_class* aclass){          VStateless_class* get_existed_class(VStateless_class* aclass){
                 if(aclass){                  // checking existence of the class during processing @OPTIONS\npartial
                         if(Value* class_value=request.classes().get(aclass->name())){                  // method should't use get_class because the last one will call operator @autouse[] if the class wasn't loaded
                   if(aclass)
                           if(Value* class_value=request.classes().get(aclass->type()))
                                 return class_value->get_class();                                  return class_value->get_class();
                         }  
                 }  
                 return 0;                  return 0;
         }          }
   
Line 151  public: Line 160  public:
         }          }
   
         void set_all_vars_local(){          void set_all_vars_local(){
                 if(cclass_new){                  (cclass_new ? cclass_new : cclass)->set_all_vars_local();
                         cclass_new->set_all_vars_local();          }
                 } else {  
                         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() {          void pos_next_line() {
Line 207  inline void P(ArrayOperation& result, Ar Line 220  inline void P(ArrayOperation& result, Ar
 }  }
   
 /// append cOde Array  /// append 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) {  inline void OA(ArrayOperation& result, OP::OPCODE code, ArrayOperation* code_array) {
         result+=Operation(code); // append OP_CODE          result+=Operation(code); // append OP_CODE
         result+=Operation(code_array); // append 'code_array'          result+=Operation(code_array); // append 'code_array'
Line 232  inline ArrayOperation* VL(Value* value, Line 249  inline ArrayOperation* VL(Value* value,
   
 /// Literal Array to(2) Value @return Value from literal Array OP+origin+Value  /// Literal Array to(2) Value @return Value from literal Array OP+origin+Value
 Value* LA2V(ArrayOperation& literal_string_array, int offset=0, OP::OPCODE code=OP::OP_VALUE);  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  /// 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, OP::OPCODE code=OP::OP_VALUE) {  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))          if(Value* value=LA2V(literal_string_array, offset, code))
Line 247  void maybe_change_string_literal_to_doub Line 265  void maybe_change_string_literal_to_doub
   
 void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);  void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);
   
 void changetail_or_append(ArrayOperation& opcodes,   inline bool change(ArrayOperation& opcodes, int pos, OP::OPCODE find, OP::OPCODE replace) {
                                                   OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound);          if(pos>=0) {
                   Operation& op=opcodes.get_ref(pos);
                   if(op.code==find) {
                           op.code=replace;
                           return true;
                   }
           }
           return false;
   }
   
 bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace);  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  #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  // 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 divine_count){  inline bool maybe_make_get_object_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){
         if(divine_count!=8)          if(divine_count<8)
                 return false;                  return false;
   
         assert(diving_code[0].code==OP::OP_VALUE);          assert(diving_code[0].code==OP::OP_VALUE);
         if(          if(
                 diving_code[3].code==OP::OP_GET_ELEMENT                  diving_code[3].code==OP::OP_GET_ELEMENT
                 && diving_code[4].code==OP::OP_VALUE                  && diving_code[4].code==OP::OP_VALUE
                 && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT                  && diving_code[7].code==OP::OP_GET_ELEMENT
         ){          ){
                 O(opcodes, OP::OP_GET_OBJECT_ELEMENT);                  O(opcodes, OP::OP_GET_OBJECT_ELEMENT);
                 P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy first origin+value                  P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy first origin+value
                 P(opcodes, diving_code, 5, 2); // second origin+value                  P(opcodes, diving_code, 5, 2); // second origin+value
                   if(divine_count>8)
                           P(opcodes, diving_code, 8/*offset*/); // tail
                 return true;                  return true;
         }          }
         return false;          return false;
Line 283  inline bool maybe_make_get_object_var_el Line 317  inline bool maybe_make_get_object_var_el
   
         assert(diving_code[0].code==OP::OP_VALUE);          assert(diving_code[0].code==OP::OP_VALUE);
         if(          if(
                 diving_code[4].code==OP::OP_WITH_READ                  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[5].code==OP::OP_VALUE
                 && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT                  && diving_code[8].code==OP::OP_GET_ELEMENT
                   && diving_code[9].code==OP::OP_GET_ELEMENT
         ){          ){
                 O(opcodes, OP::OP_GET_OBJECT_VAR_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, 1/*offset*/, 2/*limit*/); // copy first origin+value
Line 297  inline bool maybe_make_get_object_var_el Line 333  inline bool maybe_make_get_object_var_el
 #endif  #endif
   
   
 // OP_VALUE+origin+self+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_WITH_SELF__VALUE__GET_ELEMENT+origin+value  bool maybe_make_self(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count);
 #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT  
 inline bool maybe_make_with_self_get_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){  
         if(divine_count!=8)  
                 return false;  
   
         assert(diving_code[0].code==OP::OP_VALUE);  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL
         if(  bool maybe_append_simple_diving_code(ArrayOperation& code, ArrayOperation& diving_code);
                 diving_code[3].code==OP::OP_GET_ELEMENT  
                 && diving_code[4].code==OP::OP_VALUE  
                 && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT  
         ){  
                 O(opcodes, OP::OP_WITH_SELF__VALUE__GET_ELEMENT);  
                 P(opcodes, diving_code, 5/*offset*/, 2/*limit*/); // copy second origin+value. we know that the first one is "self"  
                 return true;  
         }  
         return false;  
 }  
 #endif  
   
   bool is_special_element(ArrayOperation& opcodes);
   #endif
   
 #ifdef OPTIMIZE_BYTECODE_CONSTRUCT  #ifdef OPTIMIZE_BYTECODE_CONSTRUCT
 inline bool maybe_optimize_construct(ArrayOperation& opcodes, ArrayOperation& var_ops, ArrayOperation& expr_ops){  inline bool maybe_optimize_construct(ArrayOperation& opcodes, ArrayOperation& var_ops, ArrayOperation& expr_ops){
Line 343  inline bool maybe_optimize_construct(Arr Line 366  inline bool maybe_optimize_construct(Arr
                                         with=0x30;                                          with=0x30;
                                         break;                                          break;
                                 }                                  }
                           default: break;
                 }                  }
   
                 if(with && var_ops[1].code==OP::OP_VALUE && var_ops.count()==4){                  if(with && var_ops[1].code==OP::OP_VALUE && var_ops.count()==4){
Line 391  inline bool maybe_optimize_construct(Arr Line 415  inline bool maybe_optimize_construct(Arr
 }  }
 #endif  #endif
   
   Method::Call_type GetMethodCallType(Parse_control& pc, ArrayOperation& literal_string_array);
   
 void push_LS(Parse_control& pc, lexical_state new_state);  void push_LS(Parse_control& pc, lexical_state new_state);
 void pop_LS(Parse_control& pc);  void pop_LS(Parse_control& pc);
Removed from v.1.94  
changed lines
  Added in v.1.110

E-mail: