Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20110803192532

Diff

Diff from 1.62 to:

Annotations

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

Annotated File View

ragge
1.62
1 /*      $Id: local.c,v 1.62 2011/08/03 19:25:32 ragge Exp $     */
mickey
1.1
2 /*
3  * Copyright (c) 2008 Michael Shalayeff
4  * Copyright (c) 2003 Anders Magnusson (ragge@ludd.luth.se).
5  * All rights reserved.
6  *
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 1. Redistributions of source code must retain the above copyright
11  *    notice, this list of conditions and the following disclaimer.
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  *
16  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26  */
27
28
29 #include "pass1.h"
30
31 /*      this file contains code which is dependent on the target machine */
32
33 /*
34  * Check if a constant is too large for a type.
35  */
plunky
1.48
36 #ifdef notyet
mickey
1.1
37 static int
38 toolarge(TWORD tCONSZ con)
39 {
40         U_CONSZ ucon = con;
41
42         switch (t) {
43         case ULONG:
44         case LONG:
45         case ULONGLONG:
46         case LONGLONG:
47                 break/* cannot be too large */
48 #define SCHK(i) case i: if (con > MAX_##i || con < MIN_##i) return 1; break
49 #define UCHK(i) case i: if (ucon > MAX_##i) return 1; break
50         SCHK(INT);
51         SCHK(SHORT);
52         case BOOL:
53         SCHK(CHAR);
54         UCHK(UNSIGNED);
55         UCHK(USHORT);
56         UCHK(UCHAR);
57         default:
58                 cerror("toolarge");
59         }
60         return 0;
61 }
plunky
1.48
62 #endif
mickey
1.1
63
64 #define IALLOC(sz)      (isinlining ? permalloc(sz) : tmpalloc(sz))
65
66 /*
67  * Make a symtab entry for PIC use.
68  */
69 static struct symtab *
70 picsymtab(char *pchar *schar *s2)
71 {
72         struct symtab *sp = IALLOC(sizeof(struct symtab));
73         size_t len = strlen(p) + strlen(s) + strlen(s2) + 1;
ragge
1.22
74
mickey
1.1
75         sp->sname = sp->soname = IALLOC(len);
76         strlcpy(sp->sonameplen);
77         strlcat(sp->sonameslen);
78         strlcat(sp->sonames2len);
79         sp->sclass = EXTERN;
80         sp->sflags = sp->slevel = 0;
81         return sp;
82 }
83
84 int gotnr/* tempnum for GOT register */
85 int argstacksize;
86
87 /*
ragge
1.22
88  * Create a reference for an extern variable or function.
mickey
1.1
89  */
90 static NODE *
91 picext(NODE *p)
92 {
gmcgarry
1.50
93 #if defined(ELFABI)
94
ragge
1.9
95         NODE *q;
mickey
1.1
96         struct symtab *sp;
ragge
1.22
97         char *c, *g;
98
99         if (p->n_sp->sflags & SBEENHERE)
100                 return p;
mickey
1.1
101
ragge
1.31
102         c = p->n_sp->soname ? p->n_sp->soname : exname(p->n_sp->sname);
ragge
1.22
103 #ifdef notdef
104         g = ISFTN(p->n_sp->stype) ? "@PLT" : "@GOTPCREL";
105 #endif
106         g = "@GOTPCREL";
107         sp = picsymtab(""cg);
108         sp->sflags = SBEENHERE;
ragge
1.18
109         q = block(NAMENILNILINCREF(p->n_type), p->n_dfp->n_ap);
ragge
1.9
110         q->n_sp = sp;
ragge
1.18
111         q = block(UMULq0p->n_typep->n_dfp->n_ap);
ragge
1.9
112         q->n_sp = sp;
mickey
1.1
113         nfree(p);
114         return q;
gmcgarry
1.50
115
116 #elif defined(MACHOABI)
117
118         return p;
119
120 #endif
mickey
1.1
121 }
122
ragge
1.27
123 #ifdef notdef
mickey
1.1
124 /*
125  * Create a reference for a static variable.
126  */
127 static NODE *
128 picstatic(NODE *p)
129 {
130         struct symtab *sp;
ragge
1.9
131         char *cbuf[32];
mickey
1.1
132
ragge
1.9
133         if (p->n_sp->slevel > 0)
134                 snprintf(c = buf32LABFMT, (int)p->n_sp->soffset);
135         else
136                 c = p->n_sp->soname ? p->n_sp->soname : p->n_sp->sname;
ragge
1.22
137         sp = picsymtab(""c"");
mickey
1.1
138         sp->sclass = STATIC;
139         sp->stype = p->n_sp->stype;
ragge
1.9
140         p->n_sp = sp;
141         return p;
mickey
1.1
142 }
ragge
1.27
143 #endif
144
145 static NODE *
146 cmop(NODE *lNODE *r)
147 {
ragge
1.45
148         return block(CMlrINT00);
ragge
1.27
149 }
150
151 static NODE *
152 mkx(char *sNODE *p)
153 {
ragge
1.45
154         p = block(XARGpNILINT00);
ragge
1.27
155         p->n_name = s;
156         return p;
157 }
158
159 static char *
160 mk3str(char *s1char *s2char *s3)
161 {
162         int len = strlen(s1) + strlen(s2) + strlen(s3) + 1;
163         char *sd;
164
ragge
1.39
165         sd = inlalloc(len);
ragge
1.27
166         strlcpy(sds1len);
167         strlcat(sds2len);
168         strlcat(sds3len);
169         return sd;
170 }
mickey
1.1
171
172 /*
173  * Create a reference for a TLS variable.
ragge
1.27
174  * This is the "General dynamic" version.
mickey
1.1
175  */
176 static NODE *
177 tlspic(NODE *p)
178 {
ragge
1.27
179         NODE *q, *r, *s;
180         char *s1, *s2;
mickey
1.1
181
182         /*
ragge
1.27
183          * .byte   0x66
184          * leaq x@TLSGD(%rip),%rdi
185          * .word   0x6666
186          * rex64
187          * call __tls_get_addr@PLT
mickey
1.1
188          */
189
ragge
1.27
190         /* Need the .byte stuff around.  Why? */
191         /* Use inline assembler */
192         q = mkx("%rdx"bcon(0));
193         q = cmop(qmkx("%rcx"bcon(0)));
194         q = cmop(qmkx("%rsi"bcon(0)));
195         q = cmop(qmkx("%rdi"bcon(0)));
196         q = cmop(qmkx("%r8"bcon(0)));
197         q = cmop(qmkx("%r9"bcon(0)));
198         q = cmop(qmkx("%r10"bcon(0)));
199         q = cmop(qmkx("%r11"bcon(0)));
200
201         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
202         r = mkx("=a"r);
ragge
1.45
203         r = block(XASMrqINT00);
ragge
1.27
204
205         /* Create the magic string */
206         s1 = ".byte 0x66\n\tleaq ";
207         s2 = "@TLSGD(%%rip),%%rdi\n"
208             "\t.word 0x6666\n\trex64\n\tcall __tls_get_addr@PLT";
209         if (p->n_sp->soname == NULL)
210                 p->n_sp->soname = p->n_sp->sname;
211         r->n_name = mk3str(s1p->n_sp->sonames2);
212
213         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
214         r = buildtree(UMULrNIL);
215         tfree(p);
216         return r;
mickey
1.1
217 }
218
ragge
1.27
219 /*
220  * The "initial exec" tls model.
221  */
mickey
1.1
222 static NODE *
ragge
1.27
223 tlsinitialexec(NODE *p)
mickey
1.1
224 {
ragge
1.27
225         NODE *q, *r, *s;
226         char *s1, *s2;
mickey
1.1
227
ragge
1.27
228         /*
229          * movq %fs:0,%rax
230          * addq x@GOTTPOFF(%rip),%rax
231          */
232
233         q = bcon(0);
234         q->n_type = STRTY;
mickey
1.1
235
ragge
1.27
236         s = ccopy(r = tempnode(0INCREF(p->n_type), p->n_dfp->n_ap));
237         r = mkx("=r"r);
ragge
1.45
238         r = block(XASMrqINT00);
ragge
1.27
239
240         s1 = "movq %%fs:0,%0\n\taddq ";
241         s2 = "@GOTTPOFF(%%rip),%0";
242         if (p->n_sp->soname == NULL)
243                 p->n_sp->soname = p->n_sp->sname;
244         r->n_name = mk3str(s1p->n_sp->sonames2);
245
246         r = block(COMOPrsINCREF(p->n_type), p->n_dfp->n_ap);
247         r = buildtree(UMULrNIL);
248         tfree(p);
249         return r;
mickey
1.1
250 }
251
252 static NODE *
253 tlsref(NODE *p)
254 {
ragge
1.27
255         struct symtab *sp = p->n_sp;
256         struct attr *ga;
257         char *c;
258
259         if ((ga = attr_find(sp->sapGCC_ATYP_TLSMODEL)) != NULL) {
260                 c = ga->sarg(0);
261                 if (strcmp(c"initial-exec") == 0)
262                         return tlsinitialexec(p);
263                 else if (strcmp(c"global-dynamic") == 0)
264                         ;
265                 else
266                         werror("unsupported tls model '%s'"c);
267         }
268         return tlspic(p);
mickey
1.1
269 }
270
271 /* clocal() is called to do local transformations on
272  * an expression tree preparitory to its being
273  * written out in intermediate code.
274  *
275  * the major essential job is rewriting the
276  * automatic variables and arguments in terms of
277  * REG and OREG nodes
278  * conversion ops which are not necessary are also clobbered here
279  * in addition, any special features (such as rewriting
280  * exclusive or) are easily handled here as well
281  */
282 NODE *
283 clocal(NODE *p)
284 {
285
286         register struct symtab *q;
287         register NODE *r, *l;
288         register int o;
289         register int m;
290         TWORD t;
291
292 #ifdef PCC_DEBUG
293         if (xdebug) {
294                 printf("clocal: %p\n"p);
295                 fwalk(peprint0);
296         }
297 #endif
298         switcho = p->n_op ){
299
300         case NAME:
301                 if ((q = p->n_sp) == NULL)
302                         return p/* Nothing to care about */
303
304                 switch (q->sclass) {
305
306                 case PARAM:
307                 case AUTO:
308                         /* fake up a structure reference */
309                         r = block(REGNILNILPTR+STRTY00);
310                         r->n_lval = 0;
311                         r->n_rval = FPREG;
312                         p = stref(block(STREFrp000));
313                         break;
314
315                 case USTATIC:
316                         if (kflag == 0)
317                                 break;
318                         /* FALLTHROUGH */
319                 case STATIC:
320 #ifdef TLS
321                         if (q->sflags & STLS) {
322                                 p = tlsref(p);
323                                 break;
324                         }
325 #endif
ragge
1.22
326 #ifdef notdef
mickey
1.1
327                         if (kflag == 0) {
328                                 if (q->slevel == 0)
329                                         break;
330                                 p->n_lval = 0;
ragge
1.22
331                         } else if (blevel > 0) {
332                                 if (!ISFTN(q->stype))
333                                         p = picstatic(p);
334                         }
335 #endif
mickey
1.1
336                         break;
337
338                 case REGISTER:
339                         p->n_op = REG;
340                         p->n_lval = 0;
341                         p->n_rval = q->soffset;
342                         break;
343
344                 case EXTERN:
345                 case EXTDEF:
346                         if (q->sflags & STLS) {
347                                 p = tlsref(p);
348                                 break;
349                         }
ragge
1.51
350                         if (kflag == 0 || statinit)
mickey
1.1
351                                 break;
352                         if (blevel > 0)
353                                 p = picext(p);
354                         break;
355                 }
356                 break;
357
ragge
1.27
358 #if 0
mickey
1.1
359         case ADDROF:
360                 if (kflag == 0 || blevel == 0)
361                         break;
362                 /* char arrays may end up here */
363                 l = p->n_left;
364                 if (l->n_op != NAME ||
365                     (l->n_type != ARY+CHAR && l->n_type != ARY+WCHAR_TYPE))
366                         break;
367                 l = p;
368                 p = picstatic(p->n_left);
369                 nfree(l);
370                 if (p->n_op != UMUL)
371                         cerror("ADDROF error");
372                 l = p;
373                 p = p->n_left;
374                 nfree(l);
375                 break;
ragge
1.27
376 #endif
mickey
1.1
377
ragge
1.24
378         case UCALL:
379         case USTCALL:
380                 /* For now, always clear eax */
ragge
1.45
381                 l = block(REGNILNILINT00);
ragge
1.24
382                 regno(l) = RAX;
383                 p->n_right = clocal(buildtree(ASSIGNlbcon(0)));
384                 p->n_op -= (UCALL-CALL);
ragge
1.7
385                 break;
386
ragge
1.43
387 #ifdef notyet
mickey
1.1
388         case CBRANCH:
389                 l = p->n_left;
390
391                 /*
392                  * Remove unnecessary conversion ops.
393                  */
394                 if (clogop(l->n_op) && l->n_left->n_op == SCONV) {
395                         if (coptype(l->n_op) != BITYPE)
396                                 break;
397                         if (l->n_right->n_op == ICON) {
398                                 r = l->n_left->n_left;
399                                 if (r->n_type >= FLOAT && r->n_type <= LDOUBLE)
400                                         break;
401                                 if (ISPTR(r->n_type))
402                                         break/* no opt for pointers */
403                                 if (toolarge(r->n_typel->n_right->n_lval))
404                                         break;
405                                 /* Type must be correct */
406                                 t = r->n_type;
407                                 nfree(l->n_left);
408                                 l->n_left = r;
409                                 l->n_type = t;
410                                 l->n_right->n_type = t;
411                         }
412                 }
413                 break;
ragge
1.43
414 #endif
mickey
1.1
415
ragge
1.62
416 #if 0
mickey
1.1
417         case PCONV:
418                 /* Remove redundant PCONV's. Be careful */
419                 l = p->n_left;
420                 if (l->n_op == ICON) {
421                         goto delp;
422                 }
ragge
1.47
423                 if (l->n_type < LONG || l->n_type == BOOL) {
mickey
1.1
424                         /* float etc? */
ragge
1.45
425                         p->n_left = block(SCONVlNILUNSIGNED00);
mickey
1.1
426                         break;
427                 }
428                 /* if left is SCONV, cannot remove */
429                 if (l->n_op == SCONV)
430                         break;
431
432                 /* avoid ADDROF TEMP */
433                 if (l->n_op == ADDROF && l->n_left->n_op == TEMP)
434                         break;
435
ragge
1.23
436                 if ((l->n_op == REG || l->n_op == TEMP) && ISPTR(l->n_type))
437                         goto delp;
ragge
1.22
438 #ifdef notdef
mickey
1.1
439                 /* if conversion to another pointer type, just remove */
ragge
1.22
440                 /* XXX breaks ADDROF NAME */
mickey
1.1
441                 if (p->n_type > BTMASK && l->n_type > BTMASK)
442                         goto delp;
ragge
1.22
443 #endif
mickey
1.1
444                 break;
445
446         delp:   l->n_type = p->n_type;
447                 l->n_qual = p->n_qual;
448                 l->n_df = p->n_df;
ragge
1.18
449                 l->n_ap = p->n_ap;
mickey
1.1
450                 nfree(p);
451                 p = l;
452                 break;
ragge
1.62
453 #endif
mickey
1.1
454                 
455         case SCONV:
ragge
1.15
456                 /* Special-case shifts */
457                 if (p->n_type == LONG && (l = p->n_left)->n_op == LS && 
458                     l->n_type == INT && l->n_right->n_op == ICON) {
459                         p->n_left = l->n_left;
460                         p = buildtree(LSpl->n_right);
461                         nfree(l);
462                         break;
463                 }
464
mickey
1.1
465                 l = p->n_left;
466
ragge
1.5
467                 /* Float conversions may need extra casts */
ragge
1.37
468                 if (p->n_type == FLOAT || p->n_type == DOUBLE ||
469                     p->n_type == LDOUBLE) {
ragge
1.41
470                         if (l->n_type < INT || l->n_type == BOOL) {
ragge
1.5
471                                 p->n_left = block(SCONVlNIL,
472                                     ISUNSIGNED(l->n_type) ? UNSIGNED : INT,
ragge
1.18
473                                     l->n_dfl->n_ap);
ragge
1.5
474                                 break;
475                         }
476                 }
477
mickey
1.1
478                 if (p->n_type == l->n_type) {
479                         nfree(p);
480                         return l;
481                 }
482
483                 if ((p->n_type & TMASK) == 0 && (l->n_type & TMASK) == 0 &&
ragge
1.45
484                     tsize(p->n_typep->n_dfp->n_ap) ==
485                     tsize(l->n_typel->n_dfl->n_ap)) {
mickey
1.1
486                         if (p->n_type != FLOAT && p->n_type != DOUBLE &&
487                             l->n_type != FLOAT && l->n_type != DOUBLE &&
488                             l->n_type != LDOUBLE && p->n_type != LDOUBLE) {
489                                 if (l->n_op == NAME || l->n_op == UMUL ||
490                                     l->n_op == TEMP) {
491                                         l->n_type = p->n_type;
492                                         nfree(p);
493                                         return l;
494                                 }
495                         }
496                 }
497
498                 if (DEUNSIGN(p->n_type) == INT && DEUNSIGN(l->n_type) == INT &&
ragge
1.42
499                     coptype(l->n_op) == BITYPE && l->n_op != COMOP &&
500                     l->n_op != QUEST) {
mickey
1.1
501                         l->n_type = p->n_type;
502                         nfree(p);
503                         return l;
504                 }
505
506                 o = l->n_op;
507                 m = p->n_type;
508
509                 if (o == ICON) {
510                         CONSZ val = l->n_lval;
511
512                         if (!ISPTR(m)) /* Pointers don't need to be conv'd */
513                             switch (m) {
514                         case BOOL:
ragge
1.30
515                                 l->n_lval = nncon(l) ? (l->n_lval != 0) : 1;
516                                 l->n_sp = NULL;
mickey
1.1
517                                 break;
518                         case CHAR:
519                                 l->n_lval = (char)val;
520                                 break;
521                         case UCHAR:
522                                 l->n_lval = val & 0377;
523                                 break;
524                         case SHORT:
525                                 l->n_lval = (short)val;
526                                 break;
527                         case USHORT:
528                                 l->n_lval = val & 0177777;
529                                 break;
530                         case UNSIGNED:
531                                 l->n_lval = val & 0xffffffff;
532                                 break;
533                         case INT:
534                                 l->n_lval = (int)val;
535                                 break;
536                         case LONG:
537                         case LONGLONG:
538                                 l->n_lval = (long long)val;
539                                 break;
540                         case ULONG:
541                         case ULONGLONG:
542                                 l->n_lval = val;
543                                 break;
544                         case VOID:
545                                 break;
546                         case LDOUBLE:
547                         case DOUBLE:
548                         case FLOAT:
549                                 l->n_op = FCON;
550                                 l->n_dcon = val;
551                                 break;
552                         default:
553                                 cerror("unknown type %d"m);
554                         }
555                         l->n_type = m;
ragge
1.45
556                         l->n_ap = NULL;
mickey
1.1
557                         nfree(p);
558                         return l;
559                 } else if (l->n_op == FCON) {
ragge
1.29
560                         if (p->n_type == BOOL)
561                                 l->n_lval = l->n_dcon != 0.0;
562                         else
563                                 l->n_lval = l->n_dcon;
mickey
1.1
564                         l->n_sp = NULL;
565                         l->n_op = ICON;
566                         l->n_type = m;
ragge
1.45
567                         l->n_ap = NULL;
mickey
1.1
568                         nfree(p);
569                         return clocal(l);
570                 }
571                 if ((p->n_type == CHAR || p->n_type == UCHAR ||
572                     p->n_type == SHORT || p->n_type == USHORT) &&
573                     (l->n_type == FLOAT || l->n_type == DOUBLE ||
574                     l->n_type == LDOUBLE)) {
ragge
1.18
575                         p = block(SCONVpNILp->n_typep->n_dfp->n_ap);
mickey
1.1
576                         p->n_left->n_type = INT;
577                         return p;
578                 }
579                 break;
580
581         case MOD:
582         case DIV:
583                 if (o == DIV && p->n_type != CHAR && p->n_type != SHORT)
584                         break;
585                 if (o == MOD && p->n_type != CHAR && p->n_type != SHORT)
586                         break;
587                 /* make it an int division by inserting conversions */
ragge
1.52
588                 p->n_left = makety(p->n_leftINT000);
589                 p->n_right = makety(p->n_rightINT000);
590                 p = makety(pp->n_type000);
mickey
1.1
591                 p->n_left->n_type = INT;
592                 break;
593
594         case FORCE:
595                 /* put return value in return reg */
596                 p->n_op = ASSIGN;
597                 p->n_right = p->n_left;
ragge
1.45
598                 p->n_left = block(REGNILNILp->n_type00);
ragge
1.34
599                 t = p->n_type;
600                 if (ISITY(t))
601                         t = t - (FIMAG-FLOAT);
mickey
1.1
602                 p->n_left->n_rval = p->n_left->n_type == BOOL ? 
ragge
1.34
603                     RETREG(CHAR) : RETREG(t);
mickey
1.1
604                 break;
605
606         case LS:
607         case RS:
ragge
1.15
608                 /* shift count must be in a char */
mickey
1.1
609                 if (p->n_right->n_type == CHAR || p->n_right->n_type == UCHAR)
610                         break;
ragge
1.52
611                 p->n_right = makety(p->n_rightCHAR000);
mickey
1.1
612                 break;
613         }
614 #ifdef PCC_DEBUG
615         if (xdebug) {
616                 printf("clocal end: %p\n"p);
617                 fwalk(peprint0);
618         }
619 #endif
620         return(p);
621 }
622
623 void
624 myp2tree(NODE *p)
625 {
ragge
1.28
626         struct symtab *spsps;
627         static int dblxorfltxor;
mickey
1.1
628
ragge
1.28
629         if (p->n_op == UMINUS && (p->n_type == FLOAT || p->n_type == DOUBLE)) {
630                 /* Store xor code for sign change */
631                 if (dblxor == 0) {
632                         dblxor = getlab();
633                         fltxor = getlab();
634                         sps.stype = LDOUBLE;
635                         sps.squal = CON >> TSHIFT;
636                         sps.sflags = sps.sclass = 0;
637                         sps.sname = sps.soname = "";
638                         sps.slevel = 1;
ragge
1.45
639                         sps.sap = NULL;
ragge
1.28
640                         sps.soffset = dblxor;
ragge
1.59
641                         locctr(DATA, &sps);
ragge
1.28
642                         defloc(&sps);
643                         printf("\t.long 0,0x80000000,0,0\n");
644                         printf(LABFMT ":\n"fltxor);
645                         printf("\t.long 0x80000000,0,0,0\n");
646                 }
647                 p->n_label = p->n_type == FLOAT ? fltxor : dblxor;
648                 return;
649         }
mickey
1.1
650         if (p->n_op != FCON)
651                 return;
652
ragge
1.22
653         /* XXX should let float constants follow */
mickey
1.1
654         sp = IALLOC(sizeof(struct symtab));
655         sp->sclass = STATIC;
ragge
1.45
656         sp->sap = NULL;
mickey
1.1
657         sp->slevel = 1/* fake numeric label */
658         sp->soffset = getlab();
659         sp->sflags = 0;
660         sp->stype = p->n_type;
661         sp->squal = (CON >> TSHIFT);
gmcgarry
1.49
662         sp->sname = sp->soname = NULL;
mickey
1.1
663
ragge
1.59
664         locctr(DATAsp);
mickey
1.1
665         defloc(sp);
ragge
1.18
666         ninval(0tsize(sp->stypesp->sdfsp->sap), p);
mickey
1.1
667
668         p->n_op = NAME;
669         p->n_lval = 0;
670         p->n_sp = sp;
671 }
672
ragge
1.22
673 /*
674  * Convert ADDROF NAME to ICON?
675  */
mickey
1.1
676 int
677 andable(NODE *p)
678 {
ragge
1.22
679         if (p->n_sp->sclass == STATIC || p->n_sp->sclass == USTATIC)
680                 return 0;
681         return 1;
mickey
1.1
682 }
683
684 /*
685  * Return 1 if a variable of type type is OK to put in register.
686  */
687 int
688 cisreg(TWORD t)
689 {
ragge
1.14
690         if (t == LDOUBLE)
691                 return 0;
mickey
1.1
692         return 1;
693 }
694
695 /*
696  * Allocate off bits on the stack.  p is a tree that when evaluated
697  * is the multiply count for off, t is a storeable node where to write
698  * the allocated address.
699  */
700 void
701 spalloc(NODE *tNODE *pOFFSZ off)
702 {
703         NODE *sp;
704
ragge
1.20
705         p = buildtree(MULpbcon(off/SZCHAR));
706         p = buildtree(PLUSpbcon(30));
707         p = buildtree(ANDpxbcon(-16NULLLONG));
mickey
1.1
708
709         /* sub the size from sp */
ragge
1.45
710         sp = block(REGNILNILp->n_type00);
mickey
1.1
711         sp->n_lval = 0;
712         sp->n_rval = STKREG;
713         ecomp(buildtree(MINUSEQspp));
714
715         /* save the address of sp */
ragge
1.22
716         sp = block(REGNILNILPTR+LONGt->n_dft->n_ap);
mickey
1.1
717         sp->n_lval = 0;
718         sp->n_rval = STKREG;
719         t->n_type = sp->n_type;
720         ecomp(buildtree(ASSIGNtsp)); /* Emit! */
721
722 }
723
724 /*
725  * print out a constant node, may be associated with a label.
726  * Do not free the node after use.
727  * off is bit offset from the beginning of the aggregate
728  * fsz is the number of bits this is referring to
729  */
ragge
1.55
730 int
mickey
1.1
731 ninval(CONSZ offint fszNODE *p)
732 {
733         union { float fdouble dlong double lint i[3]; } u;
734
ragge
1.55
735         switch (p->n_type) {
mickey
1.1
736         case LDOUBLE:
737                 u.i[2] = 0;
738                 u.l = (long double)p->n_dcon;
739 #if defined(HOST_BIG_ENDIAN)
740                 /* XXX probably broken on most hosts */
ragge
1.36
741                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[2], u.i[1], u.i[0]);
mickey
1.1
742 #else
ragge
1.36
743                 printf("\t.long\t0x%x,0x%x,0x%x,0\n"u.i[0], u.i[1], u.i[2]);
mickey
1.1
744 #endif
745                 break;
746         case DOUBLE:
747                 u.d = (double)p->n_dcon;
748 #if defined(HOST_BIG_ENDIAN)
749                 printf("\t.long\t0x%x,0x%x\n"u.i[1], u.i[0]);
750 #else
751                 printf("\t.long\t0x%x,0x%x\n"u.i[0], u.i[1]);
752 #endif
753                 break;
754         case FLOAT:
755                 u.f = (float)p->n_dcon;
756                 printf("\t.long\t0x%x\n"u.i[0]);
757                 break;
758         default:
ragge
1.55
759                 return 0;
mickey
1.1
760         }
ragge
1.55
761         return 1;
mickey
1.1
762 }
763
764 /* make a name look like an external name in the local machine */
765 char *
766 exname(char *p)
767 {
ragge
1.31
768 #ifdef MACHOABI
769
770 #define NCHNAM  256
771         static char text[NCHNAM+1];
772         int i;
773
774         if (p == NULL)
775                 return "";
776
777         text[0] = '_';
778         for (i=1; *p && i<NCHNAM; ++i)
779                 text[i] = *p++;
780
781         text[i] = '\0';
782         text[NCHNAM] = '\0';  /* truncate */
783
784         return (text);
785 #else
mickey
1.1
786         return (p == NULL ? "" : p);
ragge
1.31
787 #endif
mickey
1.1
788 }
789
790 /*
791  * map types which are not defined on the local machine
792  */
793 TWORD
794 ctype(TWORD type)
795 {
796         switch (BTYPE(type)) {
ragge
1.5
797         case LONGLONG:
mickey
1.1
798                 MODTYPE(type,LONG);
799                 break;
800
ragge
1.5
801         case ULONGLONG:
mickey
1.1
802                 MODTYPE(type,ULONG);
803
804         }
805         return (type);
806 }
807
808 void
809 calldec(NODE *pNODE *q
810 {
811 }
812
813 void
814 extdec(struct symtab *q)
815 {
816 }
817
818 /* make a common declaration for id, if reasonable */
819 void
820 defzero(struct symtab *sp)
821 {
ragge
1.58
822         int offal;
ragge
1.11
823         char *name;
mickey
1.1
824
ragge
1.11
825         if ((name = sp->soname) == NULL)
826                 name = exname(sp->sname);
ragge
1.18
827         off = tsize(sp->stypesp->sdfsp->sap);
ragge
1.58
828         SETOFF(off,SZCHAR);
829         off /= SZCHAR;
830         al = talign(sp->stypesp->sap)/SZCHAR;
831
ragge
1.60
832         if (sp->sclass == STATIC) {
833                 if (sp->slevel == 0) {
834                         printf("\t.local %s\n"name);
835                 } else
836                         printf("\t.local " LABFMT "\n"sp->soffset);
837         }
ragge
1.5
838         if (sp->slevel == 0) {
ragge
1.60
839                 printf("\t.comm %s,0%o,%d\n"nameoffal);
ragge
1.5
840         } else
ragge
1.60
841                 printf("\t.comm " LABFMT ",0%o,%d\n"sp->soffsetoffal);
mickey
1.1
842 }
843
844 static char *
845 section2string(char *nameint len)
846 {
847         char *s;
848         int n;
849
850         if (strncmp(name"link_set"8) == 0) {
851                 const char *postfix = ",\"aw\",@progbits";
852                 n = len + strlen(postfix) + 1;
853                 s = IALLOC(n);
854                 strlcpy(snamen);
855                 strlcat(spostfixn);
856                 return s;
857         }
858
859         return newstring(namelen);
860 }
861
862 char *nextsect;
863 static int gottls;
864 static char *alias;
865 static int constructor;
866 static int destructor;
867
868 /*
869  * Give target the opportunity of handling pragmas.
870  */
871 int
ragge
1.38
872 mypragma(char *str)
mickey
1.1
873 {
ragge
1.38
874         char *a2 = pragtok(NULL);
875
876         if (strcmp(str"tls") == 0 && a2 == NULL) {
mickey
1.1
877                 gottls = 1;
878                 return 1;
879         }
ragge
1.38
880         if (strcmp(str"constructor") == 0 || strcmp(str"init") == 0) {
mickey
1.1
881                 constructor = 1;
882                 return 1;
883         }
ragge
1.38
884         if (strcmp(str"destructor") == 0 || strcmp(str"fini") == 0) {
mickey
1.1
885                 destructor = 1;
886                 return 1;
887         }
ragge
1.38
888         if (strcmp(str"section") == 0 && a2 != NULL) {
889                 nextsect = section2string(a2strlen(a2));
mickey
1.1
890                 return 1;
891         }
ragge
1.38
892         if (strcmp(str"alias") == 0 && a2 != NULL) {
893                 alias = tmpstrdup(a2);
mickey
1.1
894                 return 1;
895         }
896
897         return 0;
898 }
899
900 /*
901  * Called when a identifier has been declared.
902  */
903 void
904 fixdef(struct symtab *sp)
905 {
ragge
1.18
906         struct attr *ga;
ragge
1.22
907
mickey
1.1
908         /* may have sanity checks here */
909         if (gottls)
910                 sp->sflags |= STLS;
911         gottls = 0;
ragge
1.27
912
ragge
1.17
913 #ifdef HAVE_WEAKREF
914         /* not many as'es have this directive */
ragge
1.18
915         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_WEAKREF)) != NULL) {
ragge
1.17
916                 char *wr = ga->a1.sarg;
917                 char *sn = sp->soname ? sp->soname : sp->sname;
918                 if (wr == NULL) {
ragge
1.18
919                         if ((ga = gcc_get_attr(sp->sapGCC_ATYP_ALIAS))) {
ragge
1.17
920                                 wr = ga->a1.sarg;
921                         }
922                 }
923                 if (wr == NULL)
924                         printf("\t.weak %s\n"sn);
925                 else
926                         printf("\t.weakref %s,%s\n"snwr);
927         } else
928 #endif
ragge
1.18
929                if ((ga = attr_find(sp->sapGCC_ATYP_ALIAS)) != NULL) {
930                 char *an = ga->sarg(0);
ragge
1.16
931                 char *sn = sp->soname ? sp->soname : sp->sname;
932                 char *v;
933
ragge
1.18
934                 v = attr_find(sp->sapGCC_ATYP_WEAK) ? "weak" : "globl";
ragge
1.16
935                 printf("\t.%s %s\n"vsn);
936                 printf("\t.set %s,%s\n"snan);
937         }
mickey
1.1
938         if (alias != NULL && (sp->sclass != PARAM)) {
939                 printf("\t.globl %s\n"exname(sp->soname));
940                 printf("%s = "exname(sp->soname));
941                 printf("%s\n"exname(alias));
942                 alias = NULL;
943         }
944         if ((constructor || destructor) && (sp->sclass != PARAM)) {
ragge
1.10
945                 NODE *p = talloc();
946
947                 p->n_op = NAME;
948                 p->n_sp =
949                   (struct symtab *)(constructor ? "constructor" : "destructor");
ragge
1.18
950                 sp->sap = attr_add(sp->sapgcc_attr_parse(p));
mickey
1.1
951                 constructor = destructor = 0;
952         }
953 }
954
955 NODE *
ragge
1.19
956 i386_builtin_return_address(NODE *fNODE *aTWORD t)
mickey
1.1
957 {
958         int nframes;
959
960         if (a == NULL || a->n_op != ICON)
961                 goto bad;
962
963         nframes = a->n_lval;
964
965         tfree(f);
966         tfree(a);
967
ragge
1.45
968         f = block(REGNILNILPTR+VOID00);
mickey
1.1
969         regno(f) = FPREG;
970
971         while (nframes--)
ragge
1.45
972                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
973
ragge
1.45
974         f = block(PLUSfbcon(4), INCREF(PTR+VOID), 00);
mickey
1.1
975         f = buildtree(UMULfNIL);
976
977         return f;
978 bad:
979         uerror("bad argument to __builtin_return_address");
980         return bcon(0);
981 }
982
983 NODE *
ragge
1.19
984 i386_builtin_frame_address(NODE *fNODE *aTWORD t)
mickey
1.1
985 {
986         int nframes;
987
988         if (a == NULL || a->n_op != ICON)
989                 goto bad;
990
991         nframes = a->n_lval;
992
993         tfree(f);
994         tfree(a);
995
ragge
1.45
996         f = block(REGNILNILPTR+VOID00);
mickey
1.1
997         regno(f) = FPREG;
998
999         while (nframes--)
ragge
1.45
1000                 f = block(UMULfNILPTR+VOID00);
mickey
1.1
1001
1002         return f;
1003 bad:
1004         uerror("bad argument to __builtin_frame_address");
1005         return bcon(0);
1006 }
1007
1008 void
1009 pass1_lastchance(struct interpass *ip)
1010 {
1011 }
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-18 18:24 +0100