[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.54.2.5.2.10 and 1.68

version 1.54.2.5.2.10, 2003/04/03 11:19:50 version 1.68, 2010/07/05 01:38:14
Line 1 Line 1
 /** @file  /** @file
         Parser: compiler support helper functions.          Parser: compiler support helper functions.
   
         Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com)          Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)
         Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)          Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 static const char* IDENT_COMPILE_TOOLS_C="$Date$";  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"
Line 13  static const char* IDENT_COMPILE_TOOLS_C Line 13  static const char* IDENT_COMPILE_TOOLS_C
 #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"
   
 Value* LA2V(ArrayOperation& literal_string_array, int offset) {  Value* LA2V(ArrayOperation& literal_string_array, int offset, OP::OPCODE code) {
         return literal_string_array[offset+0].code()==OP_VALUE?literal_string_array[offset+1].value          return literal_string_array[offset+0].code==code?literal_string_array[offset+2/*skip opcode&origin*/].value
                 :0;                  :0;
 }  }
   
 void change_string_literal_to_double_literal(ArrayOperation& literal_string_array) {  void maybe_change_string_literal_to_double_literal(ArrayOperation& literal_array) {
         if(literal_string_array[0].code()==OP_VALUE) {          assert(literal_array[0].code==OP::OP_VALUE);
                 Value& value=literal_string_array[1].value->as_expr_result();          VString& vstring=*static_cast<VString*>(literal_array[2/*opcode+origin*/].value);
                 literal_string_array.put(1, &value);          if(isdigit(vstring.string().first_char()))
         }                  literal_array.put(2/*opcode+origin*/, &vstring.as_expr_result());
 }  }
   
 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) {
         if(literal_string_array[0].code()==OP_VALUE) { // extra safety          assert(literal_string_array[0].code==OP::OP_VALUE);
                 static_cast<VString*>(literal_string_array[1].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,   void changetail_or_append(ArrayOperation& opcodes, 
                                                   OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound) {                                                    OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound) {
         int tail=opcodes.count()-(with_argument?2:1);          int tail=opcodes.count()-(with_argument?2:1);
         if(tail>=0) {          if(tail>=0) {
                 Operation& op=opcodes.get_ref(tail);                  Operation& op=opcodes.get_ref(tail);
                 if(op.code()==find) {                  if(op.code==find) {
                         op.set_code(replace);                          op.code=replace;
                         return;                          return;
                 }                  }
         }          }
Line 46  void changetail_or_append(ArrayOperation Line 46  void changetail_or_append(ArrayOperation
         opcodes+=Operation(notfound);          opcodes+=Operation(notfound);
 }  }
   
   bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace) {
           if(opcodes[0].code!=find)
                   return false;
   
           opcodes.put(0, replace);
           return true;
   }
   
   
   // 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){
           const String* first_name=LA2S(diving_code);
   
           if(first_name && *first_name==SELF_ELEMENT_NAME){
   #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
                   if(
                           divine_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(divine_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, divine_count>=4?4/*OP::OP_VALUE+origin+string+OP::OP_GET_ELEMENTx*/:3/*OP::OP_+origin+string*/);
                   }
                   return true;
           }
           return false;
   }
   
   
   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!=method_call_type_static)
                           throw Exception("parser.compile",
                                           &call_type,
                                           "incorrect method call type. the only valid call type method prefix is '"METHOD_CALL_TYPE_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 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) { 
         if(pc.ls_sp<MAX_LEXICAL_STATES) {          if(pc.ls_sp<MAX_LEXICAL_STATES) {
Line 65  void pop_LS(Parse_control& pc) { Line 122  void pop_LS(Parse_control& pc) {
   
 const String& Parse_control::alias_method(const String& name) {  const String& Parse_control::alias_method(const String& name) {
         return (main_alias && name==main_method_name)?*main_alias:name;          return (main_alias && name==main_method_name)?*main_alias:name;
 }  
   
   }
Removed from v.1.54.2.5.2.10  
changed lines
  Added in v.1.68

E-mail: