Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20040619091427

Diff

Diff from 1.15 to:

Annotations

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

Annotated File View

ragge
1.15
1 /*      $Id: local.c,v 1.15 2004/06/19 09:14:27 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
30 # include "pass1.h"
31
32 /*      this file contains code which is dependent on the target machine */
33
34 NODE *
35 clocal(NODE *p)
36 {
37         /* this is called to do local transformations on
38            an expression tree preparitory to its being
39            written out in intermediate code.
40         */
41
42         /* the major essential job is rewriting the
43            automatic variables and arguments in terms of
44            REG and OREG nodes */
45         /* conversion ops which are not necessary are also clobbered here */
46         /* in addition, any special features (such as rewriting
47            exclusive or) are easily handled here as well */
48
49         register struct symtab *q;
ragge
1.2
50         register NODE *r, *l;
ragge
1.1
51         register int o;
52         register int mml;
53
54         switcho = p->n_op ){
55
56         case NAME:
57                 if ((q = p->n_sp) == NULL)
58                         return p/* Nothing to care about */
59
60                 switch (q->sclass) {
61
62                 case PARAM:
63                 case AUTO:
64                         /* fake up a structure reference */
65                         r = block(REGNILNILPTR+STRTY00);
66                         r->n_lval = 0;
67                         r->n_rval = FPREG;
68                         p = stref(block(STREFrp000));
69                         break;
70
71                 case STATIC:
72                         if (q->slevel == 0)
73                                 break;
74                         p->n_lval = 0;
75                         p->n_sp = q;
76                         if ((q->sflags & SLABEL) == 0)
77                                 cerror("STATIC");
78                         break;
79
80                 case REGISTER:
81                         p->n_op = REG;
82                         p->n_lval = 0;
83                         p->n_rval = q->soffset;
84                         break;
85
86                         }
87                 break;
88
ragge
1.10
89         case FUNARG:
90                 /* Args smaller than int are given as int */
91                 if (p->n_type != CHAR && p->n_type != UCHAR && 
92                     p->n_type != SHORT && p->n_type != USHORT)
93                         break;
94                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
95                 p->n_type = INT;
96                 p->n_sue = MKSUE(INT);
97                 p->n_rval = SZINT;
98                 break;
99
ragge
1.8
100         case CBRANCH:
101                 l = p->n_left;
102
103                 /*
104                  * Remove unneccessary conversion ops.
105                  */
ragge
1.10
106                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
ragge
1.12
107                         if (coptype(l->n_op) != BITYPE)
108                                 break;
ragge
1.8
109                         if (l->n_right->n_op == ICON) {
110                                 r = l->n_left->n_left;
111                                 nfree(l->n_left);
112                                 l->n_left = r;
113                         } else if (l->n_right->n_op == SCONV &&
114                             l->n_left->n_type == l->n_right->n_type) {
115                                 r = l->n_left->n_left;
116                                 nfree(l->n_left);
117                                 l->n_left = r;
118                                 r = l->n_right->n_left;
119                                 nfree(l->n_right);
120                                 l->n_right = r;
121                         }
122                 }
123                 break;
124
ragge
1.1
125         case PCONV:
ragge
1.2
126                 ml = p->n_left->n_type;
ragge
1.1
127                 l = p->n_left;
128                 if ((ml == CHAR || ml == UCHAR || ml == SHORT || ml == USHORT)
129                     && l->n_op != ICON)
130                         break;
131                 l->n_type = p->n_type;
132                 l->n_qual = p->n_qual;
133                 l->n_df = p->n_df;
134                 l->n_sue = p->n_sue;
135                 nfree(p);
136                 p = l;
137                 break;
138
139         case SCONV:
140                 l = p->n_left;
ragge
1.4
141
142                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
143                     btdim[p->n_type] == btdim[l->n_type]) {
144                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
ragge
1.15
145                             l->n_type != FLOAT && l->n_type != DOUBLE &&
146                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
147                                 if (l->n_op == NAME || l->n_op == UMUL) {
148                                         l->n_type = p->n_type;
149                                         nfree(p);
150                                         return l;
151                                 }
ragge
1.4
152                         }
ragge
1.6
153                 }
154
ragge
1.11
155 #if 0
ragge
1.6
156                 if ((p->n_type == INT || p->n_type == UNSIGNED) &&
157                     ISPTR(l->n_type)) {
158                         nfree(p);
159                         return l;
ragge
1.4
160                 }
ragge
1.11
161 #endif
ragge
1.4
162
ragge
1.3
163                 o = l->n_op;
ragge
1.4
164                 m = p->n_type;
ragge
1.1
165
166                 if (o == ICON) {
167                         CONSZ val = l->n_lval;
168
169                         switch (m) {
170                         case CHAR:
171                                 l->n_lval = (char)val;
172                                 break;
173                         case UCHAR:
174                                 l->n_lval = val & 0377;
175                                 break;
ragge
1.15
176                         case SHORT:
ragge
1.1
177                                 l->n_lval = (short)val;
178                                 break;
ragge
1.15
179                         case USHORT:
ragge
1.1
180                                 l->n_lval = val & 0177777;
181                                 break;
ragge
1.15
182                         case ULONG:
ragge
1.1
183                         case UNSIGNED:
184                                 l->n_lval = val & 0xffffffff;
185                                 break;
186                         case ENUMTY:
187                         case MOETY:
ragge
1.15
188                         case LONG:
ragge
1.1
189                         case INT:
190                                 l->n_lval = (int)val;
191                                 break;
192                         case LONGLONG:
193                                 l->n_lval = (long long)val;
ragge
1.15
194                                 break;
ragge
1.1
195                         case ULONGLONG:
196                                 l->n_lval = val;
197                                 break;
198                         case VOID:
199                                 break;
ragge
1.14
200                         case LDOUBLE:
ragge
1.1
201                         case DOUBLE:
202                         case FLOAT:
203                                 l->n_op = FCON;
204                                 l->n_dcon = val;
205                                 break;
206                         default:
207                                 cerror("unknown type %d"m);
208                         }
209                         l->n_type = m;
210                         nfree(p);
211                         return l;
212                 }
213                 break;
214
ragge
1.15
215         case MOD:
216         case DIV:
217                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
218                         break;
219                 if (o == MOD && p->n_type != UCHAR)
220                         break;
221                 /* make it an int division by inserting conversions */
222                 p->n_left = block(SCONVp->n_leftNILINT0MKSUE(INT));
223                 p->n_right = block(SCONVp->n_rightNILINT0MKSUE(INT));
224                 p = block(SCONVpNILp->n_type0MKSUE(p->n_type));
225                 p->n_left->n_type = INT;
226                 break;
227
ragge
1.1
228         case PMCONV:
229         case PVCONV:
230                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
231                 nfree(p);
232                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
233
234         }
235
236         return(p);
237 }
238
239 void
240 myp2tree(NODE *p)
241 {
242 }
243
244 /*ARGSUSED*/
245 int
246 andable(NODE *p)
247 {
248         return(1);  /* all names can have & taken on them */
249 }
250
251 /*
252  * at the end of the arguments of a ftn, set the automatic offset
253  */
254 void
255 cendarg()
256 {
257         autooff = AUTOINIT;
258 }
259
260 /*
261  * is an automatic variable of type t OK for a register variable
262  */
263 int
264 cisreg(TWORD t)
265 {
ragge
1.13
266         if (t == INT || t == UNSIGNED || t == LONG || t == ULONG)
267                 return(1);
268         return 0/* XXX - fix reg assignment in pftn.c */
ragge
1.1
269 }
270
271 /*
272  * return a node, for structure references, which is suitable for
273  * being added to a pointer of type t, in order to be off bits offset
274  * into a structure
275  * t, d, and s are the type, dimension offset, and sizeoffset
276  * For pdp10, return the type-specific index number which calculation
277  * is based on its size. For example, short a[3] would return 3.
278  * Be careful about only handling first-level pointers, the following
279  * indirections must be fullword.
280  */
281 NODE *
282 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
283 {
284         register NODE *p;
285
286         if (xdebug)
287                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
288                     offtdsue->suesize);
289
290         p = bcon(0);
291         p->n_lval = off/SZCHAR/* Default */
292         return(p);
293 }
294
295 /*
296  * Allocate off bits on the stack.  p is a tree that when evaluated
297  * is the multiply count for off, t is a NAME node where to write
298  * the allocated address.
299  */
300 void
301 spalloc(NODE *tNODE *pOFFSZ off)
302 {
303         NODE *sp;
304
305         if ((off % SZINT) == 0)
306                 p =  buildtree(MULpbcon(off/SZINT));
307         else if ((off % SZSHORT) == 0) {
308                 p = buildtree(MULpbcon(off/SZSHORT));
309                 p = buildtree(PLUSpbcon(1));
310                 p = buildtree(RSpbcon(1));
311         } else if ((off % SZCHAR) == 0) {
312                 p = buildtree(MULpbcon(off/SZCHAR));
313                 p = buildtree(PLUSpbcon(3));
314                 p = buildtree(RSpbcon(2));
315         } else
316                 cerror("roundsp");
317
318         /* save the address of sp */
319         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
320         sp->n_lval = 0;
321         sp->n_rval = STKREG;
322         t->n_type = sp->n_type;
323         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
324
325         /* add the size to sp */
326         sp = block(REGNILNILp->n_type00);
327         sp->n_lval = 0;
328         sp->n_rval = STKREG;
329         ecomp(buildtree(PLUSEQspp));
330 }
331
332 static int inwd;        /* current bit offsed in word */
333 static CONSZ word;      /* word being built from fields */
334
335 /*
336  * Generate initialization code for assigning a constant c
337  * to a field of width sz
338  * we assume that the proper alignment has been obtained
339  * inoff is updated to have the proper final value
340  * we also assume sz  < SZINT
341  */
342 void
343 incode(NODE *pint sz)
344 {
345         inoff += sz;
346         if ((sz + inwd) > SZINT)
347                 cerror("incode: field > int");
348
349         word |= ((unsigned)(p->n_lval<<(32-sz))) >> (32-sz-inwd);
350
351         inwd += sz;
352         if (inoff % SZINT == 0) {
ragge
1.5
353                 printf("        .long 0x%llx\n"word);
ragge
1.1
354                 word = inwd = 0;
355         }
356 }
357
358 /* output code to initialize space of size sz to the value d */
359 /* the proper alignment has been obtained */
360 /* inoff is updated to have the proper final value */
361 /* on the target machine, write it out in octal! */
362 void
363 fincode(NODE *pint sz)
364 {
365         double d = p->n_dcon;
ragge
1.14
366         int c;
367         char *n;
ragge
1.1
368
369         inoff += sz;
ragge
1.14
370         if(nerrors)
371                 return;
372         switch (sz) {
373         case SZLDOUBLE:
374                 n = ".tfloat";
375                 c = 't';
376                 break;
377         case SZDOUBLE:
378                 n = ".dfloat";
379                 c = 'd';
380                 break;
381         case SZFLOAT:
382                 n = ".ffloat";
383                 c = 'f';
384                 break;
385         }
386         printf("        %s      0%c%.20e\n"ncd);
ragge
1.1
387 }
388
389 void
390 cinit(NODE *pint sz)
391 {
392         NODE *l;
393
394         /*
395          * as a favor (?) to people who want to write
396          *     int i = 9600/134.5;
397          * we will, under the proper circumstances, do
398          * a coercion here.
399          */
400         switch (p->n_type) {
401         case INT:
402         case UNSIGNED:
403                 l = p->n_left;
404                 if (l->n_op != SCONV || l->n_left->n_op != FCON)
405                         break;
406                 nfree(l);
407                 l = l->n_left;
408                 l->n_lval = (long)(l->n_dcon);
409                 l->n_sp = NULL;
410                 l->n_op = ICON;
411                 l->n_type = INT;
412                 p->n_left = l;
413                 break;
414         }
415         /* arrange for the initialization of p into a space of size sz */
416         /* the proper alignment has been opbtained */
417         /* inoff is updated to have the proper final value */
418         ecodep );
419         inoff += sz;
420 }
421
422 /*
423  * define n bits of zeros in a vfd
424  */
425 void
426 vfdzero(int n)
427 {
428         inoff += n;
429         inwd += n;
430         if (inoff%ALINT ==0) {
431                 printf("        .long 0%llo\n"word);
432                 word = inwd = 0;
433         }
434 }
435
436 /* make a name look like an external name in the local machine */
437 char *
438 exname(char *p)
439 {
440         if (p == NULL)
441                 return "";
442         return p;
443 }
444
445 /*
446  * map types which are not defined on the local machine
447  */
ragge
1.15
448 TWORD
ragge
1.1
449 ctype(TWORD type)
450 {
451         switch (BTYPE(type)) {
452         case LONG:
453                 MODTYPE(type,INT);
454                 break;
455
456         case ULONG:
457                 MODTYPE(type,UNSIGNED);
ragge
1.13
458
ragge
1.1
459         }
460         return (type);
461 }
462
463 /* curid is a variable which is defined but
464  * is not initialized (and not a function );
465  * This routine returns the stroage class for an uninitialized declaration
466  */
467 int
468 noinit()
469 {
470         return(EXTERN);
471 }
472
473 /* make a common declaration for id, if reasonable */
474 void
475 commdec(struct symtab *q)
476 {
477         int off;
478
479         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
480         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
481 #ifdef GCC_COMPAT
482         printf("        .comm %s,0%o\n"gcc_findname(q), off);
483 #else
ragge
1.1
484         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
485 #endif
ragge
1.1
486 }
487
488 /* make a local common declaration for id, if reasonable */
489 void
490 lcommdec(struct symtab *q)
491 {
492         int off;
493
494         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
495         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
496         if (q->slevel == 0)
ragge
1.7
497 #ifdef GCC_COMPAT
498                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
499 #else
ragge
1.1
500                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
501 #endif
ragge
1.1
502         else
503                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
504 }
505
506 /*
507  * Debugger code - ignore.
508  */
509 void
510 prcstab(int a)
511 {
512 }
513
514 void
515 pfstab(char *a)
516 {
517 }
FishEye: Open Source License registered to PCC.
Atlassian FishEye, CVS analysis. (Version:1.6.3 Build:build-336 2008-11-04) - Administration - Page generated 2014-12-19 01:36 +0100