[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.2 and 1.94

version 1.2, 2001/02/20 19:21:13 version 1.94, 2009/06/04 09:31:38
Line 1 Line 1
 /*  /** @file
   $Id$          Parser: compiler support helper functions decls.
   
           Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)
           Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */  */
   
 #ifndef COMPILE_TOOLS  #ifndef COMPILE_TOOLS
 #define COMPILE_TOOLS  #define COMPILE_TOOLS
   
 #include "code.h"  static const char * const IDENT_COMPILE_TOOLS_H="$Date$";
   
   #include "pa_opcode.h"
 #include "pa_types.h"  #include "pa_types.h"
   #include "pa_vstring.h"
   #include "pa_request.h"
   
   /// used to track source column number
   #define TAB_SIZE 8
   
 enum lexical_state {  enum lexical_state {
         LS_USER,          LS_USER, LS_NAME_SQUARE_PART,
         LS_VAR_NAME_SIMPLE,          LS_USER_COMMENT,
           LS_DEF_NAME,
           LS_DEF_PARAMS,
           LS_DEF_LOCALS,
           LS_DEF_COMMENT,
           LS_DEF_SPECIAL_BODY,
           LS_EXPRESSION_STRING_QUOTED,
           LS_EXPRESSION_STRING_APOSTROFED,
           LS_EXPRESSION_VAR_NAME_WITH_COLON, LS_EXPRESSION_VAR_NAME_WITHOUT_COLON,
           LS_EXPRESSION_COMMENT,
           LS_VAR_NAME_SIMPLE_WITH_COLON, LS_VAR_NAME_SIMPLE_WITHOUT_COLON,
         LS_VAR_NAME_CURLY,          LS_VAR_NAME_CURLY,
         LS_VAR_ROUND,          LS_VAR_ROUND,
           LS_VAR_SQUARE,
         LS_VAR_CURLY,          LS_VAR_CURLY,
         LS_METHOD_NAME,          LS_METHOD_NAME,
         LS_METHOD_ROUND,          LS_METHOD_SQUARE,
         LS_METHOD_CURLY,          LS_METHOD_CURLY,
           LS_METHOD_ROUND,
         LS_METHOD_AFTER          LS_METHOD_AFTER
 };  };
 struct parse_control {  
         /* input */  struct Pos {
         void *pool;  
 #ifndef NO_CSTRING_ORIGIN  
         char *source;  
         char *file;  
         int line;          int line;
 #endif          int col;
         /* state */          Pos(int aline, int acol): line(aline), col(acol) {}
         int pending_state/*=0*/;          Pos(): line(0), col(0) {}
         void *string/*=string_create(...)*/;  
           void clear() { line=col=0; }
           operator bool() { return col!=0; }
   };
   
   /// compiler status
   class Parse_control {
           const String* main_alias;
           uint last_line_end_col;
   public:
           const String& alias_method(const String& name);
           //@{
           /// @name input
           Request& request;
           VStateless_class* cclass;
           VStateless_class* cclass_new;
           ArrayClass* cclasses;
           const char* source;
           uint file_no;
           Pos pos;
           //@}
           //@{
           /// @name state; initially
           bool trim_bof;
           int pending_state; ///< i=0
           String::Body string; ///< lexical string accumulator
           Pos string_start;
                   
 #define MAX_LEXICAL_STATES 100  #define MAX_LEXICAL_STATES 100
         enum lexical_state ls/*=LS_USER*/;          enum lexical_state ls; ///< =LS_USER;
         int sp/*=0*/;          int ls_sp; ///< =0
         enum lexical_state stack[MAX_LEXICAL_STATES];          enum lexical_state ls_stack[MAX_LEXICAL_STATES];
         int brackets_nestages[MAX_LEXICAL_STATES];          int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state
   
           bool in_call_value;
           bool explicit_result;
           bool append;
           //@}
                   
         /* output: Array *  */          /// output: filled input 'methods' and 'error' if any
         void *result;          char error[MAX_STRING];
   
           Parse_control(Request& arequest, 
                   VStateless_class* aclass,
                   const char* asource, const String* amain_alias, 
                   uint afile_no,
                   int line_no_offset):
                   main_alias(amain_alias),
                   last_line_end_col(0),
   
                   request(arequest), // input 
   
                   // we were told the class to compile to?
                   cclass(aclass), // until changed with @CLASS would consider operators loading
                   cclass_new(0), 
                   cclasses(new ArrayClass(1)),
                   source(asource), 
                   file_no(afile_no),
                   pos(line_no_offset, 0),
   
                   // initialize state
                   trim_bof(true),
                   pending_state(0),
                   ls(LS_USER),
                   ls_sp(0),
                   in_call_value(false),
                   explicit_result(false),
                   append(false) {
   
                   *cclasses+=aclass;
           }
   
           void class_add(){
                   if(cclass_new){
                           cclass=cclass_new;
                           // append to request's classes
                           request.classes().put(cclass->name(), cclass);
                           *cclasses+=cclass;
                           cclass_new=0;
                           append=false;
                   }
           }
   
           VStateless_class* get_existed_class(VStateless_class* aclass){
                   if(aclass){
                           if(Value* class_value=request.classes().get(aclass->name())){
                                   return class_value->get_class();
                           }
                   }
                   return 0;
           }
   
           bool reuse_existed_class(VStateless_class* aclass){
                   if(aclass->is_partial()){
                           cclass=aclass;
                           cclass_new=0;
                           append=true;
                           return true;
                   } else {
                           return false;
                   }
           }
   
           void set_all_vars_local(){
                   if(cclass_new){
                           cclass_new->set_all_vars_local();
                   } else {
                           cclass->set_all_vars_local();
                   }
           }
   
           void pos_next_line() {
                   pos.line++;
                   last_line_end_col=pos.col;
                   pos.col=0;
           }
           void pos_next_c(int c) {
                   if(c=='\t')
                           pos.col=(pos.col+TAB_SIZE)&~(TAB_SIZE-1);
                   else
                           pos.col++;
           }
           /// not precise in case of \t in the middle of the text
           void pos_prev_c() {
                   if(pos.col==0) {
                           --pos.line;  pos.col=last_line_end_col;
                   } else
                           --pos.col;
           }
           void ungetc() {
                   source--;
                   pos_prev_c();
           }
 };  };
   
 #ifdef __cplusplus  /// New array // return empty array
 extern "C" {  inline ArrayOperation* N() {
           return new ArrayOperation;
   }
   
   /// Assembler instruction // append ordinary instruction to ops
   inline void O(ArrayOperation& result, OP::OPCODE code) {
           result+=Operation(code);
   }
   
   /// aPpend 'code_array' to 'result'
   inline void P(ArrayOperation& result, ArrayOperation& code_array) {
           result.append(code_array);
   }
   /// aPpend part of 'code_array', starting from offset, to 'result'
   inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) {
           result.append(code_array, offset);
   }
   
   /// aPpend part of 'code_array', starting from offset, to 'result'
   inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset, int limit) {
           result.append(code_array, offset, limit);
   }
   
   /// append cOde Array
   inline void OA(ArrayOperation& result, OP::OPCODE code, ArrayOperation* code_array) {
           result+=Operation(code); // append OP_CODE
           result+=Operation(code_array); // append 'code_array'
   }
   
   /**
           Value Literal // returns array with 
           - first op: OP_VALUE instruction
           - second op: origin (debug information)
           - third op: string itself
   */
   inline ArrayOperation* VL(Value* value, uint file_no, uint line, uint col) {
           // empty ops array
           ArrayOperation& result=*N();
   
           // append 'value' to 'result'
           result+=Operation(OP::OP_VALUE);
           result+=Operation(file_no, line, col); // append origin
           result+=Operation(value); // append 'value'
   
           return &result;
   }
   
   /// 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);
   /// 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) {
           if(Value* value=LA2V(literal_string_array, offset, code))
                   return value->get_string();
           return 0;
   }
   
   inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) {
           literal_string_array.put(0, OP::OP_STRING__WRITE);
   }
   
   void maybe_change_string_literal_to_double_literal(ArrayOperation& literal_string_array);
   
   void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);
   
   void changetail_or_append(ArrayOperation& opcodes, 
                                                     OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound);
   
   bool maybe_change_first_opcode(ArrayOperation& opcodes, OP::OPCODE find, OP::OPCODE replace);
   
   
   #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
   inline 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(
                   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_GET_OBJECT_ELEMENT);
                   P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy first origin+value
                   P(opcodes, diving_code, 5, 2); // second origin+value
                   return true;
           }
           return false;
   }
 #endif  #endif
         /* New array // return empty array */  
         void *N(void *apool);  
           
         /* Assembler instruction // append ordinary instruction to result */  
         void A(void **result, enum OPCODE acode);  
   
         /* Assembler arGument // append instruction; append param */  
         void G(void **result, void *param);  
   
         /* Literal // returns array with   #ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
                 // first: OP_STRING instruction  // 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+origin+value
                 // second op: string itself  inline bool maybe_make_get_object_var_element(ArrayOperation& opcodes, ArrayOperation& diving_code, size_t divine_count){
         */          if(divine_count!=10)
         void *L(void *astring);                  return false;
         /* Literal String // return string value from literal array OP+string array */  
         void *LS(void *literal);          assert(diving_code[0].code==OP::OP_VALUE);
           if(
         /* aPpend code array // append code_array to result */                  diving_code[4].code==OP::OP_WITH_READ
         void P(void **result, void *code_array);                  && diving_code[5].code==OP::OP_VALUE
                   && diving_code[divine_count-1].code==OP::OP_GET_ELEMENT
           ){
         void push_LS(struct parse_control *pc);                  O(opcodes, OP::OP_GET_OBJECT_VAR_ELEMENT);
         void pop_LS(struct parse_control *pc);                  P(opcodes, diving_code, 1/*offset*/, 2/*limit*/); // copy first origin+value
                   P(opcodes, diving_code, 6, 2); // second origin+value
         void *string_create(void *pool);                  return true;
           }
 #ifndef NO_STRING_ORIGIN          return false;
 #       define CSTRING_APPEND_PARAMS void *astring, char *piece, size_t size, char *file, uint line  }
 #       define CSTRING_APPEND(astring, piece, size, file, line) real_cstring_append(astring, piece, size, file, line)  
 #else  
 #       define CSTRING_APPEND_PARAMS void *astring, char *piece, size_t size  
 #       define CSTRING_APPEND(astring, piece, size, file, line) real_cstring_append(astring, piece, size)  
 #endif  #endif
         void real_cstring_append(CSTRING_APPEND_PARAMS);  
         char *string_cstr(void *astring);  
   
         void exception(void *pool,   
                 void *atype, void *acode,  
                 void *aproblem_source,   
                 char *acomment);  
   
 #ifdef __cplusplus  // OP_VALUE+origin+self+OP_GET_ELEMENT+OP_VALUE+origin+value+OP_GET_ELEMENT => OP_WITH_SELF__VALUE__GET_ELEMENT+origin+value
   #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);
           if(
                   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  #endif
   
   
   #ifdef OPTIMIZE_BYTECODE_CONSTRUCT
   inline bool maybe_optimize_construct(ArrayOperation& opcodes, ArrayOperation& var_ops, ArrayOperation& expr_ops){
           size_t expr_count=expr_ops.count();
           OP::OPCODE construct_op=expr_ops[expr_count-1].code;
           size_t construct=(construct_op==OP::OP_CONSTRUCT_VALUE)?0x01:(construct_op==OP::OP_CONSTRUCT_EXPR)?0x02:0x00;
           if(construct){
                   P(opcodes, expr_ops, 0/*offset*/, expr_count-1/*limit*/); // copy constructor body without CONSTRUCT_(VALUE|EXPR)
   
                   size_t with=0x00;
                   switch(var_ops[0].code){
                           case OP::OP_WITH_ROOT:
                                   {
                                           with=0x10;
                                           break;
                                   }
                           case OP::OP_WITH_WRITE:
                                   {
                                           with=0x20;
                                           break;
                                   }
                           case OP::OP_WITH_SELF:
                                   {
                                           with=0x30;
                                           break;
                                   }
                   }
   
                   if(with && var_ops[1].code==OP::OP_VALUE && var_ops.count()==4){
                           OP::OPCODE code=OP::OP_VALUE; // calm down compiler. will be reassigned for sure.
                           switch( with | construct ) {
                                   case 0x11:
                                           {
                                                   code=OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE;
                                                   break;
                                           }
                                   case 0x12:
                                           {
                                                   code=OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR;
                                                   break;
                                           }
                                   case 0x21:
                                           {
                                                   code=OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE;
                                                   break;
                                           }
                                   case 0x22:
                                           {
                                                   code=OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR;
                                                   break;
                                           }
                                   case 0x31:
                                           {
                                                   code=OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE;
                                                   break;
                                           }
                                   case 0x32:
                                           {
                                                   code=OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR;
                                                   break;
                                           }
                           }
                           O(opcodes, code);
                           P(opcodes, var_ops, 2/*offset*/, 2/*limit*/); // copy origin+value
                   } else {
                           P(opcodes, var_ops);
                           O(opcodes, construct_op);
                   }
                   return true;
           }
           return false;
   }
   #endif
   
   
   void push_LS(Parse_control& pc, lexical_state new_state);
   void pop_LS(Parse_control& pc);
   
 #endif  #endif
Removed from v.1.2  
changed lines
  Added in v.1.94

E-mail: