Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20150818101508

Diff

Diff from 1.89 to:

Annotations

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

Annotated File View

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