123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005 |
- /* $Header$ */
- /* EXPRESSION-CODE GENERATOR */
- #include "nofloat.h"
- #include <em.h>
- #include "debug.h"
- #include "nobitfield.h"
- #include "dataflow.h"
- #include "arith.h"
- #include "type.h"
- #include "idf.h"
- #include "label.h"
- #include "code.h"
- #include "assert.h"
- #include "def.h"
- #include "expr.h"
- #include "sizes.h"
- #include "Lpars.h"
- #include "level.h"
- #include "stack.h"
- #include "align.h"
- #include "mes.h"
- #include "atw.h"
- #define CRASH() crash("EVAL: CRASH at line %u", __LINE__)
- #define toword(n) ((n) < word_size ? word_size : (n))
- char *symbol2str();
- char *long2str();
- arith tmp_pointer_var();
- /* EVAL() is the main expression-tree evaluator, which turns
- any legal expression tree into EM code. Parameters:
- struct expr *expr
- pointer to root of the expression tree to be evaluated
- int val
- indicates whether the resulting expression is to be
- dereferenced (if val == RVAL and expr->ex_lvalue == 1)
- or not (val == LVAL). The latter case indicates that
- the resulting expression is an lvalue expression which
- should not be dereferenced by EVAL
-
- int code
- indicates whether the expression tree must be turned
- into EM code or not. E.g. the expression statement "12;"
- delivers the expression "12" to EVAL while this should
- not result in any EM code
-
- label false_label, label true_label
- if the expression is a logical or relational expression
- and if the loop of the program depends on the resulting
- value then EVAL generates jumps to the specified program
- labels, in case they are specified (i.e. are non-zero)
- */
- EVAL(expr, val, code, true_label, false_label)
- register struct expr *expr;
- int val, code;
- label true_label, false_label;
- {
- register int gencode = (code == TRUE);
- switch (expr->ex_class) {
- case Value: /* just a simple value */
- if (gencode)
- load_val(expr, val);
- break;
- case String: /* a string constant */
- if (gencode) {
- struct expr *ex = expr;
- string2pointer(&ex);
- expr = ex;
- C_lae_dlb(expr->VL_LBL, expr->VL_VALUE);
- }
- break;
- #ifndef NOFLOAT
- case Float: /* a floating constant */
- if (gencode) {
- label datlab = data_label();
-
- C_df_dlb(datlab);
- C_rom_fcon(expr->FL_VALUE, expr->ex_type->tp_size);
- C_lae_dlb(datlab, (arith)0);
- C_loi(expr->ex_type->tp_size);
- }
- break;
- #endif NOFLOAT
- case Oper: /* compound expression */
- {
- int oper = expr->OP_OPER;
- register struct expr *left = expr->OP_LEFT;
- register struct expr *right = expr->OP_RIGHT;
- register struct type *tp = expr->OP_TYPE;
- if (tp->tp_fund == ERRONEOUS || (expr->ex_flags & EX_ERROR)) {
- /* stop immediately */
- break;
- }
- if (tp->tp_fund == VOID)
- gencode = 0;
- switch (oper) {
- case '+':
- /* We have the following possibilities :
- int + int, pointer + int, pointer + long,
- long + long, double + double
- */
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode) {
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- if (tp->tp_unsigned)
- C_adu(tp->tp_size);
- else
- C_adi(tp->tp_size);
- break;
- case POINTER:
- C_ads(right->ex_type->tp_size);
- break;
- #ifndef NOFLOAT
- case DOUBLE:
- C_adf(tp->tp_size);
- break;
- #endif NOFLOAT
- default:
- crash("bad type +");
- }
- }
- break;
- case '-':
- if (left == 0) { /* unary */
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode) {
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- case POINTER:
- C_ngi(tp->tp_size);
- break;
- #ifndef NOFLOAT
- case DOUBLE:
- C_ngf(tp->tp_size);
- break;
- #endif NOFLOAT
- default:
- CRASH();
- }
- }
- break;
- }
- /* else binary; we have the following flavours:
- int - int, pointer - int, pointer - long,
- pointer - pointer, long - long, double - double
- */
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (!gencode)
- break;
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- if (tp->tp_unsigned)
- C_sbu(tp->tp_size);
- else
- C_sbi(tp->tp_size);
- break;
- case POINTER:
- if (right->ex_type->tp_fund == POINTER)
- C_sbs(pointer_size);
- else {
- C_ngi(right->ex_type->tp_size);
- C_ads(right->ex_type->tp_size);
- }
- break;
- #ifndef NOFLOAT
- case DOUBLE:
- C_sbf(tp->tp_size);
- break;
- #endif NOFLOAT
- default:
- crash("bad type -");
- }
- break;
- case '*':
- if (left == 0) /* unary */
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- else { /* binary */
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- case POINTER:
- if (tp->tp_unsigned)
- C_mlu(tp->tp_size);
- else
- C_mli(tp->tp_size);
- break;
- #ifndef NOFLOAT
- case DOUBLE:
- C_mlf(double_size);
- break;
- #endif NOFLOAT
- default:
- crash("bad type *");
- }
- }
- break;
- case '/':
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- case POINTER:
- if (tp->tp_unsigned)
- C_dvu(tp->tp_size);
- else
- C_dvi(tp->tp_size);
- break;
- #ifndef NOFLOAT
- case DOUBLE:
- C_dvf(double_size);
- break;
- #endif NOFLOAT
- default:
- crash("bad type /");
- }
- break;
- case '%':
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- ASSERT(tp->tp_fund==INT || tp->tp_fund==LONG);
- if (gencode)
- if (tp->tp_unsigned)
- C_rmu(tp->tp_size);
- else
- C_rmi(tp->tp_size);
- break;
- case LEFT:
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- if (tp->tp_unsigned)
- C_slu(tp->tp_size);
- else
- C_sli(tp->tp_size);
- break;
- case RIGHT:
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- if (tp->tp_unsigned)
- C_sru(tp->tp_size);
- else
- C_sri(tp->tp_size);
- break;
- case '<':
- case LESSEQ:
- case '>':
- case GREATEREQ:
- case EQUAL:
- case NOTEQUAL:
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode) {
- /* The operands have the same type */
- arith size = left->ex_type->tp_size;
-
- switch (tp->tp_fund) {
- case INT:
- case LONG:
- if (left->ex_type->tp_unsigned)
- C_cmu(size);
- else
- C_cmi(size);
- break;
- #ifndef NOFLOAT
- case FLOAT: /* thought they were converted??? */
- case DOUBLE:
- C_cmf(size);
- break;
- #endif NOFLOAT
- case POINTER:
- C_cmp();
- break;
- case ENUM:
- C_cmi(size);
- break;
- default:
- CRASH();
- }
- if (true_label != 0) {
- compare(oper, true_label);
- C_bra(false_label);
- }
- else {
- truthvalue(oper);
- }
- }
- break;
- case '&':
- case '|':
- case '^':
- /* both operands should have type int */
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode) {
- arith size = tp->tp_size;
- if (size < word_size)
- size = word_size;
- switch (oper) {
- case '&':
- C_and(size);
- break;
- case '|':
- C_ior(size);
- break;
- case '^':
- C_xor(size);
- break;
- }
- }
- break;
- case '=': {
- int newcode = tp->tp_size > 0; /* CJ */
- #ifndef NOBITFIELD
- if (left->ex_type->tp_fund == FIELD) {
- eval_field(expr, gencode);
- break;
- }
- #endif NOBITFIELD
- EVAL(right, RVAL, newcode, NO_LABEL, NO_LABEL);
- if (gencode)
- C_dup(ATW(tp->tp_size));
- if (left->ex_class != Value) {
- EVAL(left, LVAL, newcode, NO_LABEL, NO_LABEL);
- if (newcode)
- store_block(tp->tp_size, tp->tp_align);
- }
- else if (newcode)
- store_val(&(left->ex_object.ex_value),
- left->ex_type);
- }
- break;
- case PLUSAB:
- case MINAB:
- case TIMESAB:
- case DIVAB:
- case MODAB:
- case LEFTAB:
- case RIGHTAB:
- case ANDAB:
- case XORAB:
- case ORAB:
- case POSTINCR:
- case POSTDECR:
- case PLUSPLUS:
- case MINMIN:
- {
- arith old_offset, tmp;
- int compl; /* Complexity of left operand */
- int newcode = left->ex_type->tp_size > 0; /* CJ */
- #ifndef NOBITFIELD
- if (left->ex_type->tp_fund == FIELD) {
- eval_field(expr, gencode);
- break;
- }
- #endif NOBITFIELD
- if (newcode && left->ex_class == Value) {
- compl = 0; /* Value */
- load_val(left, RVAL);
- }
- else
- if (left->ex_depth == 1 &&
- !(left->ex_flags & EX_SIDEEFFECTS)) {
- compl = 1;
- EVAL(left, RVAL, newcode, NO_LABEL, NO_LABEL);
- }
- else {
- compl = 2; /* otherwise */
- EVAL(left, LVAL, newcode, NO_LABEL, NO_LABEL);
- if (newcode) {
- tmp = tmp_pointer_var(&old_offset);
- C_dup(pointer_size);
- C_lal(tmp);
- C_sti(pointer_size);
- C_loi(left->ex_type->tp_size);
- }
- }
- if (newcode) {
- conversion(left->ex_type, tp);
- if (gencode && (oper == POSTINCR ||
- oper == POSTDECR))
- C_dup(tp->tp_size);
- }
- EVAL(right, RVAL, newcode, NO_LABEL, NO_LABEL);
- if (newcode) {
- assop(tp, oper);
- if (gencode && oper != POSTINCR &&
- oper != POSTDECR)
- C_dup(tp->tp_size);
- conversion(tp, left->ex_type);
- }
- if (newcode && compl == 0)
- store_val(&(left->ex_object.ex_value),
- left->ex_type);
- else
- if (compl == 1) {
- EVAL(left, LVAL, newcode, NO_LABEL, NO_LABEL);
- if (newcode) C_sti(left->ex_type->tp_size);
- }
- else if (newcode) {
- C_lal(tmp); /* always init'd */
- C_loi(pointer_size);
- C_sti(left->ex_type->tp_size);
- free_tmp_var(old_offset);
- }
- break;
- }
- case '(':
- {
- register struct expr *ex;
- arith ParSize = (arith)0;
- if ((ex = right) != NILEXPR) {
- /* function call with parameters*/
- while ( ex->ex_class == Oper &&
- ex->OP_OPER == PARCOMMA
- ) {
- EVAL(ex->OP_RIGHT, RVAL,
- ex->ex_type->tp_size > 0,
- NO_LABEL, NO_LABEL);
- ParSize += ATW(ex->ex_type->tp_size);
- ex = ex->OP_LEFT;
- }
- EVAL(ex, RVAL, ex->ex_type->tp_size > 0,
- NO_LABEL, NO_LABEL);
- ParSize += ATW(ex->ex_type->tp_size);
- }
- if (left->ex_class == Value && left->VL_CLASS == Name) {
- /* e.g., main() { (*((int (*)())0))(); } */
- C_cal(left->VL_IDF->id_text);
- #ifdef DATAFLOW
- { extern char options[];
- if (options['d'])
- DfaCallFunction(
- left->VL_IDF->id_text);
- }
- #endif DATAFLOW
- }
- else {
- EVAL(left, LVAL, TRUE, NO_LABEL, NO_LABEL);
- C_cai();
- }
- /* remove parameters from stack */
- if (ParSize > (arith)0)
- C_asp(ParSize);
- if (gencode) {
- if (is_struct_or_union(tp->tp_fund)) {
- C_lfr(pointer_size);
- load_block(tp->tp_size, tp->tp_align);
- }
- else
- C_lfr(ATW(tp->tp_size));
- }
- break;
- }
- case '.':
- EVAL(left, LVAL, gencode, NO_LABEL, NO_LABEL);
- ASSERT(is_cp_cst(right));
- if (gencode)
- C_adp(right->VL_VALUE);
- break;
- case ARROW:
- EVAL(left, RVAL, gencode, NO_LABEL, NO_LABEL);
- ASSERT(is_cp_cst(right));
- if (gencode)
- C_adp(right->VL_VALUE);
- break;
- case ',':
- EVAL(left, RVAL, FALSE, NO_LABEL, NO_LABEL);
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- break;
- case '~':
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- C_com(tp->tp_size);
- break;
- case '?': /* must be followed by ':' */
- {
- label l_true = text_label();
- label l_false = text_label();
- label l_end = text_label();
- EVAL(left, RVAL, TRUE, l_true, l_false);
- C_df_ilb(l_true);
- EVAL(right->OP_LEFT, RVAL, gencode, NO_LABEL, NO_LABEL);
- C_bra(l_end);
- C_df_ilb(l_false);
- EVAL(right->OP_RIGHT, RVAL, gencode, NO_LABEL, NO_LABEL);
- C_df_ilb(l_end);
- break;
- }
- case AND:
- if (true_label == 0) {
- label l_true = text_label();
- label l_false = text_label();
- label l_maybe = text_label();
- label l_end = text_label();
- EVAL(left, RVAL, TRUE, l_maybe, l_false);
- C_df_ilb(l_maybe);
- if (gencode) {
- EVAL(right, RVAL, TRUE, l_true,
- l_false);
- C_df_ilb(l_true);
- C_loc((arith)1);
- C_bra(l_end);
- C_df_ilb(l_false);
- C_loc((arith)0);
- C_df_ilb(l_end);
- }
- else {
- EVAL(right, RVAL, FALSE, l_false,
- l_false);
- C_df_ilb(l_false);
- }
- }
- else {
- label l_maybe = text_label();
- EVAL(left, RVAL, TRUE, l_maybe, false_label);
- C_df_ilb(l_maybe);
- EVAL(right, RVAL, gencode, true_label,
- false_label);
- }
- break;
- case OR:
- if (true_label == 0) {
- label l_true = text_label();
- label l_false = text_label();
- label l_maybe = text_label();
- label l_end = text_label();
- EVAL(left, RVAL, TRUE, l_true, l_maybe);
- C_df_ilb(l_maybe);
- if (gencode) {
- EVAL(right, RVAL, TRUE, l_true,
- l_false);
- C_df_ilb(l_true);
- C_loc((arith)1);
- C_bra(l_end);
- C_df_ilb(l_false);
- C_loc((arith)0);
- C_df_ilb(l_end);
- }
- else {
- EVAL(right, RVAL, FALSE, l_true,
- l_true);
- C_df_ilb(l_true);
- }
- }
- else {
- label l_maybe = text_label();
- EVAL(left, RVAL, TRUE, true_label, l_maybe);
- C_df_ilb(l_maybe);
- EVAL(right, RVAL, gencode, true_label,
- false_label);
- }
- break;
- case '!':
- if (true_label == 0) {
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode) {
- C_teq();
- }
- }
- else
- EVAL(right, RVAL, gencode, false_label,
- true_label);
- break;
- case INT2INT:
- #ifndef NOFLOAT
- case INT2FLOAT:
- case FLOAT2INT:
- case FLOAT2FLOAT:
- #endif NOFLOAT
- EVAL(right, RVAL, gencode, NO_LABEL, NO_LABEL);
- if (gencode)
- conversion(right->ex_type, left->ex_type);
- break;
- default:
- crash("(EVAL) bad operator %s\n", symbol2str(oper));
- }
- /* If the rvalue of the expression is required but
- only its lvalue is evaluated, its rvalue is
- loaded by the following statements:
- */
- if (gencode && val == RVAL && expr->ex_lvalue == 1)
- load_block(expr->ex_type->tp_size,
- expr->ex_type->tp_align);
- break;
- }
- default:
- crash("(EVAL) bad expression class");
- }
- }
- /* compare() serves as an auxiliary function of EVAL */
- compare(relop, lbl)
- int relop;
- label lbl;
- {
- switch (relop) {
- case '<':
- C_zlt(lbl);
- break;
- case LESSEQ:
- C_zle(lbl);
- break;
- case '>':
- C_zgt(lbl);
- break;
- case GREATEREQ:
- C_zge(lbl);
- break;
- case EQUAL:
- C_zeq(lbl);
- break;
- case NOTEQUAL:
- C_zne(lbl);
- break;
- default:
- CRASH();
- }
- }
- /* truthvalue() serves as an auxiliary function of EVAL */
- truthvalue(relop)
- int relop;
- {
- switch (relop) {
- case '<':
- C_tlt();
- break;
- case LESSEQ:
- C_tle();
- break;
- case '>':
- C_tgt();
- break;
- case GREATEREQ:
- C_tge();
- break;
- case EQUAL:
- C_teq();
- break;
- case NOTEQUAL:
- C_tne();
- break;
- default:
- CRASH();
- }
- }
- /* assop() generates the opcode of an assignment operators op= */
- assop(type, oper)
- register struct type *type;
- int oper;
- {
- register arith size;
- register uns = type->tp_unsigned;
- if ((size = type->tp_size) < word_size)
- size = word_size;
- switch (type->tp_fund) {
- case CHAR:
- case SHORT:
- case INT:
- case LONG:
- case ENUM:
- switch (oper) {
- case PLUSAB:
- case PLUSPLUS:
- case POSTINCR:
- if (uns)
- C_adu(size);
- else
- C_adi(size);
- break;
- case MINAB:
- case MINMIN:
- case POSTDECR:
- if (uns)
- C_sbu(size);
- else
- C_sbi(size);
- break;
- case TIMESAB:
- if (uns)
- C_mlu(size);
- else
- C_mli(size);
- break;
- case DIVAB:
- if (uns)
- C_dvu(size);
- else
- C_dvi(size);
- break;
- case MODAB:
- if (uns)
- C_rmu(size);
- else
- C_rmi(size);
- break;
- case LEFTAB:
- if (uns)
- C_slu(size);
- else
- C_sli(size);
- break;
- case RIGHTAB:
- if (uns)
- C_sru(size);
- else
- C_sri(size);
- break;
- case ANDAB:
- C_and(size);
- break;
- case XORAB:
- C_xor(size);
- break;
- case ORAB:
- C_ior(size);
- break;
- }
- break;
- #ifndef NOFLOAT
- case FLOAT:
- case DOUBLE:
- switch (oper) {
- case PLUSAB:
- case PLUSPLUS:
- case POSTINCR:
- C_adf(size);
- break;
- case MINAB:
- case MINMIN:
- case POSTDECR:
- C_sbf(size);
- break;
- case TIMESAB:
- C_mlf(size);
- break;
- case DIVAB:
- C_dvf(size);
- break;
- }
- break;
- #endif NOFLOAT
- case POINTER:
- if (oper == MINAB || oper == MINMIN || oper == POSTDECR)
- C_ngi(size);
- C_ads(size);
- break;
- case ERRONEOUS:
- break;
- default:
- crash("(assop) bad type %s\n", symbol2str(type->tp_fund));
- }
- }
- /* tmp_pointer_var() returns the EM address of a new temporary
- pointer variable needed at increment, decrement and assignment
- operations to store the address of some variable or lvalue-expression.
- */
- arith
- tmp_pointer_var(oldoffset)
- arith *oldoffset; /* previous allocated address */
- {
- register struct stack_level *stl = local_level;
- *oldoffset = stl->sl_local_offset;
- stl->sl_local_offset =
- - align(-stl->sl_local_offset + pointer_size, pointer_align);
- if (stl->sl_local_offset < stl->sl_max_block)
- stl->sl_max_block = stl->sl_local_offset;
- return stl->sl_local_offset;
- }
- /* free_tmp_var() returns the address allocated by tmp_pointer_var()
- and resets the last allocated address.
- */
- free_tmp_var(oldoffset)
- arith oldoffset;
- {
- local_level->sl_local_offset = oldoffset;
- }
- /* store_val() generates code for a store operation.
- There are four ways of storing data:
- - into a global variable
- - into an automatic local variable
- - into a local static variable
- - absolute addressing
- */
- store_val(vl, tp)
- register struct value *vl;
- struct type *tp;
- {
- arith size = tp->tp_size;
- int tpalign = tp->tp_align;
- int al_on_word;
- register int inword;
- register int indword;
- arith val = vl->vl_value;
- if (vl->vl_class == Const) { /* absolute addressing */
- load_cst(val, pointer_size);
- store_block(size, tpalign);
- return;
- }
- al_on_word = (tpalign % word_align == 0);
- if (!(inword = (size == word_size && al_on_word)))
- indword = (size == dword_size && al_on_word);
- if (vl->vl_class == Name) {
- register struct idf *id = vl->vl_data.vl_idf;
- register struct def *df = id->id_def;
- if (df->df_level == L_GLOBAL) {
- if (inword)
- C_ste_dnam(id->id_text, val);
- else
- if (indword)
- C_sde_dnam(id->id_text, val);
- else {
- C_lae_dnam(id->id_text, val);
- store_block(size, tpalign);
- }
- }
- else {
- ASSERT(df->df_sc != STATIC);
- if (inword)
- C_stl(df->df_address + val);
- else
- if (indword)
- C_sdl(df->df_address + val);
- else {
- C_lal(df->df_address + val);
- store_block(size, tpalign);
- df->df_register = REG_NONE;
- }
- }
- }
- else {
- label dlb = vl->vl_data.vl_lbl;
- ASSERT(vl->vl_class == Label);
- if (inword)
- C_ste_dlb(dlb, val);
- else
- if (indword)
- C_sde_dlb(dlb, val);
- else {
- C_lae_dlb(dlb, val);
- store_block(size, tpalign);
- }
- }
- }
- /* load_val() generates code for stacking a certain value (from ex),
- which can be obtained in one of the following ways:
- - value from absolute addressed memory
- - constant value
- - function result
- - global variable
- - static variable
- - local variable
- */
- load_val(expr, val)
- register struct expr *expr; /* expression containing the value */
- int val; /* generate either LVAL or RVAL */
- {
- register struct type *tp = expr->ex_type;
- int rvalue = (val == RVAL && expr->ex_lvalue != 0);
- arith size = tp->tp_size;
- int tpalign = tp->tp_align;
- int al_on_word;
- register int inword, indword;
- arith val = expr->VL_VALUE;
- if (expr->VL_CLASS == Const) {
- if (rvalue) { /* absolute addressing */
- load_cst(val, pointer_size);
- load_block(size, tpalign);
- }
- else /* integer, unsigned, long, enum etc */
- load_cst(val, size);
- return;
- }
- if (rvalue) {
- al_on_word = (tpalign % word_align == 0);
- if (!(inword = (size == word_size && al_on_word)))
- indword = (size == dword_size && al_on_word);
- }
- if (expr->VL_CLASS == Label) {
- if (rvalue) {
- if (inword)
- C_loe_dlb(expr->VL_LBL, val);
- else
- if (indword)
- C_lde_dlb(expr->VL_LBL, val);
- else {
- C_lae_dlb(expr->VL_LBL, val);
- load_block(size, tpalign);
- }
- }
- else {
- C_lae_dlb(expr->VL_LBL, (arith)0);
- C_adp(val);
- }
- }
- else {
- register struct idf *id = expr->VL_IDF;
- register struct def *df;
- ASSERT(expr->VL_CLASS == Name);
- if ((df = id->id_def)->df_type->tp_fund == FUNCTION)
- /* the previous statement tried to catch a function
- identifier, which may be cast to a pointer to a
- function.
- ASSERT(!(rvalue)); ???
- */
- C_lpi(id->id_text);
- else
- if (df->df_level == L_GLOBAL) {
- if (rvalue) {
- if (inword)
- C_loe_dnam(id->id_text, val);
- else
- if (indword)
- C_lde_dnam(id->id_text, val);
- else {
- C_lae_dnam(id->id_text, val);
- load_block(size, tpalign);
- }
- }
- else {
- C_lae_dnam(id->id_text, (arith)0);
- C_adp(val);
- }
- }
- else {
- ASSERT(df->df_sc != STATIC);
- if (rvalue) {
- if (inword)
- C_lol(df->df_address + val);
- else
- if (indword)
- C_ldl(df->df_address + val);
- else {
- C_lal(df->df_address + val);
- load_block(size, tpalign);
- df->df_register = REG_NONE;
- }
- }
- else {
- C_lal(df->df_address);
- C_adp(val);
- df->df_register = REG_NONE;
- }
- }
- }
- }
- load_cst(val, siz)
- arith val, siz;
- {
- if (siz <= word_size)
- C_loc(val);
- else
- if (siz == dword_size)
- C_ldc(val);
- else {
- label datlab;
- C_df_dlb(datlab = data_label());
- C_rom_icon(long2str((long)val, 10), siz);
- C_lae_dlb(datlab, (arith)0);
- C_loi(siz);
- }
- }
|