Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:stefan:20071226132225

Diff

Diff from 1.66 to:

Annotations

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

Annotated File View

stefan
1.66
1 /*      $Id: local.c,v 1.66 2007/12/26 13:22:25 stefan 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         
71         sp->sname = IALLOC(len);
72         strlcpy(sp->snameslen);
73         strlcat(sp->snames2len);
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));
stefan
1.66
90         sp = picsymtab(gcc_findname(p->n_sp), "@GOT");
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
stefan
1.66
115                 sp = picsymtab(gcc_findname(p->n_sp), "@GOTOFF");
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.48
126 /* clocal() is called to do local transformations on
127  * an expression tree preparitory to its being
128  * written out in intermediate code.
129  *
130  * the major essential job is rewriting the
131  * automatic variables and arguments in terms of
132  * REG and OREG nodes
133  * conversion ops which are not necessary are also clobbered here
134  * in addition, any special features (such as rewriting
135  * exclusive or) are easily handled here as well
136  */
ragge
1.1
137 NODE *
138 clocal(NODE *p)
139 {
140
141         register struct symtab *q;
ragge
1.2
142         register NODE *r, *l;
ragge
1.1
143         register int o;
ragge
1.40
144         register int m;
ragge
1.19
145         TWORD t;
ragge
1.1
146
ragge
1.54
147 #ifdef PCC_DEBUG
148         if (xdebug) {
149                 printf("clocal: %p\n"p);
150                 fwalk(peprint0);
151         }
152 #endif
ragge
1.1
153         switcho = p->n_op ){
154
155         case NAME:
156                 if ((q = p->n_sp) == NULL)
157                         return p/* Nothing to care about */
158
159                 switch (q->sclass) {
160
161                 case PARAM:
162                 case AUTO:
163                         /* fake up a structure reference */
164                         r = block(REGNILNILPTR+STRTY00);
165                         r->n_lval = 0;
166                         r->n_rval = FPREG;
167                         p = stref(block(STREFrp000));
168                         break;
169
ragge
1.65
170                 case USTATIC:
171                         if (kflag == 0)
172                                 break;
173                         /* FALLTHROUGH */
ragge
1.1
174                 case STATIC:
ragge
1.60
175                         if (kflag == 0) {
176                                 if (q->slevel == 0)
177                                         break;
178                                 p->n_lval = 0;
ragge
1.64
179                         } else if (blevel > 0)
ragge
1.60
180                                 p = picstatic(p);
ragge
1.1
181                         break;
182
183                 case REGISTER:
184                         p->n_op = REG;
185                         p->n_lval = 0;
186                         p->n_rval = q->soffset;
187                         break;
188
ragge
1.60
189                 case EXTERN:
190                 case EXTDEF:
191                         if (kflag == 0)
192                                 break;
ragge
1.64
193                         if (blevel > 0)
ragge
1.60
194                                 p = picext(p);
195                         break;
ragge
1.65
196
197                 case ILABEL:
198                         if (kflag && blevel)
199                                 p = picstatic(p);
200                         break;
ragge
1.60
201                 }
ragge
1.1
202                 break;
203
ragge
1.65
204         case ADDROF:
205                 if (kflag == 0 || blevel == 0)
206                         break;
207                 /* char arrays may end up here */
208                 l = p->n_left;
209                 if (l->n_op != NAME ||
210                     (l->n_type != ARY+CHAR && l->n_type != ARY+WCHAR_TYPE))
211                         break;
212                 l = p;
213                 p = picstatic(p->n_left);
214                 nfree(l);
215                 if (p->n_op != UMUL)
216                         cerror("ADDROF error");
217                 l = p;
218                 p = p->n_left;
219                 nfree(l);
220                 break;
221
ragge
1.62
222         case UCALL:
223         case USTCALL:
ragge
1.60
224                 if (kflag == 0)
225                         break;
ragge
1.62
226                 /* Change to CALL node with ebx as argument */
227                 l = block(REGNILNILINT0MKSUE(INT));
228                 l->n_rval = EBX;
229                 p->n_right = buildtree(ASSIGNl,
230                     tempnode(gotnrINT0MKSUE(INT)));
231                 p->n_op -= (UCALL-CALL);
ragge
1.10
232                 break;
ragge
1.64
233
ragge
1.8
234         case CBRANCH:
235                 l = p->n_left;
236
237                 /*
238                  * Remove unneccessary conversion ops.
239                  */
ragge
1.10
240                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
ragge
1.12
241                         if (coptype(l->n_op) != BITYPE)
242                                 break;
ragge
1.8
243                         if (l->n_right->n_op == ICON) {
244                                 r = l->n_left->n_left;
ragge
1.24
245                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
246                                         break;
ragge
1.59
247                                 if (ISPTR(r->n_type))
248                                         break/* no opt for pointers */
ragge
1.57
249                                 if (toolarge(r->n_typel->n_right->n_lval))
250                                         break;
ragge
1.18
251                                 /* Type must be correct */
ragge
1.19
252                                 t = r->n_type;
ragge
1.8
253                                 nfree(l->n_left);
254                                 l->n_left = r;
ragge
1.19
255                                 l->n_type = t;
256                                 l->n_right->n_type = t;
ragge
1.17
257                         }
ragge
1.8
258                 }
259                 break;
260
ragge
1.1
261         case PCONV:
ragge
1.40
262                 /* Remove redundant PCONV's. Be careful */
ragge
1.1
263                 l = p->n_left;
ragge
1.40
264                 if (l->n_op == ICON) {
265                         l->n_lval = (unsigned)l->n_lval;
266                         goto delp;
267                 }
268                 if (l->n_type < INT || l->n_type == LONGLONG || 
269                     l->n_type == ULONGLONG) {
270                         /* float etc? */
271                         p->n_left = block(SCONVlNIL,
272                             UNSIGNED0MKSUE(UNSIGNED));
273                         break;
274                 }
275                 /* if left is SCONV, cannot remove */
276                 if (l->n_op == SCONV)
ragge
1.1
277                         break;
ragge
1.54
278
279                 /* avoid ADDROF TEMP */
280                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
281                         break;
282
ragge
1.40
283                 /* if conversion to another pointer type, just remove */
284                 if (p->n_type > BTMASK && l->n_type > BTMASK)
285                         goto delp;
286                 break;
287
288         delp:   l->n_type = p->n_type;
ragge
1.1
289                 l->n_qual = p->n_qual;
290                 l->n_df = p->n_df;
291                 l->n_sue = p->n_sue;
292                 nfree(p);
293                 p = l;
294                 break;
ragge
1.40
295                 
ragge
1.1
296         case SCONV:
297                 l = p->n_left;
ragge
1.4
298
ragge
1.25
299                 if (p->n_type == l->n_type) {
300                         nfree(p);
301                         return l;
302                 }
303
ragge
1.4
304                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
pj
1.30
305                     btdims[p->n_type].suesize == btdims[l->n_type].suesize) {
ragge
1.4
306                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
ragge
1.15
307                             l->n_type != FLOAT && l->n_type != DOUBLE &&
308                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
ragge
1.41
309                                 if (l->n_op == NAME || l->n_op == UMUL ||
310                                     l->n_op == TEMP) {
ragge
1.15
311                                         l->n_type = p->n_type;
312                                         nfree(p);
313                                         return l;
314                                 }
ragge
1.4
315                         }
ragge
1.6
316                 }
317
ragge
1.42
318                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
319                     coptype(l->n_op) == BITYPE) {
320                         l->n_type = p->n_type;
321                         nfree(p);
322                         return l;
323                 }
324
ragge
1.3
325                 o = l->n_op;
ragge
1.4
326                 m = p->n_type;
ragge
1.1
327
328                 if (o == ICON) {
329                         CONSZ val = l->n_lval;
330
ragge
1.29
331                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
332                             switch (m) {
ragge
1.52
333                         case BOOL:
334                                 l->n_lval = l->n_lval != 0;
335                                 break;
ragge
1.1
336                         case CHAR:
337                                 l->n_lval = (char)val;
338                                 break;
339                         case UCHAR:
340                                 l->n_lval = val & 0377;
341                                 break;
ragge
1.15
342                         case SHORT:
ragge
1.1
343                                 l->n_lval = (short)val;
344                                 break;
ragge
1.15
345                         case USHORT:
ragge
1.1
346                                 l->n_lval = val & 0177777;
347                                 break;
ragge
1.15
348                         case ULONG:
ragge
1.1
349                         case UNSIGNED:
350                                 l->n_lval = val & 0xffffffff;
351                                 break;
ragge
1.15
352                         case LONG:
ragge
1.1
353                         case INT:
354                                 l->n_lval = (int)val;
355                                 break;
356                         case LONGLONG:
357                                 l->n_lval = (long long)val;
ragge
1.15
358                                 break;
ragge
1.1
359                         case ULONGLONG:
360                                 l->n_lval = val;
361                                 break;
362                         case VOID:
363                                 break;
ragge
1.14
364                         case LDOUBLE:
ragge
1.1
365                         case DOUBLE:
366                         case FLOAT:
367                                 l->n_op = FCON;
368                                 l->n_dcon = val;
369                                 break;
370                         default:
371                                 cerror("unknown type %d"m);
372                         }
373                         l->n_type = m;
ragge
1.44
374                         l->n_sue = MKSUE(m);
ragge
1.1
375                         nfree(p);
376                         return l;
377                 }
ragge
1.17
378                 if (DEUNSIGN(p->n_type) == SHORT &&
379                     DEUNSIGN(l->n_type) == SHORT) {
380                         nfree(p);
381                         p = l;
382                 }
ragge
1.36
383                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
384                     p->n_type == SHORT || p->n_type == USHORT) &&
385                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
386                     l->n_type == LDOUBLE)) {
387                         p = block(SCONVpNILp->n_typep->n_dfp->n_sue);
388                         p->n_left->n_type = INT;
389                         return p;
390                 }
ragge
1.1
391                 break;
392
ragge
1.15
393         case MOD:
394         case DIV:
395                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
396                         break;
ragge
1.16
397                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
ragge
1.15
398                         break;
399                 /* make it an int division by inserting conversions */
400                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
401                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
402                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
403                 p->n_left->n_type = INT;
404                 break;
405
ragge
1.1
406         case PMCONV:
407         case PVCONV:
408                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
409                 nfree(p);
410                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
411
ragge
1.31
412         case FORCE:
ragge
1.32
413                 /* put return value in return reg */
414                 p->n_op = ASSIGN;
415                 p->n_right = p->n_left;
416                 p->n_left = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.53
417                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
418                     RETREG(CHAR) : RETREG(p->n_type);
ragge
1.31
419                 break;
ragge
1.39
420
421         case LS:
422         case RS:
423                 /* shift count must be in a char
424                  * unless longlong, where it must be int */
425                 if (p->n_right->n_op == ICON)
426                         break/* do not do anything */
427                 if (p->n_type == LONGLONG || p->n_type == ULONGLONG) {
428                         if (p->n_right->n_type != INT)
429                                 p->n_right = block(SCONVp->n_rightNIL,
430                                     INT0MKSUE(INT));
431                         break;
432                 }
433                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
434                         break;
435                 p->n_right = block(SCONVp->n_rightNIL,
436                     CHAR0MKSUE(CHAR));
437                 break;
ragge
1.1
438         }
ragge
1.54
439 #ifdef PCC_DEBUG
440         if (xdebug) {
441                 printf("clocal end: %p\n"p);
442                 fwalk(peprint0);
443         }
444 #endif
ragge
1.1
445         return(p);
446 }
447
ragge
1.64
448 /*
449  * Change CALL references to either direct (static) or PLT.
450  */
451 static void
452 fixnames(NODE *p)
453 {
454         struct symtab *sp;
ragge
1.65
455         struct suedef *sue;
ragge
1.64
456         NODE *q;
457         char *c;
458         int isu;
459
460         if ((cdope(p->n_op) & CALLFLG) == 0)
461                 return;
462         isu = 0;
463         q = p->n_left;
ragge
1.65
464         sue = q->n_sue;
ragge
1.64
465         if (q->n_op == UMUL)
466                 q = q->n_leftisu = 1;
467         if (q->n_op == PLUS && q->n_left->n_op == TEMP &&
468             q->n_right->n_op == ICON) {
469                 sp = q->n_right->n_sp;
470
ragge
1.65
471                 if (sp == NULL)
472                         return/* nothing to do */
ragge
1.64
473                 if (sp->sclass == STATIC && !ISFTN(sp->stype))
474                         return/* function pointer */
475
476                 if (sp->sclass != STATIC && sp->sclass != EXTERN &&
477                     sp->sclass != EXTDEF)
478                         cerror("fixnames");
479
480                 if ((c = strstr(sp->sname"@GOT")) == NULL)
481                         cerror("fixnames2");
482                 if (isu) {
483                         memcpy(c"@PLT"sizeof("@PLT"));
484                 } else
485                         *c = 0;
486                 nfree(q->n_left);
487                 q = q->n_right;
488                 if (isu)
489                         nfree(p->n_left->n_left);
490                 nfree(p->n_left);
491                 p->n_left = q;
ragge
1.65
492                 q->n_sue = sue;
ragge
1.64
493         }
494 }
495
ragge
1.1
496 void
497 myp2tree(NODE *p)
498 {
ragge
1.64
499         if (kflag)
500                 walkf(pfixnames);
ragge
1.1
501 }
502
503 /*ARGSUSED*/
504 int
505 andable(NODE *p)
506 {
ragge
1.64
507         return(1);      /* all names can have & taken on them */
ragge
1.1
508 }
509
510 /*
511  * at the end of the arguments of a ftn, set the automatic offset
512  */
513 void
514 cendarg()
515 {
516         autooff = AUTOINIT;
517 }
518
519 /*
ragge
1.36
520  * Return 1 if a variable of type type is OK to put in register.
521  */
522 int
523 cisreg(TWORD t)
524 {
525         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
526                 return 0/* not yet */
527         return 1;
528 }
529
530 /*
ragge
1.1
531  * return a node, for structure references, which is suitable for
532  * being added to a pointer of type t, in order to be off bits offset
533  * into a structure
534  * t, d, and s are the type, dimension offset, and sizeoffset
535  * For pdp10, return the type-specific index number which calculation
536  * is based on its size. For example, short a[3] would return 3.
537  * Be careful about only handling first-level pointers, the following
538  * indirections must be fullword.
539  */
540 NODE *
541 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
542 {
543         register NODE *p;
544
545         if (xdebug)
546                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
547                     offtdsue->suesize);
548
549         p = bcon(0);
550         p->n_lval = off/SZCHAR/* Default */
551         return(p);
552 }
553
554 /*
555  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
556  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
557  * the allocated address.
558  */
559 void
560 spalloc(NODE *tNODE *pOFFSZ off)
561 {
562         NODE *sp;
563
ragge
1.45
564         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
565
566         /* sub the size from sp */
ragge
1.55
567         sp = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.45
568         sp->n_lval = 0;
569         sp->n_rval = STKREG;
570         ecomp(buildtree(MINUSEQspp));
ragge
1.1
571
572         /* save the address of sp */
573         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
574         sp->n_lval = 0;
575         sp->n_rval = STKREG;
576         t->n_type = sp->n_type;
577         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
578
579 }
580
ragge
1.49
581 #if 0
ragge
1.48
582 /*
583  * Print out an integer constant of size size.
584  * can only be sizes <= SZINT.
585  */
ragge
1.47
586 void
587 indata(CONSZ valint size)
588 {
589         switch (size) {
590         case SZCHAR:
591                 printf("\t.byte %d\n", (int)val & 0xff);
592                 break;
593         case SZSHORT:
594                 printf("\t.word %d\n", (int)val & 0xffff);
595                 break;
596         case SZINT:
597                 printf("\t.long %d\n", (int)val & 0xffffffff);
598                 break;
599         default:
600                 cerror("indata");
601         }
602 }
ragge
1.49
603 #endif
ragge
1.47
604
ragge
1.1
605 /*
ragge
1.48
606  * Print out a string of characters.
607  * Assume that the assembler understands C-style escape
608  * sequences.  Location is already set.
609  */
610 void
611 instring(char *str)
612 {
613         char *s;
614
mickey
1.61
615         /* be kind to assemblers and avoid long strings */
ragge
1.48
616         printf("\t.ascii \"");
ragge
1.51
617         for (s = str; *s != 0; ) {
618                 if (*s++ == '\\') {
ragge
1.48
619                         (void)esccon(&s);
ragge
1.51
620                 }
ragge
1.48
621                 if (s - str > 64) {
622                         fwrite(str1s - strstdout);
623                         printf("\"\n\t.ascii \"");
624                         str = s;
625                 }
626         }
627         fwrite(str1s - strstdout);
628         printf("\\0\"\n");
629 }
630
ragge
1.49
631 static int inbitsinval;
632
633 /*
634  * set fsz bits in sequence to zero.
635  */
636 void
637 zbits(OFFSZ offint fsz)
638 {
639         int m;
640
641         if (idebug)
ragge
1.51
642                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
643         if ((m = (inbits % SZCHAR))) {
644                 m = SZCHAR - m;
645                 if (fsz < m) {
ragge
1.51
646                         inbits += fsz;
ragge
1.49
647                         return;
648                 } else {
649                         fsz -= m;
650                         printf("\t.byte %d\n"inval);
651                         inval = inbits = 0;
652                 }
653         }
654         if (fsz >= SZCHAR) {
655                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
656                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
657         }
658         if (fsz) {
659                 inval = 0;
660                 inbits = fsz;
661         }
662 }
663
664 /*
665  * Initialize a bitfield.
666  */
667 void
668 infld(CONSZ offint fszCONSZ val)
669 {
670         if (idebug)
ragge
1.51
671                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
672                     offfszvalinbits);
ragge
1.56
673         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
674         while (fsz + inbits >= SZCHAR) {
675                 inval |= (val << inbits);
676                 printf("\t.byte %d\n"inval & 255);
677                 fsz -= (SZCHAR - inbits);
678                 val >>= (SZCHAR - inbits);
679                 inval = inbits = 0;
680         }
ragge
1.51
681         if (fsz) {
682                 inval |= (val << inbits);
683                 inbits += fsz;
684         }
ragge
1.49
685 }
686
ragge
1.48
687 /*
ragge
1.46
688  * print out a constant node, may be associated with a label.
689  * Do not free the node after use.
ragge
1.49
690  * off is bit offset from the beginning of the aggregate
691  * fsz is the number of bits this is referring to
ragge
1.21
692  */
693 void
ragge
1.49
694 ninval(CONSZ offint fszNODE *p)
ragge
1.21
695 {
ragge
1.46
696         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
697         struct symtab *q;
ragge
1.64
698         char *c;
ragge
1.23
699         TWORD t;
ragge
1.46
700         int i;
ragge
1.23
701
702         t = p->n_type;
703         if (t > BTMASK)
704                 t = INT/* pointer */
705
ragge
1.65
706         while (p->n_op == SCONV || p->n_op == PCONV) {
707                 NODE *l = p->n_left;
708                 l->n_type = p->n_type;
709                 p = l;
710         }
711
ragge
1.64
712         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
713                 if (p->n_op == UMUL)
714                         p = p->n_left;
715                 p = p->n_right;
716                 q = p->n_sp;
717                 if ((c = strstr(q->sname"@GOT")) != NULL)
718                         *c = 0/* ignore GOT ref here */
719         }
ragge
1.46
720         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
721                 cerror("ninval: init node not constant");
722
ragge
1.49
723         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
724                 uerror("element not constant");
725
ragge
1.23
726         switch (t) {
ragge
1.21
727         case LONGLONG:
728         case ULONGLONG:
ragge
1.46
729                 i = (p->n_lval >> 32);
730                 p->n_lval &= 0xffffffff;
ragge
1.51
731                 p->n_type = INT;
ragge
1.49
732                 ninval(off32p);
ragge
1.46
733                 p->n_lval = i;
ragge
1.49
734                 ninval(off+3232p);
ragge
1.21
735                 break;
736         case INT:
737         case UNSIGNED:
738                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
739                 if ((q = p->n_sp) != NULL) {
740                         if ((q->sclass == STATIC && q->slevel > 0) ||
741                             q->sclass == ILABEL) {
742                                 printf("+" LABFMTq->soffset);
ragge
1.21
743                         } else
ragge
1.24
744                                 printf("+%s"exname(q->sname));
ragge
1.21
745                 }
746                 printf("\n");
747                 break;
ragge
1.46
748         case SHORT:
749         case USHORT:
750                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
751                 break;
ragge
1.52
752         case BOOL:
753                 if (p->n_lval > 1)
754                         p->n_lval = p->n_lval != 0;
755                 /* FALLTHROUGH */
ragge
1.46
756         case CHAR:
757         case UCHAR:
ragge
1.50
758                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
759                 break;
760         case LDOUBLE:
761                 u.i[2] = 0;
762                 u.l = (long double)p->n_dcon;
763                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
764                 break;
765         case DOUBLE:
766                 u.d = (double)p->n_dcon;
767                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
768                 break;
769         case FLOAT:
770                 u.f = (float)p->n_dcon;
771                 printf("\t.long\t0x%x\n"u.i[0]);
772                 break;
ragge
1.21
773         default:
774                 cerror("ninval");
775         }
776 }
777
ragge
1.46
778 #if 0
ragge
1.21
779 /*
ragge
1.17
780  * print out an integer.
ragge
1.1
781  */
782 void
ragge
1.17
783 inval(CONSZ word)
ragge
1.1
784 {
ragge
1.17
785         word &= 0xffffffff;
786         printf("        .long 0x%llx\n"word);
ragge
1.1
787 }
788
ragge
1.17
789 /* output code to initialize a floating point value */
ragge
1.1
790 /* the proper alignment has been obtained */
791 void
ragge
1.17
792 finval(NODE *p)
ragge
1.1
793 {
ragge
1.43
794         union { float fdouble dlong double lint i[3]; } u;
795
ragge
1.17
796         switch (p->n_type) {
797         case LDOUBLE:
ragge
1.43
798                 u.i[2] = 0;
799                 u.l = (long double)p->n_dcon;
800                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
ragge
1.14
801                 break;
ragge
1.17
802         case DOUBLE:
ragge
1.43
803                 u.d = (double)p->n_dcon;
804                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
ragge
1.14
805                 break;
ragge
1.17
806         case FLOAT:
ragge
1.43
807                 u.f = (float)p->n_dcon;
808                 printf("\t.long\t0x%x\n"u.i[0]);
ragge
1.14
809                 break;
810         }
ragge
1.1
811 }
ragge
1.46
812 #endif
ragge
1.1
813
814 /* make a name look like an external name in the local machine */
815 char *
816 exname(char *p)
817 {
818         if (p == NULL)
819                 return "";
820         return p;
821 }
822
823 /*
824  * map types which are not defined on the local machine
825  */
ragge
1.15
826 TWORD
ragge
1.1
827 ctype(TWORD type)
828 {
829         switch (BTYPE(type)) {
830         case LONG:
831                 MODTYPE(type,INT);
832                 break;
833
834         case ULONG:
835                 MODTYPE(type,UNSIGNED);
ragge
1.13
836
ragge
1.1
837         }
838         return (type);
839 }
840
pj
1.30
841 void
842 calldec(NODE *pNODE *q
843 {
844 }
845
846 void
847 extdec(struct symtab *q)
848 {
849 }
850
ragge
1.1
851 /* make a common declaration for id, if reasonable */
852 void
853 commdec(struct symtab *q)
854 {
855         int off;
856
857         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
858         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
859 #ifdef GCC_COMPAT
860         printf("        .comm %s,0%o\n"gcc_findname(q), off);
861 #else
ragge
1.1
862         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
863 #endif
ragge
1.1
864 }
865
866 /* make a local common declaration for id, if reasonable */
867 void
868 lcommdec(struct symtab *q)
869 {
870         int off;
871
872         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
873         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
874         if (q->slevel == 0)
ragge
1.7
875 #ifdef GCC_COMPAT
876                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
877 #else
ragge
1.1
878                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
879 #endif
ragge
1.1
880         else
881                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
882 }
ragge
1.22
883
884 /*
885  * print a (non-prog) label.
886  */
887 void
888 deflab1(int label)
889 {
890         printf(LABFMT ":\n"label);
891 }
892
ragge
1.28
893 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
ragge
1.27
894
ragge
1.23
895 void
896 setloc1(int locc)
897 {
898         if (locc == lastloc)
899                 return;
900         lastloc = locc;
ragge
1.27
901         printf("        .%s\n"loctbl[locc]);
ragge
1.23
902 }
ragge
1.48
903
ragge
1.49
904 #if 0
ragge
1.48
905 int
906 ftoint(NODE *pCONSZ **c)
907 {
908         static CONSZ cc[3];
909         union { float fdouble dlong double lint i[3]; } u;
910         int n;
911
912         switch (p->n_type) {
913         case LDOUBLE:
914                 u.i[2] = 0;
915                 u.l = (long double)p->n_dcon;
916                 n = SZLDOUBLE;
917                 break;
918         case DOUBLE:
919                 u.d = (double)p->n_dcon;
920                 n = SZDOUBLE;
921                 break;
922         case FLOAT:
923                 u.f = (float)p->n_dcon;
924                 n = SZFLOAT;
925                 break;
926         }
927         cc[0] = u.i[0];
928         cc[1] = u.i[1];
929         cc[2] = u.i[2];
930         *c = cc;
931         return n;
932 }
ragge
1.49
933 #endif
FishEye: Open Source License registered to PCC.
Your maintenance has expired. You can renew your license at http://www.atlassian.com/fisheye/renew
Atlassian FishEye, CVS analysis. (Version:1.6.3 Build:build-336 2008-11-04) - Administration - Page generated 2014-10-31 23:59 +0100