Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20071226132613

Diff

Diff from 1.67 to:

Annotations

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

Annotated File View

ragge
1.67
1 /*      $Id: local.c,v 1.67 2007/12/26 13:26:13 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
ragge
1.49
602 #if 0
ragge
1.48
603 /*
604  * Print out an integer constant of size size.
605  * can only be sizes <= SZINT.
606  */
ragge
1.47
607 void
608 indata(CONSZ valint size)
609 {
610         switch (size) {
611         case SZCHAR:
612                 printf("\t.byte %d\n", (int)val & 0xff);
613                 break;
614         case SZSHORT:
615                 printf("\t.word %d\n", (int)val & 0xffff);
616                 break;
617         case SZINT:
618                 printf("\t.long %d\n", (int)val & 0xffffffff);
619                 break;
620         default:
621                 cerror("indata");
622         }
623 }
ragge
1.49
624 #endif
ragge
1.47
625
ragge
1.1
626 /*
ragge
1.48
627  * Print out a string of characters.
628  * Assume that the assembler understands C-style escape
629  * sequences.  Location is already set.
630  */
631 void
632 instring(char *str)
633 {
634         char *s;
635
mickey
1.61
636         /* be kind to assemblers and avoid long strings */
ragge
1.48
637         printf("\t.ascii \"");
ragge
1.51
638         for (s = str; *s != 0; ) {
639                 if (*s++ == '\\') {
ragge
1.48
640                         (void)esccon(&s);
ragge
1.51
641                 }
ragge
1.48
642                 if (s - str > 64) {
643                         fwrite(str1s - strstdout);
644                         printf("\"\n\t.ascii \"");
645                         str = s;
646                 }
647         }
648         fwrite(str1s - strstdout);
649         printf("\\0\"\n");
650 }
651
ragge
1.49
652 static int inbitsinval;
653
654 /*
655  * set fsz bits in sequence to zero.
656  */
657 void
658 zbits(OFFSZ offint fsz)
659 {
660         int m;
661
662         if (idebug)
ragge
1.51
663                 printf("zbits off %lld, fsz %d inbits %d\n"offfszinbits);
ragge
1.49
664         if ((m = (inbits % SZCHAR))) {
665                 m = SZCHAR - m;
666                 if (fsz < m) {
ragge
1.51
667                         inbits += fsz;
ragge
1.49
668                         return;
669                 } else {
670                         fsz -= m;
671                         printf("\t.byte %d\n"inval);
672                         inval = inbits = 0;
673                 }
674         }
675         if (fsz >= SZCHAR) {
676                 printf("\t.zero %d\n"fsz/SZCHAR);
ragge
1.51
677                 fsz -= (fsz/SZCHAR) * SZCHAR;
ragge
1.49
678         }
679         if (fsz) {
680                 inval = 0;
681                 inbits = fsz;
682         }
683 }
684
685 /*
686  * Initialize a bitfield.
687  */
688 void
689 infld(CONSZ offint fszCONSZ val)
690 {
691         if (idebug)
ragge
1.51
692                 printf("infld off %lld, fsz %d, val %lld inbits %d\n",
693                     offfszvalinbits);
ragge
1.56
694         val &= ((CONSZ)1 << fsz)-1;
ragge
1.49
695         while (fsz + inbits >= SZCHAR) {
696                 inval |= (val << inbits);
697                 printf("\t.byte %d\n"inval & 255);
698                 fsz -= (SZCHAR - inbits);
699                 val >>= (SZCHAR - inbits);
700                 inval = inbits = 0;
701         }
ragge
1.51
702         if (fsz) {
703                 inval |= (val << inbits);
704                 inbits += fsz;
705         }
ragge
1.49
706 }
707
ragge
1.48
708 /*
ragge
1.46
709  * print out a constant node, may be associated with a label.
710  * Do not free the node after use.
ragge
1.49
711  * off is bit offset from the beginning of the aggregate
712  * fsz is the number of bits this is referring to
ragge
1.21
713  */
714 void
ragge
1.49
715 ninval(CONSZ offint fszNODE *p)
ragge
1.21
716 {
ragge
1.46
717         union { float fdouble dlong double lint i[3]; } u;
ragge
1.24
718         struct symtab *q;
ragge
1.64
719         char *c;
ragge
1.23
720         TWORD t;
ragge
1.46
721         int i;
ragge
1.23
722
723         t = p->n_type;
724         if (t > BTMASK)
725                 t = INT/* pointer */
726
ragge
1.65
727         while (p->n_op == SCONV || p->n_op == PCONV) {
728                 NODE *l = p->n_left;
729                 l->n_type = p->n_type;
730                 p = l;
731         }
732
ragge
1.64
733         if (kflag && (p->n_op == PLUS || p->n_op == UMUL)) {
734                 if (p->n_op == UMUL)
735                         p = p->n_left;
736                 p = p->n_right;
737                 q = p->n_sp;
738                 if ((c = strstr(q->sname"@GOT")) != NULL)
739                         *c = 0/* ignore GOT ref here */
740         }
ragge
1.46
741         if (p->n_op != ICON && p->n_op != FCON)
ragge
1.40
742                 cerror("ninval: init node not constant");
743
ragge
1.49
744         if (p->n_op == ICON && p->n_sp != NULL && DEUNSIGN(t) != INT)
ragge
1.46
745                 uerror("element not constant");
746
ragge
1.23
747         switch (t) {
ragge
1.21
748         case LONGLONG:
749         case ULONGLONG:
ragge
1.46
750                 i = (p->n_lval >> 32);
751                 p->n_lval &= 0xffffffff;
ragge
1.51
752                 p->n_type = INT;
ragge
1.49
753                 ninval(off32p);
ragge
1.46
754                 p->n_lval = i;
ragge
1.49
755                 ninval(off+3232p);
ragge
1.21
756                 break;
757         case INT:
758         case UNSIGNED:
759                 printf("\t.long 0x%x", (int)p->n_lval);
ragge
1.24
760                 if ((q = p->n_sp) != NULL) {
761                         if ((q->sclass == STATIC && q->slevel > 0) ||
762                             q->sclass == ILABEL) {
763                                 printf("+" LABFMTq->soffset);
ragge
1.21
764                         } else
ragge
1.24
765                                 printf("+%s"exname(q->sname));
ragge
1.21
766                 }
767                 printf("\n");
768                 break;
ragge
1.46
769         case SHORT:
770         case USHORT:
771                 printf("\t.short 0x%x\n", (int)p->n_lval & 0xffff);
772                 break;
ragge
1.52
773         case BOOL:
774                 if (p->n_lval > 1)
775                         p->n_lval = p->n_lval != 0;
776                 /* FALLTHROUGH */
ragge
1.46
777         case CHAR:
778         case UCHAR:
ragge
1.50
779                 printf("\t.byte %d\n", (int)p->n_lval & 0xff);
ragge
1.46
780                 break;
781         case LDOUBLE:
782                 u.i[2] = 0;
783                 u.l = (long double)p->n_dcon;
784                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
785                 break;
786         case DOUBLE:
787                 u.d = (double)p->n_dcon;
788                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
789                 break;
790         case FLOAT:
791                 u.f = (float)p->n_dcon;
792                 printf("\t.long\t0x%x\n"u.i[0]);
793                 break;
ragge
1.21
794         default:
795                 cerror("ninval");
796         }
797 }
798
ragge
1.46
799 #if 0
ragge
1.21
800 /*
ragge
1.17
801  * print out an integer.
ragge
1.1
802  */
803 void
ragge
1.17
804 inval(CONSZ word)
ragge
1.1
805 {
ragge
1.17
806         word &= 0xffffffff;
807         printf("        .long 0x%llx\n"word);
ragge
1.1
808 }
809
ragge
1.17
810 /* output code to initialize a floating point value */
ragge
1.1
811 /* the proper alignment has been obtained */
812 void
ragge
1.17
813 finval(NODE *p)
ragge
1.1
814 {
ragge
1.43
815         union { float fdouble dlong double lint i[3]; } u;
816
ragge
1.17
817         switch (p->n_type) {
818         case LDOUBLE:
ragge
1.43
819                 u.i[2] = 0;
820                 u.l = (long double)p->n_dcon;
821                 printf("\t.long\t0x%x,0x%x,0x%x\n"u.i[0], u.i[1], u.i[2]);
ragge
1.14
822                 break;
ragge
1.17
823         case DOUBLE:
ragge
1.43
824                 u.d = (double)p->n_dcon;
825                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
ragge
1.14
826                 break;
ragge
1.17
827         case FLOAT:
ragge
1.43
828                 u.f = (float)p->n_dcon;
829                 printf("\t.long\t0x%x\n"u.i[0]);
ragge
1.14
830                 break;
831         }
ragge
1.1
832 }
ragge
1.46
833 #endif
ragge
1.1
834
835 /* make a name look like an external name in the local machine */
836 char *
837 exname(char *p)
838 {
839         if (p == NULL)
840                 return "";
841         return p;
842 }
843
844 /*
845  * map types which are not defined on the local machine
846  */
ragge
1.15
847 TWORD
ragge
1.1
848 ctype(TWORD type)
849 {
850         switch (BTYPE(type)) {
851         case LONG:
852                 MODTYPE(type,INT);
853                 break;
854
855         case ULONG:
856                 MODTYPE(type,UNSIGNED);
ragge
1.13
857
ragge
1.1
858         }
859         return (type);
860 }
861
pj
1.30
862 void
863 calldec(NODE *pNODE *q
864 {
865 }
866
867 void
868 extdec(struct symtab *q)
869 {
870 }
871
ragge
1.1
872 /* make a common declaration for id, if reasonable */
873 void
874 commdec(struct symtab *q)
875 {
876         int off;
877
878         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
879         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
880 #ifdef GCC_COMPAT
881         printf("        .comm %s,0%o\n"gcc_findname(q), off);
882 #else
ragge
1.1
883         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
884 #endif
ragge
1.1
885 }
886
887 /* make a local common declaration for id, if reasonable */
888 void
889 lcommdec(struct symtab *q)
890 {
891         int off;
892
893         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
894         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
895         if (q->slevel == 0)
ragge
1.7
896 #ifdef GCC_COMPAT
897                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
898 #else
ragge
1.1
899                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
900 #endif
ragge
1.1
901         else
902                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
903 }
ragge
1.22
904
905 /*
906  * print a (non-prog) label.
907  */
908 void
909 deflab1(int label)
910 {
911         printf(LABFMT ":\n"label);
912 }
913
ragge
1.28
914 static char *loctbl[] = { "text""data""section .rodata""section .rodata" };
ragge
1.27
915
ragge
1.23
916 void
917 setloc1(int locc)
918 {
919         if (locc == lastloc)
920                 return;
921         lastloc = locc;
ragge
1.27
922         printf("        .%s\n"loctbl[locc]);
ragge
1.23
923 }
ragge
1.48
924
ragge
1.49
925 #if 0
ragge
1.48
926 int
927 ftoint(NODE *pCONSZ **c)
928 {
929         static CONSZ cc[3];
930         union { float fdouble dlong double lint i[3]; } u;
931         int n;
932
933         switch (p->n_type) {
934         case LDOUBLE:
935                 u.i[2] = 0;
936                 u.l = (long double)p->n_dcon;
937                 n = SZLDOUBLE;
938                 break;
939         case DOUBLE:
940                 u.d = (double)p->n_dcon;
941                 n = SZDOUBLE;
942                 break;
943         case FLOAT:
944                 u.f = (float)p->n_dcon;
945                 n = SZFLOAT;
946                 break;
947         }
948         cc[0] = u.i[0];
949         cc[1] = u.i[1];
950         cc[2] = u.i[2];
951         *c = cc;
952         return n;
953 }
ragge
1.49
954 #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-08-27 14:53 +0200