Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20070706170227

Diff

Diff from 1.47 to:

Annotations

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

Annotated File View

ragge
1.47
1 /*      $Id: local.c,v 1.47 2007/07/06 17:02:27 ragge Exp $     */
ragge
1.1
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 # include "pass1.h"
31
32 /*      this file contains code which is dependent on the target machine */
33
34 NODE *
35 clocal(NODE *p)
36 {
37         /* this is called to do local transformations on
38            an expression tree preparitory to its being
39            written out in intermediate code.
40         */
41
42         /* the major essential job is rewriting the
43            automatic variables and arguments in terms of
44            REG and OREG nodes */
45         /* conversion ops which are not necessary are also clobbered here */
46         /* in addition, any special features (such as rewriting
47            exclusive or) are easily handled here as well */
48
49         register struct symtab *q;
ragge
1.2
50         register NODE *r, *l;
ragge
1.1
51         register int o;
ragge
1.40
52         register int m;
ragge
1.19
53         TWORD t;
ragge
1.1
54
ragge
1.24
55 //printf("in:\n");
56 //fwalk(p, eprint, 0);
ragge
1.1
57         switcho = p->n_op ){
58
59         case NAME:
60                 if ((q = p->n_sp) == NULL)
61                         return p/* Nothing to care about */
62
63                 switch (q->sclass) {
64
65                 case PARAM:
66                 case AUTO:
67                         /* fake up a structure reference */
68                         r = block(REGNILNILPTR+STRTY00);
69                         r->n_lval = 0;
70                         r->n_rval = FPREG;
71                         p = stref(block(STREFrp000));
72                         break;
73
74                 case STATIC:
75                         if (q->slevel == 0)
76                                 break;
77                         p->n_lval = 0;
78                         p->n_sp = q;
79                         break;
80
81                 case REGISTER:
82                         p->n_op = REG;
83                         p->n_lval = 0;
84                         p->n_rval = q->soffset;
85                         break;
86
87                         }
88                 break;
89
ragge
1.39
90         case STCALL:
ragge
1.37
91         case CALL:
92                 /* Fix function call arguments. On x86, just add funarg */
93                 for (r = p->n_rightr->n_op == CMr = r->n_left) {
ragge
1.38
94                         if (r->n_right->n_op != STARG &&
95                             r->n_right->n_op != FUNARG)
ragge
1.37
96                                 r->n_right = block(FUNARGr->n_rightNIL
97                                     r->n_right->n_typer->n_right->n_df,
98                                     r->n_right->n_sue);
99                 }
ragge
1.38
100                 if (r->n_op != STARG && r->n_op != FUNARG) {
ragge
1.37
101                         l = talloc();
102                         *l = *r;
103                         r->n_op = FUNARGr->n_left = lr->n_type = l->n_type;
104                 }
ragge
1.10
105                 break;
ragge
1.37
106                 
ragge
1.8
107         case CBRANCH:
108                 l = p->n_left;
109
110                 /*
111                  * Remove unneccessary conversion ops.
112                  */
ragge
1.10
113                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
ragge
1.12
114                         if (coptype(l->n_op) != BITYPE)
115                                 break;
ragge
1.8
116                         if (l->n_right->n_op == ICON) {
117                                 r = l->n_left->n_left;
ragge
1.24
118                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
119                                         break;
ragge
1.18
120                                 /* Type must be correct */
ragge
1.19
121                                 t = r->n_type;
ragge
1.8
122                                 nfree(l->n_left);
123                                 l->n_left = r;
ragge
1.19
124                                 l->n_type = t;
125                                 l->n_right->n_type = t;
ragge
1.17
126                         }
ragge
1.8
127                 }
128                 break;
129
ragge
1.1
130         case PCONV:
ragge
1.40
131                 /* Remove redundant PCONV's. Be careful */
ragge
1.1
132                 l = p->n_left;
ragge
1.40
133                 if (l->n_op == ICON) {
134                         l->n_lval = (unsigned)l->n_lval;
135                         goto delp;
136                 }
137                 if (l->n_type < INT || l->n_type == LONGLONG || 
138                     l->n_type == ULONGLONG) {
139                         /* float etc? */
140                         p->n_left = block(SCONVlNIL,
141                             UNSIGNED0MKSUE(UNSIGNED));
142                         break;
143                 }
144                 /* if left is SCONV, cannot remove */
145                 if (l->n_op == SCONV)
ragge
1.1
146                         break;
ragge
1.40
147                 /* if conversion to another pointer type, just remove */
148                 if (p->n_type > BTMASK && l->n_type > BTMASK)
149                         goto delp;
150                 break;
151
152         delp:   l->n_type = p->n_type;
ragge
1.1
153                 l->n_qual = p->n_qual;
154                 l->n_df = p->n_df;
155                 l->n_sue = p->n_sue;
156                 nfree(p);
157                 p = l;
158                 break;
ragge
1.40
159                 
ragge
1.1
160         case SCONV:
161                 l = p->n_left;
ragge
1.4
162
ragge
1.25
163                 if (p->n_type == l->n_type) {
164                         nfree(p);
165                         return l;
166                 }
167
ragge
1.4
168                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
pj
1.30
169                     btdims[p->n_type].suesize == btdims[l->n_type].suesize) {
ragge
1.4
170                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
ragge
1.15
171                             l->n_type != FLOAT && l->n_type != DOUBLE &&
172                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
ragge
1.41
173                                 if (l->n_op == NAME || l->n_op == UMUL ||
174                                     l->n_op == TEMP) {
ragge
1.15
175                                         l->n_type = p->n_type;
176                                         nfree(p);
177                                         return l;
178                                 }
ragge
1.4
179                         }
ragge
1.6
180                 }
181
ragge
1.42
182                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
183                     coptype(l->n_op) == BITYPE) {
184                         l->n_type = p->n_type;
185                         nfree(p);
186                         return l;
187                 }
188
ragge
1.3
189                 o = l->n_op;
ragge
1.4
190                 m = p->n_type;
ragge
1.1
191
192                 if (o == ICON) {
193                         CONSZ val = l->n_lval;
194
ragge
1.29
195                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
196                             switch (m) {
ragge
1.1
197                         case CHAR:
198                                 l->n_lval = (char)val;
199                                 break;
200                         case UCHAR:
201                                 l->n_lval = val & 0377;
202                                 break;
ragge
1.15
203                         case SHORT:
ragge
1.1
204                                 l->n_lval = (short)val;
205                                 break;
ragge
1.15
206                         case USHORT:
ragge
1.1
207                                 l->n_lval = val & 0177777;
208                                 break;
ragge
1.15
209                         case ULONG:
ragge
1.1
210                         case UNSIGNED:
211                                 l->n_lval = val & 0xffffffff;
212                                 break;
213                         case ENUMTY:
214                         case MOETY:
ragge
1.15
215                         case LONG:
ragge
1.1
216                         case INT:
217                                 l->n_lval = (int)val;
218                                 break;
219                         case LONGLONG:
220                                 l->n_lval = (long long)val;
ragge
1.15
221                                 break;
ragge
1.1
222                         case ULONGLONG:
223                                 l->n_lval = val;
224                                 break;
225                         case VOID:
226                                 break;
ragge
1.14
227                         case LDOUBLE:
ragge
1.1
228                         case DOUBLE:
229                         case FLOAT:
230                                 l->n_op = FCON;
231                                 l->n_dcon = val;
232                                 break;
233                         default:
234                                 cerror("unknown type %d"m);
235                         }
236                         l->n_type = m;
ragge
1.44
237                         l->n_sue = MKSUE(m);
ragge
1.1
238                         nfree(p);
239                         return l;
240                 }
ragge
1.17
241                 if (DEUNSIGN(p->n_type) == SHORT &&
242                     DEUNSIGN(l->n_type) == SHORT) {
243                         nfree(p);
244                         p = l;
245                 }
ragge
1.36
246                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
247                     p->n_type == SHORT || p->n_type == USHORT) &&
248                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
249                     l->n_type == LDOUBLE)) {
250                         p = block(SCONVpNILp->n_typep->n_dfp->n_sue);
251                         p->n_left->n_type = INT;
252                         return p;
253                 }
ragge
1.1
254                 break;
255
ragge
1.15
256         case MOD:
257         case DIV:
258                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
259                         break;
ragge
1.16
260                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
ragge
1.15
261                         break;
262                 /* make it an int division by inserting conversions */
263                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
264                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
265                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
266                 p->n_left->n_type = INT;
267                 break;
268
ragge
1.1
269         case PMCONV:
270         case PVCONV:
271                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
272                 nfree(p);
273                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
274
ragge
1.31
275         case FORCE:
ragge
1.32
276                 /* put return value in return reg */
277                 p->n_op = ASSIGN;
278                 p->n_right = p->n_left;
279                 p->n_left = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.35
280                 p->n_left->n_rval = RETREG(p->n_type);
ragge
1.31
281                 break;
ragge
1.39
282
283         case LS:
284         case RS:
285                 /* shift count must be in a char
286                  * unless longlong, where it must be int */
287                 if (p->n_right->n_op == ICON)
288                         break/* do not do anything */
289                 if (p->n_type == LONGLONG || p->n_type == ULONGLONG) {
290                         if (p->n_right->n_type != INT)
291                                 p->n_right = block(SCONVp->n_rightNIL,
292                                     INT0MKSUE(INT));
293                         break;
294                 }
295                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
296                         break;
297                 p->n_right = block(SCONVp->n_rightNIL,
298                     CHAR0MKSUE(CHAR));
299                 break;
ragge
1.1
300         }
ragge
1.24
301 //printf("ut:\n");
302 //fwalk(p, eprint, 0);
ragge
1.1
303
304         return(p);
305 }
306
307 void
308 myp2tree(NODE *p)
309 {
310 }
311
312 /*ARGSUSED*/
313 int
314 andable(NODE *p)
315 {
316         return(1);  /* all names can have & taken on them */
317 }
318
319 /*
320  * at the end of the arguments of a ftn, set the automatic offset
321  */
322 void
323 cendarg()
324 {
325         autooff = AUTOINIT;
326 }
327
328 /*
ragge
1.36
329  * Return 1 if a variable of type type is OK to put in register.
330  */
331 int
332 cisreg(TWORD t)
333 {
334         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
335                 return 0/* not yet */
336         return 1;
337 }
338
339 /*
ragge
1.1
340  * return a node, for structure references, which is suitable for
341  * being added to a pointer of type t, in order to be off bits offset
342  * into a structure
343  * t, d, and s are the type, dimension offset, and sizeoffset
344  * For pdp10, return the type-specific index number which calculation
345  * is based on its size. For example, short a[3] would return 3.
346  * Be careful about only handling first-level pointers, the following
347  * indirections must be fullword.
348  */
349 NODE *
350 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
351 {
352         register NODE *p;
353
354         if (xdebug)
355                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
356                     offtdsue->suesize);
357
358         p = bcon(0);
359         p->n_lval = off/SZCHAR/* Default */
360         return(p);
361 }
362
363 /*
364  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
365  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
366  * the allocated address.
367  */
368 void
369 spalloc(NODE *tNODE *pOFFSZ off)
370 {
371         NODE *sp;
372
ragge
1.45
373         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
374
375         /* sub the size from sp */
376         sp = block(REGNILNILp->n_type00);
377         sp->n_lval = 0;
378         sp->n_rval = STKREG;
379         ecomp(buildtree(MINUSEQspp));
ragge
1.1
380
381         /* save the address of sp */
382         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
383         sp->n_lval = 0;
384         sp->n_rval = STKREG;
385         t->n_type = sp->n_type;
386         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
387
388 }
389
ragge
1.47
390 void
391 indata(CONSZ valint size)
392 {
393         switch (size) {
394         case SZCHAR:
395                 printf("\t.byte %d\n", (int)val & 0xff);
396                 break;
397         case SZSHORT:
398                 printf("\t.word %d\n", (int)val & 0xffff);
399                 break;
400         case SZINT:
401                 printf("\t.long %d\n", (int)val & 0xffffffff);
402                 break;
403         default:
404                 cerror("indata");
405         }
406 }
407
ragge
1.1
408 /*
ragge
1.46
409  * print out a constant node, may be associated with a label.
410  * Do not free the node after use.
ragge
1.21
411  */
412 void
413 ninval(NODE *p)
414 {
ragge
1.46
415         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
416         struct symtab *q;
ragge
1.23
417         TWORD t;
ragge
1.46
418         int i;
ragge
1.23
419
ragge
1.46
420         if (p->n_op == INIT)
421                 p = p->n_left;
ragge
1.23
422         t = p->n_type;
423         if (t > BTMASK)
424                 t = INT/* pointer */
425
ragge
1.46
426         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
427                 cerror("ninval: init node not constant");
428
ragge
1.46
429         if (p->n_sp != NULL && DEUNSIGN(t) != INT)
430                 uerror("element not constant");
431
ragge
1.23
432         switch (t) {
ragge
1.21
433         case LONGLONG:
434         case ULONGLONG:
ragge
1.46
435                 i = (p->n_lval >> 32);
436                 p->n_lval &= 0xffffffff;
437                 p->n_op = INT;
438                 ninval(p);
439                 p->n_lval = i;
440                 ninval(p);
ragge
1.21
441                 break;
442         case INT:
443         case UNSIGNED:
444                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
445                 if ((q = p->n_sp) != NULL) {
446                         if ((q->sclass == STATIC && q->slevel > 0) ||
447                             q->sclass == ILABEL) {
448                                 printf("+" LABFMTq->soffset);
ragge
1.21
449                         } else
ragge
1.24
450                                 printf("+%s"exname(q->sname));
ragge
1.21
451                 }
452                 printf("\n");
453                 break;
ragge
1.46
454         case SHORT:
455         case USHORT:
456                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
457                 break;
458         case CHAR:
459         case UCHAR:
460                 printf("\t.char %d\n", (int)p->n_lval & 0xff);
461                 break;
462         case LDOUBLE:
463                 u.i[2] = 0;
464                 u.l = (long double)p->n_dcon;
465                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
466                 break;
467         case DOUBLE:
468                 u.d = (double)p->n_dcon;
469                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
470                 break;
471         case FLOAT:
472                 u.f = (float)p->n_dcon;
473                 printf("\t.long\t0x%x\n"u.i[0]);
474                 break;
ragge
1.21
475         default:
476                 cerror("ninval");
477         }
478 }
479
ragge
1.46
480 #if 0
ragge
1.21
481 /*
ragge
1.17
482  * print out an integer.
ragge
1.1
483  */
484 void
ragge
1.17
485 inval(CONSZ word)
ragge
1.1
486 {
ragge
1.17
487         word &= 0xffffffff;
488         printf("        .long 0x%llx\n"word);
ragge
1.1
489 }
490
ragge
1.17
491 /* output code to initialize a floating point value */
ragge
1.1
492 /* the proper alignment has been obtained */
493 void
ragge
1.17
494 finval(NODE *p)
ragge
1.1
495 {
ragge
1.43
496         union { float fdouble dlong double lint i[3]; } u;
497
ragge
1.17
498         switch (p->n_type) {
499         case LDOUBLE:
ragge
1.43
500                 u.i[2] = 0;
501                 u.l = (long double)p->n_dcon;
502                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
ragge
1.14
503                 break;
ragge
1.17
504         case DOUBLE:
ragge
1.43
505                 u.d = (double)p->n_dcon;
506                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
ragge
1.14
507                 break;
ragge
1.17
508         case FLOAT:
ragge
1.43
509                 u.f = (float)p->n_dcon;
510                 printf("\t.long\t0x%x\n"u.i[0]);
ragge
1.14
511                 break;
512         }
ragge
1.1
513 }
ragge
1.46
514 #endif
ragge
1.1
515
516 /* make a name look like an external name in the local machine */
517 char *
518 exname(char *p)
519 {
520         if (p == NULL)
521                 return "";
522         return p;
523 }
524
525 /*
526  * map types which are not defined on the local machine
527  */
ragge
1.15
528 TWORD
ragge
1.1
529 ctype(TWORD type)
530 {
531         switch (BTYPE(type)) {
532         case LONG:
533                 MODTYPE(type,INT);
534                 break;
535
536         case ULONG:
537                 MODTYPE(type,UNSIGNED);
ragge
1.13
538
ragge
1.1
539         }
540         return (type);
541 }
542
543 /* curid is a variable which is defined but
544  * is not initialized (and not a function );
ragge
1.17
545  * This routine returns the storage class for an uninitialized declaration
ragge
1.1
546  */
547 int
548 noinit()
549 {
550         return(EXTERN);
551 }
552
pj
1.30
553 void
554 calldec(NODE *pNODE *q
555 {
556 }
557
558 void
559 extdec(struct symtab *q)
560 {
561 }
562
ragge
1.1
563 /* make a common declaration for id, if reasonable */
564 void
565 commdec(struct symtab *q)
566 {
567         int off;
568
569         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
570         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
571 #ifdef GCC_COMPAT
572         printf("        .comm %s,0%o\n"gcc_findname(q), off);
573 #else
ragge
1.1
574         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
575 #endif
ragge
1.1
576 }
577
578 /* make a local common declaration for id, if reasonable */
579 void
580 lcommdec(struct symtab *q)
581 {
582         int off;
583
584         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
585         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
586         if (q->slevel == 0)
ragge
1.7
587 #ifdef GCC_COMPAT
588                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
589 #else
ragge
1.1
590                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
591 #endif
ragge
1.1
592         else
593                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
594 }
ragge
1.22
595
596 /*
597  * print a (non-prog) label.
598  */
599 void
600 deflab1(int label)
601 {
602         printf(LABFMT ":\n"label);
603 }
604
ragge
1.28
605 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
ragge
1.27
606
ragge
1.23
607 void
608 setloc1(int locc)
609 {
610         if (locc == lastloc)
611                 return;
612         lastloc = locc;
ragge
1.27
613         printf("        .%s\n"loctbl[locc]);
ragge
1.23
614 }
FishEye: Open Source License registered to PCC.
Atlassian FishEye, CVS analysis. (Version:1.6.3 Build:build-336 2008-11-04) - Administration - Page generated 2014-12-18 18:22 +0100