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

Diff for /parser3/src/main/compile_tools.C between versions 1.63 and 1.84

version 1.63, 2009/05/20 09:08:53 version 1.84, 2026/04/23 18:50:11
Line 1 Line 1
 /** @file  /** @file
         Parser: compiler support helper functions.          Parser: compiler support helper functions.
   
         Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2024 Art. Lebedev Studio (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Authors: Konstantin Morshnev <moko@design.ru>, Alexandr Petrosian <paf@design.ru>
 */  */
   
 static const char * const IDENT_COMPILE_TOOLS_C="$Date$";  
   
 #include "compile_tools.h"  #include "compile_tools.h"
 #include "pa_string.h"  #include "pa_string.h"
 #include "pa_array.h"  #include "pa_array.h"
 #include "pa_exception.h"  #include "pa_exception.h"
 #include "pa_vstring.h"  #include "pa_vstring.h"
 #include "pa_vdouble.h"  #include "pa_vdouble.h"
   #include "pa_vmethod_frame.h"
   
   volatile const char * IDENT_COMPILE_TOOLS_C="$Id$" IDENT_COMPILE_TOOLS_H;
   
 Value* LA2V(ArrayOperation& literal_string_array, int offset, OP::OPCODE code) {  Value* LA2V(ArrayOperation& literal_string_array, int offset, OP::OPCODE code) {
         return literal_string_array[offset+0].code==code?literal_string_array[offset+2/*skip opcode&origin*/].value          return literal_string_array[offset+0].code==code?literal_string_array[offset+2/*skip opcode&origin*/].value
Line 31  void change_string_literal_value(ArrayOp Line 32  void change_string_literal_value(ArrayOp
         static_cast<VString*>(literal_string_array[2/*opcode+origin*/].value)->set_string(new_value);          static_cast<VString*>(literal_string_array[2/*opcode+origin*/].value)->set_string(new_value);
 }  }
   
 void changetail_or_append(ArrayOperation& opcodes,   bool change_first(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace) {
                                                   OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound) {          Operation& op=opcodes.get_ref(0);
         int tail=opcodes.count()-(with_argument?2:1);          if(op.code!=find)
         if(tail>=0) {                  return false;
                 Operation& op=opcodes.get_ref(tail);  
                 if(op.code==find) {  
                         op.code=replace;  
                         return;  
                 }  
         }  
   
         opcodes+=Operation(notfound);  
 }  
   
   
 bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace, bool strict) {  
         if(opcodes[0].code==find){  
                 opcodes.put(0, replace);  
                 return true;  
         }  
         if(strict)  
                 assert(opcodes[0].code==find);  
   
         return false;          op.code=replace;
           return true;
 }  }
   
   
 bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE last, OP::OPCODE replace) {  // OP_VALUE+origin+self+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_WITH_SELF__VALUE__GET_ELEMENT+origin+value
         if(opcodes[0].code==find && opcodes[opcodes.count()-1].code==last){  bool maybe_make_self(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t diving_count){
                 opcodes.put(0, replace);          const String* first_name=LA2S(diving_code);
   
           if(first_name && SYMBOLS_EQ(*first_name,SELF_SYMBOL)){
   #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
                   if(
                           diving_count>=8
                           && diving_code[3].code==OP::OP_GET_ELEMENT
                           && diving_code[4].code==OP::OP_VALUE
                           && diving_code[7].code==OP::OP_GET_ELEMENT
                   ){
                           // optimization for $self.field and ^self.method
                           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"
                           if(diving_count>8)
                                   P(opcodes, diving_code, 8 /*offset*/); // copy tail
                   } else
   #endif
                   {
                           // self.xxx... => xxx...
                           // OP_VALUE+origin+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...
                           O(opcodes, OP::OP_WITH_SELF); /* stack: starting context */
                           P(opcodes, diving_code, diving_count >=4 ? 4 /*OP::OP_VALUE+origin+string+OP::OP_GET_ELEMENTx*/ : 3 /*OP::OP_+origin+string*/);
                   }
                 return true;                  return true;
         }          }
         return false;          return false;
 }  }
   
   bool maybe_append_simple_diving_code(ArrayOperation& code, ArrayOperation& diving_code){
 // OP_VALUE+origin+value+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_GET_OBJECT_ELEMENT+origin+value+[OP_VALUE]+origin+value+OP_GET_ELEMENT  
 bool maybe_make_get_object_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){  
         if(divine_count!=8)  
                 return false;  
   
         assert(diving_code[0].code==OP::OP_VALUE);  
         if(          if(
                 diving_code[4].code==OP::OP_VALUE                  diving_code.count()==3
                 && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT                  && diving_code[0].code==OP::OP_STRING__WRITE
         ){          ){
                 O(opcodes, OP::OP_GET_OBJECT_ELEMENT);                  O(code, OP::OP_VALUE);
                 P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy origin+value                  P(code, diving_code, 1/*offset*/, 2/*limit*/); /*copy origin+value*/
                 P(opcodes, diving_code,  
 #ifdef OPTIMIZE_BYTECODE_USE_TWO_OPERANDS_INSTRUCTIONS  
                         5, 3  
 #else  
                         4, 4  
 #endif  
                 ); // copy specified tail  
                 return true;                  return true;
           } else {
                   return false;
         }          }
         return false;  
 }  }
   
 // 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+[OP_VALUE]+origin+value+OP_GET_ELEMENT  #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL
 bool maybe_make_get_object_var_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){  bool is_special_element(ArrayOperation& opcodes){
         if(divine_count!=10)          const String* name=LA2S(opcodes);
                 return false;          return name && ( SYMBOLS_EQ(*name,CLASS_SYMBOL) || SYMBOLS_EQ(*name,CLASS_NAME_SYMBOL) );
   }
         assert(diving_code[0].code==OP::OP_VALUE);  
         if(  
                 diving_code[4].code==OP::OP_WITH_READ  
                 && diving_code[5].code==OP::OP_VALUE  
                 && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT  
         ){  
                 O(opcodes, OP::OP_GET_OBJECT_VAR_ELEMENT);  
                 P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy origin+value  
                 P(opcodes, diving_code,  
 #ifdef OPTIMIZE_BYTECODE_USE_TWO_OPERANDS_INSTRUCTIONS  
                         6, 3  
 #else  
                         5, 4  
 #endif  #endif
                 ); // copy specified tail  
                 return true;  Method::Call_type GetMethodCallType(Parse_control& pc, ArrayOperation& literal_array) {
           const String* full_name=LA2S(literal_array);
           int pos=full_name->pos(':');
           if(pos > 0) {
                   const String call_type=full_name->mid(0, pos);
                   if(call_type!=Symbols::STATIC_SYMBOL)
                           throw Exception("parser.compile", &call_type, "incorrect method call type. the only valid call type method prefix is 'static'");
                   const String *sole_name=&full_name->mid(pos+1, full_name->length());
                   // replace full method name (static:method) by sole method name (method). it will be used later.
                   change_string_literal_value(literal_array, *sole_name);
                   return Method::CT_STATIC;
         }          }
         return false;          return pc.get_methods_call_type();
 }  }
   
 void push_LS(Parse_control& pc, lexical_state new_state) {   void push_LS(Parse_control& pc, lexical_state new_state) { 
Line 121  void push_LS(Parse_control& pc, lexical_ Line 112  void push_LS(Parse_control& pc, lexical_
                 pc.ls_stack[pc.ls_sp++]=pc.ls;                    pc.ls_stack[pc.ls_sp++]=pc.ls;  
                 pc.ls=new_state;                  pc.ls=new_state;
         } else          } else
                 throw Exception(0, 0,                   throw Exception(0, 0, "push_LS: ls_stack overflow");
                         "push_LS: ls_stack overflow");  
 }  }
 void pop_LS(Parse_control& pc) {  void pop_LS(Parse_control& pc) {
         if(--pc.ls_sp>=0)          if(--pc.ls_sp>=0)
                 pc.ls=pc.ls_stack[pc.ls_sp];                  pc.ls=pc.ls_stack[pc.ls_sp];
         else          else
                 throw Exception(0, 0,                   throw Exception(0, 0, "pop_LS: ls_stack underflow");
                         "pop_LS: ls_stack underflow");  
 }  }
   
 const String& Parse_control::alias_method(const String& name) {  const String& Parse_control::alias_method(const String& name) {
Removed from v.1.63  
changed lines
  Added in v.1.84

E-mail: