int postfix_expression(void) { if ( primary_expression() ) { } else if( postfix_expression() ) { if( lookaheadT.type == LBRACKET ) { match(LBRACKET); expression(); match(RBRACKET); } else if( lookaheadT.type == LPAREN ) { match(LPAREN); if( argument_expression_list() ) { } match(RPAREN); } else if( lookaheadT.type == PERIOD ) { match(PERIOD); match(ID); } else if( lookaheadT.type == PTR_OP ) { match(PTR_OP); match(ID); } else if( lookaheadT.type == INC_OP ) { match(INC_OP); } else if( lookaheadT.type == DEC_OP ) { match(DEC_OP); } else { abort(); } } else { abort(); } }
int argument_expression_list(void) { if( assignment_expression() ) { } else if( argument_expression_list() ) { match(COMMA); assignment_expression(); } else { abort(); } }
/** 后缀表达式 <postfix_expression>::=<primary_expression> {<TK_OPENPA><expression><TK_CLOSEPA> |<TK_OPENPA><TK_CLOSEPA> |<TK_OPENPA><arguement_expression_list><TK_CLOSEPA> |<TK_DOT><IDENTIFIER> |<TK_POINTSTO><IDENTIFIER>} */ void postfix_expression(){ primary_expression(); while(1){ if(TK_DOT == token || TK_POINTSTO == token){ get_token(); token |= SC_MEMBER; get_token(); }else if(TK_OPENBR == token){ get_token(); expression(); skip(TK_CLOSEBR); get_token(); }else if(TK_OPENPA == token){ argument_expression_list(); }else break; } }
struct Symbol* postfix_expression(struct PostfixExpression* node, struct Symbol** orig_symbol) { struct Symbol* symbol, *ref, *newSymbol = 0, *symbol1; switch (node->type) { case 0: return primary_expression(node->primaryExpression, orig_symbol); case 1: symbol = load_symbol(postfix_expression(node->postfixExpression, orig_symbol)); test_referenceable(symbol); ref = load_symbol(expression_func(node->expression)); *orig_symbol = new_symbol("", symbol->storage, 0, symbol->specifier, symbol->stars - 1, 0, 0); if (symbol->stars == 1) (*orig_symbol)->specifier = 32; ADDSTRING(" "); code_gen_symbol('%', *orig_symbol); ADDSTRING(" = getelementptr inbounds "); code_gen_type_specifier(symbol->specifier, 0, symbol->length, symbol->stars); ADDSTRING(" "); if (symbol->depth == 0) code_gen_symbol('@', symbol); else code_gen_symbol('%', symbol); if (symbol->length) ADDSTRING(", i32 0"); ADDSTRING(", "); test_integer(ref); code_gen_type_specifier(ref->specifier, 0, 0, 0); ADDSTRING(" "); code_gen_symbol('%', ref); ADDSTRING("\n"); ADDSTRING(" "); newSymbol = new_symbol("", 0, 2, symbol->specifier, symbol->stars - 1, 0, 0); newSymbol->reference = *orig_symbol; code_gen_symbol('%', newSymbol); ADDSTRING(" = load "); code_gen_type_specifier(symbol->specifier, 0, (*orig_symbol)->length, symbol->stars); ADDSTRING(" "); code_gen_symbol('%', *orig_symbol); ADDSTRING(", align "); if (newSymbol->stars) { if (PTR_LENGTH == 8) { ADDSTRING("8\n"); } else { ADDSTRING("4\n"); } } else { int len = len_gen_type_specifier(newSymbol->specifier); sprintf(buf, "%d\n", len); ADDSTRING(buf); } return newSymbol; case 2: case 3: symbol = postfix_expression(node->postfixExpression, orig_symbol); test_functionable(symbol); if (node->type == 3) { argument_expression_list(node->argumentExpressionList, symbol->parameterlist); } if (!(symbol->specifier & 0x02)) { newSymbol = new_symbol("", symbol->storage, 2, symbol->specifier, symbol->stars, 0, symbol->length); ADDSTRING(" "); code_gen_symbol('%', newSymbol); ADDSTRING(" = call "); } else { ADDSTRING(" call "); newSymbol = symbol; } if (strcmp(symbol->name, "free") != 0) { code_gen_type_specifier(symbol->specifier, 0, symbol->length, symbol->stars); ADDSTRING(" "); if (strcmp(symbol->name, "printf") == 0 || strcmp(symbol->name, "scanf") == 0) { ADDSTRING("(i8*, ...)* "); } code_gen_symbol('@', symbol); } else { ADDSTRING("i32 ("); code_gen_type_specifier(symbol_arg[0]->specifier, 0, 0, symbol_arg[0]->stars); ADDSTRING(", ...)* bitcast (i32 (...)* @free to i32 ("); code_gen_type_specifier(symbol_arg[0]->specifier, 0, 0, symbol_arg[0]->stars); ADDSTRING(", ...)*)"); } ADDSTRING("("); if (node->type == 3) { pop_arg(); } ADDSTRING(")\n"); *orig_symbol = newSymbol; return newSymbol; case 4: case 5: // to do: struct return 0; case 6: case 7: symbol = load_symbol(postfix_expression(node->postfixExpression, orig_symbol)); test_changeable(*orig_symbol); symbol1 = new_symbol("", symbol->storage, 2, symbol->specifier, symbol->stars, 0, symbol->length); ADDSTRING(" "); code_gen_symbol('%', symbol1); ADDSTRING(" = "); if ((symbol->specifier & (3 << 6)) > 0) { ADDSTRING("f"); } if (node->type == 6) { ADDSTRING("add "); } else { ADDSTRING("sub "); } code_gen_type_specifier(symbol->specifier,1,symbol->length, symbol->stars); ADDSTRING(" "); code_gen_symbol('%', symbol); ADDSTRING(", "); if ((symbol->specifier & (3 << 6)) > 0) { ADDSTRING("1.000000e+00\n"); } else { ADDSTRING("1\n"); } ADDSTRING(" store "); code_gen_type_specifier(symbol->specifier,0,symbol->length, symbol->stars); ADDSTRING(" "); code_gen_symbol('%', symbol1); ADDSTRING(", "); code_gen_type_specifier(symbol->specifier,0,symbol->length, symbol->stars); ADDSTRING("* "); code_gen_symbol('%', *orig_symbol); ADDSTRING(", align "); int l = len_gen_type_specifier(symbol->specifier); sprintf(buf, "%d", l); ADDSTRING(buf); ADDSTRING("\n"); return symbol; default: return 0; } }