Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20080210100824

Diff

Diff from 1.73 to:

Annotations

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

Annotated File View

ragge
1.73
1 /*      $Id: local.c,v 1.73 2008/02/10 10:08:24 ragge 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                 /*
327                  * Remove unneccessary conversion ops.
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:
505                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
506                 nfree(p);
507                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
508
ragge
1.31
509         case FORCE:
ragge
1.32
510                 /* put return value in return reg */
511                 p->n_op = ASSIGN;
512                 p->n_right = p->n_left;
513                 p->n_left = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.53
514                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
515                     RETREG(CHAR) : RETREG(p->n_type);
ragge
1.31
516                 break;
ragge
1.39
517
518         case LS:
519         case RS:
520                 /* shift count must be in a char
521                  * unless longlong, where it must be int */
522                 if (p->n_right->n_op == ICON)
523                         break/* do not do anything */
524                 if (p->n_type == LONGLONG || p->n_type == ULONGLONG) {
525                         if (p->n_right->n_type != INT)
526                                 p->n_right = block(SCONVp->n_rightNIL,
527                                     INT0MKSUE(INT));
528                         break;
529                 }
530                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
531                         break;
532                 p->n_right = block(SCONVp->n_rightNIL,
533                     CHAR0MKSUE(CHAR));
534                 break;
ragge
1.1
535         }
ragge
1.54
536 #ifdef PCC_DEBUG
537         if (xdebug) {
538                 printf("clocal end: %p\n"p);
539                 fwalk(peprint0);
540         }
541 #endif
ragge
1.1
542         return(p);
543 }
544
ragge
1.64
545 /*
546  * Change CALL references to either direct (static) or PLT.
547  */
548 static void
549 fixnames(NODE *p)
550 {
551         struct symtab *sp;
ragge
1.65
552         struct suedef *sue;
ragge
1.64
553         NODE *q;
554         char *c;
555         int isu;
556
557         if ((cdope(p->n_op) & CALLFLG) == 0)
558                 return;
559         isu = 0;
560         q = p->n_left;
ragge
1.65
561         sue = q->n_sue;
ragge
1.64
562         if (q->n_op == UMUL)
563                 q = q->n_leftisu = 1;
564         if (q->n_op == PLUS && q->n_left->n_op == TEMP &&
565             q->n_right->n_op == ICON) {
566                 sp = q->n_right->n_sp;
567
ragge
1.65
568                 if (sp == NULL)
569                         return/* nothing to do */
ragge
1.64
570                 if (sp->sclass == STATIC && !ISFTN(sp->stype))
571                         return/* function pointer */
572
573                 if (sp->sclass != STATIC && sp->sclass != EXTERN &&
574                     sp->sclass != EXTDEF)
575                         cerror("fixnames");
576
ragge
1.69
577                 if ((c = strstr(sp->soname"@GOT")) == NULL)
ragge
1.64
578                         cerror("fixnames2");
579                 if (isu) {
580                         memcpy(c"@PLT"sizeof("@PLT"));
581                 } else
582                         *c = 0;
583                 nfree(q->n_left);
584                 q = q->n_right;
585                 if (isu)
586                         nfree(p->n_left->n_left);
587                 nfree(p->n_left);
588                 p->n_left = q;
ragge
1.65
589                 q->n_sue = sue;
ragge
1.64
590         }
591 }
592
ragge
1.1
593 void
594 myp2tree(NODE *p)
595 {
ragge
1.67
596         struct symtab *sp;
597
ragge
1.64
598         if (kflag)
ragge
1.67
599                 walkf(pfixnames); /* XXX walkf not needed */
600         if (p->n_op != FCON)
601                 return;
602
ragge
1.70
603 #if 0
ragge
1.67
604         /* put floating constants in memory */
605         setloc1(RDATA);
606         defalign(ALLDOUBLE);
607         deflab1(i = getlab());
608         ninval(0btdims[p->n_type].suesizep);
ragge
1.70
609 #endif
ragge
1.67
610
611         sp = IALLOC(sizeof(struct symtab));
612         sp->sclass = STATIC;
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);
620         ninval(0btdims[p->n_type].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 {
907         if (p == NULL)
908                 return "";
909         return p;
910 }
911
912 /*
913  * map types which are not defined on the local machine
914  */
ragge
1.15
915 TWORD
ragge
1.1
916 ctype(TWORD type)
917 {
918         switch (BTYPE(type)) {
919         case LONG:
920                 MODTYPE(type,INT);
921                 break;
922
923         case ULONG:
924                 MODTYPE(type,UNSIGNED);
ragge
1.13
925
ragge
1.1
926         }
927         return (type);
928 }
929
pj
1.30
930 void
931 calldec(NODE *pNODE *q
932 {
933 }
934
935 void
936 extdec(struct symtab *q)
937 {
938 }
939
ragge
1.1
940 /* make a common declaration for id, if reasonable */
941 void
ragge
1.70
942 defzero(struct symtab *sp)
ragge
1.1
943 {
944         int off;
945
ragge
1.73
946 #ifdef TLS
947         if (sp->sflags & STLS) {
948                 if (sp->sclass == EXTERN)
949                         sp->sclass = EXTDEF;
950                 simpleinit(spbcon(0));
951                 return;
952         }
953 #endif
954
ragge
1.70
955         off = tsize(sp->stypesp->sdfsp->ssue);
ragge
1.8
956         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.70
957         printf("        .%scomm "sp->sclass == STATIC ? "l" : "");
958         if (sp->slevel == 0)
959                 printf("%s,0%o\n"exname(sp->soname), off);
ragge
1.1
960         else
ragge
1.70
961                 printf(LABFMT ",0%o\n"sp->soffsetoff);
ragge
1.23
962 }
ragge
1.69
963
ragge
1.71
964 char *nextsect;
ragge
1.73
965 #ifdef TLS
966 static int gottls;
967 #endif
ragge
1.69
968
ragge
1.70
969 /* * Give target the opportunity of handling pragmas.
ragge
1.69
970  */
971 int
972 mypragma(char **ary)
973 {
ragge
1.73
974 #ifdef TLS
975         if (strcmp(ary[1], "tls") == 0 && ary[2] == NULL) {
976                 gottls = 1;
977                 return 1;
978         }
979 #endif
ragge
1.69
980         if (strcmp(ary[1], "section") || ary[2] == NULL)
981                 return 0;
982         nextsect = newstring(ary[2], strlen(ary[2]));
983         return 1;
984 }
985
986 /*
987  * Called when a identifier has been declared.
988  */
989 void
990 fixdef(struct symtab *sp)
991 {
ragge
1.73
992 #ifdef TLS
993         /* may have sanity checks here */
994         if (gottls)
995                 sp->sflags |= STLS;
996         gottls = 0;
997 #endif
ragge
1.69
998