Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20101113162241

Diff

Diff from 1.26 to:

Annotations

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

Annotated File View

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