Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20101111205512

Diff

Diff from 1.25 to:

Annotations

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

Annotated File View

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