Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:gmcgarry:20080625114207

Diff

Diff from 1.80 to:

Annotations

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

Annotated File View

gmcgarry
1.80
1 /*      $Id: local.c,v 1.80 2008/06/25 11:42:07 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_type == LONGLONG || p->n_type == ULONGLONG) {
524                         if (p->n_right->n_type != INT)
525                                 p->n_right = block(SCONVp->n_rightNIL,
526                                     INT0MKSUE(INT));
527                         break;
528                 }
529                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
530                         break;
531                 p->n_right = block(SCONVp->n_rightNIL,
532                     CHAR0MKSUE(CHAR));
533                 break;
ragge
1.1
534         }
ragge
1.54
535 #ifdef PCC_DEBUG
536         if (xdebug) {
537                 printf("clocal end: %p\n"p);
538                 fwalk(peprint0);
539         }
540 #endif
ragge
1.1
541         return(p);
542 }
543
ragge
1.64
544 /*
545  * Change CALL references to either direct (static) or PLT.
546  */
547 static void
548 fixnames(NODE *p)
549 {
550         struct symtab *sp;
ragge
1.65
551         struct suedef *sue;
ragge
1.64
552         NODE *q;
553         char *c;
554         int isu;
555
556         if ((cdope(p->n_op) & CALLFLG) == 0)
557                 return;
558         isu = 0;
559         q = p->n_left;
ragge
1.65
560         sue = q->n_sue;
ragge
1.64
561         if (q->n_op == UMUL)
562                 q = q->n_leftisu = 1;
563         if (q->n_op == PLUS && q->n_left->n_op == TEMP &&
564             q->n_right->n_op == ICON) {
565                 sp = q->n_right->n_sp;
566
ragge
1.65
567                 if (sp == NULL)
568                         return/* nothing to do */
ragge
1.64
569                 if (sp->sclass == STATIC && !ISFTN(sp->stype))
570                         return/* function pointer */
571
572                 if (sp->sclass != STATIC && sp->sclass != EXTERN &&
573                     sp->sclass != EXTDEF)
574                         cerror("fixnames");
575
ragge
1.69
576                 if ((c = strstr(sp->soname"@GOT")) == NULL)
ragge
1.64
577                         cerror("fixnames2");
578                 if (isu) {
579                         memcpy(c"@PLT"sizeof("@PLT"));
580                 } else
581                         *c = 0;
582                 nfree(q->n_left);
583                 q = q->n_right;
584                 if (isu)
585                         nfree(p->n_left->n_left);
586                 nfree(p->n_left);
587                 p->n_left = q;
ragge
1.65
588                 q->n_sue = sue;
ragge
1.64
589         }
590 }
591
ragge
1.1
592 void
593 myp2tree(NODE *p)
594 {
ragge
1.67
595         struct symtab *sp;
596
ragge
1.64
597         if (kflag)
ragge
1.67
598                 walkf(pfixnames); /* XXX walkf not needed */
599         if (p->n_op != FCON)
600                 return;
601
ragge
1.70
602 #if 0
ragge
1.67
603         /* put floating constants in memory */
604         setloc1(RDATA);
605         defalign(ALLDOUBLE);
606         deflab1(i = getlab());
607         ninval(0btdims[p->n_type].suesizep);
ragge
1.70
608 #endif
ragge
1.67
609
610         sp = IALLOC(sizeof(struct symtab));
611         sp->sclass = STATIC;
gmcgarry
1.75
612         sp->ssue = MKSUE(p->n_type);
ragge
1.67
613         sp->slevel = 1/* fake numeric label */
ragge
1.70
614         sp->soffset = getlab();
ragge
1.67
615         sp->sflags = 0;
ragge
1.70
616         sp->stype = p->n_type;
617         sp->squal = (CON >> TSHIFT);
618
619         defloc(sp);
gmcgarry
1.75
620         ninval(0sp->ssue->suesizep);
ragge
1.67
621
622         p->n_op = NAME;
623         p->n_lval = 0;
624         p->n_sp = sp;
ragge
1.1
625 }
626
627 /*ARGSUSED*/
628 int
629 andable(NODE *p)
630 {
ragge
1.64
631         return(1);      /* all names can have & taken on them */
ragge
1.1
632 }
633
634 /*
635  * at the end of the arguments of a ftn, set the automatic offset
636  */
637 void
638 cendarg()
639 {
640         autooff = AUTOINIT;
641 }
642
643 /*
ragge
1.36
644  * Return 1 if a variable of type type is OK to put in register.
645  */
646 int
647 cisreg(TWORD t)
648 {
649         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
650                 return 0/* not yet */
651         return 1;
652 }
653
654 /*
ragge
1.1
655  * return a node, for structure references, which is suitable for
656  * being added to a pointer of type t, in order to be off bits offset
657  * into a structure
658  * t, d, and s are the type, dimension offset, and sizeoffset
659  * For pdp10, return the type-specific index number which calculation
660  * is based on its size. For example, short a[3] would return 3.
661  * Be careful about only handling first-level pointers, the following
662  * indirections must be fullword.
663  */
664 NODE *
665 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
666 {
667         register NODE *p;
668
669         if (xdebug)
670                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
671                     offtdsue->suesize);
672
673         p = bcon(0);
674         p->n_lval = off/SZCHAR/* Default */
675         return(p);
676 }
677
678 /*
679  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
680  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
681  * the allocated address.
682  */
683 void
684 spalloc(NODE *tNODE *pOFFSZ off)
685 {
686         NODE *sp;
687
ragge
1.45
688         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
689
690         /* sub the size from sp */
ragge
1.55
691         sp = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.45
692         sp->n_lval = 0;
693         sp->n_rval = STKREG;
694         ecomp(buildtree(MINUSEQspp));
ragge
1.1
695
696         /* save the address of sp */
697         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
698         sp->n_lval = 0;
699         sp->n_rval = STKREG;
700         t->n_type = sp->n_type;
701         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
702
703 }
704
705 /*
ragge
1.48
706  * Print out a string of characters.
707  * Assume that the assembler understands C-style escape
ragge
1.70
708  * sequences.
ragge
1.48
709  */
710 void
ragge
1.70
711 instring(struct symtab *sp)
ragge
1.48
712 {
ragge
1.70
713         char *s, *str;
714
715         defloc(sp);
716         str = sp->sname;
ragge
1.48
717
mickey
1.61
718         /* be kind to assemblers and avoid long strings */
ragge
1.48
719         printf("\t.ascii \"");
ragge
1.51
720         for (s = str; *s != 0; ) {
721                 if (*s++ == '\\') {
ragge
1.48
722                         (void)esccon(&s);
ragge
1.51
723                 }
ragge
1.70
724                 if (s - str > 60) {
ragge
1.48
725                         fwrite(str1s - strstdout);
726                         printf("\"\n\t.ascii \"");
727                         str = s;
728                 }
729         }
730         fwrite(str1s - strstdout);
731         printf("\\0\"\n");
732 }
733
ragge
1.70
734 /*
735  * Print out a wide string by calling ninval().
736  */
737 void
738 inwstring(struct symtab *sp)
739 {
740         char *s = sp->sname;
741         NODE *p;
742
743         defloc(sp);
744         p = bcon(0);
745         do {
746                 if (*s++ == '\\')
747                         p->n_lval = esccon(&s);
748                 else
749                         p->n_lval = (unsigned char)s[-1];
750                 ninval(0, (MKSUE(WCHAR_TYPE))->suesizep);
751         } while (s[-1] != 0);
752         nfree(p);
753 }
754
755
ragge
1.49
756 static int inbitsinval;
757
758 /*
759  * set fsz bits in sequence to zero.
760  */
761 void
762 zbits(OFFSZ offint fsz)
763 {
764         int m;
765
766         if (idebug)
ragge
1.51
767                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
768         if ((m = (inbits % SZCHAR))) {
769                 m = SZCHAR - m;
770                 if (fsz < m) {
ragge
1.51
771                         inbits += fsz;
ragge
1.49
772                         return;
773                 } else {
774                         fsz -= m;
775                         printf("\t.byte %d\n"inval);
776                         inval = inbits = 0;
777                 }
778         }
779         if (fsz >= SZCHAR) {
780                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
781                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
782         }
783         if (fsz) {
784                 inval = 0;
785                 inbits = fsz;
786         }
787 }
788
789 /*
790  * Initialize a bitfield.
791  */
792 void
793 infld(CONSZ offint fszCONSZ val)
794 {
795         if (idebug)
ragge
1.51
796                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
797                     offfszvalinbits);
ragge
1.56
798         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
799         while (fsz + inbits >= SZCHAR) {
800                 inval |= (val << inbits);
801                 printf("\t.byte %d\n"inval & 255);
802                 fsz -= (SZCHAR - inbits);
803                 val >>= (SZCHAR - inbits);
804                 inval = inbits = 0;
805         }
ragge
1.51
806         if (fsz) {
807                 inval |= (val << inbits);
808                 inbits += fsz;
809         }
ragge
1.49
810 }
811
ragge
1.48
812 /*
ragge
1.46
813  * print out a constant node, may be associated with a label.
814  * Do not free the node after use.
ragge
1.49
815  * off is bit offset from the beginning of the aggregate
816  * fsz is the number of bits this is referring to
ragge
1.21
817  */
818 void
ragge
1.49
819 ninval(CONSZ offint fszNODE *p)
ragge
1.21
820 {
ragge
1.46
821         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
822         struct symtab *q;
ragge
1.64
823         char *c;
ragge
1.23
824         TWORD t;
ragge
1.46
825         int i;
ragge
1.23
826
827         t = p->n_type;
828         if (t > BTMASK)
829                 t = INT/* pointer */
830
ragge
1.65
831         while (p->n_op == SCONV || p->n_op == PCONV) {
832                 NODE *l = p->n_left;
833                 l->n_type = p->n_type;
834                 p = l;
835         }
836
ragge
1.64
837         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
838                 if (p->n_op == UMUL)
839                         p = p->n_left;
840                 p = p->n_right;
841                 q = p->n_sp;
ragge
1.69
842                 if ((c = strstr(q->soname"@GOT")) != NULL)
ragge
1.64
843                         *c = 0/* ignore GOT ref here */
844         }
ragge
1.46
845         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
846                 cerror("ninval: init node not constant");
847
ragge
1.49
848         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
849                 uerror("element not constant");
850
ragge
1.23
851         switch (t) {
ragge
1.21
852         case LONGLONG:
853         case ULONGLONG:
ragge
1.46
854                 i = (p->n_lval >> 32);
855                 p->n_lval &= 0xffffffff;
ragge
1.51
856                 p->n_type = INT;
ragge
1.49
857                 ninval(off32p);
ragge
1.46
858                 p->n_lval = i;
ragge
1.49
859                 ninval(off+3232p);
ragge
1.21
860                 break;
861         case INT:
862         case UNSIGNED:
863                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
864                 if ((q = p->n_sp) != NULL) {
865                         if ((q->sclass == STATIC && q->slevel > 0) ||
866                             q->sclass == ILABEL) {
867                                 printf("+" LABFMTq->soffset);
ragge
1.21
868                         } else
ragge
1.69
869                                 printf("+%s"exname(q->soname));
ragge
1.21
870                 }
871                 printf("\n");
872                 break;
ragge
1.46
873         case SHORT:
874         case USHORT:
875                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
876                 break;
ragge
1.52
877         case BOOL:
878                 if (p->n_lval > 1)
879                         p->n_lval = p->n_lval != 0;
880                 /* FALLTHROUGH */
ragge
1.46
881         case CHAR:
882         case UCHAR:
ragge
1.50
883                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
884                 break;
885         case LDOUBLE:
886                 u.i[2] = 0;
887                 u.l = (long double)p->n_dcon;
888                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
889                 break;
890         case DOUBLE:
891                 u.d = (double)p->n_dcon;
892                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
893                 break;
894         case FLOAT:
895                 u.f = (float)p->n_dcon;
896                 printf("\t.long\t0x%x\n"u.i[0]);
897                 break;
ragge
1.21
898         default:
899                 cerror("ninval");
900         }
901 }
902
ragge
1.1
903 /* make a name look like an external name in the local machine */
904 char *
905 exname(char *p)
906 {
gmcgarry
1.76
907 #if defined(PECOFFABI) || defined(MACHOABI)
908
909 #define NCHNAM  256
910         static char text[NCHNAM+1];
911         int i;
912
ragge
1.1
913         if (p == NULL)
914                 return "";
gmcgarry
1.76
915
916         text[0] = '_';
917         for (i=1; *p && i<NCHNAM; ++i)
918                 text[i] = *p++;
919
920         text[i] = '\0';
921         text[NCHNAM] = '\0';  /* truncate */
922
923         return (text);
924
925 #else
926
927         return (p == NULL ? "" : p);
928
929 #endif
ragge
1.1
930 }
931
932 /*
933  * map types which are not defined on the local machine
934  */
ragge
1.15
935 TWORD
ragge
1.1
936 ctype(TWORD type)
937 {
938         switch (BTYPE(type)) {
939         case LONG:
940                 MODTYPE(type,INT);
941                 break;
942
943         case ULONG:
944                 MODTYPE(type,UNSIGNED);
ragge
1.13
945
ragge
1.1
946         }
947         return (type);
948 }
949
pj
1.30
950 void
951 calldec(NODE *pNODE *q
952 {
953 }
954
955 void
956 extdec(struct symtab *q)
957 {
958 }
959
ragge
1.1
960 /* make a common declaration for id, if reasonable */
961 void
ragge
1.70
962 defzero(struct symtab *sp)
ragge
1.1
963 {
964         int off;
965
ragge
1.73
966 #ifdef TLS
967         if (sp->sflags & STLS) {
968                 if (sp->sclass == EXTERN)
969                         sp->sclass = EXTDEF;
970                 simpleinit(spbcon(0));
971                 return;
972         }
973 #endif
974
ragge
1.70
975         off = tsize(sp->stypesp->sdfsp->ssue);
ragge
1.8
976         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.70
977         printf("        .%scomm "sp->sclass == STATIC ? "l" : "");
978         if (sp->slevel == 0)
979                 printf("%s,0%o\n"exname(sp->soname), off);
ragge
1.1
980         else
ragge
1.70
981                 printf(LABFMT ",0%o\n"sp->soffsetoff);
ragge
1.23
982 }
ragge
1.69
983
ragge
1.71
984 char *nextsect;
ragge
1.73
985 #ifdef TLS
986 static int gottls;
987 #endif
gmcgarry
1.78
988 static int constructor;
989 static int destructor;
ragge
1.69
990
gmcgarry
1.78
991 /*
992  * Give target the opportunity of handling pragmas.
ragge