Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20100920200102

Diff

Diff from 1.20 to:

Annotations

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

Annotated File View

ragge
1.20
1 /*      $Id: local.c,v 1.20 2010/09/20 20:01:02 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  * 3. The name of the author may not be used to endorse or promote products
16  *    derived from this software without specific prior written permission
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28  */
29
30
31 #include "pass1.h"
32
33 /*      this file contains code which is dependent on the target machine */
34
35 /*
36  * Check if a constant is too large for a type.
37  */
38 static int
39 toolarge(TWORD tCONSZ con)
40 {
41         U_CONSZ ucon = con;
42
43         switch (t) {
44         case ULONG:
45         case LONG:
46         case ULONGLONG:
47         case LONGLONG:
48                 break/* cannot be too large */
49 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
50 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
51         SCHK(INT);
52         SCHK(SHORT);
53         case BOOL:
54         SCHK(CHAR);
55         UCHK(UNSIGNED);
56         UCHK(USHORT);
57         UCHK(UCHAR);
58         default:
59                 cerror("toolarge");
60         }
61         return 0;
62 }
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;
74         
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 /*
88  * Create a reference for an extern variable.
89  */
90 static NODE *
91 picext(NODE *p)
92 {
ragge
1.9
93         NODE *q;
mickey
1.1
94         struct symtab *sp;
ragge
1.9
95         char *c;
mickey
1.1
96
ragge
1.9
97         c = p->n_sp->soname ? p->n_sp->soname : p->n_sp->sname;
98         sp = picsymtab(""c"@GOTPCREL(%rip)");
ragge
1.18
99         q = block(NAMENILNILINCREF(p->n_type), p->n_dfp->n_ap);
ragge
1.9
100         q->n_sp = sp;
ragge
1.18
101         q = block(UMULq0p->n_typep->n_dfp->n_ap);
ragge
1.9
102         q->n_sp = sp;
mickey
1.1
103         nfree(p);
104         return q;
105 }
106
107 /*
108  * Create a reference for a static variable.
109  */
110 static NODE *
111 picstatic(NODE *p)
112 {
113         struct symtab *sp;
ragge
1.9
114         char *cbuf[32];
mickey
1.1
115
ragge
1.9
116         if (p->n_sp->slevel > 0)
117                 snprintf(c = buf32LABFMT, (int)p->n_sp->soffset);
118         else
119                 c = p->n_sp->soname ? p->n_sp->soname : p->n_sp->sname;
120         sp = picsymtab(""c"(%rip)");
mickey
1.1
121         sp->sclass = STATIC;
122         sp->stype = p->n_sp->stype;
ragge
1.9
123         p->n_sp = sp;
124         return p;
mickey
1.1
125 }
126
127 #ifdef TLS
128 /*
129  * Create a reference for a TLS variable.
130  */
131 static NODE *
132 tlspic(NODE *p)
133 {
134         NODE *q, *r;
135         struct symtab *sp, *sp2;
136
137         /*
138          * creates:
139          *   leal var@TLSGD(%ebx),%eax
140          *   call ___tls_get_addr@PLT
141          */
142
143         /* calc address of var@TLSGD */
ragge
1.18
144         q = tempnode(gotnrPTR|VOID0MKAP(VOID));
mickey
1.1
145         sp = picsymtab(""p->n_sp->soname"@TLSGD");
146         r = xbcon(0spINT);
147         q = buildtree(PLUSqr);
148
149         /* assign to %eax */
ragge
1.18
150         r = block(REGNILNILPTR|VOID0MKAP(VOID));
mickey
1.1
151         r->n_rval = EAX;
152         q = buildtree(ASSIGNrq);
153
154         /* call ___tls_get_addr */
155         sp2 = lookup("___tls_get_addr@PLT"0);
156         sp2->stype = EXTERN|INT|FTN;
157         r = nametree(sp2);
158         r = buildtree(ADDROFrNIL);
ragge
1.18
159         r = block(UCALLrNILINT0MKAP(INT));
mickey
1.1
160
161         /* fusion both parts together */
162         q = buildtree(COMOPqr);
ragge
1.18
163         q = block(UMULq0p->n_typep->n_dfp->n_ap);
mickey
1.1
164         q->n_sp = p->n_sp/* for init */
165
166         nfree(p);
167         return q;
168 }
169
170 static NODE *
171 tlsnonpic(NODE *p)
172 {
173         NODE *q, *r;
174         struct symtab *sp, *sp2;
175         int ext = p->n_sp->sclass;
176
177         sp = picsymtab(""p->n_sp->soname,
178             ext == EXTERN ? "@INDNTPOFF" : "@NTPOFF");
179         q = xbcon(0spINT);
180         if (ext == EXTERN)
ragge
1.18
181                 q = block(UMULqNILPTR|VOID0MKAP(VOID));
mickey
1.1
182
183         sp2 = lookup("%gs:0"0);
184         sp2->stype = EXTERN|INT;
185         r = nametree(sp2);
186
187         q = buildtree(PLUSqr);
ragge
1.18
188         q = block(UMULq0p->n_typep->n_dfp->n_ap);
mickey
1.1
189         q->n_sp = p->n_sp/* for init */
190
191         nfree(p);
192         return q;
193 }
194
195 static NODE *
196 tlsref(NODE *p)
197 {
198         if (kflag)
199                 return (tlspic(p));
200         else
201                 return (tlsnonpic(p));
202 }
203 #endif
204
205 /* clocal() is called to do local transformations on
206  * an expression tree preparitory to its being
207  * written out in intermediate code.
208  *
209  * the major essential job is rewriting the
210  * automatic variables and arguments in terms of
211  * REG and OREG nodes
212  * conversion ops which are not necessary are also clobbered here
213  * in addition, any special features (such as rewriting
214  * exclusive or) are easily handled here as well
215  */
216 NODE *
217 clocal(NODE *p)
218 {
219
220         register struct symtab *q;
221         register NODE *r, *l;
222         register int o;
223         register int m;
224         TWORD t;
225
226 #ifdef PCC_DEBUG
227         if (xdebug) {
228                 printf("clocal: %p\n"p);
229                 fwalk(peprint0);
230         }
231 #endif
232         switcho = p->n_op ){
233
234         case NAME:
235                 if ((q = p->n_sp) == NULL)
236                         return p/* Nothing to care about */
237
238                 switch (q->sclass) {
239
240                 case PARAM:
241                 case AUTO:
242                         /* fake up a structure reference */
243                         r = block(REGNILNILPTR+STRTY00);
244                         r->n_lval = 0;
245                         r->n_rval = FPREG;
246                         p = stref(block(STREFrp000));
247                         break;
248
249                 case USTATIC:
250                         if (kflag == 0)
251                                 break;
252                         /* FALLTHROUGH */
253                 case STATIC:
254 #ifdef TLS
255                         if (q->sflags & STLS) {
256                                 p = tlsref(p);
257                                 break;
258                         }
259 #endif
260                         if (kflag == 0) {
261                                 if (q->slevel == 0)
262                                         break;
263                                 p->n_lval = 0;
264                         } else if (blevel > 0)
265                                 p = picstatic(p);
266                         break;
267
268                 case REGISTER:
269                         p->n_op = REG;
270                         p->n_lval = 0;
271                         p->n_rval = q->soffset;
272                         break;
273
274                 case EXTERN:
275                 case EXTDEF:
276 #ifdef TLS
277                         if (q->sflags & STLS) {
278                                 p = tlsref(p);
279                                 break;
280                         }
281 #endif
282                         if (kflag == 0)
283                                 break;
284                         if (blevel > 0)
285                                 p = picext(p);
286                         break;
287                 }
288                 break;
289
290         case ADDROF:
291                 if (kflag == 0 || blevel == 0)
292                         break;
293                 /* char arrays may end up here */
294                 l = p->n_left;
295                 if (l->n_op != NAME ||
296                     (l->n_type != ARY+CHAR && l->n_type != ARY+WCHAR_TYPE))
297                         break;
298                 l = p;
299                 p = picstatic(p->n_left);
300                 nfree(l);
301                 if (p->n_op != UMUL)
302                         cerror("ADDROF error");
303                 l = p;
304                 p = p->n_left;
305                 nfree(l);
306                 break;
307
ragge
1.7
308         case CALL:
309         case STCALL:
310                 if (p->n_type == VOID)
311                         break/* nothing to do */
312                 /* have the call at left of a COMOP to avoid arg trashing */
ragge
1.18
313                 r = tempnode(0p->n_typep->n_dfp->n_ap);
ragge
1.7
314                 m = regno(r);
315                 r = buildtree(ASSIGNrp);
ragge
1.18
316                 p = tempnode(mr->n_typer->n_dfr->n_ap);
ragge
1.7
317                 p = buildtree(COMOPrp);
318                 break;
319
mickey
1.1
320         case UCALL:
321         case USTCALL:
ragge
1.9
322                 /* For now, always clear eax */
ragge
1.18
323                 l = block(REGNILNILINT0MKAP(INT));
ragge
1.9
324                 regno(l) = RAX;
325                 p->n_right = clocal(buildtree(ASSIGNlbcon(0)));
mickey
1.1
326                 p->n_op -= (UCALL-CALL);
327                 break;
328
329         case CBRANCH:
330                 l = p->n_left;
331
332                 /*
333                  * Remove unnecessary conversion ops.
334                  */
335                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
336                         if (coptype(l->n_op) != BITYPE)
337                                 break;
338                         if (l->n_right->n_op == ICON) {
339                                 r = l->n_left->n_left;
340                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
341                                         break;
342                                 if (ISPTR(r->n_type))
343                                         break/* no opt for pointers */
344                                 if (toolarge(r->n_typel->n_right->n_lval))
345                                         break;
346                                 /* Type must be correct */
347                                 t = r->n_type;
348                                 nfree(l->n_left);
349                                 l->n_left = r;
350                                 l->n_type = t;
351                                 l->n_right->n_type = t;
352                         }
353                 }
354                 break;
355
356         case PCONV:
357                 /* Remove redundant PCONV's. Be careful */
358                 l = p->n_left;
359                 if (l->n_op == ICON) {
360                         goto delp;
361                 }
ragge
1.5
362                 if (l->n_type < LONG) {
mickey
1.1
363                         /* float etc? */
364                         p->n_left = block(SCONVlNIL,
ragge
1.18
365                             UNSIGNED0MKAP(UNSIGNED));
mickey
1.1
366                         break;
367                 }
368                 /* if left is SCONV, cannot remove */
369                 if (l->n_op == SCONV)
370                         break;
371
372                 /* avoid ADDROF TEMP */
373                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
374                         break;
375
376                 /* if conversion to another pointer type, just remove */
377                 if (p->n_type > BTMASK && l->n_type > BTMASK)
378                         goto delp;
379                 break;
380
381         delp:   l->n_type = p->n_type;
382                 l->n_qual = p->n_qual;
383                 l->n_df = p->n_df;
ragge
1.18
384                 l->n_ap = p->n_ap;
mickey
1.1
385                 nfree(p);
386                 p = l;
387                 break;
388                 
389         case SCONV:
ragge
1.15
390                 /* Special-case shifts */
391                 if (p->n_type == LONG && (l = p->n_left)->n_op == LS && 
392                     l->n_type == INT && l->n_right->n_op == ICON) {
393                         p->n_left = l->n_left;
394                         p = buildtree(LSpl->n_right);
395                         nfree(l);
396                         break;
397                 }
398
mickey
1.1
399                 l = p->n_left;
400
ragge
1.5
401                 /* Float conversions may need extra casts */
402                 if (p->n_type == FLOAT || p->n_type == DOUBLE) {
403                         if (l->n_type < INT) {
404                                 p->n_left = block(SCONVlNIL,
405                                     ISUNSIGNED(l->n_type) ? UNSIGNED : INT,
ragge
1.18
406                                     l->n_dfl->n_ap);
ragge
1.5
407                                 break;
408                         }
409                 }
410
mickey
1.1
411                 if (p->n_type == l->n_type) {
412                         nfree(p);
413                         return l;
414                 }
415
416                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
ragge
1.18
417                     btattr[p->n_type].atypsz == btattr[l->n_type].atypsz) {
mickey
1.1
418                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
419                             l->n_type != FLOAT && l->n_type != DOUBLE &&
420                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
421                                 if (l->n_op == NAME || l->n_op == UMUL ||
422                                     l->n_op == TEMP) {
423                                         l->n_type = p->n_type;
424                                         nfree(p);
425                                         return l;
426                                 }
427                         }
428                 }
429
430                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
431                     coptype(l->n_op) == BITYPE) {
432                         l->n_type = p->n_type;
433                         nfree(p);
434                         return l;
435                 }
436
437                 o = l->n_op;
438                 m = p->n_type;
439
440                 if (o == ICON) {
441                         CONSZ val = l->n_lval;
442
443                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
444                             switch (m) {
445                         case BOOL:
446                                 l->n_lval = l->n_lval != 0;
447                                 break;
448                         case CHAR:
449                                 l->n_lval = (char)val;
450                                 break;
451                         case UCHAR:
452                                 l->n_lval = val & 0377;
453                                 break;
454                         case SHORT:
455                                 l->n_lval = (short)val;
456                                 break;
457                         case USHORT:
458                                 l->n_lval = val & 0177777;
459                                 break;
460                         case UNSIGNED:
461                                 l->n_lval = val & 0xffffffff;
462                                 break;
463                         case INT:
464                                 l->n_lval = (int)val;
465                                 break;
466                         case LONG:
467                         case LONGLONG:
468                                 l->n_lval = (long long)val;
469                                 break;
470                         case ULONG:
471                         case ULONGLONG:
472                                 l->n_lval = val;
473                                 break;
474                         case VOID:
475                                 break;
476                         case LDOUBLE:
477                         case DOUBLE:
478                         case FLOAT:
479                                 l->n_op = FCON;
480                                 l->n_dcon = val;
481                                 break;
482                         default:
483                                 cerror("unknown type %d"m);
484                         }
485                         l->n_type = m;
ragge
1.18
486                         l->n_ap = MKAP(m);
mickey
1.1
487                         nfree(p);
488                         return l;
489                 } else if (l->n_op == FCON) {
490                         l->n_lval = l->n_dcon;
491                         l->n_sp = NULL;
492                         l->n_op = ICON;
493                         l->n_type = m;
ragge
1.18
494                         l->n_ap = MKAP(m);
mickey
1.1
495                         nfree(p);
496                         return clocal(l);
497                 }
498                 if (DEUNSIGN(p->n_type) == SHORT &&
499                     DEUNSIGN(l->n_type) == SHORT) {
500                         nfree(p);
501                         p = l;
502                 }
503                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
504                     p->n_type == SHORT || p->n_type == USHORT) &&
505                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
506                     l->n_type == LDOUBLE)) {
ragge
1.18
507                         p = block(SCONVpNILp->n_typep->n_dfp->n_ap);
mickey
1.1
508                         p->n_left->n_type = INT;
509                         return p;
510                 }
511                 break;
512
513         case MOD:
514         case DIV:
515                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
516                         break;
517                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
518                         break;
519                 /* make it an int division by inserting conversions */
ragge
1.18
520                 p->n_left = block(SCONVp->n_leftNILINT0MKAP(INT));
521                 p->n_right = block(SCONVp->n_rightNILINT0MKAP(INT));
522                 p = block(SCONVpNILp->n_type0MKAP(p->n_type));
mickey
1.1
523                 p->n_left->n_type = INT;
524                 break;
525
526         case PMCONV:
527         case PVCONV:
528                 r = p;
529                 p = buildtree(o == PMCONV ? MUL : DIVp->n_leftp->n_right);
530                 nfree(r);
531                 break;
532
533         case FORCE:
534                 /* put return value in return reg */
535                 p->n_op = ASSIGN;
536                 p->n_right = p->n_left;
ragge
1.18
537                 p->n_left = block(REGNILNILp->n_type0MKAP(INT));
mickey
1.1
538                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
539                     RETREG(CHAR) : RETREG(p->n_type);
540                 break;
541
542         case LS:
543         case RS:
ragge
1.15
544                 /* shift count must be in a char */
mickey
1.1
545                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
546                         break;
547                 p->n_right = block(SCONVp->n_rightNIL,
ragge
1.18
548                     CHAR0MKAP(CHAR));
mickey
1.1
549                 break;
ragge
1.9
550
551         case STASG/* Early conversion to memcpy */
552                 l = buildtree(ADDROFp->n_leftNIL);
553                 r = p->n_right;
ragge
1.18
554                 o = tsize(p->n_typep->n_dfp->n_ap)/SZCHAR;
555 #define  cmop(x,y) block(CM, x, y, INT, 0, MKAP(INT))
ragge
1.9
556                 r = cmop(cmop(lr), bcon(o));
557
558                 q = lookup(addname("memcpy"), 0);
559                 if (q->stype == UNDEF) {
560                         p->n_op = NAME;
561                         p->n_sp = q;
562                         p->n_type = FTN|INT;
563                         defid(pEXTERN);
564                 }
565                 nfree(p);
566                 p = doacall(qnametree(q), r);
567
568                 break;
mickey
1.1
569         }
570 #ifdef PCC_DEBUG
571         if (xdebug) {
572                 printf("clocal end: %p\n"p);
573                 fwalk(peprint0);
574         }
575 #endif
576         return(p);
577 }
578
579 /*
580  * Change CALL references to either direct (static) or PLT.
581  */
582 static void
583 fixnames(NODE *pvoid *arg)
584 {
585         struct symtab *sp;
586         NODE *q;
587         char *c;
588
589         if ((cdope(p->n_op) & CALLFLG) == 0)
590                 return;
ragge
1.9
591         if (p->n_left->n_op != UMUL || p->n_left->n_left->n_op != NAME)
592                 return;
593         q = p->n_left->n_left;
594
595
596         sp = q->n_sp;
597
598         if (sp == NULL)
599                 return/* nothing to do */
600         if (sp->sclass == STATIC && !ISFTN(sp->stype))
601                 return/* function pointer */
602
603         if (sp->sclass != STATIC && sp->sclass != EXTERN &&
604             sp->sclass != EXTDEF)
605                 cerror("fixnames");
606
607         if ((c = strstr(sp->soname"@GOT")) == NULL)
608                 cerror("fixnames2");
609         if (sp->sclass == STATIC) {
610                 *c = 0;
611         } else
612                 memcpy(c"@PLT"sizeof("@PLT"));
613
614         
615         *p->n_left = *q;
616         p->n_left->n_op = ICON;
617         nfree(q);
mickey
1.1
618 }
619
620 void
621 myp2tree(NODE *p)
622 {
623         struct symtab *sp;
624
625         if (kflag)
626                 walkf(pfixnames0); /* XXX walkf not needed */
627         if (p->n_op != FCON)
628                 return;
629
630 #if 0
631         /* put floating constants in memory */
632         setloc1(RDATA);
633         defalign(ALLDOUBLE);
634         deflab1(i = getlab());
635         ninval(0btdims[p->n_type].suesizep);
636 #endif
637
638         sp = IALLOC(sizeof(struct symtab));
639         sp->sclass = STATIC;
ragge
1.18
640         sp->sap = MKAP(p->n_type);
mickey
1.1
641         sp->slevel = 1/* fake numeric label */
642         sp->soffset = getlab();
643         sp->sflags = 0;
644         sp->stype = p->n_type;
645         sp->squal = (CON >> TSHIFT);
646
647         defloc(sp);
ragge
1.18
648         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
649
650         p->n_op = NAME;
651         p->n_lval = 0;
652         p->n_sp = sp;
653 }
654
655 /*ARGSUSED*/
656 int
657 andable(NODE *p)
658 {
659         return(1);      /* all names can have & taken on them */
660 }
661
662 /*
663  * at the end of the arguments of a ftn, set the automatic offset
664  */
665 void
666 cendarg()
667 {
668         autooff = AUTOINIT;
669 }
670
671 /*
672  * Return 1 if a variable of type type is OK to put in register.
673  */
674 int
675 cisreg(TWORD t)
676 {
ragge
1.14
677         if (t == LDOUBLE)
678                 return 0;
mickey
1.1
679         return 1;
680 }
681
682 /*
683  * return a node, for structure references, which is suitable for
684  * being added to a pointer of type t, in order to be off bits offset
685  * into a structure
686  * t, d, and s are the type, dimension offset, and sizeoffset
687  * For pdp10, return the type-specific index number which calculation
688  * is based on its size. For example, short a[3] would return 3.
689  * Be careful about only handling first-level pointers, the following
690  * indirections must be fullword.
691  */
692 NODE *
ragge
1.18
693 offcon(OFFSZ offTWORD tunion dimfun *dstruct attr *ap)
mickey
1.1
694 {
695         register NODE *p;
696
697         if (xdebug)
698                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
ragge
1.18
699                     offtd, (int)tsize(tdap));
mickey
1.1
700
701         p = bcon(0);
702         p->n_lval = off/SZCHAR/* Default */
703         return(p);
704 }
705
706 /*
707  * Allocate off bits on the stack.  p is a tree that when evaluated
708  * is the multiply count for off, t is a storeable node where to write
709  * the allocated address.
710  */
711 void
712 spalloc(NODE *tNODE *pOFFSZ off)
713 {
714         NODE *sp;
715
ragge
1.20
716         p = buildtree(MULpbcon(off/SZCHAR));
717         p = buildtree(PLUSpbcon(30));
718         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
719
720         /* sub the size from sp */
ragge
1.18
721         sp = block(REGNILNILp->n_type0MKAP(INT));
mickey
1.1
722         sp->n_lval = 0;
723         sp->n_rval = STKREG;
724         ecomp(buildtree(MINUSEQspp));
725
726         /* save the address of sp */
ragge
1.18
727         sp = block(REGNILNILPTR+INTt->n_dft->n_ap);
mickey
1.1
728         sp->n_lval = 0;
729         sp->n_rval = STKREG;
730         t->n_type = sp->n_type;
731         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
732
733 }
734
735 /*
736  * Print out a string of characters.
737  * Assume that the assembler understands C-style escape
738  * sequences.
739  */
740 void
741 instring(struct symtab *sp)
742 {
743         char *s, *str = sp->sname;
744
745         defloc(sp);
746
747         /* be kind to assemblers and avoid long strings */
748         printf("\t.ascii \"");
749         for (s = str; *s != 0; ) {
750                 if (*s++ == '\\') {
751                         (void)esccon(&s);
752                 }
753                 if (s - str > 60) {
754                         fwrite(str1s - strstdout);
755                         printf("\"\n\t.ascii \"");
756                         str = s;
757                 }
758         }
759         fwrite(str1s - strstdout);
760         printf("\\0\"\n");
761 }
762
763 static int inbitsinval;
764
765 /*
766  * set fsz bits in sequence to zero.
767  */
768 void
769 zbits(OFFSZ offint fsz)
770 {
771         int m;
772
773         if (idebug)
774                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
775         if ((m = (inbits % SZCHAR))) {
776                 m = SZCHAR - m;
777                 if (fsz < m) {
778                         inbits += fsz;
779                         return;
780                 } else {
781                         fsz -= m;
782                         printf("\t.byte %d\n"inval);
783                         inval = inbits = 0;
784                 }
785         }
786         if (fsz >= SZCHAR) {
787                 printf("\t.zero %d\n"fsz/SZCHAR);
788                 fsz -= (fsz/SZCHAR) * SZCHAR;
789         }
790         if (fsz) {
791                 inval = 0;
792                 inbits = fsz;
793         }
794 }
795
796 /*
797  * Initialize a bitfield.
798  */
799 void
800 infld(CONSZ offint fszCONSZ val)
801 {
802         if (idebug)
803                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
804                     offfszvalinbits);
805         val &= ((CONSZ)1 << fsz)-1;
806         while (fsz + inbits >= SZCHAR) {
807                 inval |= (val << inbits);
808                 printf("\t.byte %d\n"inval & 255);
809                 fsz -= (SZCHAR - inbits);
810                 val >>= (SZCHAR - inbits);
811                 inval = inbits = 0;
812         }
813         if (fsz) {
814                 inval |= (val << inbits);
815                 inbits += fsz;
816         }
817 }
818
819 /*
820  * print out a constant node, may be associated with a label.
821  * Do not free the node after use.
822  * off is bit offset from the beginning of the aggregate
823  * fsz is the number of bits this is referring to
824  */
825 void
826 ninval(CONSZ offint fszNODE *p)
827 {
828         union { float fdouble dlong double lint i[3]; } u;
829         struct symtab *q;
830         char *c;
831         TWORD t;
832
833         t = p->n_type;
834         if (t > BTMASK)
ragge
1.7
835                 t = LONG/* pointer */
mickey
1.1
836
837         while (p->n_op == SCONV || p->n_op == PCONV) {
838                 NODE *l = p->n_left;
839                 l->n_type = p->n_type;
840                 p = l;
841         }
842
843         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
844                 if (p->n_op == UMUL)
845                         p = p->n_left;
846                 p = p->n_right;
847                 q = p->n_sp;
848
849                 if ((c = strstr(q->soname"@GOT")) != NULL)
850                         *c = 0/* ignore GOT ref here */
851         }
852         if (p->n_op != ICON && p->n_op != FCON)
853                 cerror("ninval: init node not constant");
854
ragge
1.7
855         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != LONG)
mickey
1.1
856                 uerror("element not constant");
857
858         switch (t) {
ragge
1.6
859         case LONG:
860         case ULONG:
ragge
1.7
861                 printf("\t.quad 0x%llx"p->n_lval);
mickey
1.1
862                 if ((q = p->n_sp) != NULL) {
ragge
1.2
863                         if ((q->sclass == STATIC && q->slevel > 0)) {
mickey
1.1
864                                 printf("+" LABFMTq->soffset);
865                         } else {
ragge
1.6
866                                 char *name;
867                                 if ((name = q->soname) == NULL)
868                                         name = exname(q->sname);
869                                 printf("+%s"name);
mickey
1.1
870                         }
871                 }
872                 printf("\n");
873                 break;
ragge
1.6
874         case INT:
875         case UNSIGNED:
876                 printf("\t.long 0x%x\n", (int)p->n_lval & 0xffffffff);
877                 break;
mickey
1.1
878         case SHORT:
879         case USHORT:
880                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
881                 break;
882         case BOOL:
883                 if (p->n_lval > 1)
884                         p->n_lval = p->n_lval != 0;
885                 /* FALLTHROUGH */
886         case CHAR:
887         case UCHAR:
888                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
889                 break;
890         case LDOUBLE:
891                 u.i[2] = 0;
892                 u.l = (long double)p->n_dcon;
893 #if defined(HOST_BIG_ENDIAN)
894                 /* XXX probably broken on most hosts */
895                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[2], u.i[1], u.i[0]);
896 #else
897                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
898 #endif
899                 break;
900         case DOUBLE:
901                 u.d = (double)p->n_dcon;
902 #if defined(HOST_BIG_ENDIAN)
903                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
904 #else
905                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
906 #endif
907                 break;
908         case FLOAT:
909                 u.f = (float)p->n_dcon;
910                 printf("\t.long\t0x%x\n"u.i[0]);
911                 break;
912         default:
913                 cerror("ninval");
914         }
915 }
916
917 /* make a name look like an external name in the local machine */
918 char *
919 exname(char *p)
920 {
921         return (p == NULL ? "" : p);
922 }
923
924 /*
925  * map types which are not defined on the local machine
926  */
927 TWORD
928 ctype(TWORD type)
929 {
930         switch (BTYPE(type)) {
ragge
1.5
931         case LONGLONG:
mickey
1.1
932                 MODTYPE(type,LONG);
933                 break;
934
ragge
1.5
935         case ULONGLONG:
mickey
1.1
936                 MODTYPE(type,ULONG);
937
938         }
939         return (type);
940 }
941
942 void
943 calldec(NODE *pNODE *q
944 {
945 }
946
947 void
948 extdec(struct symtab *q)
949 {
950 }
951
952 /* make a common declaration for id, if reasonable */
953 void
954 defzero(struct symtab *sp)
955 {
956         int off;
ragge
1.11
957         char *name;
mickey
1.1
958
959 #ifdef TLS
960         if (sp->sflags & STLS) {
961                 if (sp->sclass == EXTERN)
962                         sp->sclass = EXTDEF;
963                 simpleinit(spbcon(0));
964                 return;
965         }
966 #endif
967
ragge
1.11
968         if ((name = sp->soname) == NULL)
969                 name = exname(sp->sname);
ragge
1.18
970         off = tsize(sp->stypesp->sdfsp->sap);
mickey
1.1
971         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.11
972 #ifdef GCC_COMPAT
973         {
ragge
1.18
974                 struct attr *ga;
975                 if ((ga = attr_find(sp->sapGCC_ATYP_VISIBILITY)) &&
976                     strcmp(ga->sarg(0), "default"))
977                         printf("\t.%s %s\n"ga->sarg(0), name);
ragge
1.11
978         }
979 #endif
mickey
1.1
980         printf("        .%scomm "sp->sclass == STATIC ? "l" : "");
ragge
1.5
981         if (sp->slevel == 0) {
ragge
1.11
982                 printf("%s,0%o\n"nameoff);
ragge
1.5
983         } else
mickey
1.1
984                 printf(LABFMT ",0%o\n"sp->soffsetoff);
985 }
986
987 static char *
988 section2string(char *nameint len)
989 {
990         char *s;
991         int n;
992
993         if (strncmp(name"link_set"8) == 0) {
994                 const char *postfix = ",\"aw\",@progbits";
995                 n = len + strlen(postfix) + 1;
996                 s = IALLOC(n);
997                 strlcpy(snamen);
998                 strlcat(spostfixn);
999                 return s;
1000         }
1001
1002         return newstring(namelen);
1003 }
1004
1005 char *nextsect;
1006 #ifdef TLS
1007 static int gottls;
1008 #endif
1009 static char *alias;
1010 static int constructor;
1011 static int destructor;
1012
1013 /*
1014  * Give target the opportunity of handling pragmas.
1015  */
1016 int
1017 mypragma(char **ary)
1018 {
1019 #ifdef TLS
1020         if (strcmp(ary[1], "tls") == 0 && ary[2] == NULL) {
1021                 gottls = 1;
1022                 return 1;
1023         }
1024 #endif
1025         if (strcmp(ary[1], "constructor") == 0 || strcmp(ary[1], "init") == 0) {
1026                 constructor = 1;
1027                 return 1;
1028         }
1029         if (strcmp(ary[1], "destructor") == 0 || strcmp(ary[1], "fini") == 0) {
1030                 destructor = 1;
1031                 return 1;
1032         }
1033         if (strcmp(ary[1], "section") == 0 && ary[2] != NULL) {
1034                 nextsect = section2string(ary[2], strlen(ary[2]));
1035                 return 1;
1036         }
1037         if (strcmp(ary[1], "alias") == 0 && ary[2] != NULL) {
1038                 alias = tmpstrdup(ary[2]);
1039                 return 1;
1040         }
1041
1042         return 0;
1043 }
1044
1045 /*
1046  * Called when a identifier has been declared.
1047  */
1048 void
1049 fixdef(struct symtab *sp)
1050 {
ragge
1.18
1051         struct attr *ga;
mickey
1.1
1052 #ifdef TLS
1053         /* may have sanity checks here */
1054         if (gottls)
1055                 sp->sflags |= STLS;
1056         gottls = 0;
1057 #endif
ragge
1.17
1058 #ifdef HAVE_WEAKREF
1059         /* not many as'es have this directive */
ragge
1.18
1060         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_WEAKREF)) != NULL) {
ragge
1.17
1061                 char *wr = ga->a1.sarg;
1062                 char *sn = sp->soname ? sp->soname : sp->sname;
1063                 if (wr == NULL) {
ragge
1.18
1064                         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_ALIAS))) {
ragge
1.17
1065                                 wr = ga->a1.sarg;
1066                         }
1067                 }
1068                 if (wr == NULL)
1069                         printf("\t.weak %s\n"sn);
1070                 else
1071                         printf("\t.weakref %s,%s\n"snwr);
1072         } else
1073 #endif
ragge
1.18
1074                if ((ga = attr_find(sp->sapGCC_ATYP_ALIAS)) != NULL) {
1075                 char *an = ga->sarg(0);
ragge
1.16
1076                 char *sn = sp->soname ? sp->soname : sp->sname;
1077                 char *v;
1078
ragge
1.18
1079                 v = attr_find(sp->sapGCC_ATYP_WEAK) ? "weak" : "globl";
ragge
1.16
1080                 printf("\t.%s %s\n"vsn);
1081                 printf("\t.set %s,%s\n"snan);
1082         }
mickey
1.1
1083         if (alias != NULL && (sp->sclass != PARAM)) {
1084                 printf("\t.globl %s\n"exname(sp->soname));
1085                 printf("%s = "exname(sp->soname));
1086                 printf("%s\n"exname(alias));
1087                 alias = NULL;
1088         }
1089         if ((constructor || destructor) && (sp->sclass != PARAM)) {
ragge
1.10
1090                 NODE *p = talloc();
1091
1092                 p->n_op = NAME;
1093                 p->n_sp =
1094                   (struct symtab *)(constructor ? "constructor" : "destructor");
ragge
1.18
1095                 sp->sap = attr_add(sp->sapgcc_attr_parse(p));
mickey
1.1
1096                 constructor = destructor = 0;
1097         }
1098 }
1099
1100 NODE *
ragge
1.19
1101 i386_builtin_return_address(NODE *fNODE *aTWORD t)
mickey
1.1
1102 {
1103         int nframes;
1104
1105         if (a == NULL || a->n_op != ICON)
1106                 goto bad;
1107
1108         nframes = a->n_lval;
1109
1110         tfree(f);
1111         tfree(a);
1112
ragge
1.18
1113         f = block(REGNILNILPTR+VOID0MKAP(VOID));
mickey
1.1
1114         regno(f) = FPREG;
1115
1116         while (nframes--)
ragge