Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:gmcgarry:20080620063746

Diff

Diff from 1.78 to:

Annotations

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

Annotated File View

<
gmcgarry
1.78
1 /*      $Id: local.c,v 1.78 2008/06/20 06:37:46 gmcgarry Exp $  */
ragge
1.1
2 /*
3  * Copyright (c) 2003 Anders Magnusson (ragge@ludd.luth.se).
4  * All rights reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  * 3. The name of the author may not be used to endorse or promote products
15  *    derived from this software without specific prior written permission
16  *
17  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29
ragge
1.48
30 #include "pass1.h"
ragge
1.1
31
ragge
1.60
32 /*      this file contains code which is dependent on the target machine */
33
ragge
1.57
34 /*
35  * Check if a constant is too large for a type.
36  */
37 static int
38 toolarge(TWORD tCONSZ con)
39 {
40         U_CONSZ ucon = con;
41
42         switch (t) {
43         case ULONGLONG:
44         case LONGLONG:
45                 break/* cannot be too large */
46 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
47 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
48         SCHK(INT);
49         SCHK(SHORT);
otto
1.58
50         case BOOL:
ragge
1.57
51         SCHK(CHAR);
52         UCHK(UNSIGNED);
53         UCHK(USHORT);
54         UCHK(UCHAR);
55         default:
56                 cerror("toolarge");
57         }
58         return 0;
59 }
60
ragge
1.60
61 #define IALLOC(sz)      (isinlining ? permalloc(sz) : tmpalloc(sz))
62 /*
63  * Make a symtab entry for PIC use.
64  */
65 static struct symtab *
66 picsymtab(char *schar *s2)
67 {
68         struct symtab *sp = IALLOC(sizeof(struct symtab));
69         size_t len = strlen(s) + strlen(s2) + 1;
70         
ragge
1.69
71         sp->sname = sp->soname = IALLOC(len);
72         strlcpy(sp->sonameslen);
73         strlcat(sp->sonames2len);
ragge
1.60
74         sp->sclass = EXTERN;
ragge
1.64
75         sp->sflags = sp->slevel = 0;
ragge
1.60
76         return sp;
77 }
78
79 int gotnr/* tempnum for GOT register */
80 /*
81  * Create a reference for an extern variable.
82  */
83 static NODE *
84 picext(NODE *p)
85 {
86         NODE *q, *r;
stefan
1.66
87         struct symtab *sp;
ragge
1.60
88
89         q = tempnode(gotnrPTR|VOID0MKSUE(VOID));
ragge
1.69
90         sp = picsymtab(p->n_sp->soname"@GOT");
stefan
1.66
91         r = xbcon(0spINT);
ragge
1.60
92         q = buildtree(PLUSqr);
93         q = block(UMULq0PTR|VOID0MKSUE(VOID));
94         q = block(UMULq0p->n_typep->n_dfp->n_sue);
ragge
1.65
95         q->n_sp = p->n_sp/* for init */
ragge
1.60
96         nfree(p);
97         return q;
98 }
99
100 /*
101  * Create a reference for a static variable.
102  */
103 static NODE *
104 picstatic(NODE *p)
105 {
106         NODE *q, *r;
stefan
1.66
107         struct symtab *sp;
ragge
1.60
108
109         q = tempnode(gotnrPTR|VOID0MKSUE(VOID));
ragge
1.65
110         if (p->n_sp->slevel > 0 || p->n_sp->sclass == ILABEL) {
ragge
1.60
111                 char buf[32];
112                 snprintf(buf32LABFMT, (int)p->n_sp->soffset);
stefan
1.66
113                 sp = picsymtab(buf"@GOTOFF");
ragge
1.60
114         } else
ragge
1.69
115                 sp = picsymtab(p->n_sp->soname"@GOTOFF");
stefan
1.66
116         sp->sclass = STATIC;
117         sp->stype = p->n_sp->stype;
118         r = xbcon(0spINT);
ragge
1.60
119         q = buildtree(PLUSqr);
120         q = block(UMULq0p->n_typep->n_dfp->n_sue);
ragge
1.65
121         q->n_sp = p->n_sp/* for init */
ragge
1.60
122         nfree(p);
123         return q;
124 }
ragge
1.1
125
ragge
1.73
126 #ifdef TLS
127 /*
128  * Create a reference for a TLS variable.
129  */
130 static NODE *
131 tlspic(NODE *p)
132 {
133         NODE *q, *r;
134         struct symtab *sp;
135
136         /*
137          * creates:
138          *   leal var@TLSGD(%ebx),%eax
139          *   call ___tls_get_addr@PLT
140          */
141
142         /* calc address of var@TLSGD */
143         q = tempnode(gotnrPTR|VOID0MKSUE(VOID));
144         sp = picsymtab(p->n_sp->soname"@TLSGD");
145         r = xbcon(0spINT);
146         q = buildtree(PLUSqr);
147
148         /* assign to %eax */
149         r = block(REGNILNILPTR|VOID0MKSUE(VOID));
150         r->n_rval = EAX;
151         q = buildtree(ASSIGNrq);
152
153         /* call ___tls_get_addr */
154         spname = lookup("___tls_get_addr@PLT"0);
155         spname->stype = EXTERN|INT|FTN;
156         r = buildtree(NAMENILNIL);
157         r = buildtree(ADDROFrNIL);
158         r = block(UCALLrNILINT0MKSUE(INT));
159
160         /* fusion both parts together */
161         q = buildtree(COMOPqr);
162         q = block(UMULq0p->n_typep->n_dfp->n_sue);
163         q->n_sp = p->n_sp/* for init */
164
165         nfree(p);
166         return q;
167 }
168
169 static NODE *
170 tlsnonpic(NODE *p)
171 {
172         NODE *q, *r;
173         struct symtab *sp;
174         int ext = p->n_sp->sclass;
175
176         sp = picsymtab(p->n_sp->sonameext == EXTERN ? "@INDNTPOFF" : "@NTPOFF");
177         q = xbcon(0spINT);
178         if (ext == EXTERN)
179                 q = block(UMULqNILPTR|VOID0MKSUE(VOID));
180
181         spname = lookup("%gs:0"0);
182         spname->stype = EXTERN|INT;
183         r = buildtree(NAMENILNIL);
184
185         q = buildtree(PLUSqr);
186         q = block(UMULq0p->n_typep->n_dfp->n_sue);
187         q->n_sp = p->n_sp/* for init */
188
189         nfree(p);
190         return q;
191 }
192
193 static NODE *
194 tlsref(NODE *p)
195 {
196         if (kflag)
197                 return (tlspic(p));
198         else
199                 return (tlsnonpic(p));
200 }
201 #endif
202
ragge
1.48
203 /* clocal() is called to do local transformations on
204  * an expression tree preparitory to its being
205  * written out in intermediate code.
206  *
207  * the major essential job is rewriting the
208  * automatic variables and arguments in terms of
209  * REG and OREG nodes
210  * conversion ops which are not necessary are also clobbered here
211  * in addition, any special features (such as rewriting
212  * exclusive or) are easily handled here as well
213  */
ragge
1.1
214 NODE *
215 clocal(NODE *p)
216 {
217
218         register struct symtab *q;
ragge
1.2
219         register NODE *r, *l;
ragge
1.1
220         register int o;
ragge
1.40
221         register int m;
ragge
1.19
222         TWORD t;
ragge
1.1
223
ragge
1.54
224 #ifdef PCC_DEBUG
225         if (xdebug) {
226                 printf("clocal: %p\n"p);
227                 fwalk(peprint0);
228         }
229 #endif
ragge
1.1
230         switcho = p->n_op ){
231
232         case NAME:
233                 if ((q = p->n_sp) == NULL)
234                         return p/* Nothing to care about */
235
236                 switch (q->sclass) {
237
238                 case PARAM:
239                 case AUTO:
240                         /* fake up a structure reference */
241                         r = block(REGNILNILPTR+STRTY00);
242                         r->n_lval = 0;
243                         r->n_rval = FPREG;
244                         p = stref(block(STREFrp000));
245                         break;
246
ragge
1.65
247                 case USTATIC:
248                         if (kflag == 0)
249                                 break;
250                         /* FALLTHROUGH */
ragge
1.1
251                 case STATIC:
ragge
1.73
252 #ifdef TLS
253                         if (q->sflags & STLS) {
254                                 p = tlsref(p);
255                                 break;
256                         }
257 #endif
ragge
1.60
258                         if (kflag == 0) {
259                                 if (q->slevel == 0)
260                                         break;
261                                 p->n_lval = 0;
ragge
1.64
262                         } else if (blevel > 0)
ragge
1.60
263                                 p = picstatic(p);
ragge
1.1
264                         break;
265
266                 case REGISTER:
267                         p->n_op = REG;
268                         p->n_lval = 0;
269                         p->n_rval = q->soffset;
270                         break;
271
ragge
1.60
272                 case EXTERN:
273                 case EXTDEF:
ragge
1.73
274 #ifdef TLS
275                         if (q->sflags & STLS) {
276                                 p = tlsref(p);
277                                 break;
278                         }
279 #endif
ragge
1.60
280                         if (kflag == 0)
281                                 break;
ragge
1.64
282                         if (blevel > 0)
ragge
1.60
283                                 p = picext(p);
284                         break;
ragge
1.65
285
286                 case ILABEL:
287                         if (kflag && blevel)
288                                 p = picstatic(p);
289                         break;
ragge
1.60
290                 }
ragge
1.1
291                 break;
292
ragge
1.65
293         case ADDROF:
294                 if (kflag == 0 || blevel == 0)
295                         break;
296                 /* char arrays may end up here */
297                 l = p->n_left;
298                 if (l->n_op != NAME ||
299                     (l->n_type != ARY+CHAR && l->n_type != ARY+WCHAR_TYPE))
300                         break;
301                 l = p;
302                 p = picstatic(p->n_left);
303                 nfree(l);
304                 if (p->n_op != UMUL)
305                         cerror("ADDROF error");
306                 l = p;
307                 p = p->n_left;
308                 nfree(l);
309                 break;
310
ragge
1.62
311         case UCALL:
312         case USTCALL:
ragge
1.60
313                 if (kflag == 0)
314                         break;
ragge
1.62
315                 /* Change to CALL node with ebx as argument */
316                 l = block(REGNILNILINT0MKSUE(INT));
317                 l->n_rval = EBX;
318                 p->n_right = buildtree(ASSIGNl,
319                     tempnode(gotnrINT0MKSUE(INT)));
320                 p->n_op -= (UCALL-CALL);
ragge
1.10
321                 break;
ragge
1.64
322
ragge
1.8
323         case CBRANCH:
324                 l = p->n_left;
325
326                 /*
ragge
1.77
327                  * Remove unnecessary conversion ops.
ragge
1.8
328                  */
ragge
1.10
329                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
ragge
1.12
330                         if (coptype(l->n_op) != BITYPE)
331                                 break;
ragge
1.8
332                         if (l->n_right->n_op == ICON) {
333                                 r = l->n_left->n_left;
ragge
1.24
334                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
335                                         break;
ragge
1.59
336                                 if (ISPTR(r->n_type))
337                                         break/* no opt for pointers */
ragge
1.57
338                                 if (toolarge(r->n_typel->n_right->n_lval))
339                                         break;
ragge
1.18
340                                 /* Type must be correct */
ragge
1.19
341                                 t = r->n_type;
ragge
1.8
342                                 nfree(l->n_left);
343                                 l->n_left = r;
ragge
1.19
344                                 l->n_type = t;
345                                 l->n_right->n_type = t;
ragge
1.17
346                         }
ragge
1.8
347                 }
348                 break;
349
ragge
1.1
350         case PCONV:
ragge
1.40
351                 /* Remove redundant PCONV's. Be careful */
ragge
1.1
352                 l = p->n_left;
ragge
1.40
353                 if (l->n_op == ICON) {
354                         l->n_lval = (unsigned)l->n_lval;
355                         goto delp;
356                 }
357                 if (l->n_type < INT || l->n_type == LONGLONG || 
358                     l->n_type == ULONGLONG) {
359                         /* float etc? */
360                         p->n_left = block(SCONVlNIL,
361                             UNSIGNED0MKSUE(UNSIGNED));
362                         break;
363                 }
364                 /* if left is SCONV, cannot remove */
365                 if (l->n_op == SCONV)
ragge
1.1
366                         break;
ragge
1.54
367
368                 /* avoid ADDROF TEMP */
369                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
370                         break;
371
ragge
1.40
372                 /* if conversion to another pointer type, just remove */
373                 if (p->n_type > BTMASK && l->n_type > BTMASK)
374                         goto delp;
375                 break;
376
377         delp:   l->n_type = p->n_type;
ragge
1.1
378                 l->n_qual = p->n_qual;
379                 l->n_df = p->n_df;
380                 l->n_sue = p->n_sue;
381                 nfree(p);
382                 p = l;
383                 break;
ragge
1.40
384                 
ragge
1.1
385         case SCONV:
386                 l = p->n_left;
ragge
1.4
387
ragge
1.25
388                 if (p->n_type == l->n_type) {
389                         nfree(p);
390                         return l;
391                 }
392
ragge
1.4
393                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
pj
1.30
394                     btdims[p->n_type].suesize == btdims[l->n_type].suesize) {
ragge
1.4
395                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
ragge
1.15
396                             l->n_type != FLOAT && l->n_type != DOUBLE &&
397                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
ragge
1.41
398                                 if (l->n_op == NAME || l->n_op == UMUL ||
399                                     l->n_op == TEMP) {
ragge
1.15
400                                         l->n_type = p->n_type;
401                                         nfree(p);
402                                         return l;
403                                 }
ragge
1.4
404                         }
ragge
1.6
405                 }
406
ragge
1.42
407                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
408                     coptype(l->n_op) == BITYPE) {
409                         l->n_type = p->n_type;
410                         nfree(p);
411                         return l;
412                 }
413
ragge
1.3
414                 o = l->n_op;
ragge
1.4
415                 m = p->n_type;
ragge
1.1
416
417                 if (o == ICON) {
418                         CONSZ val = l->n_lval;
419
ragge
1.29
420                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
421                             switch (m) {
ragge
1.52
422                         case BOOL:
423                                 l->n_lval = l->n_lval != 0;
424                                 break;
ragge
1.1
425                         case CHAR:
426                                 l->n_lval = (char)val;
427                                 break;
428                         case UCHAR:
429                                 l->n_lval = val & 0377;
430                                 break;
ragge
1.15
431                         case SHORT:
ragge
1.1
432                                 l->n_lval = (short)val;
433                                 break;
ragge
1.15
434                         case USHORT:
ragge
1.1
435                                 l->n_lval = val & 0177777;
436                                 break;
ragge
1.15
437                         case ULONG:
ragge
1.1
438                         case UNSIGNED:
439                                 l->n_lval = val & 0xffffffff;
440                                 break;
ragge
1.15
441                         case LONG:
ragge
1.1
442                         case INT:
443                                 l->n_lval = (int)val;
444                                 break;
445                         case LONGLONG:
446                                 l->n_lval = (long long)val;
ragge
1.15
447                                 break;
ragge
1.1
448                         case ULONGLONG:
449                                 l->n_lval = val;
450                                 break;
451                         case VOID:
452                                 break;
ragge
1.14
453                         case LDOUBLE:
ragge
1.1
454                         case DOUBLE:
455                         case FLOAT:
456                                 l->n_op = FCON;
457                                 l->n_dcon = val;
458                                 break;
459                         default:
460                                 cerror("unknown type %d"m);
461                         }
462                         l->n_type = m;
ragge
1.44
463                         l->n_sue = MKSUE(m);
ragge
1.1
464                         nfree(p);
465                         return l;
ragge
1.72
466                 } else if (l->n_op == FCON) {
467                         l->n_lval = l->n_dcon;
468                         l->n_sp = NULL;
469                         l->n_op = ICON;
470                         l->n_type = m;
471                         l->n_sue = MKSUE(m);
472                         nfree(p);
473                         return clocal(l);
ragge
1.1
474                 }
ragge
1.17
475                 if (DEUNSIGN(p->n_type) == SHORT &&
476                     DEUNSIGN(l->n_type) == SHORT) {
477                         nfree(p);
478                         p = l;
479                 }
ragge
1.36
480                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
481                     p->n_type == SHORT || p->n_type == USHORT) &&
482                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
483                     l->n_type == LDOUBLE)) {
484                         p = block(SCONVpNILp->n_typep->n_dfp->n_sue);
485                         p->n_left->n_type = INT;
486                         return p;
487                 }
ragge
1.1
488                 break;
489
ragge
1.15
490         case MOD:
491         case DIV:
492                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
493                         break;
ragge
1.16
494                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
ragge
1.15
495                         break;
496                 /* make it an int division by inserting conversions */
497                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
498                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
499                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
500                 p->n_left->n_type = INT;
501                 break;
502
ragge
1.1
503         case PMCONV:
504         case PVCONV:
ragge
1.74
505                 r = p;
506                 p = buildtree(o == PMCONV ? MUL : DIVp->n_leftp->n_right);
507                 nfree(r);
508                 break;
ragge
1.1
509
ragge
1.31
510         case FORCE:
ragge
1.32
511                 /* put return value in return reg */
512                 p->n_op = ASSIGN;
513                 p->n_right = p->n_left;
514                 p->n_left = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.53
515                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
516                     RETREG(CHAR) : RETREG(p->n_type);
ragge
1.31
517                 break;
ragge
1.39
518
519         case LS:
520         case RS:
521                 /* shift count must be in a char
522                  * unless longlong, where it must be int */
523                 if (p->n_right->n_op == ICON)
524                         break/* do not do anything */
525                 if (p->n_type == LONGLONG || p->n_type == ULONGLONG) {
526                         if (p->n_right->n_type != INT)
527                                 p->n_right = block(SCONVp->n_rightNIL,
528                                     INT0MKSUE(INT));
529                         break;
530                 }
531                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
532                         break;
533                 p->n_right = block(SCONVp->n_rightNIL,
534                     CHAR0MKSUE(CHAR));
535                 break;
ragge
1.1
536         }
ragge
1.54
537 #ifdef PCC_DEBUG
538         if (xdebug) {
539                 printf("clocal end: %p\n"p);
540                 fwalk(peprint0);
541         }
542 #endif
ragge
1.1
543         return(p);
544 }
545
ragge
1.64
546 /*
547  * Change CALL references to either direct (static) or PLT.
548  */
549 static void
550 fixnames(NODE *p)
551 {
552         struct symtab *sp;
ragge
1.65
553         struct suedef *sue;
ragge
1.64
554         NODE *q;
555         char *c;
556         int isu;
557
558         if ((cdope(p->n_op) & CALLFLG) == 0)
559                 return;
560         isu = 0;
561         q = p->n_left;
ragge
1.65
562         sue = q->n_sue;
ragge
1.64
563         if (q->n_op == UMUL)
564                 q = q->n_leftisu = 1;
565         if (q->n_op == PLUS && q->n_left->n_op == TEMP &&
566             q->n_right->n_op == ICON) {
567                 sp = q->n_right->n_sp;
568
ragge
1.65
569                 if (sp == NULL)
570                         return/* nothing to do */
ragge
1.64
571                 if (sp->sclass == STATIC && !ISFTN(sp->stype))
572                         return/* function pointer */
573
574                 if (sp->sclass != STATIC && sp->sclass != EXTERN &&
575                     sp->sclass != EXTDEF)
576                         cerror("fixnames");
577
ragge
1.69
578                 if ((c = strstr(sp->soname"@GOT")) == NULL)
ragge
1.64
579                         cerror("fixnames2");
580                 if (isu) {
581                         memcpy(c"@PLT"sizeof("@PLT"));
582                 } else
583                         *c = 0;
584                 nfree(q->n_left);
585                 q = q->n_right;
586                 if (isu)
587                         nfree(p->n_left->n_left);
588                 nfree(p->n_left);
589                 p->n_left = q;
ragge
1.65
590                 q->n_sue = sue;
ragge
1.64
591         }
592 }
593
ragge
1.1
594 void
595 myp2tree(NODE *p)
596 {
ragge
1.67
597         struct symtab *sp;
598
ragge
1.64
599         if (kflag)
ragge
1.67
600                 walkf(pfixnames); /* XXX walkf not needed */
601         if (p->n_op != FCON)
602                 return;
603
ragge
1.70
604 #if 0
ragge
1.67
605         /* put floating constants in memory */
606         setloc1(RDATA);
607         defalign(ALLDOUBLE);
608         deflab1(i = getlab());
609         ninval(0btdims[p->n_type].suesizep);
ragge
1.70
610 #endif
ragge
1.67
611
612         sp = IALLOC(sizeof(struct symtab));
613         sp->sclass = STATIC;
gmcgarry
1.75
614         sp->ssue = MKSUE(p->n_type);
ragge
1.67
615         sp->slevel = 1/* fake numeric label */
ragge
1.70
616         sp->soffset = getlab();
ragge
1.67
617         sp->sflags = 0;
ragge
1.70
618         sp->stype = p->n_type;
619         sp->squal = (CON >> TSHIFT);
620
621         defloc(sp);
gmcgarry
1.75
622         ninval(0sp->ssue->suesizep);
ragge
1.67
623
624         p->n_op = NAME;
625         p->n_lval = 0;
626         p->n_sp = sp;
ragge
1.1
627 }
628
629 /*ARGSUSED*/
630 int
631 andable(NODE *p)
632 {
ragge
1.64
633         return(1);      /* all names can have & taken on them */
ragge
1.1
634 }
635
636 /*
637  * at the end of the arguments of a ftn, set the automatic offset
638  */
639 void
640 cendarg()
641 {
642         autooff = AUTOINIT;
643 }
644
645 /*
ragge
1.36
646  * Return 1 if a variable of type type is OK to put in register.
647  */
648 int
649 cisreg(TWORD t)
650 {
651         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
652                 return 0/* not yet */
653         return 1;
654 }
655
656 /*
ragge
1.1
657  * return a node, for structure references, which is suitable for
658  * being added to a pointer of type t, in order to be off bits offset
659  * into a structure
660  * t, d, and s are the type, dimension offset, and sizeoffset
661  * For pdp10, return the type-specific index number which calculation
662  * is based on its size. For example, short a[3] would return 3.
663  * Be careful about only handling first-level pointers, the following
664  * indirections must be fullword.
665  */
666 NODE *
667 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
668 {
669         register NODE *p;
670
671         if (xdebug)
672                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
673                     offtdsue->suesize);
674
675         p = bcon(0);
676         p->n_lval = off/SZCHAR/* Default */
677         return(p);
678 }
679
680 /*
681  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
682  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
683  * the allocated address.
684  */
685 void
686 spalloc(NODE *tNODE *pOFFSZ off)
687 {
688         NODE *sp;
689
ragge
1.45
690         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
691
692         /* sub the size from sp */
ragge
1.55
693         sp = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.45
694         sp->n_lval = 0;
695         sp->n_rval = STKREG;
696         ecomp(buildtree(MINUSEQspp));
ragge
1.1
697
698         /* save the address of sp */
699         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
700         sp->n_lval = 0;
701         sp->n_rval = STKREG;
702         t->n_type = sp->n_type;
703         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
704
705 }
706
707 /*
ragge
1.48
708  * Print out a string of characters.
709  * Assume that the assembler understands C-style escape
ragge
1.70
710  * sequences.
ragge
1.48
711  */
712 void
ragge
1.70
713 instring(struct symtab *sp)
ragge
1.48
714 {
ragge
1.70
715         char *s, *str;
716
717         defloc(sp);
718         str = sp->sname;
ragge
1.48
719
mickey
1.61
720         /* be kind to assemblers and avoid long strings */
ragge
1.48
721         printf("\t.ascii \"");
ragge
1.51
722         for (s = str; *s != 0; ) {
723                 if (*s++ == '\\') {
ragge
1.48
724                         (void)esccon(&s);
ragge
1.51
725                 }
ragge
1.70
726                 if (s - str > 60) {
ragge
1.48
727                         fwrite(str1s - strstdout);
728                         printf("\"\n\t.ascii \"");
729                         str = s;
730                 }
731         }
732         fwrite(str1s - strstdout);
733         printf("\\0\"\n");
734 }
735
ragge
1.70
736 /*
737  * Print out a wide string by calling ninval().
738  */
739 void
740 inwstring(struct symtab *sp)
741 {
742         char *s = sp->sname;
743         NODE *p;
744
745         defloc(sp);
746         p = bcon(0);
747         do {
748                 if (*s++ == '\\')
749                         p->n_lval = esccon(&s);
750                 else
751                         p->n_lval = (unsigned char)s[-1];
752                 ninval(0, (MKSUE(WCHAR_TYPE))->suesizep);
753         } while (s[-1] != 0);
754         nfree(p);
755 }
756
757
ragge
1.49
758 static int inbitsinval;
759
760 /*
761  * set fsz bits in sequence to zero.
762  */
763 void
764 zbits(OFFSZ offint fsz)
765 {
766         int m;
767
768         if (idebug)
ragge
1.51
769                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
770         if ((m = (inbits % SZCHAR))) {
771                 m = SZCHAR - m;
772                 if (fsz < m) {
ragge
1.51
773                         inbits += fsz;
ragge
1.49
774                         return;
775                 } else {
776                         fsz -= m;
777                         printf("\t.byte %d\n"inval);
778                         inval = inbits = 0;
779                 }
780         }
781         if (fsz >= SZCHAR) {
782                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
783                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
784         }
785         if (fsz) {
786                 inval = 0;
787                 inbits = fsz;
788         }
789 }
790
791 /*
792  * Initialize a bitfield.
793  */
794 void
795 infld(CONSZ offint fszCONSZ val)
796 {
797         if (idebug)
ragge
1.51
798                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
799                     offfszvalinbits);
ragge
1.56
800         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
801         while (fsz + inbits >= SZCHAR) {
802                 inval |= (val << inbits);
803                 printf("\t.byte %d\n"inval & 255);
804                 fsz -= (SZCHAR - inbits);
805                 val >>= (SZCHAR - inbits);
806                 inval = inbits = 0;
807         }
ragge
1.51
808         if (fsz) {
809                 inval |= (val << inbits);
810                 inbits += fsz;
811         }
ragge
1.49
812 }
813
ragge
1.48
814 /*
ragge
1.46
815  * print out a constant node, may be associated with a label.
816  * Do not free the node after use.
ragge
1.49
817  * off is bit offset from the beginning of the aggregate
818  * fsz is the number of bits this is referring to
ragge
1.21
819  */
820 void
ragge
1.49
821 ninval(CONSZ offint fszNODE *p)
ragge
1.21
822 {
ragge
1.46
823         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
824         struct symtab *q;
ragge
1.64
825         char *c;
ragge
1.23
826         TWORD t;
ragge
1.46
827         int i;
ragge
1.23
828
829         t = p->n_type;
830         if (t > BTMASK)
831                 t = INT/* pointer */
832
ragge
1.65
833         while (p->n_op == SCONV || p->n_op == PCONV) {
834                 NODE *l = p->n_left;
835                 l->n_type = p->n_type;
836                 p = l;
837         }
838
ragge
1.64
839         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
840                 if (p->n_op == UMUL)
841                         p = p->n_left;
842                 p = p->n_right;
843                 q = p->n_sp;
ragge
1.69
844                 if ((c = strstr(q->soname"@GOT")) != NULL)
ragge
1.64
845                         *c = 0/* ignore GOT ref here */
846         }
ragge
1.46
847         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
848                 cerror("ninval: init node not constant");
849
ragge
1.49
850         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
851                 uerror("element not constant");
852
ragge
1.23
853         switch (t) {
ragge
1.21
854         case LONGLONG:
855         case ULONGLONG:
ragge
1.46
856                 i = (p->n_lval >> 32);
857                 p->n_lval &= 0xffffffff;
ragge
1.51
858                 p->n_type = INT;
ragge
1.49
859                 ninval(off32p);
ragge
1.46
860                 p->n_lval = i;
ragge
1.49
861                 ninval(off+3232p);
ragge
1.21
862                 break;
863         case INT:
864         case UNSIGNED:
865                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
866                 if ((q = p->n_sp) != NULL) {
867                         if ((q->sclass == STATIC && q->slevel > 0) ||
868                             q->sclass == ILABEL) {
869                                 printf("+" LABFMTq->soffset);
ragge
1.21
870                         } else
ragge
1.69
871                                 printf("+%s"exname(q->soname));
ragge
1.21
872                 }
873                 printf("\n");
874                 break;
ragge
1.46
875         case SHORT:
876         case USHORT:
877                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
878                 break;
ragge
1.52
879         case BOOL:
880                 if (p->n_lval > 1)
881                         p->n_lval = p->n_lval != 0;
882                 /* FALLTHROUGH */
ragge
1.46
883         case CHAR:
884         case UCHAR:
ragge
1.50
885                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
886                 break;
887         case LDOUBLE:
888                 u.i[2] = 0;
889                 u.l = (long double)p->n_dcon;
890                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
891                 break;
892         case DOUBLE:
893                 u.d = (double)p->n_dcon;
894                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
895                 break;
896         case FLOAT:
897                 u.f = (float)p->n_dcon;
898                 printf("\t.long\t0x%x\n"u.i[0]);
899                 break;
ragge
1.21
900         default:
901                 cerror("ninval");
902         }
903 }
904
ragge
1.1
905 /* make a name look like an external name in the local machine */
906 char *
907 exname(char *p)
908 {
gmcgarry
1.76
909 #if defined(PECOFFABI) || defined(MACHOABI)
910
911 #define NCHNAM  256
912         static char text[NCHNAM+1];
913         int i;
914
ragge
1.1
915         if (p == NULL)
916                 return "";
gmcgarry
1.76
917
918         text[0] = '_';
919         for (i=1; *p && i<NCHNAM; ++i)
920                 text[i] = *p++;
921
922         text[i] = '\0';
923         text[NCHNAM] = '\0';  /* truncate */
924
925         return (text);
926
927 #else
928
929         return (p == NULL ? "" : p);
930
931 #endif
ragge
1.1
932 }
933
934 /*
935  * map types which are not defined on the local machine
936  */
ragge
1.15
937 TWORD
ragge
1.1
938 ctype(TWORD type)
939 {
940         switch (BTYPE(type)) {
941         case LONG:
942                 MODTYPE(type,INT);
943                 break;
944
945         case ULONG:
946                 MODTYPE(type,UNSIGNED);
ragge
1.13
947
ragge
1.1
948         }
949         return (type);
950 }
951
pj
1.30
952 void
953 calldec(NODE *pNODE *q
954 {
955 }
956
957 void
958 extdec(struct symtab *q)
959 {
960 }
961
ragge
1.1
962 /* make a common declaration for id, if reasonable */
963 void
ragge
1.70
964 defzero(struct symtab *sp)
ragge
1.1
965 {
966         int off;
967
ragge
1.73
968 #ifdef TLS
969         if (sp->sflags & STLS) {
970                 if (sp->sclass == EXTERN)
971                         sp->sclass = EXTDEF;
972                 simpleinit(spbcon(0));
973                 return;
974         }
975 #endif
976
ragge
1.70
977         off = tsize(sp->stypesp->sdfsp->ssue);
ragge
1.8
978         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.70
979         printf("        .%scomm "sp->sclass == STATIC ? "l" : "");
980         if (sp->slevel == 0)
981                 printf("%s,0%o\n"exname(sp->soname), off);
ragge
1.1
982         else
ragge
1.70
983                 printf(LABFMT ",0%o\n"sp->soffsetoff);
ragge
1.23
984 }
ragge
1.69
985
ragge
1.71
986 char *nextsect;
ragge
1.73
987 #ifdef TLS
988 static int gottls;
989 #endif
gmcgarry
1.78
990 static int constructor;
991 static int destructor;
ragge
1.69
992
gmcgarry
1.78