Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20140828154407

Diff

Diff from 1.84 to:

Annotations

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

Annotated File View

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