[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.27 and 1.72

version 1.27, 2001/03/11 09:30:45 version 1.72, 2015/10/26 01:21:57
Line 1 Line 1
 /*  /** @file
         Parser          Parser: compiler support helper functions.
         Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)  
         Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)  
   
         $Id$          Copyright (c) 2001-2015 Art. Lebedev Studio (http://www.artlebedev.com)
           Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 #include "compile_tools.h"  #include "compile_tools.h"
Line 12 Line 11
 #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"
   
 void PV(Array/*<Operation>*/ *result, Value *value) {  volatile const char * IDENT_COMPILE_TOOLS_C="$Id$" IDENT_COMPILE_TOOLS_H;
         // append OP_VALUE  
         Operation op; op.code=OP_VALUE;  
         *result+=op.cast;  
   
         // append 'value'  Value* LA2V(ArrayOperation& literal_string_array, int offset, OP::OPCODE code) {
         *result+=value;          return literal_string_array[offset+0].code==code?literal_string_array[offset+2/*skip opcode&origin*/].value
 }                  :0;
   }
 void PCA(Array/*<Operation>*/ *result, Array/*<Operation>*/ *code_array) {  
         // append OP_CODE  void maybe_change_string_literal_to_double_literal(ArrayOperation& literal_array) {
         Operation op; op.code=OP_CODE__STORE_PARAM;          assert(literal_array[0].code==OP::OP_VALUE);
         *result+=op.cast;          VString& vstring=*static_cast<VString*>(literal_array[2/*opcode+origin*/].value);
           if(isdigit(vstring.string().first_char()))
         // append 'vstring'                  literal_array.put(2/*opcode+origin*/, &vstring.as_expr_result());
         *result+=code_array;  }
 }  
   void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value) {
           assert(literal_string_array[0].code==OP::OP_VALUE);
 Array *VL(Value *value) {          static_cast<VString*>(literal_string_array[2/*opcode+origin*/].value)->set_string(new_value);
         // empty ops array  }
         Array *result=N(value->pool());  
   bool change_first(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace) {
         // append 'value' to 'result'          Operation& op=opcodes.get_ref(0);
         PV(result, value);          if(op.code!=find)
                   return false;
         return result;  
 }          op.code=replace;
           return true;
 const String *SLA2S(Array *literal_string_array, int offset) {  }
         Operation op;  
         op.cast=literal_string_array->get(offset+0);  
         if(op.code!=OP_VALUE)  // OP_VALUE+origin+self+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_WITH_SELF__VALUE__GET_ELEMENT+origin+value
                 return 0;  bool maybe_make_self(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){
           const String* first_name=LA2S(diving_code);
         return static_cast<VString *>(literal_string_array->get(offset+1))->get_string();  
 }          if(first_name && *first_name==SELF_ELEMENT_NAME){
   #ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
 void change_string_literal_to_double_literal(Array *literal_string_array) {                  if(
         VString *vstring=static_cast<VString *>(literal_string_array->get(1));                          divine_count>=8
         Value *value=vstring->get_expr_result();                          && diving_code[3].code==OP::OP_GET_ELEMENT
         literal_string_array->put(1, value);                          && diving_code[4].code==OP::OP_VALUE
 }                          && diving_code[7].code==OP::OP_GET_ELEMENT
 void change_string_literal_to_write_string_literal(Array *literal_string_array) {                  ){
         Operation op; op.code=OP_STRING__WRITE;                          // optimization for $self.field and ^self.method
         literal_string_array->put(0, op.cast);                          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)
 void push_LS(struct parse_control *pc, lexical_state new_state) {                                  P(opcodes, diving_code, 8/*offset*/); // copy tail
         if(pc->sp<MAX_LEXICAL_STATES) {                  } else
                 pc->stack[pc->sp++]=pc->ls;  pc->ls=new_state;  #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;
   }
   
   #ifdef OPTIMIZE_BYTECODE_GET_ELEMENT__SPECIAL
   bool maybe_append_simple_diving_code(ArrayOperation& code, ArrayOperation& diving_code){
           if(
                   diving_code.count()==3
                   && diving_code[0].code==OP::OP_STRING__WRITE
           ){
                   O(code, OP::OP_VALUE);
                   P(code, diving_code, 1/*offset*/, 2/*limit*/); /*copy origin+value*/
                   return true;
           } else {
                   return false;
           }
   }
   
   bool is_special_element(ArrayOperation& opcodes){
           const String* name=LA2S(opcodes);
           return (
                   name
                   && (
                           *name==class_element_name
                           || *name==class_name_element_name
                   )
           );
   }
   #endif
   
   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) { 
           if(pc.ls_sp<MAX_LEXICAL_STATES) {
                   pc.ls_stack[pc.ls_sp++]=pc.ls;  
                   pc.ls=new_state;
         } else          } else
                 pc->pool->THROW(0, 0, 0, "push_LS: stack overflow");                  throw Exception(0, 0, 
                           "push_LS: ls_stack overflow");
 }  }
 void pop_LS(struct parse_control *pc) {  void pop_LS(Parse_control& pc) {
         if(--pc->sp>=0)          if(--pc.ls_sp>=0)
                 pc->ls=pc->stack[pc->sp];                  pc.ls=pc.ls_stack[pc.ls_sp];
         else          else
                 pc->pool->THROW(0, 0, 0, "push_LS: stack underflow");                  throw Exception(0, 0, 
                           "pop_LS: ls_stack underflow");
   }
   
   const String& Parse_control::alias_method(const String& name) {
           return (main_alias && name==main_method_name)?*main_alias:name;
 }  }
Removed from v.1.27  
changed lines
  Added in v.1.72

E-mail: