Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20120421201313

Diff

Diff from 1.67 to:

Annotations

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

Annotated File View

ragge
1.67
1 /*      $Id: local.c,v 1.67 2012/04/21 20:13:13 ragge Exp $     */
mickey
1.1
2 /*
3  * Copyright (c) 2008 Michael Shalayeff
4  * Copyright (c) 2003 Anders Magnusson (ragge@ludd.luth.se).
5  * All rights reserved.
6  *
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 1. Redistributions of source code must retain the above copyright
11  *    notice, this list of conditions and the following disclaimer.
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  *
16  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26  */
27
28
29 #include "pass1.h"
30
31 /*      this file contains code which is dependent on the target machine */
32
33 /*
34  * Check if a constant is too large for a type.
35  */
plunky
1.48
36 #ifdef notyet
mickey
1.1
37 static int
38 toolarge(TWORD tCONSZ con)
39 {
40         U_CONSZ ucon = con;
41
42         switch (t) {
43         case ULONG:
44         case LONG:
45         case ULONGLONG:
46         case LONGLONG:
47                 break/* cannot be too large */
48 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
49 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
50         SCHK(INT);
51         SCHK(SHORT);
52         case BOOL:
53         SCHK(CHAR);
54         UCHK(UNSIGNED);
55         UCHK(USHORT);
56         UCHK(UCHAR);
57         default:
58                 cerror("toolarge");
59         }
60         return 0;
61 }
plunky
1.48
62 #endif
mickey
1.1
63
64 #define IALLOC(sz)      (isinlining ? permalloc(sz) : tmpalloc(sz))
65
66 /*
67  * Make a symtab entry for PIC use.
68  */
69 static struct symtab *
70 picsymtab(char *pchar *schar *s2)
71 {
72         struct symtab *sp = IALLOC(sizeof(struct symtab));
73         size_t len = strlen(p) + strlen(s) + strlen(s2) + 1;
ragge
1.22
74
mickey
1.1
75         sp->sname = sp->soname = IALLOC(len);
76         strlcpy(sp->sonameplen);
77         strlcat(sp->sonameslen);
78         strlcat(sp->sonames2len);
79         sp->sclass = EXTERN;
80         sp->sflags = sp->slevel = 0;
81         return sp;
82 }
83
84 int gotnr/* tempnum for GOT register */
85 int argstacksize;
86
87 /*
ragge
1.22
88  * Create a reference for an extern variable or function.
mickey
1.1
89  */
90 static NODE *
91 picext(NODE *p)
92 {
gmcgarry
1.50
93 #if defined(ELFABI)
94
ragge
1.9
95         NODE *q;
mickey
1.1
96         struct symtab *sp;
ragge
1.64
97         char *c;
ragge
1.22
98
99         if (p->n_sp->sflags & SBEENHERE)
100                 return p;
mickey
1.1
101
ragge
1.31
102         c = p->n_sp->soname ? p->n_sp->soname : exname(p->n_sp->sname);
ragge
1.64
103         sp = picsymtab(""c"@GOTPCREL");
104         sp->sflags |= SBEENHERE;
ragge
1.18
105         q = block(NAMENILNILINCREF(p->n_type), p->n_dfp->n_ap);
ragge
1.9
106         q->n_sp = sp;
ragge
1.18
107         q = block(UMULq0p->n_typep->n_dfp->n_ap);
ragge
1.9
108         q->n_sp = sp;
mickey
1.1
109         nfree(p);
110         return q;
gmcgarry
1.50
111
112 #elif defined(MACHOABI)
113
114         return p;
115
116 #endif
mickey
1.1
117 }
118
ragge
1.27
119 static NODE *
120 cmop(NODE *lNODE *r)
121 {
ragge
1.45
122         return block(CMlrINT00);
ragge
1.27
123 }
124
125 static NODE *
126 mkx(char *sNODE *p)
127 {
ragge
1.45
128         p = block(XARGpNILINT00);
ragge
1.27
129         p->n_name = s;
130         return p;
131 }
132
133 static char *
134 mk3str(char *s1char *s2char *s3)
135 {
136         int len = strlen(s1) + strlen(s2) + strlen(s3) + 1;
137         char *sd;
138
ragge
1.39
139         sd = inlalloc(len);
ragge
1.27
140         strlcpy(sds1len);
141         strlcat(sds2len);
142         strlcat(sds3len);
143         return sd;
144 }
mickey
1.1
145
146 /*
147  * Create a reference for a TLS variable.
ragge
1.27
148  * This is the "General dynamic" version.
mickey
1.1
149  */
150 static NODE *
151 tlspic(NODE *p)
152 {
ragge
1.27
153         NODE *q, *r, *s;
154         char *s1, *s2;
mickey
1.1
155
156         /*
ragge
1.27
157          * .byte   0x66
158          * leaq x@TLSGD(%rip),%rdi
159          * .word   0x6666
160          * rex64
161          * call __tls_get_addr@PLT
mickey
1.1
162          */
163
ragge
1.27
164         /* Need the .byte stuff around.  Why? */
165         /* Use inline assembler */
166         q = mkx("%rdx"bcon(0));
167         q = cmop(qmkx("%rcx"bcon(0)));
168         q = cmop(qmkx("%rsi"bcon(0)));
169         q = cmop(qmkx("%rdi"bcon(0)));
170         q = cmop(qmkx("%r8"bcon(0)));
171         q = cmop(qmkx("%r9"bcon(0)));
172         q = cmop(qmkx("%r10"bcon(0)));
173         q = cmop(qmkx("%r11"bcon(0)));
174
175         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
176         r = mkx("=a"r);
ragge
1.45
177         r = block(XASMrqINT00);
ragge
1.27
178
179         /* Create the magic string */
180         s1 = ".byte 0x66\n\tleaq ";
181         s2 = "@TLSGD(%%rip),%%rdi\n"
182             "\t.word 0x6666\n\trex64\n\tcall __tls_get_addr@PLT";
183         if (p->n_sp->soname == NULL)
184                 p->n_sp->soname = p->n_sp->sname;
185         r->n_name = mk3str(s1p->n_sp->sonames2);
186
187         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
188         r = buildtree(UMULrNIL);
189         tfree(p);
190         return r;
mickey
1.1
191 }
192
ragge
1.27
193 /*
194  * The "initial exec" tls model.
195  */
mickey
1.1
196 static NODE *
ragge
1.27
197 tlsinitialexec(NODE *p)
mickey
1.1
198 {
ragge
1.27
199         NODE *q, *r, *s;
200         char *s1, *s2;
mickey
1.1
201
ragge
1.27
202         /*
203          * movq %fs:0,%rax
204          * addq x@GOTTPOFF(%rip),%rax
205          */
206
207         q = bcon(0);
208         q->n_type = STRTY;
mickey
1.1
209
ragge
1.27
210         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
211         r = mkx("=r"r);
ragge
1.45
212         r = block(XASMrqINT00);
ragge
1.27
213
214         s1 = "movq %%fs:0,%0\n\taddq ";
215         s2 = "@GOTTPOFF(%%rip),%0";
216         if (p->n_sp->soname == NULL)
217                 p->n_sp->soname = p->n_sp->sname;
218         r->n_name = mk3str(s1p->n_sp->sonames2);
219
220         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
221         r = buildtree(UMULrNIL);
222         tfree(p);
223         return r;
mickey
1.1
224 }
225
226 static NODE *
227 tlsref(NODE *p)
228 {
ragge
1.27
229         struct symtab *sp = p->n_sp;
230         struct attr *ga;
231         char *c;
232
233         if ((ga = attr_find(sp->sapGCC_ATYP_TLSMODEL)) != NULL) {
234                 c = ga->sarg(0);
235                 if (strcmp(c"initial-exec") == 0)
236                         return tlsinitialexec(p);
237                 else if (strcmp(c"global-dynamic") == 0)
238                         ;
239                 else
240                         werror("unsupported tls model '%s'"c);
241         }
242         return tlspic(p);
mickey
1.1
243 }
244
245 /* clocal() is called to do local transformations on
246  * an expression tree preparitory to its being
247  * written out in intermediate code.
248  *
249  * the major essential job is rewriting the
250  * automatic variables and arguments in terms of
251  * REG and OREG nodes
252  * conversion ops which are not necessary are also clobbered here
253  * in addition, any special features (such as rewriting
254  * exclusive or) are easily handled here as well
255  */
256 NODE *
257 clocal(NODE *p)
258 {
259
260         register struct symtab *q;
261         register NODE *r, *l;
262         register int o;
263         register int m;
264         TWORD t;
265
266 #ifdef PCC_DEBUG
267         if (xdebug) {
268                 printf("clocal: %p\n"p);
269                 fwalk(peprint0);
270         }
271 #endif
272         switcho = p->n_op ){
273
274         case NAME:
275                 if ((q = p->n_sp) == NULL)
276                         return p/* Nothing to care about */
277
278                 switch (q->sclass) {
279
280                 case PARAM:
281                 case AUTO:
282                         /* fake up a structure reference */
283                         r = block(REGNILNILPTR+STRTY00);
284                         r->n_lval = 0;
285                         r->n_rval = FPREG;
286                         p = stref(block(STREFrp000));
287                         break;
288
289                 case USTATIC:
290                         if (kflag == 0)
291                                 break;
292                         /* FALLTHROUGH */
293                 case STATIC:
294 #ifdef TLS
295                         if (q->sflags & STLS) {
296                                 p = tlsref(p);
297                                 break;
298                         }
299 #endif
300                         break;
301
302                 case REGISTER:
303                         p->n_op = REG;
304                         p->n_lval = 0;
305                         p->n_rval = q->soffset;
306                         break;
307
308                 case EXTERN:
309                 case EXTDEF:
310                         if (q->sflags & STLS) {
311                                 p = tlsref(p);
312                                 break;
313                         }
ragge
1.51
314                         if (kflag == 0 || statinit)
mickey
1.1
315                                 break;
316                         if (blevel > 0)
317                                 p = picext(p);
318                         break;
319                 }
320                 break;
321
ragge
1.24
322         case UCALL:
323         case USTCALL:
324                 /* For now, always clear eax */
ragge
1.45
325                 l = block(REGNILNILINT00);
ragge
1.24
326                 regno(l) = RAX;
327                 p->n_right = clocal(buildtree(ASSIGNlbcon(0)));
328                 p->n_op -= (UCALL-CALL);
ragge
1.7
329                 break;
330
mickey
1.1
331         case SCONV:
ragge
1.15
332                 /* Special-case shifts */
333                 if (p->n_type == LONG && (l = p->n_left)->n_op == LS && 
334                     l->n_type == INT && l->n_right->n_op == ICON) {
335                         p->n_left = l->n_left;
336                         p = buildtree(LSpl->n_right);
337                         nfree(l);
338                         break;
339                 }
340
mickey
1.1
341                 l = p->n_left;
342
ragge
1.5
343                 /* Float conversions may need extra casts */
ragge
1.37
344                 if (p->n_type == FLOAT || p->n_type == DOUBLE ||
345                     p->n_type == LDOUBLE) {
ragge
1.41
346                         if (l->n_type < INT || l->n_type == BOOL) {
ragge
1.5
347                                 p->n_left = block(SCONVlNIL,
348                                     ISUNSIGNED(l->n_type) ? UNSIGNED : INT,
ragge
1.18
349                                     l->n_dfl->n_ap);
ragge
1.5
350                                 break;
351                         }
352                 }
353
mickey
1.1
354                 if (p->n_type == l->n_type) {
355                         nfree(p);
356                         return l;
357                 }
358
359                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
ragge
1.45
360                     tsize(p->n_typep->n_dfp->n_ap) ==
361                     tsize(l->n_typel->n_dfl->n_ap)) {
mickey
1.1
362                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
363                             l->n_type != FLOAT && l->n_type != DOUBLE &&
364                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
365                                 if (l->n_op == NAME || l->n_op == UMUL ||
366                                     l->n_op == TEMP) {
367                                         l->n_type = p->n_type;
368                                         nfree(p);
369                                         return l;
370                                 }
371                         }
372                 }
373
374                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
ragge
1.42
375                     coptype(l->n_op) == BITYPE && l->n_op != COMOP &&
376                     l->n_op != QUEST) {
mickey
1.1
377                         l->n_type = p->n_type;
378                         nfree(p);
379                         return l;
380                 }
381
382                 o = l->n_op;
383                 m = p->n_type;
384
385                 if (o == ICON) {
386                         CONSZ val = l->n_lval;
387
388                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
389                             switch (m) {
390                         case BOOL:
ragge
1.30
391                                 l->n_lval = nncon(l) ? (l->n_lval != 0) : 1;
392                                 l->n_sp = NULL;
mickey
1.1
393                                 break;
394                         case CHAR:
395                                 l->n_lval = (char)val;
396                                 break;
397                         case UCHAR:
398                                 l->n_lval = val & 0377;
399                                 break;
400                         case SHORT:
401                                 l->n_lval = (short)val;
402                                 break;
403                         case USHORT:
404                                 l->n_lval = val & 0177777;
405                                 break;
406                         case UNSIGNED:
407                                 l->n_lval = val & 0xffffffff;
408                                 break;
409                         case INT:
410                                 l->n_lval = (int)val;
411                                 break;
412                         case LONG:
413                         case LONGLONG:
414                                 l->n_lval = (long long)val;
415                                 break;
416                         case ULONG:
417                         case ULONGLONG:
418                                 l->n_lval = val;
419                                 break;
420                         case VOID:
421                                 break;
422                         case LDOUBLE:
423                         case DOUBLE:
424                         case FLOAT:
425                                 l->n_op = FCON;
426                                 l->n_dcon = val;
427                                 break;
428                         default:
429                                 cerror("unknown type %d"m);
430                         }
431                         l->n_type = m;
ragge
1.45
432                         l->n_ap = NULL;
mickey
1.1
433                         nfree(p);
434                         return l;
435                 } else if (l->n_op == FCON) {
ragge
1.29
436                         if (p->n_type == BOOL)
437                                 l->n_lval = l->n_dcon != 0.0;
438                         else
439                                 l->n_lval = l->n_dcon;
mickey
1.1
440                         l->n_sp = NULL;
441                         l->n_op = ICON;
442                         l->n_type = m;
ragge
1.45
443                         l->n_ap = NULL;
mickey
1.1
444                         nfree(p);
445                         return clocal(l);
446                 }
447                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
448                     p->n_type == SHORT || p->n_type == USHORT) &&
449                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
450                     l->n_type == LDOUBLE)) {
ragge
1.18
451                         p = block(SCONVpNILp->n_typep->n_dfp->n_ap);
mickey
1.1
452                         p->n_left->n_type = INT;
453                         return p;
454                 }
455                 break;
456
457         case MOD:
458         case DIV:
459                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
460                         break;
461                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
462                         break;
463                 /* make it an int division by inserting conversions */
ragge
1.52
464                 p->n_left = makety(p->n_leftINT000);
465                 p->n_right = makety(p->n_rightINT000);
466                 p = makety(pp->n_type000);
mickey
1.1
467                 p->n_left->n_type = INT;
468                 break;
469
470         case FORCE:
471                 /* put return value in return reg */
472                 p->n_op = ASSIGN;
473                 p->n_right = p->n_left;
ragge
1.45
474                 p->n_left = block(REGNILNILp->n_type00);
ragge
1.34
475                 t = p->n_type;
476                 if (ISITY(t))
477                         t = t - (FIMAG-FLOAT);
mickey
1.1
478                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
ragge
1.34
479                     RETREG(CHAR) : RETREG(t);
mickey
1.1
480                 break;
481
482         case LS:
483         case RS:
ragge
1.15
484                 /* shift count must be in a char */
mickey
1.1
485                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
486                         break;
ragge
1.52
487                 p->n_right = makety(p->n_rightCHAR000);
mickey
1.1
488                 break;
489         }
490 #ifdef PCC_DEBUG
491         if (xdebug) {
492                 printf("clocal end: %p\n"p);
493                 fwalk(peprint0);
494         }
495 #endif
496         return(p);
497 }
498
499 void
500 myp2tree(NODE *p)
501 {
ragge
1.28
502         struct symtab *spsps;
503         static int dblxorfltxor;
mickey
1.1
504
ragge
1.28
505         if (p->n_op == UMINUS && (p->n_type == FLOAT || p->n_type == DOUBLE)) {
506                 /* Store xor code for sign change */
507                 if (dblxor == 0) {
508                         dblxor = getlab();
509                         fltxor = getlab();
510                         sps.stype = LDOUBLE;
511                         sps.squal = CON >> TSHIFT;
512                         sps.sflags = sps.sclass = 0;
513                         sps.sname = sps.soname = "";
514                         sps.slevel = 1;
ragge
1.45
515                         sps.sap = NULL;
ragge
1.28
516                         sps.soffset = dblxor;
ragge
1.59
517                         locctr(DATA, &sps);
ragge
1.28
518                         defloc(&sps);
519                         printf("\t.long 0,0x80000000,0,0\n");
520                         printf(LABFMT ":\n"fltxor);
521                         printf("\t.long 0x80000000,0,0,0\n");
522                 }
523                 p->n_label = p->n_type == FLOAT ? fltxor : dblxor;
524                 return;
525         }
ragge
1.64
526         if (kflag && (cdope(p->n_op) & CALLFLG) && p->n_left->n_op == NAME) {
527                 /* Convert @GOTPCREL to @PLT */
528                 char *s;
529
530                 sp = p->n_left->n_sp;
531                 if ((s = strstr(sp->sname"@GOTPCREL")) != NULL) {
532                         strcpy(s"@PLT");
533                         p->n_left->n_op = ICON;
534                 }
535                 return;
536         }
mickey
1.1
537         if (p->n_op != FCON)
538                 return;
539
ragge
1.66
540 #ifdef mach_amd64
541         {
542                 /* Do not loose negative zeros */
543                 long long *llp = (long long *)(&p->n_dcon);
544                 short *ssp = (short *)&llp[1];
545                 if (*llp == 0 && *ssp == 0)
546                         return;
547         }
548 #else
549 #error fixme
550 #endif
ragge
1.65
551
ragge
1.22
552         /* XXX should let float constants follow */
mickey
1.1
553         sp = IALLOC(sizeof(struct symtab));
554         sp->sclass = STATIC;
ragge
1.45
555         sp->sap = NULL;
mickey
1.1
556         sp->slevel = 1/* fake numeric label */
557         sp->soffset = getlab();
558         sp->sflags = 0;
559         sp->stype = p->n_type;
560         sp->squal = (CON >> TSHIFT);
gmcgarry
1.49
561         sp->sname = sp->soname = NULL;
mickey
1.1
562
ragge
1.59
563         locctr(DATAsp);
mickey
1.1
564         defloc(sp);
ragge
1.18
565         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
566
567         p->n_op = NAME;
568         p->n_lval = 0;
569         p->n_sp = sp;
570 }
571
ragge
1.22
572 /*
573  * Convert ADDROF NAME to ICON?
574  */
mickey
1.1
575 int
576 andable(NODE *p)
577 {
ragge
1.67
578 #ifdef notdef
579         /* shared libraries cannot have direct referenced static syms */
ragge
1.22
580         if (p->n_sp->sclass == STATIC || p->n_sp->sclass == USTATIC)
ragge
1.64
581                 return 1;
ragge
1.67
582 #endif
ragge
1.64
583         return !kflag;
mickey
1.1
584 }
585
586 /*
587  * Return 1 if a variable of type type is OK to put in register.
588  */
589 int
590 cisreg(TWORD t)
591 {
ragge
1.14
592         if (t == LDOUBLE)
593                 return 0;
mickey
1.1
594         return 1;
595 }
596
597 /*
598  * Allocate off bits on the stack.  p is a tree that when evaluated
599  * is the multiply count for off, t is a storeable node where to write
600  * the allocated address.
601  */
602 void
603 spalloc(NODE *tNODE *pOFFSZ off)
604 {
605         NODE *sp;
606
ragge
1.20
607         p = buildtree(MULpbcon(off/SZCHAR));
608         p = buildtree(PLUSpbcon(30));
609         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
610
611         /* sub the size from sp */
ragge
1.45
612         sp = block(REGNILNILp->n_type00);
mickey
1.1
613         sp->n_lval = 0;
614         sp->n_rval = STKREG;
615         ecomp(buildtree(MINUSEQspp));
616
617         /* save the address of sp */
ragge
1.22
618         sp = block(REGNILNILPTR+LONGt->n_dft->n_ap);
mickey
1.1
619         sp->n_lval = 0;
620         sp->n_rval = STKREG;
621         t->n_type = sp->n_type;
622         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
623
624 }
625
626 /*
627  * print out a constant node, may be associated with a label.
628  * Do not free the node after use.
629  * off is bit offset from the beginning of the aggregate
630  * fsz is the number of bits this is referring to
631  */
ragge
1.55
632 int
mickey
1.1
633 ninval(CONSZ offint fszNODE *p)
634 {
635         union { float fdouble dlong double lint i[3]; } u;
636
ragge
1.55
637         switch (p->n_type) {
mickey
1.1
638         case LDOUBLE:
639                 u.i[2] = 0;
640                 u.l = (long double)p->n_dcon;
641 #if defined(HOST_BIG_ENDIAN)
642                 /* XXX probably broken on most hosts */
ragge
1.36
643                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[2], u.i[1], u.i[0]);
mickey
1.1
644 #else
ragge
1.36
645                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[0], u.i[1], u.i[2]);
mickey
1.1
646 #endif
647                 break;
648         case DOUBLE:
649                 u.d = (double)p->n_dcon;
650 #if defined(HOST_BIG_ENDIAN)
651                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
652 #else
653                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
654 #endif
655                 break;
656         case FLOAT:
657                 u.f = (float)p->n_dcon;
658                 printf("\t.long\t0x%x\n"u.i[0]);
659                 break;
660         default:
ragge
1.55
661                 return 0;
mickey
1.1
662         }
ragge
1.55
663         return 1;
mickey
1.1
664 }
665
666 /* make a name look like an external name in the local machine */
667 char *
668 exname(char *p)
669 {
ragge
1.31
670 #ifdef MACHOABI
671
672 #define NCHNAM  256
673         static char text[NCHNAM+1];
674         int i;
675
676         if (p == NULL)
677                 return "";
678
679         text[0] = '_';
680         for (i=1; *p && i<NCHNAM; ++i)
681                 text[i] = *p++;
682
683         text[i] = '\0';
684         text[NCHNAM] = '\0';  /* truncate */
685
686         return (text);
687 #else
mickey
1.1
688         return (p == NULL ? "" : p);
ragge
1.31
689 #endif
mickey
1.1
690 }
691
692 /*
693  * map types which are not defined on the local machine
694  */
695 TWORD
696 ctype(TWORD type)
697 {
698         switch (BTYPE(type)) {
ragge
1.5
699         case LONGLONG:
mickey
1.1
700                 MODTYPE(type,LONG);
701                 break;
702
ragge
1.5
703         case ULONGLONG:
mickey
1.1
704                 MODTYPE(type,ULONG);
705
706         }
707         return (type);
708 }
709
710 void
711 calldec(NODE *pNODE *q
712 {
713 }
714
715 void
716 extdec(struct symtab *q)
717 {
718 }
719
720 /* make a common declaration for id, if reasonable */
721 void
722 defzero(struct symtab *sp)
723 {
ragge
1.58
724         int offal;
ragge
1.11
725         char *name;
mickey
1.1
726
ragge
1.11
727         if ((name = sp->soname) == NULL)
728                 name = exname(sp->sname);
ragge
1.18
729         off = tsize(sp->stypesp->sdfsp->sap);
ragge
1.58
730         SETOFF(off,SZCHAR);
731         off /= SZCHAR;
732         al = talign(sp->stypesp->sap)/SZCHAR;
733
ragge
1.60
734         if (sp->sclass == STATIC) {
735                 if (sp->slevel == 0) {
736                         printf("\t.local %s\n"name);
737                 } else
738                         printf("\t.local " LABFMT "\n"sp->soffset);
739         }
ragge
1.5
740         if (sp->slevel == 0) {
ragge
1.60
741                 printf("\t.comm %s,0%o,%d\n"nameoffal);
ragge
1.5
742         } else
ragge
1.60
743                 printf("\t.comm " LABFMT ",0%o,%d\n"sp->soffsetoffal);
mickey
1.1
744 }
745
746 static char *
747 section2string(char *nameint len)
748 {
749         char *s;
750         int n;
751
752         if (strncmp(name"link_set"8) == 0) {
753                 const char *postfix = ",\"aw\",@progbits";
754                 n = len + strlen(postfix) + 1;
755                 s = IALLOC(n);
756                 strlcpy(snamen);
757                 strlcat(spostfixn);
758                 return s;
759         }
760
761         return newstring(namelen);
762 }
763
764 char *nextsect;
765 static int gottls;
766 static char *alias;
767 static int constructor;
768 static int destructor;
769
770 /*
771  * Give target the opportunity of handling pragmas.
772  */
773 int
ragge
1.38
774 mypragma(char *str)
mickey
1.1
775 {
ragge
1.38
776         char *a2 = pragtok(NULL);
777
778         if (strcmp(str"tls") == 0 && a2 == NULL) {
mickey
1.1
779                 gottls = 1;
780                 return 1;
781         }
ragge
1.38
782         if (strcmp(str"constructor") == 0 || strcmp(str"init") == 0) {
mickey
1.1
783                 constructor = 1;
784                 return 1;
785         }
ragge
1.38
786         if (strcmp(str"destructor") == 0 || strcmp(str"fini") == 0) {
mickey
1.1
787                 destructor = 1;
788                 return 1;
789         }
ragge
1.38
790         if (strcmp(str"section") == 0 && a2 != NULL) {
791                 nextsect = section2string(a2strlen(a2));
mickey
1.1
792                 return 1;
793         }
ragge
1.38
794         if (strcmp(str"alias") == 0 && a2 != NULL) {
795                 alias = tmpstrdup(a2);
mickey
1.1
796                 return 1;
797         }
798
799         return 0;
800 }
801
802 /*
803  * Called when a identifier has been declared.
804  */
805 void
806 fixdef(struct symtab *sp)
807 {
ragge
1.18
808         struct attr *ga;
ragge
1.22
809
mickey
1.1
810         /* may have sanity checks here */
811         if (gottls)
812                 sp->sflags |= STLS;
813         gottls = 0;
ragge
1.27
814
ragge
1.17
815 #ifdef HAVE_WEAKREF
816         /* not many as'es have this directive */
ragge
1.18
817         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_WEAKREF)) != NULL) {
ragge
1.17
818                 char *wr = ga->a1.sarg;
819                 char *sn = sp->soname ? sp->soname : sp->sname;
820                 if (wr == NULL) {
ragge
1.18
821                         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_ALIAS))) {
ragge
1.17
822                                 wr = ga->a1.sarg;
823                         }
824                 }
825                 if (wr == NULL)
826                         printf("\t.weak %s\n"sn);
827                 else
828                         printf("\t.weakref %s,%s\n"snwr);
829         } else
830 #endif
ragge
1.18
831                if ((ga = attr_find(sp->sapGCC_ATYP_ALIAS)) != NULL) {
832                 char *an = ga->sarg(0);
ragge
1.16
833                 char *sn = sp->soname ? sp->soname : sp->sname;
834                 char *v;
835
ragge
1.18
836                 v = attr_find(sp->sapGCC_ATYP_WEAK) ? "weak" : "globl";
ragge
1.16
837                 printf("\t.%s %s\n"vsn);
838                 printf("\t.set %s,%s\n"snan);
839         }
mickey
1.1
840         if (alias != NULL && (sp->sclass != PARAM)) {
841                 printf("\t.globl %s\n"exname(sp->soname));
842                 printf("%s = "exname(sp->soname));
843                 printf("%s\n"exname(alias));
844                 alias = NULL;
845         }
846         if ((constructor || destructor) && (sp->sclass != PARAM)) {
ragge
1.10
847                 NODE *p = talloc();
848
849                 p->n_op = NAME;
850                 p->n_sp =
851                   (struct symtab *)(constructor ? "constructor" : "destructor");
ragge
1.18
852                 sp->sap = attr_add(sp->sapgcc_attr_parse(p));
mickey
1.1
853                 constructor = destructor = 0;
854         }
855 }
856
857 NODE *
ragge
1.19
858 i386_builtin_return_address(NODE *fNODE *aTWORD t)
mickey
1.1
859 {
860         int nframes;
861
862         if (a == NULL || a->n_op != ICON)
863                 goto bad;
864
865         nframes = a->n_lval;
866
867         tfree(f);
868         tfree(a);
869
ragge
1.45
870         f = block(REGNILNILPTR+VOID00);
mickey
1.1
871         regno(f) = FPREG;
872
873         while (nframes--)
ragge
1.45
874                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
875
ragge
1.45
876         f = block(PLUSfbcon(4), INCREF(PTR+VOID), 00);
mickey
1.1
877         f = buildtree(UMULfNIL);
878
879         return f;
880 bad:
881         uerror("bad argument to __builtin_return_address");
882         return bcon(0);
883 }
884
885 NODE *
ragge
1.19
886 i386_builtin_frame_address(NODE *fNODE *aTWORD t)
mickey
1.1
887 {
888         int nframes;
889
890         if (a == NULL || a->n_op != ICON)
891                 goto bad;
892
893         nframes = a->n_lval;
894
895         tfree(f);
896         tfree(a);
897
ragge
1.45
898         f = block(REGNILNILPTR+VOID00);
mickey
1.1
899         regno(f) = FPREG;
900
901         while (nframes--)
ragge
1.45
902                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
903
904         return f;
905 bad:
906         uerror("bad argument to __builtin_frame_address");
907         return bcon(0);
908 }
909
910 void
911 pass1_lastchance(struct interpass *ip)
912 {
913 }
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-09-18 17:43 +0200