Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20071228222748

Diff

Diff from 1.68 to:

Annotations

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

Annotated File View

ragge
1.68
1 /*      $Id: local.c,v 1.68 2007/12/28 22:27:48 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         
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.67
499         struct symtab *sp;
500         int i;
501
ragge
1.64
502         if (kflag)
ragge
1.67
503                 walkf(pfixnames); /* XXX walkf not needed */
504         if (p->n_op != FCON)
505                 return;
506
507         /* put floating constants in memory */
508         setloc1(RDATA);
509         defalign(ALLDOUBLE);
510         deflab1(i = getlab());
511         ninval(0btdims[p->n_type].suesizep);
512
513         sp = IALLOC(sizeof(struct symtab));
514         sp->sclass = STATIC;
515         sp->slevel = 1/* fake numeric label */
516         sp->soffset = i;
517         sp->sflags = 0;
518
519         p->n_op = NAME;
520         p->n_lval = 0;
521         p->n_sp = sp;
ragge
1.1
522 }
523
524 /*ARGSUSED*/
525 int
526 andable(NODE *p)
527 {
ragge
1.64
528         return(1);      /* all names can have & taken on them */
ragge
1.1
529 }
530
531 /*
532  * at the end of the arguments of a ftn, set the automatic offset
533  */
534 void
535 cendarg()
536 {
537         autooff = AUTOINIT;
538 }
539
540 /*
ragge
1.36
541  * Return 1 if a variable of type type is OK to put in register.
542  */
543 int
544 cisreg(TWORD t)
545 {
546         if (t == FLOAT || t == DOUBLE || t == LDOUBLE)
547                 return 0/* not yet */
548         return 1;
549 }
550
551 /*
ragge
1.1
552  * return a node, for structure references, which is suitable for
553  * being added to a pointer of type t, in order to be off bits offset
554  * into a structure
555  * t, d, and s are the type, dimension offset, and sizeoffset
556  * For pdp10, return the type-specific index number which calculation
557  * is based on its size. For example, short a[3] would return 3.
558  * Be careful about only handling first-level pointers, the following
559  * indirections must be fullword.
560  */
561 NODE *
562 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
563 {
564         register NODE *p;
565
566         if (xdebug)
567                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
568                     offtdsue->suesize);
569
570         p = bcon(0);
571         p->n_lval = off/SZCHAR/* Default */
572         return(p);
573 }
574
575 /*
576  * Allocate off bits on the stack.  p is a tree that when evaluated
ragge
1.45
577  * is the multiply count for off, t is a storeable node where to write
ragge
1.1
578  * the allocated address.
579  */
580 void
581 spalloc(NODE *tNODE *pOFFSZ off)
582 {
583         NODE *sp;
584
ragge
1.45
585         p = buildtree(MULpbcon(off/SZCHAR)); /* XXX word alignment? */
586
587         /* sub the size from sp */
ragge
1.55
588         sp = block(REGNILNILp->n_type0MKSUE(INT));
ragge
1.45
589         sp->n_lval = 0;
590         sp->n_rval = STKREG;
591         ecomp(buildtree(MINUSEQspp));
ragge
1.1
592
593         /* save the address of sp */
594         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
595         sp->n_lval = 0;
596         sp->n_rval = STKREG;
597         t->n_type = sp->n_type;
598         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
599
600 }
601
602 /*
ragge
1.48
603  * Print out a string of characters.
604  * Assume that the assembler understands C-style escape
605  * sequences.  Location is already set.
606  */
607 void
608 instring(char *str)
609 {
610         char *s;
611
mickey
1.61
612         /* be kind to assemblers and avoid long strings */
ragge
1.48
613         printf("\t.ascii \"");
ragge
1.51
614         for (s = str; *s != 0; ) {
615                 if (*s++ == '\\') {
ragge
1.48
616                         (void)esccon(&s);
ragge
1.51
617                 }
ragge
1.48
618                 if (s - str > 64) {
619                         fwrite(str1s - strstdout);
620                         printf("\"\n\t.ascii \"");
621                         str = s;
622                 }
623         }
624         fwrite(str1s - strstdout);
625         printf("\\0\"\n");
626 }
627
ragge
1.49
628 static int inbitsinval;
629
630 /*
631  * set fsz bits in sequence to zero.
632  */
633 void
634 zbits(OFFSZ offint fsz)
635 {
636         int m;
637
638         if (idebug)
ragge
1.51
639                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
640         if ((m = (inbits % SZCHAR))) {
641                 m = SZCHAR - m;
642                 if (fsz < m) {
ragge
1.51
643                         inbits += fsz;
ragge
1.49
644                         return;
645                 } else {
646                         fsz -= m;
647                         printf("\t.byte %d\n"inval);
648                         inval = inbits = 0;
649                 }
650         }
651         if (fsz >= SZCHAR) {
652                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
653                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
654         }
655         if (fsz) {
656                 inval = 0;
657                 inbits = fsz;
658         }
659 }
660
661 /*
662  * Initialize a bitfield.
663  */
664 void
665 infld(CONSZ offint fszCONSZ val)
666 {
667         if (idebug)
ragge
1.51
668                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
669                     offfszvalinbits);
ragge
1.56
670         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
671         while (fsz + inbits >= SZCHAR) {
672                 inval |= (val << inbits);
673                 printf("\t.byte %d\n"inval & 255);
674                 fsz -= (SZCHAR - inbits);
675                 val >>= (SZCHAR - inbits);
676                 inval = inbits = 0;
677         }
ragge
1.51
678         if (fsz) {
679                 inval |= (val << inbits);
680                 inbits += fsz;
681         }
ragge
1.49
682 }
683
ragge
1.48
684 /*
ragge
1.46
685  * print out a constant node, may be associated with a label.
686  * Do not free the node after use.
ragge
1.49
687  * off is bit offset from the beginning of the aggregate
688  * fsz is the number of bits this is referring to
ragge
1.21
689  */
690 void
ragge
1.49
691 ninval(CONSZ offint fszNODE *p)
ragge
1.21
692 {
ragge
1.46
693         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
694         struct symtab *q;
ragge
1.64
695         char *c;
ragge
1.23
696         TWORD t;
ragge
1.46
697         int i;
ragge
1.23
698
699         t = p->n_type;
700         if (t > BTMASK)
701                 t = INT/* pointer */
702
ragge
1.65
703         while (p->n_op == SCONV || p->n_op == PCONV) {
704                 NODE *l = p->n_left;
705                 l->n_type = p->n_type;
706                 p = l;
707         }
708
ragge
1.64
709         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
710                 if (p->n_op == UMUL)
711                         p = p->n_left;
712                 p = p->n_right;
713                 q = p->n_sp;
714                 if ((c = strstr(q->sname"@GOT")) != NULL)
715                         *c = 0/* ignore GOT ref here */
716         }
ragge
1.46
717         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
718                 cerror("ninval: init node not constant");
719
ragge
1.49
720         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
721                 uerror("element not constant");
722
ragge
1.23
723         switch (t) {
ragge
1.21
724         case LONGLONG:
725         case ULONGLONG:
ragge
1.46
726                 i = (p->n_lval >> 32);
727                 p->n_lval &= 0xffffffff;
ragge
1.51
728                 p->n_type = INT;
ragge
1.49
729                 ninval(off32p);
ragge
1.46
730                 p->n_lval = i;
ragge
1.49
731                 ninval(off+3232p);
ragge
1.21
732                 break;
733         case INT:
734         case UNSIGNED:
735                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
736                 if ((q = p->n_sp) != NULL) {
737                         if ((q->sclass == STATIC && q->slevel > 0) ||
738                             q->sclass == ILABEL) {
739                                 printf("+" LABFMTq->soffset);
ragge
1.21
740                         } else
ragge
1.24
741                                 printf("+%s"exname(q->sname));
ragge
1.21
742                 }
743                 printf("\n");
744                 break;
ragge
1.46
745         case SHORT:
746         case USHORT:
747                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
748                 break;
ragge
1.52
749         case BOOL:
750                 if (p->n_lval > 1)
751                         p->n_lval = p->n_lval != 0;
752                 /* FALLTHROUGH */
ragge
1.46
753         case CHAR:
754         case UCHAR:
ragge
1.50
755                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
756                 break;
757         case LDOUBLE:
758                 u.i[2] = 0;
759                 u.l = (long double)p->n_dcon;
760                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
761                 break;
762         case DOUBLE:
763                 u.d = (double)p->n_dcon;
764                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
765                 break;
766         case FLOAT:
767                 u.f = (float)p->n_dcon;
768                 printf("\t.long\t0x%x\n"u.i[0]);
769                 break;
ragge
1.21
770         default:
771                 cerror("ninval");
772         }
773 }
774
ragge
1.1
775 /* make a name look like an external name in the local machine */
776 char *
777 exname(char *p)
778 {
779         if (p == NULL)
780                 return "";
781         return p;
782 }
783
784 /*
785  * map types which are not defined on the local machine
786  */
ragge
1.15
787 TWORD
ragge
1.1
788 ctype(TWORD type)
789 {
790         switch (BTYPE(type)) {
791         case LONG:
792                 MODTYPE(type,INT);
793                 break;
794
795         case ULONG:
796                 MODTYPE(type,UNSIGNED);
ragge
1.13
797
ragge
1.1
798         }
799         return (type);
800 }
801
pj
1.30
802 void
803 calldec(NODE *pNODE *q
804 {
805 }
806
807 void
808 extdec(struct symtab *q)
809 {
810 }
811
ragge
1.1
812 /* make a common declaration for id, if reasonable */
813 void
814 commdec(struct symtab *q)
815 {
816         int off;
817
818         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
819         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
820 #ifdef GCC_COMPAT
821         printf("        .comm %s,0%o\n"gcc_findname(q), off);
822 #else
ragge
1.1
823         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
824 #endif
ragge
1.1
825 }
826
827 /* make a local common declaration for id, if reasonable */
828 void
829 lcommdec(struct symtab *q)
830 {
831         int off;
832
833         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
834         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
835         if (q->slevel == 0)
ragge
1.7
836 #ifdef GCC_COMPAT
837                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
838 #else
ragge
1.1
839                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
840 #endif
ragge
1.1
841         else
842                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
843 }
ragge
1.22
844
845 /*
846  * print a (non-prog) label.
847  */
848 void
849 deflab1(int label)
850 {
851         printf(LABFMT ":\n"label);
852 }
853
ragge
1.28
854 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
ragge
1.27
855
ragge
1.23
856 void
857 setloc1(int locc)
858 {
859         if (locc == lastloc)
860                 return;
861         lastloc = locc;
ragge
1.27
862         printf("        .%s\n"loctbl[locc]);
ragge
1.23
863 }
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-07-10 04:49 +0200