Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:mickey:20071106152104

Diff

Diff from 1.61 to:

Annotations

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

Annotated File View

mickey
1.61
1 /*      $Id: local.c,v 1.61 2007/11/06 15:21:04 mickey 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
ragge
1.48
30 #include "pass1.h"
ragge
1.1
31
ragge
1.60
32 /*      this file contains code which is dependent on the target machine */
33
ragge
1.57
34 /*
35  * Check if a constant is too large for a type.
36  */
37 static int
38 toolarge(TWORD tCONSZ con)
39 {
40         U_CONSZ ucon = con;
41
42         switch (t) {
43         case ULONGLONG:
44         case LONGLONG:
45                 break/* cannot be too large */
46 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
47 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
48         SCHK(INT);
49         SCHK(SHORT);
otto
1.58
50         case BOOL:
ragge
1.57
51         SCHK(CHAR);
52         UCHK(UNSIGNED);
53         UCHK(USHORT);
54         UCHK(UCHAR);
55         default:
56                 cerror("toolarge");
57         }
58         return 0;
59 }
60
ragge
1.60
61 #define IALLOC(sz)      (isinlining ? permalloc(sz) : tmpalloc(sz))
62 /*
63  * Make a symtab entry for PIC use.
64  */
65 static struct symtab *
66 picsymtab(char *schar *s2)
67 {
68         struct symtab *sp = IALLOC(sizeof(struct symtab));
69         size_t len = strlen(s) + strlen(s2) + 1;
70         
71         sp->sname = IALLOC(len);
72         strlcpy(sp->snameslen);
73         strlcat(sp->snames2len);
74         sp->sclass = EXTERN;
75         sp->slevel = 0;
76         return sp;
77 }
78
79 int gotnr/* tempnum for GOT register */
80 /*
81  * Create a reference for an extern variable.
82  */
83 static NODE *
84 picext(NODE *p)
85 {
86         NODE *q, *r;
87
88         q = tempnode(gotnrPTR|VOID0MKSUE(VOID));
89         r = bcon(0);
90         r->n_sp = picsymtab(p->n_sp->sname"@GOT");
91         q = buildtree(PLUSqr);
92         q = block(UMULq0PTR|VOID0MKSUE(VOID));
93         q = block(UMULq0p->n_typep->n_dfp->n_sue);
94         nfree(p);
95         return q;
96 }
97
98 /*
99  * Create a reference for a static variable.
100  */
101 static NODE *
102 picstatic(NODE *p)
103 {
104         NODE *q, *r;
105
106         q = tempnode(gotnrPTR|VOID0MKSUE(VOID));
107         r = bcon(0);
108         if (p->n_sp->slevel > 0) {
109                 char buf[32];
110                 snprintf(buf32LABFMT, (int)p->n_sp->soffset);
111                 r->n_sp = picsymtab(buf"@GOTOFF");
112         } else
113                 r->n_sp = picsymtab(p->n_sp->sname"@GOTOFF");
114         q = buildtree(PLUSqr);
115         q = block(UMULq0p->n_typep->n_dfp->n_sue);
116         nfree(p);
117         return q;
118 }
ragge
1.1
119
ragge
1.48
120 /* clocal() is called to do local transformations on
121  * an expression tree preparitory to its being
122  * written out in intermediate code.
123  *
124  * the major essential job is rewriting the
125  * automatic variables and arguments in terms of
126  * REG and OREG nodes
127  * conversion ops which are not necessary are also clobbered here
128  * in addition, any special features (such as rewriting
129  * exclusive or) are easily handled here as well
130  */
ragge
1.1
131 NODE *
132 clocal(NODE *p)
133 {
134
135         register struct symtab *q;
ragge
1.2
136         register NODE *r, *l;
ragge
1.1
137         register int o;
ragge
1.40
138         register int m;
ragge
1.19
139         TWORD t;
ragge
1.1
140
ragge
1.54
141 #ifdef PCC_DEBUG
142         if (xdebug) {
143                 printf("clocal: %p\n"p);
144                 fwalk(peprint0);
145         }
146 #endif
ragge
1.1
147         switcho = p->n_op ){
148
149         case NAME:
150                 if ((q = p->n_sp) == NULL)
151                         return p/* Nothing to care about */
152
153                 switch (q->sclass) {
154
155                 case PARAM:
156                 case AUTO:
157                         /* fake up a structure reference */
158                         r = block(REGNILNILPTR+STRTY00);
159                         r->n_lval = 0;
160                         r->n_rval = FPREG;
161                         p = stref(block(STREFrp000));
162                         break;
163
164                 case STATIC:
ragge
1.60
165                         if (kflag == 0) {
166                                 if (q->slevel == 0)
167                                         break;
168                                 p->n_lval = 0;
169                         } else
170                                 p = picstatic(p);
ragge
1.1
171                         break;
172
173                 case REGISTER:
174                         p->n_op = REG;
175                         p->n_lval = 0;
176                         p->n_rval = q->soffset;
177                         break;
178
ragge
1.60
179                 case EXTERN:
180                 case EXTDEF:
181                         if (kflag == 0)
182                                 break;
183                         if ((p->n_type & TMASK2) == FTN) {
184                                 p->n_sp = picsymtab(q->sname"@PLT");
185                         } else
186                                 p = picext(p);
187                         break;
188                 }
ragge
1.1
189                 break;
190
ragge
1.39
191         case STCALL:
ragge
1.37
192         case CALL:
193                 /* Fix function call arguments. On x86, just add funarg */
194                 for (r = p->n_rightr->n_op == CMr = r->n_left) {
ragge
1.38
195                         if (r->n_right->n_op != STARG &&
196                             r->n_right->n_op != FUNARG)
ragge
1.37
197                                 r->n_right = block(FUNARGr->n_rightNIL
198                                     r->n_right->n_typer->n_right->n_df,
199                                     r->n_right->n_sue);
200                 }
ragge
1.38
201                 if (r->n_op != STARG && r->n_op != FUNARG) {
ragge
1.37
202                         l = talloc();
203                         *l = *r;
204                         r->n_op = FUNARGr->n_left = lr->n_type = l->n_type;
205                 }
ragge
1.60
206                 if (kflag == 0)
207                         break;
208                 /* FALLTHROUGH */
209         case UCALL:
210         case USTCALL:
211                 /* Add move node for GOT */
ragge
1.10
212                 break;
ragge
1.37
213                 
ragge
1.8
214         case CBRANCH:
215                 l = p->n_left;
216
217                 /*
218                  * Remove unneccessary conversion ops.
219                  */
ragge
1.10
220                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
ragge
1.12
221                         if (coptype(l->n_op) != BITYPE)
222                                 break;
ragge
1.8
223                         if (l->n_right->n_op == ICON) {
224                                 r = l->n_left->n_left;
ragge
1.24
225                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
226                                         break;
ragge
1.59
227                                 if (ISPTR(r->n_type))
228                                         break/* no opt for pointers */
ragge
1.57
229                                 if (toolarge(r->n_typel->n_right->n_lval))
230                                         break;
ragge
1.18
231                                 /* Type must be correct */
ragge
1.19
232                                 t = r->n_type;
ragge
1.8
233                                 nfree(l->n_left);
234                                 l->n_left = r;
ragge
1.19
235                                 l->n_type = t;
236                                 l->n_right->n_type = t;
ragge
1.17
237                         }
ragge
1.8
238                 }
239                 break;
240
ragge
1.1
241         case PCONV:
ragge
1.40
242                 /* Remove redundant PCONV's. Be careful */
ragge
1.1
243                 l = p->n_left;
ragge
1.40
244                 if (l->n_op == ICON) {
245                         l->n_lval = (unsigned)l->n_lval;
246                         goto delp;
247                 }
248                 if (l->n_type < INT || l->n_type == LONGLONG || 
249                     l->n_type == ULONGLONG) {
250                         /* float etc? */
251                         p->n_left = block(SCONVlNIL,
252                             UNSIGNED0MKSUE(UNSIGNED));
253                         break;
254                 }
255                 /* if left is SCONV, cannot remove */
256                 if (l->n_op == SCONV)
ragge
1.1
257                         break;
ragge
1.54
258
259                 /* avoid ADDROF TEMP */
260                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
261                         break;
262
ragge
1.40
263                 /* if conversion to another pointer type, just remove */
264                 if (p->n_type > BTMASK && l->n_type > BTMASK)
265                         goto delp;
266                 break;
267
268         delp:   l->n_type = p->n_type;
ragge
1.1
269                 l->n_qual = p->n_qual;
270                 l->n_df = p->n_df;
271                 l->n_sue = p->n_sue;
272                 nfree(p);
273                 p = l;
274                 break;
ragge
1.40
275                 
ragge
1.1
276         case SCONV:
277                 l = p->n_left;
ragge
1.4
278
ragge
1.25
279                 if (p->n_type == l->n_type) {
280                         nfree(p);
281                         return l;
282                 }
283
ragge
1.4
284                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
pj
1.30
285                     btdims[p->n_type].suesize == btdims[l->n_type].suesize) {
ragge
1.4
286                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
ragge
1.15
287                             l->n_type != FLOAT && l->n_type != DOUBLE &&
288                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
ragge
1.41
289                                 if (l->n_op == NAME || l->n_op == UMUL ||
290                                     l->n_op == TEMP) {
ragge
1.15
291                                         l->n_type = p->n_type;
292                                         nfree(p);
293                                         return l;
294                                 }
ragge
1.4
295                         }
ragge
1.6
296                 }
297
ragge
1.42
298                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
299                     coptype(l->n_op) == BITYPE) {
300                         l->n_type = p->n_type;
301                         nfree(p);
302                         return l;
303                 }
304
ragge
1.3
305                 o = l->n_op;
ragge
1.4
306                 m = p->n_type;
ragge
1.1
307
308                 if (o == ICON) {
309                         CONSZ val = l->n_lval;
310
ragge
1.29
311                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
312                             switch (m) {
ragge
1.52
313                         case BOOL:
314                                 l->n_lval = l->n_lval != 0;
315                                 break;
ragge
1.1
316                         case CHAR:
317                                 l->n_lval = (char)val;
318                                 break;
319                         case UCHAR:
320                                 l->n_lval = val & 0377;
321                                 break;
ragge
1.15
322                         case SHORT:
ragge
1.1
323                                 l->n_lval = (short)val;
324                                 break;
ragge
1.15
325                         case USHORT:
ragge
1.1
326                                 l->n_lval = val & 0177777;
327                                 break;
ragge
1.15
328                         case ULONG:
ragge
1.1
329                         case UNSIGNED:
330                                 l->n_lval = val & 0xffffffff;
331                                 break;
332                         case ENUMTY:
333                         case MOETY:
ragge
1.15
334                         case LONG:
ragge
1.1
335                         case INT:
336                                 l->n_lval = (int)val;
337                                 break;
338                         case LONGLONG:
339                                 l->n_lval = (long long)val;
ragge
1.15
340                                 break;
ragge
1.1
341                         case ULONGLONG:
342                                 l->n_lval = val;
343                                 break;
344                         case VOID:
345                                 break;
ragge
1.14
346                         case LDOUBLE:
ragge
1.1
347                         case DOUBLE:
348                         case FLOAT:
349                                 l->n_op = FCON;
350                                 l->n_dcon = val;
351                                 break;
352                         default:
353                                 cerror("unknown type %d"m);
354                         }
355                         l->n_type = m;
ragge
1.44
356                         l->n_sue = MKSUE(m);
ragge
1.1
357                         nfree(p);
358                         return l;
359                 }
ragge
1.17
360                 if (DEUNSIGN(p->n_type) == SHORT &&
361                     DEUNSIGN(l->n_type) == SHORT) {
362                         nfree(p);
363                         p = l;
364                 }
ragge
1.36
365                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
366                     p->n_type == SHORT || p->n_type == USHORT) &&
367                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
368                     l->n_type == LDOUBLE)) {
369                         p = block(SCONVpNILp->n_typep->n_dfp->n_sue);
370                         p->n_left->n_type = INT;
371                         return p;
372                 }
ragge
1.1
373                 break;
374
ragge
1.15
375         case MOD:
376         case DIV:
377                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
378                         break;
ragge
1.16
379                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
ragge
1.15
380                         break;
381                 /* make it an int division by inserting conversions */
382                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
383                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
384                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
385                 p->n_left->n_type = INT;
386                 break;
387
ragge
1.1
388         case PMCONV:
389         case PVCONV:
390                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
391                 nfree(p);
392                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
393
ragge
1.31
394         case FORCE:
ragge
1.32
395                 /* put return value in return reg */
396                 p->n_op = ASSIGN;
397                 p->n_right = p->n_left;
398                 p->n_left = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.53
399                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
400                     RETREG(CHAR) : RETREG(p->n_type);
ragge
1.31
401                 break;
ragge
1.39
402
403         case LS:
404         case RS:
405                 /* shift count must be in a char
406                  * unless longlong, where it must be int */
407                 if (p->n_right->n_op == ICON)
408                         break/* do not do anything */
409                 if (p->n_type == LONGLONG || p->n_type == ULONGLONG) {
410                         if (p->n_right->n_type != INT)
411                                 p->n_right = block(SCONVp->n_rightNIL,
412                                     INT0MKSUE(INT));
413                         break;
414                 }
415                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
416                         break;
417                 p->n_right = block(SCONVp->n_rightNIL,
418                     CHAR0MKSUE(CHAR));
419                 break;
ragge
1.1
420         }
ragge
1.54
421 #ifdef PCC_DEBUG
422         if (xdebug) {
423                 printf("clocal end: %p\n"p);
424                 fwalk(peprint0);
425         }
426 #endif
ragge
1.1
427         return(p);
428 }
429
430 void
431 myp2tree(NODE *p)
432 {
433 }
434
435 /*ARGSUSED*/
436 int
437 andable(NODE *p)
438 {
439         return(1);  /* all names can have & taken on them */
440 }
441
442 /*
443  * at the end of the arguments of a ftn, set the automatic offset
444  */
445 void
446 cendarg()
447 {
448         autooff = AUTOINIT;
449 }
450
451 /*
ragge
1.36
452  * Return 1 if a variable of type type is OK to put in register.
453  */
454 int
455 cisreg(TWORD t)
456 {
457         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
458                 return 0/* not yet */
459         return 1;
460 }
461
462 /*
ragge
1.1
463  * return a node, for structure references, which is suitable for
464  * being added to a pointer of type t, in order to be off bits offset
465  * into a structure
466  * t, d, and s are the type, dimension offset, and sizeoffset
467  * For pdp10, return the type-specific index number which calculation
468  * is based on its size. For example, short a[3] would return 3.
469  * Be careful about only handling first-level pointers, the following
470  * indirections must be fullword.
471  */
472 NODE *
473 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
474 {
475         register NODE *p;
476
477         if (xdebug)
478                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
479                     offtdsue->suesize);
480
481         p = bcon(0);
482         p->n_lval = off/SZCHAR/* Default */
483         return(p);
484 }
485
486 /*
487  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
488  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
489  * the allocated address.
490  */
491 void
492 spalloc(NODE *tNODE *pOFFSZ off)
493 {
494         NODE *sp;
495
ragge
1.45
496         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
497
498         /* sub the size from sp */
ragge
1.55
499         sp = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.45
500         sp->n_lval = 0;
501         sp->n_rval = STKREG;
502         ecomp(buildtree(MINUSEQspp));
ragge
1.1
503
504         /* save the address of sp */
505         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
506         sp->n_lval = 0;
507         sp->n_rval = STKREG;
508         t->n_type = sp->n_type;
509         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
510
511 }
512
ragge
1.49
513 #if 0
ragge
1.48
514 /*
515  * Print out an integer constant of size size.
516  * can only be sizes <= SZINT.
517  */
ragge
1.47
518 void
519 indata(CONSZ valint size)
520 {
521         switch (size) {
522         case SZCHAR:
523                 printf("\t.byte %d\n", (int)val & 0xff);
524                 break;
525         case SZSHORT:
526                 printf("\t.word %d\n", (int)val & 0xffff);
527                 break;
528         case SZINT:
529                 printf("\t.long %d\n", (int)val & 0xffffffff);
530                 break;
531         default:
532                 cerror("indata");
533         }
534 }
ragge
1.49
535 #endif
ragge
1.47
536
ragge
1.1
537 /*
ragge
1.48
538  * Print out a string of characters.
539  * Assume that the assembler understands C-style escape
540  * sequences.  Location is already set.
541  */
542 void
543 instring(char *str)
544 {
545         char *s;
546
mickey
1.61
547         /* be kind to assemblers and avoid long strings */
ragge
1.48
548         printf("\t.ascii \"");
ragge
1.51
549         for (s = str; *s != 0; ) {
550                 if (*s++ == '\\') {
ragge
1.48
551                         (void)esccon(&s);
ragge
1.51
552                 }
ragge
1.48
553                 if (s - str > 64) {
554                         fwrite(str1s - strstdout);
555                         printf("\"\n\t.ascii \"");
556                         str = s;
557                 }
558         }
559         fwrite(str1s - strstdout);
560         printf("\\0\"\n");
561 }
562
ragge
1.49
563 static int inbitsinval;
564
565 /*
566  * set fsz bits in sequence to zero.
567  */
568 void
569 zbits(OFFSZ offint fsz)
570 {
571         int m;
572
573         if (idebug)
ragge
1.51
574                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
575         if ((m = (inbits % SZCHAR))) {
576                 m = SZCHAR - m;
577                 if (fsz < m) {
ragge
1.51
578                         inbits += fsz;
ragge
1.49
579                         return;
580                 } else {
581                         fsz -= m;
582                         printf("\t.byte %d\n"inval);
583                         inval = inbits = 0;
584                 }
585         }
586         if (fsz >= SZCHAR) {
587                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
588                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
589         }
590         if (fsz) {
591                 inval = 0;
592                 inbits = fsz;
593         }
594 }
595
596 /*
597  * Initialize a bitfield.
598  */
599 void
600 infld(CONSZ offint fszCONSZ val)
601 {
602         if (idebug)
ragge
1.51
603                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
604                     offfszvalinbits);
ragge
1.56
605         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
606         while (fsz + inbits >= SZCHAR) {
607                 inval |= (val << inbits);
608                 printf("\t.byte %d\n"inval & 255);
609                 fsz -= (SZCHAR - inbits);
610                 val >>= (SZCHAR - inbits);
611                 inval = inbits = 0;
612         }
ragge
1.51
613         if (fsz) {
614                 inval |= (val << inbits);
615                 inbits += fsz;
616         }
ragge
1.49
617 }
618
ragge
1.48
619 /*
ragge
1.46
620  * print out a constant node, may be associated with a label.
621  * Do not free the node after use.
ragge
1.49
622  * off is bit offset from the beginning of the aggregate
623  * fsz is the number of bits this is referring to
ragge
1.21
624  */
625 void
ragge
1.49
626 ninval(CONSZ offint fszNODE *p)
ragge
1.21
627 {
ragge
1.46
628         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
629         struct symtab *q;
ragge
1.23
630         TWORD t;
ragge
1.46
631         int i;
ragge
1.23
632
633         t = p->n_type;
634         if (t > BTMASK)
635                 t = INT/* pointer */
636
ragge
1.46
637         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
638                 cerror("ninval: init node not constant");
639
ragge
1.49
640         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
641                 uerror("element not constant");
642
ragge
1.23
643         switch (t) {
ragge
1.21
644         case LONGLONG:
645         case ULONGLONG:
ragge
1.46
646                 i = (p->n_lval >> 32);
647                 p->n_lval &= 0xffffffff;
ragge
1.51
648                 p->n_type = INT;
ragge
1.49
649                 ninval(off32p);
ragge
1.46
650                 p->n_lval = i;
ragge
1.49
651                 ninval(off+3232p);
ragge
1.21
652                 break;
653         case INT:
654         case UNSIGNED:
655                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
656                 if ((q = p->n_sp) != NULL) {
657                         if ((q->sclass == STATIC && q->slevel > 0) ||
658                             q->sclass == ILABEL) {
659                                 printf("+" LABFMTq->soffset);
ragge
1.21
660                         } else
ragge
1.24
661                                 printf("+%s"exname(q->sname));
ragge
1.21
662                 }
663                 printf("\n");
664                 break;
ragge
1.46
665         case SHORT:
666         case USHORT:
667                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
668                 break;
ragge
1.52
669         case BOOL:
670                 if (p->n_lval > 1)
671                         p->n_lval = p->n_lval != 0;
672                 /* FALLTHROUGH */
ragge
1.46
673         case CHAR:
674         case UCHAR:
ragge
1.50
675                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
676                 break;
677         case LDOUBLE:
678                 u.i[2] = 0;
679                 u.l = (long double)p->n_dcon;
680                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
681                 break;
682         case DOUBLE:
683                 u.d = (double)p->n_dcon;
684                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
685                 break;
686         case FLOAT:
687                 u.f = (float)p->n_dcon;
688                 printf("\t.long\t0x%x\n"u.i[0]);
689                 break;
ragge
1.21
690         default:
691                 cerror("ninval");
692         }
693 }
694
ragge
1.46
695 #if 0
ragge
1.21
696 /*
ragge
1.17
697  * print out an integer.
ragge
1.1
698  */
699 void
ragge
1.17
700 inval(CONSZ word)
ragge
1.1
701 {
ragge
1.17
702         word &= 0xffffffff;
703         printf("        .long 0x%llx\n"word);
ragge
1.1
704 }
705
ragge
1.17
706 /* output code to initialize a floating point value */
ragge
1.1
707 /* the proper alignment has been obtained */
708 void
ragge
1.17
709 finval(NODE *p)
ragge
1.1
710 {
ragge
1.43
711         union { float fdouble dlong double lint i[3]; } u;
712
ragge
1.17
713         switch (p->n_type) {
714         case LDOUBLE:
ragge
1.43
715                 u.i[2] = 0;
716                 u.l = (long double)p->n_dcon;
717                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
ragge
1.14
718                 break;
ragge
1.17
719         case DOUBLE:
ragge
1.43
720                 u.d = (double)p->n_dcon;
721                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
ragge
1.14
722                 break;
ragge
1.17
723         case FLOAT:
ragge
1.43
724                 u.f = (float)p->n_dcon;
725                 printf("\t.long\t0x%x\n"u.i[0]);
ragge
1.14
726                 break;
727         }
ragge
1.1
728 }
ragge
1.46
729 #endif
ragge
1.1
730
731 /* make a name look like an external name in the local machine */
732 char *
733 exname(char *p)
734 {
735         if (p == NULL)
736                 return "";
737         return p;
738 }
739
740 /*
741  * map types which are not defined on the local machine
742  */
ragge
1.15
743 TWORD
ragge
1.1
744 ctype(TWORD type)
745 {
746         switch (BTYPE(type)) {
747         case LONG:
748                 MODTYPE(type,INT);
749                 break;
750
751         case ULONG:
752                 MODTYPE(type,UNSIGNED);
ragge
1.13
753
ragge
1.1
754         }
755         return (type);
756 }
757
pj
1.30
758 void
759 calldec(NODE *pNODE *q
760 {
761 }
762
763 void
764 extdec(struct symtab *q)
765 {
766 }
767
ragge
1.1
768 /* make a common declaration for id, if reasonable */
769 void
770 commdec(struct symtab *q)
771 {
772         int off;
773
774         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
775         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
776 #ifdef GCC_COMPAT
777         printf("        .comm %s,0%o\n"gcc_findname(q), off);
778 #else
ragge
1.1
779         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
780 #endif
ragge
1.1
781 }
782
783 /* make a local common declaration for id, if reasonable */
784 void
785 lcommdec(struct symtab *q)
786 {
787         int off;
788
789         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
790         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
791         if (q->slevel == 0)
ragge
1.7
792 #ifdef GCC_COMPAT
793                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
794 #else
ragge
1.1
795                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
796 #endif
ragge
1.1
797         else
798                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
799 }
ragge
1.22
800
801 /*
802  * print a (non-prog) label.
803  */
804 void
805 deflab1(int label)
806 {
807         printf(LABFMT ":\n"label);
808 }
809
ragge
1.28
810 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
ragge
1.27
811
ragge
1.23
812 void
813 setloc1(int locc)
814 {
815         if (locc == lastloc)
816                 return;
817         lastloc = locc;
ragge
1.27
818         printf("        .%s\n"loctbl[locc]);
ragge
1.23
819 }
ragge
1.48
820
ragge
1.49
821 #if 0
ragge
1.48
822 int
823 ftoint(NODE *pCONSZ **c)
824 {
825         static CONSZ cc[3];
826         union { float fdouble dlong double lint i[3]; } u;
827         int n;
828
829         switch (p->n_type) {
830         case LDOUBLE:
831                 u.i[2] = 0;
832                 u.l = (long double)p->n_dcon;
833                 n = SZLDOUBLE;
834                 break;
835         case DOUBLE:
836                 u.d = (double)p->n_dcon;
837                 n = SZDOUBLE;
838                 break;
839         case FLOAT:
840                 u.f = (float)p->n_dcon;
841                 n = SZFLOAT;
842                 break;
843         }
844         cc[0] = u.i[0];
845         cc[1] = u.i[1];
846         cc[2] = u.i[2];
847         *c = cc;
848         return n;
849 }
ragge
1.49
850 #endif
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-08-30 06:12 +0200