Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20060417132352

Diff

Diff from 1.1 to:

Annotations

Annotate by Age | Author | Mixed | None
/fisheye/browse/pcc/pcc/arch/mips/local.c

Annotated File View

ragge
1.1
1 /*      $Id: local.c,v 1.1 2006/04/17 13:23:52 ragge Exp $      */
2 /*
3  * Copyright (c) 2003 Anders Magnusson (ragge@ludd.luth.se).
4  * All rights reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  * 3. The name of the author may not be used to endorse or promote products
15  *    derived from this software without specific prior written permission
16  *
17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29 /*
30  * MIPS port by Jan Enoksson (janeno-1@student.ltu.se) and
31  * Simon Olsson (simols-1@student.ltu.se) 2005.
32  */
33
34 # include "pass1.h"
35
36 /*      this file contains code which is dependent on the target machine */
37
38 NODE *
39 clocal(NODE *p)
40 {
41         /* this is called to do local transformations on
42            an expression tree preparitory to its being
43            written out in intermediate code.
44         */
45
46         /* the major essential job is rewriting the
47            automatic variables and arguments in terms of
48            REG and OREG nodes */
49         /* conversion ops which are not necessary are also clobbered here */
50         /* in addition, any special features (such as rewriting
51            exclusive or) are easily handled here as well */
52
53         register struct symtab *q;
54         register NODE *r, *l;
55         register int o;
56         register int mml;
57         TWORD t;
58
59 //printf("in:\n");
60 //fwalk(p, eprint, 0);
61         switcho = p->n_op ){
62
63         case NAME:
64                 if ((q = p->n_sp) == NULL)
65                         return p/* Nothing to care about */
66
67                 switch (q->sclass) {
68
69                 case PARAM:
70                 case AUTO:
71                         /* fake up a structure reference */
72                         r = block(REGNILNILPTR+STRTY00);
73                         r->n_lval = 0;
74                         r->n_rval = FPREG;
75                         p = stref(block(STREFrp000));
76                         break;
77
78                 case STATIC:
79                         if (q->slevel == 0)
80                                 break;
81                         p->n_lval = 0;
82                         p->n_sp = q;
83                         break;
84
85                 case REGISTER:
86                         p->n_op = REG;
87                         p->n_lval = 0;
88                         p->n_rval = q->soffset;
89                         break;
90
91                         }
92                 break;
93
94         case FUNARG:
95                 /* Args smaller than int are given as int */
96                 if (p->n_type != CHAR && p->n_type != UCHAR && 
97                     p->n_type != SHORT && p->n_type != USHORT)
98                         break;
99                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
100                 p->n_type = INT;
101                 p->n_sue = MKSUE(INT);
102                 p->n_rval = SZINT;
103                 break;
104
105         case CBRANCH:
106                 l = p->n_left;
107
108                 /*
109                  * Remove unneccessary conversion ops.
110                  */
111                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
112                         if (coptype(l->n_op) != BITYPE)
113                                 break;
114                         if (l->n_right->n_op == ICON) {
115                                 r = l->n_left->n_left;
116                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
117                                         break;
118                                 /* Type must be correct */
119                                 t = r->n_type;
120                                 nfree(l->n_left);
121                                 l->n_left = r;
122                                 l->n_type = t;
123                                 l->n_right->n_type = t;
124                         }
125 #if 0
126                           else if (l->n_right->n_op == SCONV &&
127                             l->n_left->n_type == l->n_right->n_type) {
128                                 r = l->n_left->n_left;
129                                 nfree(l->n_left);
130                                 l->n_left = r;
131                                 r = l->n_right->n_left;
132                                 nfree(l->n_right);
133                                 l->n_right = r;
134                         }
135 #endif
136                 }
137                 break;
138
139         case PCONV:
140                 ml = p->n_left->n_type;
141                 l = p->n_left;
142                 if ((ml == CHAR || ml == UCHAR || ml == SHORT || ml == USHORT)
143                     && l->n_op != ICON)
144                         break;
145                 l->n_type = p->n_type;
146                 l->n_qual = p->n_qual;
147                 l->n_df = p->n_df;
148                 l->n_sue = p->n_sue;
149                 nfree(p);
150                 p = l;
151                 break;
152
153         case SCONV:
154                 l = p->n_left;
155
156                 if (p->n_type == l->n_type) {
157                         nfree(p);
158                         return l;
159                 }
160
161                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
162                     btdims[p->n_type].suesize == btdims[l->n_type].suesize) {
163                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
164                             l->n_type != FLOAT && l->n_type != DOUBLE &&
165                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
166                                 if (l->n_op == NAME || l->n_op == UMUL) {
167                                         l->n_type = p->n_type;
168                                         nfree(p);
169                                         return l;
170                                 }
171                         }
172                 }
173
174 #if 0
175                 if ((p->n_type == INT || p->n_type == UNSIGNED) &&
176                     ISPTR(l->n_type)) {
177                         nfree(p);
178                         return l;
179                 }
180 #endif
181
182                 o = l->n_op;
183                 m = p->n_type;
184
185                 if (o == ICON) {
186                         CONSZ val = l->n_lval;
187
188                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
189                             switch (m) {
190                         case CHAR:
191                                 l->n_lval = (char)val;
192                                 break;
193                         case UCHAR:
194                                 l->n_lval = val & 0377;
195                                 break;
196                         case SHORT:
197                                 l->n_lval = (short)val;
198                                 break;
199                         case USHORT:
200                                 l->n_lval = val & 0177777;
201                                 break;
202                         case ULONG:
203                         case UNSIGNED:
204                                 l->n_lval = val & 0xffffffff;
205                                 break;
206                         case ENUMTY:
207                         case MOETY:
208                         case LONG:
209                         case INT:
210                                 l->n_lval = (int)val;
211                                 break;
212                         case LONGLONG:
213                                 l->n_lval = (long long)val;
214                                 break;
215                         case ULONGLONG:
216                                 l->n_lval = val;
217                                 break;
218                         case VOID:
219                                 break;
220                         case LDOUBLE:
221                         case DOUBLE:
222                         case FLOAT:
223                                 l->n_op = FCON;
224                                 l->n_dcon = val;
225                                 break;
226                         default:
227                                 cerror("unknown type %d"m);
228                         }
229                         l->n_type = m;
230                         nfree(p);
231                         return l;
232                 }
233                 if (DEUNSIGN(p->n_type) == SHORT &&
234                     DEUNSIGN(l->n_type) == SHORT) {
235                         nfree(p);
236                         p = l;
237                 }
238                 break;
239
240         case MOD:
241         case DIV:
242                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
243                         break;
244                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
245                         break;
246                 /* make it an int division by inserting conversions */
247                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
248                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
249                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
250                 p->n_left->n_type = INT;
251                 break;
252
253         case PMCONV:
254         case PVCONV:
255                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
256                 nfree(p);
257                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
258
259         case FORCE:
260                 /* put return value in return reg */
261                 p->n_op = ASSIGN;
262                 p->n_right = p->n_left;
263                 p->n_left = block(REGNILNILp->n_type0,
264                                   MKSUE(INT));
265                 p->n_left->n_rval = RETREG;
266                 break;
267         }
268 //printf("ut:\n");
269 //fwalk(p, eprint, 0);
270
271
272         return(p);
273 }
274
275 void
276 myp2tree(NODE *p)
277 {
278 }
279
280 /*ARGSUSED*/
281 int
282 andable(NODE *p)
283 {
284         return(1);  /* all names can have & taken on them */
285 }
286
287 /*
288  * at the end of the arguments of a ftn, set the automatic offset
289  */
290 void
291 cendarg()
292 {
293         autooff = AUTOINIT;
294 }
295
296 /*
297  * is an automatic variable of type t OK for a register variable
298  */
299 int
300 cisreg(TWORD t)
301 {
302         if (t == INT || t == UNSIGNED || t == LONG || t == ULONG)
303                 return(1);
304         return 0/* XXX - fix reg assignment in pftn.c */
305 }
306
307 /*
308  * return a node, for structure references, which is suitable for
309  * being added to a pointer of type t, in order to be off bits offset
310  * into a structure
311  * t, d, and s are the type, dimension offset, and sizeoffset
312  * For pdp10, return the type-specific index number which calculation
313  * is based on its size. For example, short a[3] would return 3.
314  * Be careful about only handling first-level pointers, the following
315  * indirections must be fullword.
316  */
317 NODE *
318 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
319 {
320         register NODE *p;
321
322         if (xdebug)
323                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
324                     offtdsue->suesize);
325
326         p = bcon(0);
327         p->n_lval = off/SZCHAR/* Default */
328         return(p);
329 }
330
331 /*
332  * Allocate off bits on the stack.  p is a tree that when evaluated
333  * is the multiply count for off, t is a NAME node where to write
334  * the allocated address.
335  */
336 void
337 spalloc(NODE *tNODE *pOFFSZ off)
338 {
339         NODE *sp;
340
341         if ((off % SZINT) == 0)
342                 p =  buildtree(MULpbcon(off/SZINT));
343         else if ((off % SZSHORT) == 0) {
344                 p = buildtree(MULpbcon(off/SZSHORT));
345                 p = buildtree(PLUSpbcon(1));
346                 p = buildtree(RSpbcon(1));
347         } else if ((off % SZCHAR) == 0) {
348                 p = buildtree(MULpbcon(off/SZCHAR));
349                 p = buildtree(PLUSpbcon(3));
350                 p = buildtree(RSpbcon(2));
351         } else
352                 cerror("roundsp");
353
354         /* save the address of sp */
355         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
356         sp->n_lval = 0;
357         sp->n_rval = STKREG;
358         t->n_type = sp->n_type;
359         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
360
361         /* add the size to sp */
362         sp = block(REGNILNILp->n_type00);
363         sp->n_lval = 0;
364         sp->n_rval = STKREG;
365         ecomp(buildtree(PLUSEQspp));
366 }
367
368 /*
369  * print out a constant node
370  * mat be associated with a label
371  */
372 void
373 ninval(NODE *p)
374 {
375         struct symtab *q;
376         TWORD t;
377
378         p = p->n_left;
379         t = p->n_type;
380         if (t > BTMASK)
381                 t = INT/* pointer */
382
383         switch (t) {
384         case LONGLONG:
385         case ULONGLONG:
386                 inval(p->n_lval & 0xffffffff);
387                 inval(p->n_lval >> 32);
388                 break;
389         case INT:
390         case UNSIGNED:
391                 printf("\t.long 0x%x", (int)p->n_lval);
392                 if ((q = p->n_sp) != NULL) {
393                         if ((q->sclass == STATIC && q->slevel > 0) ||
394                             q->sclass == ILABEL) {
395                                 printf("+" LABFMTq->soffset);
396                         } else
397                                 printf("+%s"exname(q->sname));
398                 }
399                 printf("\n");
400                 break;
401         default:
402                 cerror("ninval");
403         }
404 }
405
406 /*
407  * print out an integer.
408  */
409 void
410 inval(CONSZ word)
411 {
412         word &= 0xffffffff;
413         printf("        .long 0x%llx\n"word);
414 }
415
416 /* output code to initialize a floating point value */
417 /* the proper alignment has been obtained */
418 void
419 finval(NODE *p)
420 {
421         switch (p->n_type) {
422         case LDOUBLE:
423                 printf("\t.tfloat\t0t%.20Le\n"p->n_dcon);
424                 break;
425         case DOUBLE:
426                 printf("\t.dfloat\t0d%.20e\n", (double)p->n_dcon);
427                 break;
428         case FLOAT:
429                 printf("\t.ffloat\t0f%.20e\n", (float)p->n_dcon);
430                 break;
431         }
432 }
433
434 /* make a name look like an external name in the local machine */
435 char *
436 exname(char *p)
437 {
438         if (p == NULL)
439                 return "";
440         return p;
441 }
442
443 /*
444  * map types which are not defined on the local machine
445  */
446 TWORD
447 ctype(TWORD type)
448 {
449         switch (BTYPE(type)) {
450         case LONG:
451                 MODTYPE(type,INT);
452                 break;
453
454         case ULONG:
455                 MODTYPE(type,UNSIGNED);
456
457         }
458         return (type);
459 }
460
461 /* curid is a variable which is defined but
462  * is not initialized (and not a function );
463  * This routine returns the storage class for an uninitialized declaration
464  */
465 int
466 noinit()
467 {
468         return(EXTERN);
469 }
470
471 void
472 calldec(NODE *pNODE *q
473 {
474 }
475
476 void
477 extdec(struct symtab *q)
478 {
479 }
480
481 /* make a common declaration for id, if reasonable */
482 void
483 commdec(struct symtab *q)
484 {
485         int off;
486
487         off = tsize(q->stypeq->sdfq->ssue);
488         off = (off+(SZCHAR-1))/SZCHAR;
489
490 #ifdef GCC_COMPAT
491         printf("        .comm %s,0%o\n"gcc_findname(q), off);
492 #else
493         printf("        .comm %s,0%o\n"exname(q->sname), off);
494 #endif
495 }
496
497 /* make a local common declaration for id, if reasonable */
498 void
499 lcommdec(struct symtab *q)
500 {
501         int off;
502
503         off = tsize(q->stypeq->sdfq->ssue);
504         off = (off+(SZCHAR-1))/SZCHAR;
505         if (q->slevel == 0)
506 #ifdef GCC_COMPAT
507                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
508 #else
509                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
510 #endif
511         else
512                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
513 }
514
515 /*
516  * print a (non-prog) label.
517  */
518 void
519 deflab1(int label)
520 {
521         printf(LABFMT ":\n"label);
522 }
523
524 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
525
526 void
527 setloc1(int locc)
528 {
529         if (locc == lastloc)
530                 return;
531         lastloc = locc;
532         printf("        .%s\n"loctbl[locc]);
533 }
FishEye: Open Source License registered to PCC.
Your maintenance has expired. You can renew your license at http://www.atlassian.com/fisheye/renew
Atlassian FishEye, CVS analysis. (Version:1.6.3 Build:build-336 2008-11-04) - Administration - Page generated 2014-10-01 10:17 +0200