Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20101118181210

Diff

Diff from 1.28 to:

Annotations

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

Annotated File View

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