Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:plunky:20120906113232

Diff

Diff from 1.73 to:

Annotations

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

Annotated File View

plunky
1.73
1 /*      $Id: local.c,v 1.73 2012/09/06 11:32:32 plunky 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         {
plunky
1.70
542                 /* Do not lose negative zeros */
ragge
1.69
543                 long double *d = &p->n_dcon;
544                 long long *llp = (long long *)d;
ragge
1.66
545                 short *ssp = (short *)&llp[1];
546                 if (*llp == 0 && *ssp == 0)
547                         return;
548         }
549 #else
550 #error fixme
551 #endif
ragge
1.65
552
ragge
1.22
553         /* XXX should let float constants follow */
mickey
1.1
554         sp = IALLOC(sizeof(struct symtab));
555         sp->sclass = STATIC;
ragge
1.45
556         sp->sap = NULL;
mickey
1.1
557         sp->slevel = 1/* fake numeric label */
558         sp->soffset = getlab();
559         sp->sflags = 0;
560         sp->stype = p->n_type;
561         sp->squal = (CON >> TSHIFT);
gmcgarry
1.49
562         sp->sname = sp->soname = NULL;
mickey
1.1
563
ragge
1.59
564         locctr(DATAsp);
mickey
1.1
565         defloc(sp);
ragge
1.18
566         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
567
568         p->n_op = NAME;
569         p->n_lval = 0;
570         p->n_sp = sp;
571 }
572
ragge
1.22
573 /*
574  * Convert ADDROF NAME to ICON?
575  */
mickey
1.1
576 int
577 andable(NODE *p)
578 {
ragge
1.67
579 #ifdef notdef
580         /* shared libraries cannot have direct referenced static syms */
ragge
1.22
581         if (p->n_sp->sclass == STATIC || p->n_sp->sclass == USTATIC)
ragge
1.64
582                 return 1;
ragge
1.67
583 #endif
ragge
1.64
584         return !kflag;
mickey
1.1
585 }
586
587 /*
588  * Return 1 if a variable of type type is OK to put in register.
589  */
590 int
591 cisreg(TWORD t)
592 {
ragge
1.14
593         if (t == LDOUBLE)
594                 return 0;
mickey
1.1
595         return 1;
596 }
597
598 /*
599  * Allocate off bits on the stack.  p is a tree that when evaluated
600  * is the multiply count for off, t is a storeable node where to write
601  * the allocated address.
602  */
603 void
604 spalloc(NODE *tNODE *pOFFSZ off)
605 {
606         NODE *sp;
607
ragge
1.20
608         p = buildtree(MULpbcon(off/SZCHAR));
609         p = buildtree(PLUSpbcon(30));
610         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
611
612         /* sub the size from sp */
ragge
1.45
613         sp = block(REGNILNILp->n_type00);
mickey
1.1
614         sp->n_lval = 0;
615         sp->n_rval = STKREG;
616         ecomp(buildtree(MINUSEQspp));
617
618         /* save the address of sp */
ragge
1.22
619         sp = block(REGNILNILPTR+LONGt->n_dft->n_ap);
mickey
1.1
620         sp->n_lval = 0;
621         sp->n_rval = STKREG;
622         t->n_type = sp->n_type;
623         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
624
625 }
626
627 /*
628  * print out a constant node, may be associated with a label.
629  * Do not free the node after use.
630  * off is bit offset from the beginning of the aggregate
631  * fsz is the number of bits this is referring to
632  */
ragge
1.55
633 int
mickey
1.1
634 ninval(CONSZ offint fszNODE *p)
635 {
636         union { float fdouble dlong double lint i[3]; } u;
637
ragge
1.55
638         switch (p->n_type) {
mickey
1.1
639         case LDOUBLE:
640                 u.i[2] = 0;
641                 u.l = (long double)p->n_dcon;
642 #if defined(HOST_BIG_ENDIAN)
643                 /* XXX probably broken on most hosts */
ragge
1.36
644                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[2], u.i[1], u.i[0]);
mickey
1.1
645 #else
ragge
1.36
646                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[0], u.i[1], u.i[2]);
mickey
1.1
647 #endif
648                 break;
649         case DOUBLE:
650                 u.d = (double)p->n_dcon;
651 #if defined(HOST_BIG_ENDIAN)
652                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
653 #else
654                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
655 #endif
656                 break;
657         case FLOAT:
658                 u.f = (float)p->n_dcon;
659                 printf("\t.long\t0x%x\n"u.i[0]);
660                 break;
661         default:
ragge
1.55
662                 return 0;
mickey
1.1
663         }
ragge
1.55
664         return 1;
mickey
1.1
665 }
666
667 /* make a name look like an external name in the local machine */
668 char *
669 exname(char *p)
670 {
ragge
1.31
671 #ifdef MACHOABI
672
673 #define NCHNAM  256
674         static char text[NCHNAM+1];
675         int i;
676
677         if (p == NULL)
678                 return "";
679
680         text[0] = '_';
681         for (i=1; *p && i<NCHNAM; ++i)
682                 text[i] = *p++;
683
684         text[i] = '\0';
685         text[NCHNAM] = '\0';  /* truncate */
686
687         return (text);
688 #else
mickey
1.1
689         return (p == NULL ? "" : p);
ragge
1.31
690 #endif
mickey
1.1
691 }
692
693 /*
694  * map types which are not defined on the local machine
695  */
696 TWORD
697 ctype(TWORD type)
698 {
699         switch (BTYPE(type)) {
ragge
1.5
700         case LONGLONG:
mickey
1.1
701                 MODTYPE(type,LONG);
702                 break;
703
ragge
1.5
704         case ULONGLONG:
mickey
1.1
705                 MODTYPE(type,ULONG);
706
707         }
708         return (type);
709 }
710
711 void
712 calldec(NODE *pNODE *q
713 {
714 }
715
716 void
717 extdec(struct symtab *q)
718 {
719 }
720
721 /* make a common declaration for id, if reasonable */
722 void
723 defzero(struct symtab *sp)
724 {
ragge
1.58
725         int offal;
ragge
1.11
726         char *name;
mickey
1.1
727
ragge
1.11
728         if ((name = sp->soname) == NULL)
729                 name = exname(sp->sname);
ragge
1.18
730         off = tsize(sp->stypesp->sdfsp->sap);
ragge
1.58
731         SETOFF(off,SZCHAR);
732         off /= SZCHAR;
733         al = talign(sp->stypesp->sap)/SZCHAR;
734
ragge
1.60
735         if (sp->sclass == STATIC) {
736                 if (sp->slevel == 0) {
737                         printf("\t.local %s\n"name);
738                 } else
739                         printf("\t.local " LABFMT "\n"sp->soffset);
740         }
ragge
1.5
741         if (sp->slevel == 0) {
ragge
1.60
742                 printf("\t.comm %s,0%o,%d\n"nameoffal);
ragge
1.5
743         } else
ragge
1.60
744                 printf("\t.comm " LABFMT ",0%o,%d\n"sp->soffsetoffal);
mickey
1.1
745 }
746
747 static char *
plunky
1.73
748 section2string(char *name)
mickey
1.1
749 {
plunky
1.73
750         int len = strlen(name);
mickey
1.1
751
752         if (strncmp(name"link_set"8) == 0) {
plunky
1.73
753                 const char postfix[] = ",\"aw\",@progbits";
754                 char *s;
755
756                 s = IALLOC(len + sizeof(postfix));
757                 memcpy(snamelen);
758                 memcpy(s + lenpostfixsizeof(postfix));
mickey
1.1
759                 return s;
760         }
761
762         return newstring(namelen);
763 }
764
765 char *nextsect;
766 static int gottls;
767 static char *alias;
768 static int constructor;
769 static int destructor;
770
771 /*
772  * Give target the opportunity of handling pragmas.
773  */
774 int
ragge
1.38
775 mypragma(char *str)
mickey
1.1
776 {
ragge
1.38
777         char *a2 = pragtok(NULL);
778
779         if (strcmp(str"tls") == 0 && a2 == NULL) {
mickey
1.1
780                 gottls = 1;
781                 return 1;
782         }
ragge
1.38
783         if (strcmp(str"constructor") == 0 || strcmp(str"init") == 0) {
mickey
1.1
784                 constructor = 1;
785                 return 1;
786         }
ragge
1.38
787         if (strcmp(str"destructor") == 0 || strcmp(str"fini") == 0) {
mickey
1.1
788                 destructor = 1;
789                 return 1;
790         }
ragge
1.38
791         if (strcmp(str"section") == 0 && a2 != NULL) {
plunky
1.73
792                 nextsect = section2string(a2);
mickey
1.1
793                 return 1;
794         }
ragge
1.38
795         if (strcmp(str"alias") == 0 && a2 != NULL) {
796                 alias = tmpstrdup(a2);
mickey
1.1
797                 return 1;
798         }
799
800         return 0;
801 }
802
803 /*
804  * Called when a identifier has been declared.
805  */
806 void
807 fixdef(struct symtab *sp)
808 {
ragge
1.18
809         struct attr *ga;
ragge
1.22
810
mickey
1.1
811         /* may have sanity checks here */
812         if (gottls)
813                 sp->sflags |= STLS;
814         gottls = 0;
ragge
1.27
815
ragge
1.17
816 #ifdef HAVE_WEAKREF
817         /* not many as'es have this directive */
ragge
1.18
818         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_WEAKREF)) != NULL) {
ragge
1.17
819                 char *wr = ga->a1.sarg;
820                 char *sn = sp->soname ? sp->soname : sp->sname;
821                 if (wr == NULL) {
ragge
1.18
822                         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_ALIAS))) {
ragge
1.17
823                                 wr = ga->a1.sarg;
824                         }
825                 }
826                 if (wr == NULL)
827                         printf("\t.weak %s\n"sn);
828                 else
829                         printf("\t.weakref %s,%s\n"snwr);
830         } else
831 #endif
ragge
1.18
832                if ((ga = attr_find(sp->sapGCC_ATYP_ALIAS)) != NULL) {
833                 char *an = ga->sarg(0);
ragge
1.16
834                 char *sn = sp->soname ? sp->soname : sp->sname;
835                 char *v;
836
ragge
1.18
837                 v = attr_find(sp->sapGCC_ATYP_WEAK) ? "weak" : "globl";
ragge
1.16
838                 printf("\t.%s %s\n"vsn);
839                 printf("\t.set %s,%s\n"snan);
840         }
mickey
1.1
841         if (alias != NULL && (sp->sclass != PARAM)) {
842                 printf("\t.globl %s\n"exname(sp->soname));
843                 printf("%s = "exname(sp->soname));
844                 printf("%s\n"exname(alias));
845                 alias = NULL;
846         }
847         if ((constructor || destructor) && (sp->sclass != PARAM)) {
ragge
1.10
848                 NODE *p = talloc();
849
850                 p->n_op = NAME;
851                 p->n_sp =
852                   (struct symtab *)(constructor ? "constructor" : "destructor");
ragge
1.18
853                 sp->sap = attr_add(sp->sapgcc_attr_parse(p));
mickey
1.1
854                 constructor = destructor = 0;
855         }
856 }
857
858 NODE *
ragge
1.68
859 i386_builtin_return_address(const struct bitable *btNODE *a)
mickey
1.1
860 {
861         int nframes;
ragge
1.68
862         NODE *f;
mickey
1.1
863
864         if (a == NULL || a->n_op != ICON)
865                 goto bad;
866
867         nframes = a->n_lval;
868
869         tfree(a);
870
ragge
1.45
871         f = block(REGNILNILPTR+VOID00);
mickey
1.1
872         regno(f) = FPREG;
873
874         while (nframes--)
ragge
1.45
875                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
876
ragge
1.45
877         f = block(PLUSfbcon(4), INCREF(PTR+VOID), 00);
mickey
1.1
878         f = buildtree(UMULfNIL);
879
880         return f;
881 bad:
882         uerror("bad argument to __builtin_return_address");
883         return bcon(0);
884 }
885
886 NODE *
ragge
1.68
887 i386_builtin_frame_address(const struct bitable *btNODE *a)
mickey
1.1
888 {
889         int nframes;
ragge
1.68
890         NODE *f;
mickey
1.1
891
892         if (a == NULL || a->n_op != ICON)
893                 goto bad;
894
895         nframes = a->n_lval;
896
897         tfree(a);
898
ragge
1.45
899         f = block(REGNILNILPTR+VOID00);
mickey
1.1
900         regno(f) = FPREG;
901
902         while (nframes--)
ragge
1.45
903                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
904
905         return f;
906 bad:
907         uerror("bad argument to __builtin_frame_address");
908         return bcon(0);
909 }
910
911 void
912 pass1_lastchance(struct interpass *ip)
913 {
914 }
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-01 15:50 +0200