Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20110407185015

Diff

Diff from 1.45 to:

Annotations

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

Annotated File View

ragge
1.45
1 /*      $Id: local.c,v 1.45 2011/04/07 18:50:15 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.31
99         c = p->n_sp->soname ? p->n_sp->soname : exname(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 {
ragge
1.45
139         return block(CMlrINT00);
ragge
1.27
140 }
141
142 static NODE *
143 mkx(char *sNODE *p)
144 {
ragge
1.45
145         p = block(XARGpNILINT00);
ragge
1.27
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
ragge
1.39
156         sd = inlalloc(len);
ragge
1.27
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);
ragge
1.45
194         r = block(XASMrqINT00);
ragge
1.27
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);
ragge
1.45
229         r = block(XASMrqINT00);
ragge
1.27
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         NODE *p;
267
ragge
1.45
268         al = talign(t0);
269         tsz = (int)tsize(t00);
ragge
1.25
270
271         noff = autooff + tsz;
272         SETOFF(noffal);
273         off = -noff;
274         autooff = noff;
275
ragge
1.45
276         p = block(REGNILNILINCREF(t), 00);
ragge
1.25
277         p->n_lval = 0;
278         p->n_rval = FPREG;
279         p = buildtree(UMULbuildtree(PLUSpbcon(off/SZLDOUBLE)), NIL);
280         return p;
281 }
282
283
mickey
1.1
284 /* clocal() is called to do local transformations on
285  * an expression tree preparitory to its being
286  * written out in intermediate code.
287  *
288  * the major essential job is rewriting the
289  * automatic variables and arguments in terms of
290  * REG and OREG nodes
291  * conversion ops which are not necessary are also clobbered here
292  * in addition, any special features (such as rewriting
293  * exclusive or) are easily handled here as well
294  */
295 NODE *
296 clocal(NODE *p)
297 {
298
299         register struct symtab *q;
300         register NODE *r, *l;
301         register int o;
302         register int m;
303         TWORD t;
304
305 #ifdef PCC_DEBUG
306         if (xdebug) {
307                 printf("clocal: %p\n"p);
308                 fwalk(peprint0);
309         }
310 #endif
311         switcho = p->n_op ){
312
313         case NAME:
314                 if ((q = p->n_sp) == NULL)
315                         return p/* Nothing to care about */
316
317                 switch (q->sclass) {
318
319                 case PARAM:
320                 case AUTO:
321                         /* fake up a structure reference */
322                         r = block(REGNILNILPTR+STRTY00);
323                         r->n_lval = 0;
324                         r->n_rval = FPREG;
325                         p = stref(block(STREFrp000));
326                         break;
327
328                 case USTATIC:
329                         if (kflag == 0)
330                                 break;
331                         /* FALLTHROUGH */
332                 case STATIC:
333 #ifdef TLS
334                         if (q->sflags & STLS) {
335                                 p = tlsref(p);
336                                 break;
337                         }
338 #endif
ragge
1.22
339 #ifdef notdef
mickey
1.1
340                         if (kflag == 0) {
341                                 if (q->slevel == 0)
342                                         break;
343                                 p->n_lval = 0;
ragge
1.22
344                         } else if (blevel > 0) {
345                                 if (!ISFTN(q->stype))
346                                         p = picstatic(p);
347                         }
348 #endif
mickey
1.1
349                         break;
350
351                 case REGISTER:
352                         p->n_op = REG;
353                         p->n_lval = 0;
354                         p->n_rval = q->soffset;
355                         break;
356
357                 case EXTERN:
358                 case EXTDEF:
359                         if (q->sflags & STLS) {
360                                 p = tlsref(p);
361                                 break;
362                         }
363                         if (kflag == 0)
364                                 break;
365                         if (blevel > 0)
366                                 p = picext(p);
367                         break;
368                 }
369                 break;
370
ragge
1.27
371 #if 0
mickey
1.1
372         case ADDROF:
373                 if (kflag == 0 || blevel == 0)
374                         break;
375                 /* char arrays may end up here */
376                 l = p->n_left;
377                 if (l->n_op != NAME ||
378                     (l->n_type != ARY+CHAR && l->n_type != ARY+WCHAR_TYPE))
379                         break;
380                 l = p;
381                 p = picstatic(p->n_left);
382                 nfree(l);
383                 if (p->n_op != UMUL)
384                         cerror("ADDROF error");
385                 l = p;
386                 p = p->n_left;
387                 nfree(l);
388                 break;
ragge
1.27
389 #endif
mickey
1.1
390
ragge
1.24
391         case UCALL:
392         case USTCALL:
393                 /* For now, always clear eax */
ragge
1.45
394                 l = block(REGNILNILINT00);
ragge
1.24
395                 regno(l) = RAX;
396                 p->n_right = clocal(buildtree(ASSIGNlbcon(0)));
397                 p->n_op -= (UCALL-CALL);
398
399                 /* FALLTHROUGH */
ragge
1.7
400         case CALL:
401         case STCALL:
402                 if (p->n_type == VOID)
403                         break/* nothing to do */
404                 /* have the call at left of a COMOP to avoid arg trashing */
ragge
1.25
405                 if (p->n_type == LDOUBLE) {
406                         r = stkblk(LDOUBLE);
407                 } else
408                         r = tempnode(0p->n_typep->n_dfp->n_ap);
409                 l = ccopy(r);
410                 p = buildtree(COMOPbuildtree(ASSIGNrp), l);
ragge
1.7
411                 break;
412
ragge
1.43
413 #ifdef notyet
mickey
1.1
414         case CBRANCH:
415                 l = p->n_left;
416
417                 /*
418                  * Remove unnecessary conversion ops.
419                  */
420                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
421                         if (coptype(l->n_op) != BITYPE)
422                                 break;
423                         if (l->n_right->n_op == ICON) {
424                                 r = l->n_left->n_left;
425                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
426                                         break;
427                                 if (ISPTR(r->n_type))
428                                         break/* no opt for pointers */
429                                 if (toolarge(r->n_typel->n_right->n_lval))
430                                         break;
431                                 /* Type must be correct */
432                                 t = r->n_type;
433                                 nfree(l->n_left);
434                                 l->n_left = r;
435                                 l->n_type = t;
436                                 l->n_right->n_type = t;
437                         }
438                 }
439                 break;
ragge
1.43
440 #endif
mickey
1.1
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? */
ragge
1.45
450                         p->n_left = block(SCONVlNILUNSIGNED00);
mickey
1.1
451                         break;
452                 }
453                 /* if left is SCONV, cannot remove */
454                 if (l->n_op == SCONV)
455                         break;
456
457                 /* avoid ADDROF TEMP */
458                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
459                         break;
460
ragge
1.23
461                 if ((l->n_op == REG || l->n_op == TEMP) && ISPTR(l->n_type))
462                         goto delp;
ragge
1.22
463 #ifdef notdef
mickey
1.1
464                 /* if conversion to another pointer type, just remove */
ragge
1.22
465                 /* XXX breaks ADDROF NAME */
mickey
1.1
466                 if (p->n_type > BTMASK && l->n_type > BTMASK)
467                         goto delp;
ragge
1.22
468 #endif
mickey
1.1
469                 break;
470
471         delp:   l->n_type = p->n_type;
472                 l->n_qual = p->n_qual;
473                 l->n_df = p->n_df;
ragge
1.18
474                 l->n_ap = p->n_ap;
mickey
1.1
475                 nfree(p);
476                 p = l;
477                 break;
478                 
479         case SCONV:
ragge
1.15
480                 /* Special-case shifts */
481                 if (p->n_type == LONG && (l = p->n_left)->n_op == LS && 
482                     l->n_type == INT && l->n_right->n_op == ICON) {
483                         p->n_left = l->n_left;
484                         p = buildtree(LSpl->n_right);
485                         nfree(l);
486                         break;
487                 }
488
mickey
1.1
489                 l = p->n_left;
490
ragge
1.5
491                 /* Float conversions may need extra casts */
ragge
1.37
492                 if (p->n_type == FLOAT || p->n_type == DOUBLE ||
493                     p->n_type == LDOUBLE) {
ragge
1.41
494                         if (l->n_type < INT || l->n_type == BOOL) {
ragge
1.5
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.45
508                     tsize(p->n_typep->n_dfp->n_ap) ==
509                     tsize(l->n_typel->n_dfl->n_ap)) {
mickey
1.1
510                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
511                             l->n_type != FLOAT && l->n_type != DOUBLE &&
512                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
513                                 if (l->n_op == NAME || l->n_op == UMUL ||
514                                     l->n_op == TEMP) {
515                                         l->n_type = p->n_type;
516                                         nfree(p);
517                                         return l;
518                                 }
519                         }
520                 }
521
522                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
ragge
1.42
523                     coptype(l->n_op) == BITYPE && l->n_op != COMOP &&
524                     l->n_op != QUEST) {
mickey
1.1
525                         l->n_type = p->n_type;
526                         nfree(p);
527                         return l;
528                 }
529
530                 o = l->n_op;
531                 m = p->n_type;
532
533                 if (o == ICON) {
534                         CONSZ val = l->n_lval;
535
536                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
537                             switch (m) {
538                         case BOOL:
ragge
1.30
539                                 l->n_lval = nncon(l) ? (l->n_lval != 0) : 1;
540                                 l->n_sp = NULL;
mickey
1.1
541                                 break;
542                         case CHAR:
543                                 l->n_lval = (char)val;
544                                 break;
545                         case UCHAR:
546                                 l->n_lval = val & 0377;
547                                 break;
548                         case SHORT:
549                                 l->n_lval = (short)val;
550                                 break;
551                         case USHORT:
552                                 l->n_lval = val & 0177777;
553                                 break;
554                         case UNSIGNED:
555                                 l->n_lval = val & 0xffffffff;
556                                 break;
557                         case INT:
558                                 l->n_lval = (int)val;
559                                 break;
560                         case LONG:
561                         case LONGLONG:
562                                 l->n_lval = (long long)val;
563                                 break;
564                         case ULONG:
565                         case ULONGLONG:
566                                 l->n_lval = val;
567                                 break;
568                         case VOID:
569                                 break;
570                         case LDOUBLE:
571                         case DOUBLE:
572                         case FLOAT:
573                                 l->n_op = FCON;
574                                 l->n_dcon = val;
575                                 break;
576                         default:
577                                 cerror("unknown type %d"m);
578                         }
579                         l->n_type = m;
ragge
1.45
580                         l->n_ap = NULL;
mickey
1.1
581                         nfree(p);
582                         return l;
583                 } else if (l->n_op == FCON) {
ragge
1.29
584                         if (p->n_type == BOOL)
585                                 l->n_lval = l->n_dcon != 0.0;
586                         else
587                                 l->n_lval = l->n_dcon;
mickey
1.1
588                         l->n_sp = NULL;
589                         l->n_op = ICON;
590                         l->n_type = m;
ragge
1.45
591                         l->n_ap = NULL;
mickey
1.1
592                         nfree(p);
593                         return clocal(l);
594                 }
595                 if (DEUNSIGN(p->n_type) == SHORT &&
596                     DEUNSIGN(l->n_type) == SHORT) {
597                         nfree(p);
598                         p = l;
599                 }
600                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
601                     p->n_type == SHORT || p->n_type == USHORT) &&
602                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
603                     l->n_type == LDOUBLE)) {
ragge
1.18
604                         p = block(SCONVpNILp->n_typep->n_dfp->n_ap);
mickey
1.1
605                         p->n_left->n_type = INT;
606                         return p;
607                 }
608                 break;
609
610         case MOD:
611         case DIV:
612                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
613                         break;
614                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
615                         break;
616                 /* make it an int division by inserting conversions */
ragge
1.45
617                 p->n_left = block(SCONVp->n_leftNILINT00);
618                 p->n_right = block(SCONVp->n_rightNILINT00);
619                 p = block(SCONVpNILp->n_type00);
mickey
1.1
620                 p->n_left->n_type = INT;
621                 break;
622
623         case PMCONV:
624         case PVCONV:
625                 r = p;
626                 p = buildtree(o == PMCONV ? MUL : DIVp->n_leftp->n_right);
627                 nfree(r);
628                 break;
629
630         case FORCE:
631                 /* put return value in return reg */
632                 p->n_op = ASSIGN;
633                 p->n_right = p->n_left;
ragge
1.45
634                 p->n_left = block(REGNILNILp->n_type00);
ragge
1.34
635                 t = p->n_type;
636                 if (ISITY(t))
637                         t = t - (FIMAG-FLOAT);
mickey
1.1
638                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
ragge
1.34
639                     RETREG(CHAR) : RETREG(t);
mickey
1.1
640                 break;
641
642         case LS:
643         case RS:
ragge
1.15
644                 /* shift count must be in a char */
mickey
1.1
645                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
646                         break;
ragge
1.45
647                 p->n_right = block(SCONVp->n_rightNILCHAR00);
mickey
1.1
648                 break;
649         }
650 #ifdef PCC_DEBUG
651         if (xdebug) {
652                 printf("clocal end: %p\n"p);
653                 fwalk(peprint0);
654         }
655 #endif
656         return(p);
657 }
658
659 void
660 myp2tree(NODE *p)
661 {
ragge
1.28
662         struct symtab *spsps;
663         static int dblxorfltxor;
mickey
1.1
664
ragge
1.28
665         if (p->n_op == UMINUS && (p->n_type == FLOAT || p->n_type == DOUBLE)) {
666                 /* Store xor code for sign change */
667                 if (dblxor == 0) {
668                         dblxor = getlab();
669                         fltxor = getlab();
670                         sps.stype = LDOUBLE;
671                         sps.squal = CON >> TSHIFT;
672                         sps.sflags = sps.sclass = 0;
673                         sps.sname = sps.soname = "";
674                         sps.slevel = 1;
ragge
1.45
675                         sps.sap = NULL;
ragge
1.28
676                         sps.soffset = dblxor;
677                         defloc(&sps);
678                         printf("\t.long 0,0x80000000,0,0\n");
679                         printf(LABFMT ":\n"fltxor);
680                         printf("\t.long 0x80000000,0,0,0\n");
681                 }
682                 p->n_label = p->n_type == FLOAT ? fltxor : dblxor;
683                 return;
684         }
mickey
1.1
685         if (p->n_op != FCON)
686                 return;
687
ragge
1.22
688         /* XXX should let float constants follow */
mickey
1.1
689         sp = IALLOC(sizeof(struct symtab));
690         sp->sclass = STATIC;
ragge
1.45
691         sp->sap = NULL;
mickey
1.1
692         sp->slevel = 1/* fake numeric label */
693         sp->soffset = getlab();
694         sp->sflags = 0;
695         sp->stype = p->n_type;
696         sp->squal = (CON >> TSHIFT);
697
698         defloc(sp);
ragge
1.18
699         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
700
701         p->n_op = NAME;
702         p->n_lval = 0;
703         p->n_sp = sp;
704 }
705
ragge
1.22
706 /*
707  * Convert ADDROF NAME to ICON?
708  */
mickey
1.1
709 int
710 andable(NODE *p)
711 {
ragge
1.22
712         if (ininval)
713                 return 1;
714         if (p->n_sp->sclass == STATIC || p->n_sp->sclass == USTATIC)
715                 return 0;
716         return 1;
mickey
1.1
717 }
718
719 /*
720  * at the end of the arguments of a ftn, set the automatic offset
721  */
722 void
723 cendarg()
724 {
725         autooff = AUTOINIT;
726 }
727
728 /*
729  * Return 1 if a variable of type type is OK to put in register.
730  */
731 int
732 cisreg(TWORD t)
733 {
ragge
1.14
734         if (t == LDOUBLE)
735                 return 0;
mickey
1.1
736         return 1;
737 }
738
739 /*
740  * return a node, for structure references, which is suitable for
741  * being added to a pointer of type t, in order to be off bits offset
742  * into a structure
743  * t, d, and s are the type, dimension offset, and sizeoffset
744  * For pdp10, return the type-specific index number which calculation
745  * is based on its size. For example, short a[3] would return 3.
746  * Be careful about only handling first-level pointers, the following
747  * indirections must be fullword.
748  */
749 NODE *
ragge
1.18
750 offcon(OFFSZ offTWORD tunion dimfun *dstruct attr *ap)
mickey
1.1
751 {
752         register NODE *p;
753
754         if (xdebug)
755                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
ragge
1.18
756                     offtd, (int)tsize(tdap));
mickey
1.1
757
758         p = bcon(0);
759         p->n_lval = off/SZCHAR/* Default */
760         return(p);
761 }
762
763 /*
764  * Allocate off bits on the stack.  p is a tree that when evaluated
765  * is the multiply count for off, t is a storeable node where to write
766  * the allocated address.
767  */
768 void
769 spalloc(NODE *tNODE *pOFFSZ off)
770 {
771         NODE *sp;
772
ragge
1.20
773         p = buildtree(MULpbcon(off/SZCHAR));
774         p = buildtree(PLUSpbcon(30));
775         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
776
777         /* sub the size from sp */
ragge
1.45
778         sp = block(REGNILNILp->n_type00);
mickey
1.1
779         sp->n_lval = 0;
780         sp->n_rval = STKREG;
781         ecomp(buildtree(MINUSEQspp));
782
783         /* save the address of sp */
ragge
1.22
784         sp = block(REGNILNILPTR+LONGt->n_dft->n_ap);
mickey
1.1
785         sp->n_lval = 0;
786         sp->n_rval = STKREG;
787         t->n_type = sp->n_type;
788         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
789
790 }
791
792 /*
793  * Print out a string of characters.
794  * Assume that the assembler understands C-style escape
795  * sequences.
796  */
797 void
798 instring(struct symtab *sp)
799 {
800         char *s, *str = sp->sname;
801
802         defloc(sp);
803
804         /* be kind to assemblers and avoid long strings */
805         printf("\t.ascii \"");
806         for (s = str; *s != 0; ) {
807                 if (*s++ == '\\') {
808                         (void)esccon(&s);
809                 }
810                 if (s - str > 60) {
811                         fwrite(str1s - strstdout);
812                         printf("\"\n\t.ascii \"");
813                         str = s;
814                 }
815         }
816         fwrite(str1s - strstdout);
817         printf("\\0\"\n");
818 }
819
820 static int inbitsinval;
821
822 /*
823  * set fsz bits in sequence to zero.
824  */
825 void
826 zbits(OFFSZ offint fsz)
827 {
828         int m;
829
830         if (idebug)
831                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
832         if ((m = (inbits % SZCHAR))) {
833                 m = SZCHAR - m;
834                 if (fsz < m) {
835                         inbits += fsz;
836                         return;
837                 } else {
838                         fsz -= m;
839                         printf("\t.byte %d\n"inval);
840                         inval = inbits = 0;
841                 }
842         }
843         if (fsz >= SZCHAR) {
ragge
1.32
844 #ifdef MACHOABI
845                 printf("\t.space %d\n"fsz/SZCHAR);
846 #else
mickey
1.1
847                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.32
848 #endif
mickey
1.1
849                 fsz -= (fsz/SZCHAR) * SZCHAR;
850         }
851         if (fsz) {
852                 inval = 0;
853                 inbits = fsz;
854         }
855 }
856
857 /*
858  * Initialize a bitfield.
859  */
860 void
861 infld(CONSZ offint fszCONSZ val)
862 {
863         if (idebug)
864                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
865                     offfszvalinbits);
ragge
1.25
866         val &= (((((CONSZ)1 << (fsz-1))-1)<<1)|1);
mickey
1.1
867         while (fsz + inbits >= SZCHAR) {
868                 inval |= (val << inbits);
869                 printf("\t.byte %d\n"inval & 255);
870                 fsz -= (SZCHAR - inbits);
871                 val >>= (SZCHAR - inbits);
872                 inval = inbits = 0;
873         }
874         if (fsz) {
875                 inval |= (val << inbits);
876                 inbits += fsz;
877         }
878 }
879
880 /*
881  * print out a constant node, may be associated with a label.
882  * Do not free the node after use.
883  * off is bit offset from the beginning of the aggregate
884  * fsz is the number of bits this is referring to
885  */
886 void
887 ninval(CONSZ offint fszNODE *p)
888 {
889         union { float fdouble dlong double lint i[3]; } u;
890         struct symtab *q;
ragge
1.33
891         NODE st, *op = NIL;
mickey
1.1
892         TWORD t;
ragge
1.22
893
894         if (coptype(p->n_op) != LTYPE) {
895                 ininval = 1;
ragge
1.33
896                 op = p = optim(ccopy(p));
ragge
1.22
897                 ininval = 0;
898         }
mickey
1.1
899
ragge
1.33
900         while (p->n_op == PCONV)
901                 p = p->n_left;
902
mickey
1.1
903         t = p->n_type;
ragge
1.26
904
ragge
1.40
905         if (kflag && p->n_op == NAME && ISPTR(t) &&
906             (ISFTN(DECREF(t)) || ISSOU(BTYPE(t)))) {
ragge
1.26
907                 /* functions as initializers will be NAME here */
ragge
1.33
908                 if (op == NIL) {
909                         st = *p;
910                         p = &st;
911                 }
912                 p->n_op = ICON;
ragge
1.26
913         }
914
mickey
1.1
915         if (t > BTMASK)
ragge
1.7
916                 t = LONG/* pointer */
mickey
1.1
917
ragge
1.40
918         if (p->n_op == COMOP) {
919                 NODE *r = p->n_right;
920                 tfree(p->n_left);
921                 nfree(p);
922                 p = r;
923         }
924
925         if (p->n_op != ICON && p->n_op != FCON) {
926 fwalk(peprint0);
mickey
1.1
927                 cerror("ninval: init node not constant");
ragge
1.40
928         }
mickey
1.1
929
ragge
1.7
930         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != LONG)
mickey
1.1
931                 uerror("element not constant");
932
933         switch (t) {
ragge
1.6
934         case LONG:
935         case ULONG:
ragge
1.7
936                 printf("\t.quad 0x%llx"p->n_lval);
mickey
1.1
937                 if ((q = p->n_sp) != NULL) {
ragge
1.2
938                         if ((q->sclass == STATIC && q->slevel > 0)) {
mickey
1.1
939                                 printf("+" LABFMTq->soffset);
940                         } else {
ragge
1.6
941                                 char *name;
942                                 if ((name = q->soname) == NULL)
ragge
1.26
943                                         name = q->sname;
944                                 /* Never any PIC stuff in static init */
945                                 if (strchr(name'@')) {
946                                         name = tmpstrdup(name);
947                                         *strchr(name'@') = 0;
948                                 }
ragge
1.6
949                                 printf("+%s"name);
mickey
1.1
950                         }
951                 }
952                 printf("\n");
953                 break;
ragge
1.6
954         case INT:
955         case UNSIGNED:
956                 printf("\t.long 0x%x\n", (int)p->n_lval & 0xffffffff);
957                 break;
mickey
1.1
958         case SHORT:
959         case USHORT:
960                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
961                 break;
962         case BOOL:
963                 if (p->n_lval > 1)
964                         p->n_lval = p->n_lval != 0;
965                 /* FALLTHROUGH */
966         case CHAR:
967         case UCHAR:
968                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
969                 break;
970         case LDOUBLE:
971                 u.i[2] = 0;
972                 u.l = (long double)p->n_dcon;
973 #if defined(HOST_BIG_ENDIAN)
974                 /* XXX probably broken on most hosts */
ragge
1.36
975                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[2], u.i[1], u.i[0]);
mickey
1.1
976 #else
ragge
1.36
977                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[0], u.i[1], u.i[2]);
mickey
1.1
978 #endif
979                 break;
980         case DOUBLE:
981                 u.d = (double)p->n_dcon;
982 #if defined(HOST_BIG_ENDIAN)
983                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
984 #else
985                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
986 #endif
987                 break;
988         case FLOAT:
989                 u.f = (float)p->n_dcon;
990                 printf("\t.long\t0x%x\n"u.i[0]);
991                 break;
992         default:
993                 cerror("ninval");
994         }
ragge
1.33
995         if (op)
996                 tfree(op);
mickey
1.1
997 }
998
999 /* make a name look like an external name in the local machine */
1000 char *
1001 exname(char *p)
1002 {
ragge
1.31
1003 #ifdef MACHOABI
1004
1005 #define NCHNAM  256
1006         static char text[NCHNAM+1];
1007         int i;
1008
1009         if (p == NULL)
1010                 return "";
1011
1012         text[0] = '_';
1013         for (i=1; *p && i<NCHNAM; ++i)
1014                 text[i] = *p++;
1015
1016         text[i] = '\0';
1017         text[NCHNAM] = '\0';  /* truncate */
1018
1019         return (text);
1020 #else
mickey
1.1
1021         return (p == NULL ? "" : p);
ragge
1.31
1022 #endif
mickey
1.1
1023 }
1024
1025 /*
1026  * map types which are not defined on the local machine
1027  */
1028 TWORD
1029 ctype(TWORD type)
1030 {
1031         switch (BTYPE(type)) {
ragge
1.5
1032         case LONGLONG:
mickey
1.1
1033                 MODTYPE(type,LONG);
1034                 break;
1035
ragge
1.5
1036         case ULONGLONG:
mickey
1.1
1037                 MODTYPE(type,ULONG);
1038
1039         }
1040         return (type);
1041 }
1042
1043 void
1044 calldec(NODE *pNODE *q
1045 {
1046 }
1047
1048 void
1049 extdec(struct symtab *q)
1050 {
1051 }
1052
ragge
1.27
1053 int tbss;
1054
mickey
1.1
1055 /* make a common declaration for id, if reasonable */
1056