Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20040529172407

Diff

Diff from 1.11 to:

Annotations

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

Annotated File View

ragge
1.11
1 /*      $Id: local.c,v 1.11 2004/05/29 17:24:07 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.8
107                         if (l->n_right->n_op == ICON) {
108                                 r = l->n_left->n_left;
109                                 nfree(l->n_left);
110                                 l->n_left = r;
111                         } else if (l->n_right->n_op == SCONV &&
112                             l->n_left->n_type == l->n_right->n_type) {
113                                 r = l->n_left->n_left;
114                                 nfree(l->n_left);
115                                 l->n_left = r;
116                                 r = l->n_right->n_left;
117                                 nfree(l->n_right);
118                                 l->n_right = r;
119                         }
120                 }
121                 break;
122
ragge
1.1
123         case PCONV:
ragge
1.2
124                 ml = p->n_left->n_type;
ragge
1.1
125                 l = p->n_left;
126                 if ((ml == CHAR || ml == UCHAR || ml == SHORT || ml == USHORT)
127                     && l->n_op != ICON)
128                         break;
129                 l->n_type = p->n_type;
130                 l->n_qual = p->n_qual;
131                 l->n_df = p->n_df;
132                 l->n_sue = p->n_sue;
133                 nfree(p);
134                 p = l;
135                 break;
136
137         case SCONV:
138                 l = p->n_left;
ragge
1.4
139
140                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
141                     btdim[p->n_type] == btdim[l->n_type]) {
142                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
143                             l->n_type != FLOAT && l->n_type != DOUBLE) {
144                                 nfree(p);
145                                 return l;
146                         }
ragge
1.6
147                 }
148
ragge
1.11
149 #if 0
ragge
1.6
150                 if ((p->n_type == INT || p->n_type == UNSIGNED) &&
151                     ISPTR(l->n_type)) {
152                         nfree(p);
153                         return l;
ragge
1.4
154                 }
ragge
1.11
155 #endif
ragge
1.4
156
ragge
1.3
157                 o = l->n_op;
ragge
1.4
158                 m = p->n_type;
ragge
1.1
159
160                 if (o == ICON) {
161                         CONSZ val = l->n_lval;
162
163                         switch (m) {
164                         case CHAR:
165                                 l->n_lval = (char)val;
166                                 break;
167                         case UCHAR:
168                                 l->n_lval = val & 0377;
169                                 break;
170                         case USHORT:
171                                 l->n_lval = (short)val;
172                                 break;
173                         case SHORT:
174                                 l->n_lval = val & 0177777;
175                                 break;
176                         case UNSIGNED:
177                                 l->n_lval = val & 0xffffffff;
178                                 break;
179                         case ENUMTY:
180                         case MOETY:
181                         case INT:
182                                 l->n_lval = (int)val;
183                                 break;
184                         case LONGLONG:
185                                 l->n_lval = (long long)val;
186                         case ULONGLONG:
187                                 l->n_lval = val;
188                                 break;
189                         case VOID:
190                                 break;
191                         case DOUBLE:
192                         case FLOAT:
193                                 l->n_op = FCON;
194                                 l->n_dcon = val;
195                                 break;
196                         default:
197                                 cerror("unknown type %d"m);
198                         }
199                         l->n_type = m;
200                         nfree(p);
201                         return l;
202                 }
203                 break;
204
205         case PMCONV:
206         case PVCONV:
207                 ifp->n_right->n_op != ICON ) cerror"bad conversion"0);
208                 nfree(p);
209                 return(buildtree(o==PMCONV?MUL:DIVp->n_leftp->n_right));
210
211         }
212
213         return(p);
214 }
215
216 void
217 myp2tree(NODE *p)
218 {
219 }
220
221 /*ARGSUSED*/
222 int
223 andable(NODE *p)
224 {
225         return(1);  /* all names can have & taken on them */
226 }
227
228 /*
229  * at the end of the arguments of a ftn, set the automatic offset
230  */
231 void
232 cendarg()
233 {
234         autooff = AUTOINIT;
235 }
236
237 /*
238  * is an automatic variable of type t OK for a register variable
239  */
240 int
241 cisreg(TWORD t)
242 {
ragge
1.9
243         if (t == LONGLONG || t == ULONGLONG)
244                 return 0/* XXX - fix reg assignment in pftn.c */
ragge
1.1
245         return(1);
246 }
247
248 /*
249  * return a node, for structure references, which is suitable for
250  * being added to a pointer of type t, in order to be off bits offset
251  * into a structure
252  * t, d, and s are the type, dimension offset, and sizeoffset
253  * For pdp10, return the type-specific index number which calculation
254  * is based on its size. For example, short a[3] would return 3.
255  * Be careful about only handling first-level pointers, the following
256  * indirections must be fullword.
257  */
258 NODE *
259 offcon(OFFSZ offTWORD tunion dimfun *dstruct suedef *sue)
260 {
261         register NODE *p;
262
263         if (xdebug)
264                 printf("offcon: OFFSZ %lld type %x dim %p siz %d\n",
265                     offtdsue->suesize);
266
267         p = bcon(0);
268         p->n_lval = off/SZCHAR/* Default */
269         return(p);
270 }
271
272 /*
273  * Allocate off bits on the stack.  p is a tree that when evaluated
274  * is the multiply count for off, t is a NAME node where to write
275  * the allocated address.
276  */
277 void
278 spalloc(NODE *tNODE *pOFFSZ off)
279 {
280         NODE *sp;
281
282         if ((off % SZINT) == 0)
283                 p =  buildtree(MULpbcon(off/SZINT));
284         else if ((off % SZSHORT) == 0) {
285                 p = buildtree(MULpbcon(off/SZSHORT));
286                 p = buildtree(PLUSpbcon(1));
287                 p = buildtree(RSpbcon(1));
288         } else if ((off % SZCHAR) == 0) {
289                 p = buildtree(MULpbcon(off/SZCHAR));
290                 p = buildtree(PLUSpbcon(3));
291                 p = buildtree(RSpbcon(2));
292         } else
293                 cerror("roundsp");
294
295         /* save the address of sp */
296         sp = block(REGNILNILPTR+INTt->n_dft->n_sue);
297         sp->n_lval = 0;
298         sp->n_rval = STKREG;
299         t->n_type = sp->n_type;
300         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
301
302         /* add the size to sp */
303         sp = block(REGNILNILp->n_type00);
304         sp->n_lval = 0;
305         sp->n_rval = STKREG;
306         ecomp(buildtree(PLUSEQspp));
307 }
308
309 static int inwd;        /* current bit offsed in word */
310 static CONSZ word;      /* word being built from fields */
311
312 /*
313  * Generate initialization code for assigning a constant c
314  * to a field of width sz
315  * we assume that the proper alignment has been obtained
316  * inoff is updated to have the proper final value
317  * we also assume sz  < SZINT
318  */
319 void
320 incode(NODE *pint sz)
321 {
322         inoff += sz;
323         if ((sz + inwd) > SZINT)
324                 cerror("incode: field > int");
325
326         word |= ((unsigned)(p->n_lval<<(32-sz))) >> (32-sz-inwd);
327
328         inwd += sz;
329         if (inoff % SZINT == 0) {
ragge
1.5
330                 printf("        .long 0x%llx\n"word);
ragge
1.1
331                 word = inwd = 0;
332         }
333         tfree(p);
334 }
335
336 /* output code to initialize space of size sz to the value d */
337 /* the proper alignment has been obtained */
338 /* inoff is updated to have the proper final value */
339 /* on the target machine, write it out in octal! */
340 void
341 fincode(NODE *pint sz)
342 {
343         double d = p->n_dcon;
344
345         if(!nerrors)
346                 printf("        %s      0%c%.20e\n",
347                     sz == SZDOUBLE ? ".double" : ".float",
348                 sz == SZDOUBLE ? 'd' : 'f'd);
349         inoff += sz;
350 }
351
352 void
353 cinit(NODE *pint sz)
354 {
355         NODE *l;
356
357         /*
358          * as a favor (?) to people who want to write
359          *     int i = 9600/134.5;
360          * we will, under the proper circumstances, do
361          * a coercion here.
362          */
363         switch (p->n_type) {
364         case INT:
365         case UNSIGNED:
366                 l = p->n_left;
367                 if (l->n_op != SCONV || l->n_left->n_op != FCON)
368                         break;
369                 nfree(l);
370                 l = l->n_left;
371                 l->n_lval = (long)(l->n_dcon);
372                 l->n_sp = NULL;
373                 l->n_op = ICON;
374                 l->n_type = INT;
375                 p->n_left = l;
376                 break;
377         }
378         /* arrange for the initialization of p into a space of size sz */
379         /* the proper alignment has been opbtained */
380         /* inoff is updated to have the proper final value */
381         ecodep );
382         inoff += sz;
383 }
384
385 /*
386  * define n bits of zeros in a vfd
387  */
388 void
389 vfdzero(int n)
390 {
391         inoff += n;
392         inwd += n;
393         if (inoff%ALINT ==0) {
394                 printf("        .long 0%llo\n"word);
395                 word = inwd = 0;
396         }
397 }
398
399 /* make a name look like an external name in the local machine */
400 char *
401 exname(char *p)
402 {
403         if (p == NULL)
404                 return "";
405         return p;
406 }
407
408 /*
409  * map types which are not defined on the local machine
410  */
411 int
412 ctype(TWORD type)
413 {
414         switch (BTYPE(type)) {
415         case LONG:
416                 MODTYPE(type,INT);
417                 break;
418
419         case ULONG:
420                 MODTYPE(type,UNSIGNED);
421         }
422         return (type);
423 }
424
425 /* curid is a variable which is defined but
426  * is not initialized (and not a function );
427  * This routine returns the stroage class for an uninitialized declaration
428  */
429 int
430 noinit()
431 {
432         return(EXTERN);
433 }
434
435 /* make a common declaration for id, if reasonable */
436 void
437 commdec(struct symtab *q)
438 {
439         int off;
440
441         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
442         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.7
443 #ifdef GCC_COMPAT
444         printf("        .comm %s,0%o\n"gcc_findname(q), off);
445 #else
ragge
1.1
446         printf("        .comm %s,0%o\n"exname(q->sname), off);
ragge
1.7
447 #endif
ragge
1.1
448 }
449
450 /* make a local common declaration for id, if reasonable */
451 void
452 lcommdec(struct symtab *q)
453 {
454         int off;
455
456         off = tsize(q->stypeq->sdfq->ssue);
ragge
1.8
457         off = (off+(SZCHAR-1))/SZCHAR;
ragge
1.1
458         if (q->slevel == 0)
ragge
1.7
459 #ifdef GCC_COMPAT
460                 printf("        .lcomm %s,0%o\n"gcc_findname(q), off);
461 #else
ragge
1.1
462                 printf("        .lcomm %s,0%o\n"exname(q->sname), off);
ragge
1.7
463 #endif
ragge
1.1
464         else
465                 printf("        .lcomm " LABFMT ",0%o\n"q->soffsetoff);
466 }
467
468 /*
469  * Debugger code - ignore.
470  */
471 void
472 prcstab(int a)
473 {
474 }
475
476 void
477 pfstab(char *a)
478 {
479 }
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-26 11:04 +0100