Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20101016123806

Diff

Diff from 1.22 to:

Annotations

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

Annotated File View

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