Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:plunky:20110508204637

Diff

Diff from 1.48 to:

Annotations

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

Annotated File View

plunky
1.48
1 /*      $Id: local.c,v 1.48 2011/05/08 20:46:37 plunky 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  */
plunky
1.48
36 #ifdef notyet
mickey
1.1
37 static int
38 toolarge(TWORD tCONSZ con)
39 {
40         U_CONSZ ucon = con;
41
42         switch (t) {
43         case ULONG:
44         case LONG:
45         case ULONGLONG:
46         case LONGLONG:
47                 break/* cannot be too large */
48 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
49 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
50         SCHK(INT);
51         SCHK(SHORT);
52         case BOOL:
53         SCHK(CHAR);
54         UCHK(UNSIGNED);
55         UCHK(USHORT);
56         UCHK(UCHAR);
57         default:
58                 cerror("toolarge");
59         }
60         return 0;
61 }
plunky
1.48
62 #endif
mickey
1.1
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.31
101         c = p->n_sp->soname ? p->n_sp->soname : exname(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
ragge
1.27
116 #ifdef notdef
mickey
1.1
117 /*
118  * Create a reference for a static variable.
119  */
120 static NODE *
121 picstatic(NODE *p)
122 {
123         struct symtab *sp;
ragge
1.9
124         char *cbuf[32];
mickey
1.1
125
ragge
1.9
126         if (p->n_sp->slevel > 0)
127                 snprintf(c = buf32LABFMT, (int)p->n_sp->soffset);
128         else
129                 c = p->n_sp->soname ? p->n_sp->soname : p->n_sp->sname;
ragge
1.22
130         sp = picsymtab(""c"");
mickey
1.1
131         sp->sclass = STATIC;
132         sp->stype = p->n_sp->stype;
ragge
1.9
133         p->n_sp = sp;
134         return p;
mickey
1.1
135 }
ragge
1.27
136 #endif
137
138 static NODE *
139 cmop(NODE *lNODE *r)
140 {
ragge
1.45
141         return block(CMlrINT00);
ragge
1.27
142 }
143
144 static NODE *
145 mkx(char *sNODE *p)
146 {
ragge
1.45
147         p = block(XARGpNILINT00);
ragge
1.27
148         p->n_name = s;
149         return p;
150 }
151
152 static char *
153 mk3str(char *s1char *s2char *s3)
154 {
155         int len = strlen(s1) + strlen(s2) + strlen(s3) + 1;
156         char *sd;
157
ragge
1.39
158         sd = inlalloc(len);
ragge
1.27
159         strlcpy(sds1len);
160         strlcat(sds2len);
161         strlcat(sds3len);
162         return sd;
163 }
mickey
1.1
164
165 /*
166  * Create a reference for a TLS variable.
ragge
1.27
167  * This is the "General dynamic" version.
mickey
1.1
168  */
169 static NODE *
170 tlspic(NODE *p)
171 {
ragge
1.27
172         NODE *q, *r, *s;
173         char *s1, *s2;
mickey
1.1
174
175         /*
ragge
1.27
176          * .byte   0x66
177          * leaq x@TLSGD(%rip),%rdi
178          * .word   0x6666
179          * rex64
180          * call __tls_get_addr@PLT
mickey
1.1
181          */
182
ragge
1.27
183         /* Need the .byte stuff around.  Why? */
184         /* Use inline assembler */
185         q = mkx("%rdx"bcon(0));
186         q = cmop(qmkx("%rcx"bcon(0)));
187         q = cmop(qmkx("%rsi"bcon(0)));
188         q = cmop(qmkx("%rdi"bcon(0)));
189         q = cmop(qmkx("%r8"bcon(0)));
190         q = cmop(qmkx("%r9"bcon(0)));
191         q = cmop(qmkx("%r10"bcon(0)));
192         q = cmop(qmkx("%r11"bcon(0)));
193
194         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
195         r = mkx("=a"r);
ragge
1.45
196         r = block(XASMrqINT00);
ragge
1.27
197
198         /* Create the magic string */
199         s1 = ".byte 0x66\n\tleaq ";
200         s2 = "@TLSGD(%%rip),%%rdi\n"
201             "\t.word 0x6666\n\trex64\n\tcall __tls_get_addr@PLT";
202         if (p->n_sp->soname == NULL)
203                 p->n_sp->soname = p->n_sp->sname;
204         r->n_name = mk3str(s1p->n_sp->sonames2);
205
206         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
207         r = buildtree(UMULrNIL);
208         tfree(p);
209         return r;
mickey
1.1
210 }
211
ragge
1.27
212 /*
213  * The "initial exec" tls model.
214  */
mickey
1.1
215 static NODE *
ragge
1.27
216 tlsinitialexec(NODE *p)
mickey
1.1
217 {
ragge
1.27
218         NODE *q, *r, *s;
219         char *s1, *s2;
mickey
1.1
220
ragge
1.27
221         /*
222          * movq %fs:0,%rax
223          * addq x@GOTTPOFF(%rip),%rax
224          */
225
226         q = bcon(0);
227         q->n_type = STRTY;
mickey
1.1
228
ragge
1.27
229         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
230         r = mkx("=r"r);
ragge
1.45
231         r = block(XASMrqINT00);
ragge
1.27
232
233         s1 = "movq %%fs:0,%0\n\taddq ";
234         s2 = "@GOTTPOFF(%%rip),%0";
235         if (p->n_sp->soname == NULL)
236                 p->n_sp->soname = p->n_sp->sname;
237         r->n_name = mk3str(s1p->n_sp->sonames2);
238
239         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
240         r = buildtree(UMULrNIL);
241         tfree(p);
242         return r;
mickey
1.1
243 }
244
245 static NODE *
246 tlsref(NODE *p)
247 {
ragge
1.27
248         struct symtab *sp = p->n_sp;
249         struct attr *ga;
250         char *c;
251
252         if ((ga = attr_find(sp->sapGCC_ATYP_TLSMODEL)) != NULL) {
253                 c = ga->sarg(0);
254                 if (strcmp(c"initial-exec") == 0)
255                         return tlsinitialexec(p);
256                 else if (strcmp(c"global-dynamic") == 0)
257                         ;
258                 else
259                         werror("unsupported tls model '%s'"c);
260         }
261         return tlspic(p);
mickey
1.1
262 }
263
ragge
1.25
264 static NODE *
265 stkblk(TWORD t)
266 {
267         int altszoffnoff;
268         NODE *p;
269
ragge
1.45
270         al = talign(t0);
271         tsz = (int)tsize(t00);
ragge
1.25
272
273         noff = autooff + tsz;
274         SETOFF(noffal);
275         off = -noff;
276         autooff = noff;
277
ragge
1.45
278         p = block(REGNILNILINCREF(t), 00);
ragge
1.25
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 */
ragge
1.45
396                 l = block(REGNILNILINT00);
ragge
1.24
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
ragge
1.43
415 #ifdef notyet
mickey
1.1
416         case CBRANCH:
417                 l = p->n_left;
418
419                 /*
420                  * Remove unnecessary conversion ops.
421                  */
422                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
423                         if (coptype(l->n_op) != BITYPE)
424                                 break;
425                         if (l->n_right->n_op == ICON) {
426                                 r = l->n_left->n_left;
427                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
428                                         break;
429                                 if (ISPTR(r->n_type))
430                                         break/* no opt for pointers */
431                                 if (toolarge(r->n_typel->n_right->n_lval))
432                                         break;
433                                 /* Type must be correct */
434                                 t = r->n_type;
435                                 nfree(l->n_left);
436                                 l->n_left = r;
437                                 l->n_type = t;
438                                 l->n_right->n_type = t;
439                         }
440                 }
441                 break;
ragge
1.43
442 #endif
mickey
1.1
443
444         case PCONV:
445                 /* Remove redundant PCONV's. Be careful */
446                 l = p->n_left;
447                 if (l->n_op == ICON) {
448                         goto delp;
449                 }
ragge
1.47
450                 if (l->n_type < LONG || l->n_type == BOOL) {
mickey
1.1
451                         /* float etc? */
ragge
1.45
452                         p->n_left = block(SCONVlNILUNSIGNED00);
mickey
1.1
453                         break;
454                 }
455                 /* if left is SCONV, cannot remove */
456                 if (l->n_op == SCONV)
457                         break;
458
459                 /* avoid ADDROF TEMP */
460                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
461                         break;
462
ragge
1.23
463                 if ((l->n_op == REG || l->n_op == TEMP) && ISPTR(l->n_type))
464                         goto delp;
ragge
1.22
465 #ifdef notdef
mickey
1.1
466                 /* if conversion to another pointer type, just remove */
ragge
1.22
467                 /* XXX breaks ADDROF NAME */
mickey
1.1
468                 if (p->n_type > BTMASK && l->n_type > BTMASK)
469                         goto delp;
ragge
1.22
470 #endif
mickey
1.1
471                 break;
472
473         delp:   l->n_type = p->n_type;
474                 l->n_qual = p->n_qual;
475                 l->n_df = p->n_df;
ragge
1.18
476                 l->n_ap = p->n_ap;
mickey
1.1
477                 nfree(p);
478                 p = l;
479                 break;
480                 
481         case SCONV:
ragge
1.15
482                 /* Special-case shifts */
483                 if (p->n_type == LONG && (l = p->n_left)->n_op == LS && 
484                     l->n_type == INT && l->n_right->n_op == ICON) {
485                         p->n_left = l->n_left;
486                         p = buildtree(LSpl->n_right);
487                         nfree(l);
488                         break;
489                 }
490
mickey
1.1
491                 l = p->n_left;
492
ragge
1.5
493                 /* Float conversions may need extra casts */
ragge
1.37
494                 if (p->n_type == FLOAT || p->n_type == DOUBLE ||
495                     p->n_type == LDOUBLE) {
ragge
1.41
496                         if (l->n_type < INT || l->n_type == BOOL) {
ragge
1.5
497                                 p->n_left = block(SCONVlNIL,
498                                     ISUNSIGNED(l->n_type) ? UNSIGNED : INT,
ragge
1.18
499                                     l->n_dfl->n_ap);
ragge
1.5
500                                 break;
501                         }
502                 }
503
mickey
1.1
504                 if (p->n_type == l->n_type) {
505                         nfree(p);
506                         return l;
507                 }
508
509                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
ragge
1.45
510                     tsize(p->n_typep->n_dfp->n_ap) ==
511                     tsize(l->n_typel->n_dfl->n_ap)) {
mickey
1.1
512                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
513                             l->n_type != FLOAT && l->n_type != DOUBLE &&
514                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
515                                 if (l->n_op == NAME || l->n_op == UMUL ||
516                                     l->n_op == TEMP) {
517                                         l->n_type = p->n_type;
518                                         nfree(p);
519                                         return l;
520                                 }
521                         }
522                 }
523
524                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
ragge
1.42
525                     coptype(l->n_op) == BITYPE && l->n_op != COMOP &&
526                     l->n_op != QUEST) {
mickey
1.1
527                         l->n_type = p->n_type;
528                         nfree(p);
529                         return l;
530                 }
531
532                 o = l->n_op;
533                 m = p->n_type;
534
535                 if (o == ICON) {
536                         CONSZ val = l->n_lval;
537
538                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
539                             switch (m) {
540                         case BOOL:
ragge
1.30
541                                 l->n_lval = nncon(l) ? (l->n_lval != 0) : 1;
542                                 l->n_sp = NULL;
mickey
1.1
543                                 break;
544                         case CHAR:
545                                 l->n_lval = (char)val;
546                                 break;
547                         case UCHAR:
548                                 l->n_lval = val & 0377;
549                                 break;
550                         case SHORT:
551                                 l->n_lval = (short)val;
552                                 break;
553                         case USHORT:
554                                 l->n_lval = val & 0177777;
555                                 break;
556                         case UNSIGNED:
557                                 l->n_lval = val & 0xffffffff;
558                                 break;
559                         case INT:
560                                 l->n_lval = (int)val;
561                                 break;
562                         case LONG:
563                         case LONGLONG:
564                                 l->n_lval = (long long)val;
565                                 break;
566                         case ULONG:
567                         case ULONGLONG:
568                                 l->n_lval = val;
569                                 break;
570                         case VOID:
571                                 break;
572                         case LDOUBLE:
573                         case DOUBLE:
574                         case FLOAT:
575                                 l->n_op = FCON;
576                                 l->n_dcon = val;
577                                 break;
578                         default:
579                                 cerror("unknown type %d"m);
580                         }
581                         l->n_type = m;
ragge
1.45
582                         l->n_ap = NULL;
mickey
1.1
583                         nfree(p);
584                         return l;
585                 } else if (l->n_op == FCON) {
ragge
1.29
586                         if (p->n_type == BOOL)
587                                 l->n_lval = l->n_dcon != 0.0;
588                         else
589                                 l->n_lval = l->n_dcon;
mickey
1.1
590                         l->n_sp = NULL;
591                         l->n_op = ICON;
592                         l->n_type = m;
ragge
1.45
593                         l->n_ap = NULL;
mickey
1.1
594                         nfree(p);
595                         return clocal(l);
596                 }
597                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
598                     p->n_type == SHORT || p->n_type == USHORT) &&
599                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
600                     l->n_type == LDOUBLE)) {
ragge
1.18
601                         p = block(SCONVpNILp->n_typep->n_dfp->n_ap);
mickey
1.1
602                         p->n_left->n_type = INT;
603                         return p;
604                 }
605                 break;
606
607         case MOD:
608         case DIV:
609                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
610                         break;
611                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
612                         break;
613                 /* make it an int division by inserting conversions */
ragge
1.45
614                 p->n_left = block(SCONVp->n_leftNILINT00);
615                 p->n_right = block(SCONVp->n_rightNILINT00);
616                 p = block(SCONVpNILp->n_type00);
mickey
1.1
617                 p->n_left->n_type = INT;
618                 break;
619
620         case PMCONV:
621         case PVCONV:
622                 r = p;
623                 p = buildtree(o == PMCONV ? MUL : DIVp->n_leftp->n_right);
624                 nfree(r);
625                 break;
626
627         case FORCE:
628                 /* put return value in return reg */
629                 p->n_op = ASSIGN;
630                 p->n_right = p->n_left;
ragge
1.45
631                 p->n_left = block(REGNILNILp->n_type00);
ragge
1.34
632                 t = p->n_type;
633                 if (ISITY(t))
634                         t = t - (FIMAG-FLOAT);
mickey
1.1
635                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
ragge
1.34
636                     RETREG(CHAR) : RETREG(t);
mickey
1.1
637                 break;
638
639         case LS:
640         case RS:
ragge
1.15
641                 /* shift count must be in a char */
mickey
1.1
642                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
643                         break;
ragge
1.45
644                 p->n_right = block(SCONVp->n_rightNILCHAR00);
mickey
1.1
645                 break;
646         }
647 #ifdef PCC_DEBUG
648         if (xdebug) {
649                 printf("clocal end: %p\n"p);
650                 fwalk(peprint0);
651         }
652 #endif
653         return(p);
654 }
655
656 void
657 myp2tree(NODE *p)
658 {
ragge
1.28
659         struct symtab *spsps;
660         static int dblxorfltxor;
mickey
1.1
661
ragge
1.28
662         if (p->n_op == UMINUS && (p->n_type == FLOAT || p->n_type == DOUBLE)) {
663                 /* Store xor code for sign change */
664                 if (dblxor == 0) {
665                         dblxor = getlab();
666                         fltxor = getlab();
667                         sps.stype = LDOUBLE;
668                         sps.squal = CON >> TSHIFT;
669                         sps.sflags = sps.sclass = 0;
670                         sps.sname = sps.soname = "";
671                         sps.slevel = 1;
ragge
1.45
672                         sps.sap = NULL;
ragge
1.28
673                         sps.soffset = dblxor;
674                         defloc(&sps);
675                         printf("\t.long 0,0x80000000,0,0\n");
676                         printf(LABFMT ":\n"fltxor);
677                         printf("\t.long 0x80000000,0,0,0\n");
678                 }
679                 p->n_label = p->n_type == FLOAT ? fltxor : dblxor;
680                 return;
681         }
mickey
1.1
682         if (p->n_op != FCON)
683                 return;
684
ragge
1.22
685         /* XXX should let float constants follow */
mickey
1.1
686         sp = IALLOC(sizeof(struct symtab));
687         sp->sclass = STATIC;
ragge
1.45
688         sp->sap = NULL;
mickey
1.1
689         sp->slevel = 1/* fake numeric label */
690         sp->soffset = getlab();
691         sp->sflags = 0;
692         sp->stype = p->n_type;
693         sp->squal = (CON >> TSHIFT);
694
695         defloc(sp);
ragge
1.18
696         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
697
698         p->n_op = NAME;
699         p->n_lval = 0;
700         p->n_sp = sp;
701 }
702
ragge
1.22
703 /*
704  * Convert ADDROF NAME to ICON?
705  */
mickey
1.1
706 int
707 andable(NODE *p)
708 {
ragge
1.22
709         if (ininval)
710                 return 1;
711         if (p->n_sp->sclass == STATIC || p->n_sp->sclass == USTATIC)
712                 return 0;
713         return 1;
mickey
1.1
714 }
715
716 /*
717  * at the end of the arguments of a ftn, set the automatic offset
718  */
719 void
720 cendarg()
721 {
722         autooff = AUTOINIT;
723 }
724
725 /*
726  * Return 1 if a variable of type type is OK to put in register.
727  */
728 int
729 cisreg(TWORD t)
730 {
ragge
1.14
731         if (t == LDOUBLE)
732                 return 0;
mickey
1.1
733         return 1;
734 }
735
736 /*
737  * return a node, for structure references, which is suitable for
738  * being added to a pointer of type t, in order to be off bits offset
739  * into a structure
740  * t, d, and s are the type, dimension offset, and sizeoffset
741  * For pdp10, return the type-specific index number which calculation
742  * is based on its size. For example, short a[3] would return 3.
743  * Be careful about only handling first-level pointers, the following
744  * indirections must be fullword.
745  */
746 NODE *
ragge
1.18
747 offcon(OFFSZ offTWORD tunion dimfun *dstruct attr *ap)
mickey
1.1
748 {
749         register NODE *p;
750
751         if (xdebug)
752                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
ragge
1.18
753                     offtd, (int)tsize(tdap));
mickey
1.1
754
755         p = bcon(0);
756         p->n_lval = off/SZCHAR/* Default */
757         return(p);
758 }
759
760 /*
761  * Allocate off bits on the stack.  p is a tree that when evaluated
762  * is the multiply count for off, t is a storeable node where to write
763  * the allocated address.
764  */
765 void
766 spalloc(NODE *tNODE *pOFFSZ off)
767 {
768         NODE *sp;
769
ragge
1.20
770         p = buildtree(MULpbcon(off/SZCHAR));
771         p = buildtree(PLUSpbcon(30));
772         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
773
774         /* sub the size from sp */
ragge
1.45
775         sp = block(REGNILNILp->n_type00);
mickey
1.1
776         sp->n_lval = 0;
777         sp->n_rval = STKREG;
778         ecomp(buildtree(MINUSEQspp));
779
780         /* save the address of sp */
ragge
1.22
781         sp = block(REGNILNILPTR+LONGt->n_dft->n_ap);
mickey
1.1
782         sp->n_lval = 0;
783         sp->n_rval = STKREG;
784         t->n_type = sp->n_type;
785         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
786
787 }
788
789 /*
790  * Print out a string of characters.
791  * Assume that the assembler understands C-style escape
792  * sequences.
793  */
794 void
795 instring(struct symtab *sp)
796 {
797         char *s, *str = sp->sname;
798
799         defloc(sp);
800
801         /* be kind to assemblers and avoid long strings */
802         printf("\t.ascii \"");
803         for (s = str; *s != 0; ) {
804                 if (*s++ == '\\') {
805                         (void)esccon(&s);
806                 }
807                 if (s - str > 60) {
808                         fwrite(str1s - strstdout);
809                         printf("\"\n\t.ascii \"");
810                         str = s;
811                 }
812         }
813         fwrite(str1s - strstdout);
814         printf("\\0\"\n");
815 }
816
817 static int inbitsinval;
818
819 /*
820  * set fsz bits in sequence to zero.
821  */
822 void
823 zbits(OFFSZ offint fsz)
824 {
825         int m;
826
827         if (idebug)
828                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
829         if ((m = (inbits % SZCHAR))) {
830                 m = SZCHAR - m;
831                 if (fsz < m) {
832                         inbits += fsz;
833                         return;
834                 } else {
835                         fsz -= m;
836                         printf("\t.byte %d\n"inval);
837                         inval = inbits = 0;
838                 }
839         }
840         if (fsz >= SZCHAR) {
ragge
1.32
841 #ifdef MACHOABI
842                 printf("\t.space %d\n"fsz/SZCHAR);
843 #else
mickey
1.1
844                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.32
845 #endif
mickey
1.1
846                 fsz -= (fsz/SZCHAR) * SZCHAR;
847         }
848         if (fsz) {
849                 inval = 0;
850                 inbits = fsz;
851         }
852 }
853
854 /*
855  * Initialize a bitfield.
856  */
857 void
858 infld(CONSZ offint fszCONSZ val)
859 {
860         if (idebug)
861                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
862                     offfszvalinbits);
ragge
1.25
863         val &= (((((CONSZ)1 << (fsz-1))-1)<<1)|1);
mickey
1.1
864         while (fsz + inbits >= SZCHAR) {
865                 inval |= (val << inbits);
866                 printf("\t.byte %d\n"inval & 255);
867                 fsz -= (SZCHAR - inbits);
868                 val >>= (SZCHAR - inbits);
869                 inval = inbits = 0;
870         }
871         if (fsz) {
872                 inval |= (val << inbits);
873                 inbits += fsz;
874         }
875 }
876
877 /*
878  * print out a constant node, may be associated with a label.
879  * Do not free the node after use.
880  * off is bit offset from the beginning of the aggregate
881  * fsz is the number of bits this is referring to
882  */
883 void
884 ninval(CONSZ offint fszNODE *p)
885 {
886         union { float fdouble dlong double lint i[3]; } u;
887         struct symtab *q;
ragge
1.33
888         NODE st, *op = NIL;
mickey
1.1
889         TWORD t;
ragge
1.22
890
891         if (coptype(p->n_op) != LTYPE) {
892                 ininval = 1;
ragge
1.33
893                 op = p = optim(ccopy(p));
ragge
1.22
894                 ininval = 0;
895         }
mickey
1.1
896
ragge
1.33
897         while (p->n_op == PCONV)
898                 p = p->n_left;
899
mickey
1.1
900         t = p->n_type;
ragge
1.26
901
ragge
1.40
902         if (kflag && p->n_op == NAME && ISPTR(t) &&
903             (ISFTN(DECREF(t)) || ISSOU(BTYPE(t)))) {
ragge
1.26
904                 /* functions as initializers will be NAME here */
ragge
1.33
905                 if (op == NIL) {
906                         st = *p;
907                         p = &st;
908                 }
909                 p->n_op = ICON;
ragge
1.26
910         }
911
mickey
1.1
912         if (t > BTMASK)
ragge
1.7
913                 t = LONG/* pointer */
mickey
1.1
914
ragge
1.40
915         if (p->n_op == COMOP) {
916                 NODE *r = p->n_right;
917                 tfree(p->n_left);
918                 nfree(p);
919                 p = r;
920         }
921
922         if (p->n_op != ICON && p->n_op != FCON) {
923 fwalk(peprint0);
mickey
1.1
924                 cerror("ninval: init node not constant");
ragge
1.40
925         }
mickey
1.1
926
ragge
1.7
927         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != LONG)
mickey
1.1
928                 uerror("element not constant");
929
930         switch (t) {
ragge
1.6
931         case LONG:
932         case ULONG:
ragge
1.7
933                 printf("\t.quad 0x%llx"p->n_lval);
mickey
1.1
934                 if ((q = p->n_sp) != NULL) {
ragge
1.2
935                         if ((q->sclass == STATIC && q->slevel > 0)) {
mickey
1.1
936                                 printf("+" LABFMTq->soffset);
937                         } else {
ragge
1.6
938                                 char *name;
939                                 if ((name = q->soname) == NULL)
ragge
1.26
940                                         name = q->sname;
941                                 /* Never any PIC stuff in static init */
942                                 if (strchr(name'@')) {
943                                         name = tmpstrdup(name);
944                                         *strchr(name'@') = 0;
945                                 }
ragge
1.6
946                                 printf("+%s"name);
mickey
1.1
947                         }
948                 }
949                 printf("\n");
950                 break;
ragge
1.6
951         case INT:
952         case UNSIGNED:
953                 printf("\t.long 0x%x\n", (int)p->n_lval & 0xffffffff);
954                 break;
mickey
1.1
955         case SHORT:
956         case USHORT:
957                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
958                 break;
959         case BOOL:
960                 if (p->n_lval > 1)
961                         p->n_lval = p->n_lval != 0;
962                 /* FALLTHROUGH */
963         case CHAR:
964         case UCHAR:
965                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
966                 break;
967         case LDOUBLE:
968                 u.i[2] = 0;
969                 u.l = (long double)p->n_dcon;
970 #if defined(HOST_BIG_ENDIAN)
971                 /* XXX probably broken on most hosts */
ragge
1.36
972                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[2], u.i[1], u.i[0]);
mickey
1.1
973 #else
ragge
1.36
974                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[0], u.i[1], u.i[2]);
mickey
1.1
975 #endif
976                 break;
977         case DOUBLE:
978                 u.d = (double)p->n_dcon;
979 #if defined(HOST_BIG_ENDIAN)
980                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
981 #else
982                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
983 #endif
984                 break;
985         case FLOAT:
986                 u.f = (float)p->n_dcon;
987                 printf("\t.long\t0x%x\n"u.i[0]);
988                 break;
989         default:
990                 cerror("ninval");
991         }
ragge
1.33
992         if (op)
993                 tfree(op);
mickey
1.1
994 }
995
996 /* make a name look like an external name in the local machine */
997 char *
998 exname(char *p)
999 {
ragge
1.31
1000 #ifdef MACHOABI
1001
1002 #define NCHNAM  256
1003         static char text[NCHNAM+1];
1004         int i;
1005
1006         if (p == NULL)
1007                 return "";
1008
1009         text[0] = '_';
1010         for (i=1; *p && i<NCHNAM; ++i)
1011                 text[i] = *p++;
1012
1013         text[i] = '\0';
1014         text[NCHNAM] = '\0';  /* truncate */
1015
1016         return (text);
1017 #else
mickey
1.1
1018         return (p == NULL ? "" : p);
ragge
1.31
1019 #endif
mickey
1.1
1020 }
1021
1022 /*
1023  * map types which are not defined on the local machine
1024  */
1025 TWORD
1026 ctype(TWORD type)
1027 {
1028         switch (BTYPE(type)) {
ragge
1.5
1029         case LONGLONG:
mickey
1.1
1030                 MODTYPE(type,LONG);
1031                 break;
1032
ragge
1.5
1033         case ULONGLONG:
mickey
1.1
1034                 MODTYPE(type,ULONG);
1035
1036         }
1037         return (type);
1038 }
1039
1040 void
1041 calldec(NODE *pNODE *q
1042 {
1043 }
1044
1045 void
1046 extdec(struct symtab *q)
1047 {
1048 }
1049
ragge
1.27
1050 int tbss;
1051
mickey
1.1
1052 /* make a common declaration for id, if reasonable */
1053 void
1054 defzero(struct symtab *sp)
1055 {
ragge
1.35
1056         TWORD t;
mickey
1.1
1057         int off;
ragge
1.11
1058         char *name;
mickey
1.1
1059
1060         if (sp->sflags & STLS) {
1061                 if (sp->sclass == EXTERN)
1062                         sp->sclass = EXTDEF;
ragge
1.27
1063                 tbss = 1;
ragge
1.35
1064                 for (t =