Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20071129160211

Diff

Diff from 1.64 to:

Annotations

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

Annotated File View

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