[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.32 and 1.63

version 1.32, 2001/03/27 16:35:54 version 1.63, 2009/05/20 09:08:53
Line 1 Line 1
 /** @file  /** @file
         Parser: compiler support helper functions.          Parser: compiler support helper functions.
   
         Copyright (c) 2001 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: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)  
   
         $Id$  
 */  */
   
   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"
Line 15 Line 14
 #include "pa_vstring.h"  #include "pa_vstring.h"
 #include "pa_vdouble.h"  #include "pa_vdouble.h"
   
 void PV(Array/*<Operation>*/ *result, Value *value) {  Value* LA2V(ArrayOperation& literal_string_array, int offset, OP::OPCODE code) {
         // append OP_VALUE          return literal_string_array[offset+0].code==code?literal_string_array[offset+2/*skip opcode&origin*/].value
         Operation op; op.code=OP_VALUE;                  :0;
         *result+=op.cast;  }
   
         // append 'value'  void maybe_change_string_literal_to_double_literal(ArrayOperation& literal_array) {
         *result+=value;          assert(literal_array[0].code==OP::OP_VALUE);
 }          VString& vstring=*static_cast<VString*>(literal_array[2/*opcode+origin*/].value);
           if(isdigit(vstring.string().first_char()))
 void PCA(Array/*<Operation>*/ *result, Array/*<Operation>*/ *code_array) {                  literal_array.put(2/*opcode+origin*/, &vstring.as_expr_result());
         // append OP_CODE  }
         Operation op; op.code=OP_CURLY_CODE__STORE_PARAM;  
         *result+=op.cast;  void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value) {
           assert(literal_string_array[0].code==OP::OP_VALUE);
         // append 'vstring'          static_cast<VString*>(literal_string_array[2/*opcode+origin*/].value)->set_string(new_value);
         *result+=code_array;  }
 }  
   void changetail_or_append(ArrayOperation& opcodes, 
 void PEA(Array/*<Operation>*/ *result, Array/*<Operation>*/ *code_array) {                                                    OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound) {
         // append OP_CODE          int tail=opcodes.count()-(with_argument?2:1);
         Operation op; op.code=OP_EXPR_CODE__STORE_PARAM;          if(tail>=0) {
         *result+=op.cast;                  Operation& op=opcodes.get_ref(tail);
                   if(op.code==find) {
         // append 'vstring'                          op.code=replace;
         *result+=code_array;                          return;
 }                  }
           }
 Array *VL(Value *value) {  
         // empty ops array          opcodes+=Operation(notfound);
         Array *result=N(value->pool());  }
   
         // append 'value' to 'result'  
         PV(result, value);  bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace, bool strict) {
           if(opcodes[0].code==find){
         return result;                  opcodes.put(0, replace);
 }                  return true;
           }
 const String *SLA2S(Array *literal_string_array, int offset) {          if(strict)
         Operation op;                  assert(opcodes[0].code==find);
         op.cast=literal_string_array->get(offset+0);  
         if(op.code!=OP_VALUE)          return false;
                 return 0;  }
   
         return static_cast<VString *>(literal_string_array->get(offset+1))->get_string();  
 }  bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE last, OP::OPCODE replace) {
           if(opcodes[0].code==find && opcodes[opcodes.count()-1].code==last){
 void change_string_literal_to_double_literal(Array *literal_string_array) {                  opcodes.put(0, replace);
         VString *vstring=static_cast<VString *>(literal_string_array->get(1));                  return true;
         Value *value=vstring->as_expr_result();          }
         literal_string_array->put(1, value);          return false;
 }  }
 void change_string_literal_to_write_string_literal(Array *literal_string_array) {  
         Operation op; op.code=OP_STRING__WRITE;  
         literal_string_array->put(0, op.cast);  // 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)
 void push_LS(parse_control& pc, lexical_state new_state) {                   return false;
         if(pc.sp<MAX_LEXICAL_STATES) {  
                 pc.stack[pc.sp++]=pc.ls;  pc.ls=new_state;          assert(diving_code[0].code==OP::OP_VALUE);
           if(
                   diving_code[4].code==OP::OP_VALUE
                   && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT
           ){
                   O(opcodes, OP::OP_GET_OBJECT_ELEMENT);
                   P(opcodes, 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 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
   bool maybe_make_get_object_var_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){
           if(divine_count!=10)
                   return false;
   
           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
                   ); // copy specified tail
                   return true;
           }
           return false;
   }
   
   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(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.32  
changed lines
  Added in v.1.63

E-mail: