Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20110604152202

Diff

Diff from 1.55 to:

Annotations

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

Annotated File View

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