--- parser3/src/main/compile_tools.C 2001/06/28 07:41:59 1.35 +++ parser3/src/main/compile_tools.C 2009/05/20 09:08:53 1.63 @@ -1,13 +1,11 @@ /** @file Parser: compiler support helper functions. - Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) - - Author: Alexander Petrosyan (http://design.ru/paf) - - $Id: compile_tools.C,v 1.35 2001/06/28 07:41:59 parser Exp $ + Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com) + Author: Alexandr Petrosian (http://paf.design.ru) */ -static char *RCSId="$Id: compile_tools.C,v 1.35 2001/06/28 07:41:59 parser Exp $"; + +static const char * const IDENT_COMPILE_TOOLS_C="$Date: 2009/05/20 09:08:53 $"; #include "compile_tools.h" #include "pa_string.h" @@ -16,71 +14,124 @@ static char *RCSId="$Id: compile_tools.C #include "pa_vstring.h" #include "pa_vdouble.h" -void PV(Array/**/ *result, Value *value) { - // append OP_VALUE - Operation op; op.code=OP_VALUE; - *result+=op.cast; - - // append 'value' - *result+=value; -} - -void PCA(Array/**/ *result, Array/**/ *code_array) { - // append OP_CODE - Operation op; op.code=OP_CURLY_CODE__STORE_PARAM; - *result+=op.cast; - - // append 'vstring' - *result+=code_array; -} - -void PEA(Array/**/ *result, Array/**/ *code_array) { - // append OP_CODE - Operation op; op.code=OP_EXPR_CODE__STORE_PARAM; - *result+=op.cast; - - // append 'vstring' - *result+=code_array; -} - -Array *VL(Value *value) { - // empty ops array - Array *result=N(value->pool()); - - // append 'value' to 'result' - PV(result, value); - - return result; -} - -Value *LA2V(Array *literal_string_array, int offset) { - Operation op; - op.cast=literal_string_array->get(offset+0); - if(op.code!=OP_VALUE) - return 0; - - return static_cast(literal_string_array->get(offset+1)); -} - -void change_string_literal_to_double_literal(Array *literal_string_array) { - VString *vstring=static_cast(literal_string_array->get(1)); - Value *value=vstring->as_expr_result(); - literal_string_array->put(1, value); -} -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); -} - -void push_LS(parse_control& pc, lexical_state new_state) { - if(pc.sp(literal_array[2/*opcode+origin*/].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) { + assert(literal_string_array[0].code==OP::OP_VALUE); + static_cast(literal_string_array[2/*opcode+origin*/].value)->set_string(new_value); +} + +void changetail_or_append(ArrayOperation& opcodes, + OP::OPCODE find, bool with_argument, OP::OPCODE replace, OP::OPCODE notfound) { + int tail=opcodes.count()-(with_argument?2:1); + if(tail>=0) { + 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; +} + + +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){ + opcodes.put(0, replace); + return true; + } + return false; +} + + +// 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( + 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_spTHROW(0, 0, 0, "push_LS: stack overflow"); + throw Exception(0, 0, + "push_LS: ls_stack overflow"); } -void pop_LS(parse_control& pc) { - if(--pc.sp>=0) - pc.ls=pc.stack[pc.sp]; +void pop_LS(Parse_control& pc) { + if(--pc.ls_sp>=0) + pc.ls=pc.ls_stack[pc.ls_sp]; else - pc.pool->THROW(0, 0, 0, "pop_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; }