Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20090619162843

Diff

Diff from 1.12 to:

Annotations

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

Annotated File View

ragge
1.12
1 /*      $Id: code.c,v 1.12 2009/06/19 16:28:43 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  * 3. The name of the author may not be used to endorse or promote products
16  *    derived from this software without specific prior written permission
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28  */
29
30
31 # include "pass1.h"
32
ragge
1.11
33 static int nssengprnrsprsaoff;
ragge
1.8
34 enum { INTEGER = 1INTMEMSSESSEMEMX87STRREGSTRMEM };
ragge
1.10
35 static const int argregsi[] = { RDIRSIRDXRCXR08R09 };
ragge
1.11
36 /*
37  * The Register Save Area looks something like this.
38  * It is put first on stack with fixed offsets.
39  * struct {
40  *      long regs[6];
41  *      double xmm[8][2]; // 16 byte in width
42  * };
43  */
44 #define RSASZ           (6*SZLONG+8*2*SZDOUBLE)
45 #define RSALONGOFF(x)   (RSASZ-(x)*SZLONG)
46 #define RSADBLOFF(x)    ((8*2*SZDOUBLE)-(x)*SZDOUBLE*2)
47 /* va_list */
48 #define VAARGSZ         (SZINT*2+SZPOINT(CHAR)*2)
49 #define VAGPOFF(x)      (x)
50 #define VAFPOFF(x)      (x-SZINT)
51 #define VAOFA(x)        (x-SZINT-SZINT)
52 #define VARSA(x)        (x-SZINT-SZINT-SZPOINT(0))
mickey
1.1
53
54 int lastloc = -1;
55
ragge
1.8
56 static int argtyp(TWORD tunion dimfun *dfstruct suedef *sue);
ragge
1.11
57 static NODE *movtomem(NODE *pint off);
ragge
1.8
58
mickey
1.1
59 /*
60  * Define everything needed to print out some data (or text).
61  * This means segment, alignment, visibility, etc.
62  */
63 void
64 defloc(struct symtab *sp)
65 {
66         extern char *nextsect;
67         static char *loctbl[] = { "text""data""section .rodata" };
ragge
1.6
68         int weak = 0;
69         char *name = NULL;
mickey
1.1
70         TWORD t;
71         int s;
72
73         if (sp == NULL) {
74                 lastloc = -1;
75                 return;
76         }
77         t = sp->stype;
78         s = ISFTN(t) ? PROG : ISCON(cqual(tsp->squal)) ? RDATA : DATA;
79 #ifdef TLS
80         if (sp->sflags & STLS) {
81                 if (s != DATA)
82                         cerror("non-data symbol in tls section");
83                 nextsect = ".tdata";
84         }
85 #endif
ragge
1.6
86 #ifdef GCC_COMPAT
87         {
88                 struct gcc_attrib *ga;
89
90                 if ((ga = gcc_get_attr(sp->ssueGCC_ATYP_SECTION)) != NULL)
91                         nextsect = ga->a1.sarg;
92                 if ((ga = gcc_get_attr(sp->ssueGCC_ATYP_WEAK)) != NULL)
93                         weak = 1;
94         }
95 #endif
96
mickey
1.1
97         if (nextsect) {
98                 printf("        .section %s\n"nextsect);
99                 nextsect = NULL;
100                 s = -1;
101         } else if (s != lastloc)
102                 printf("        .%s\n"loctbl[s]);
103         lastloc = s;
104         while (ISARY(t))
105                 t = DECREF(t);
ragge
1.3
106         s = ISFTN(t) ? ALINT : talign(tsp->ssue);
107         if (s > ALCHAR)
108                 printf("        .align %d\n"s/ALCHAR);
ragge
1.6
109         if (weak || sp->sclass == EXTDEF || sp->slevel == 0 || ISFTN(t))
110                 if ((name = sp->soname) == NULL)
111                         name = exname(sp->sname);
112         if (weak)
113                 printf("        .weak %s\n"name);
114         else if (sp->sclass == EXTDEF)
115                 printf("        .globl %s\n"name);
mickey
1.1
116         if (ISFTN(t))
ragge
1.6
117                 printf("\t.type %s,@function\n"name);
mickey
1.1
118         if (sp->slevel == 0)
ragge
1.6
119                 printf("%s:\n"name);
mickey
1.1
120         else
121                 printf(LABFMT ":\n"sp->soffset);
122 }
123
124 /*
125  * code for the end of a function
126  * deals with struct return here
127  */
128 void
129 efcode()
130 {
131         extern int gotnr;
132         NODE *p, *q;
133
134         gotnr = 0;      /* new number for next fun */
135         if (cftnsp->stype != STRTY+FTN && cftnsp->stype != UNIONTY+FTN)
136                 return;
137         /* Create struct assignment */
138         q = block(OREGNILNILPTR+STRTY0cftnsp->ssue);
ragge
1.5
139         q->n_rval = RBP;
mickey
1.1
140         q->n_lval = 8/* return buffer offset */
141         q = buildtree(UMULqNIL);
142         p = block(REGNILNILPTR+STRTY0cftnsp->ssue);
143         p = buildtree(UMULpNIL);
144         p = buildtree(ASSIGNqp);
145         ecomp(p);
146 }
147
148 /*
149  * code for the beginning of a function; a is an array of
150  * indices in symtab for the arguments; n is the number
151  */
152 void
ragge
1.8
153 bfcode(struct symtab **sint cnt)
mickey
1.1
154 {
ragge
1.11
155         union arglist *al;
ragge
1.8
156         struct symtab *sp;
157         NODE *p, *r;
158         int irnotyp;
mickey
1.1
159
160         if (cftnsp->stype == STRTY+FTN || cftnsp->stype == UNIONTY+FTN) {
161                 /* Function returns struct, adjust arg offset */
162                 for (i = 0i < cnti++) 
ragge
1.8
163                         s[i]->soffset += SZPOINT(LONG);
mickey
1.1
164         }
165
166         /* recalculate the arg offset and create TEMP moves */
ragge
1.8
167         /* Always do this for reg, even if not optimizing, to free arg regs */
ragge
1.9
168         nsse = ngpr = 0;
169         nrsp = ARGINIT;
ragge
1.8
170         for (i = 0i < cnti++) {
171                 sp = s[i];
172
173                 if (sp == NULL)
174                         continue/* XXX when happens this? */
175
176                 switch (typ = argtyp(sp->stypesp->sdfsp->ssue)) {
177                 case INTEGER:
178                 case SSE:
179                         if (typ == SSE)
180                                 rno = XMM0 + nsse++;
181                         else
182                                 rno = argregsi[ngpr++];
183                         r = block(REGNILNILsp->stypesp->sdfsp->ssue);
184                         regno(r) = rno;
185                         p = tempnode(0sp->stypesp->sdfsp->ssue);
186                         sp->soffset = regno(p);
187                         sp->sflags |= STNODE;
188                         ecomp(buildtree(ASSIGNpr));
189                         break;
ragge
1.9
190
191                 case INTMEM:
192                         sp->soffset = nrsp;
193                         nrsp += SZLONG;
194                         if (xtemps) {
195                                 p = tempnode(0sp->stypesp->sdfsp->ssue);
196                                 p = buildtree(ASSIGNpnametree(sp));
197                                 sp->soffset = regno(p->n_left);
198                                 sp->sflags |= STNODE;
199                                 ecomp(p);
200                         }
201                         break;
202
ragge
1.8
203                 default:
ragge
1.9
204                         cerror("bfcode: %d"typ);
mickey
1.1
205                 }
206         }
ragge
1.11
207
208         /* Check if there are varargs */
209         if (cftnsp->sdf == NULL || cftnsp->sdf->dfun == NULL)
210                 return/* no prototype */
211         al = cftnsp->sdf->dfun;
212         for (; al->type != TELLIPSISal++) {
213                 if (al->type == TNULL)
214                         return;
215                 if (al->type == STRTY || ISARY(al->type))
216                         al++;
217         }
218
219         /* fix stack offset */
220         SETOFF(autooffALMAX);
221
222         /* Save reg arguments in the reg save area */
223         p = NIL;
224         for (i = ngpri < 6i++) {
225                 r = block(REGNILNILLONG0MKSUE(LONG));
226                 regno(r) = argregsi[i];
227                 r = movtomem(r, -RSALONGOFF(i)-autooff);
228                 p = (p == NIL ? r : block(COMOPprINT0MKSUE(INT)));
229         }
230         for (i = nssei < 8i++) {
231                 r = block(REGNILNILDOUBLE0MKSUE(DOUBLE));
232                 regno(r) = i + XMM0;
233                 r = movtomem(r, -RSADBLOFF(i)-autooff);
234                 p = (p == NIL ? r : block(COMOPprINT0MKSUE(INT)));
235         }
236         autooff += RSASZ;
237         rsaoff = autooff;
238
239         ecomp(p);
mickey
1.1
240 }
241
242
243 /*
244  * by now, the automatics and register variables are allocated
245  */
246 void
247 bccode()
248 {
249         SETOFF(autooffSZINT);
250 }
251
252 /* called just before final exit */
253 /* flag is 1 if errors, 0 if none */
254 void
255 ejobcode(int flag )
256 {
257 #define _MKSTR(x) #x
258 #define MKSTR(x) _MKSTR(x)
259 #define OS MKSTR(TARGOS)
260         printf("\t.ident \"PCC: %s (%s)\"\n\t.end\n"PACKAGE_STRINGOS);
261 }
262
ragge
1.11
263 /*
264  * Varargs stuff:
265  * The ABI says that va_list should be declared as this typedef.
266  * We handcraft it here and then just reference it.
267  *
268  * typedef struct {
269  *      unsigned int gp_offset;
270  *      unsigned int fp_offset;
271  *      void *overflow_arg_area;
272  *      void *reg_save_area;
273  * } __builtin_va_list[1];
274  */
275 static char *gp_offset, *fp_offset, *overflow_arg_area, *reg_save_area;
mickey
1.1
276 void
277 bjobcode()
278 {
ragge
1.11
279         struct rstack *rp;
280         NODE *p, *q;
281         char *c;
282
283         gp_offset = addname("gp_offset");
284         fp_offset = addname("fp_offset");
285         overflow_arg_area = addname("overflow_arg_area");
286         reg_save_area = addname("reg_save_area");
287
288         rp = bstruct(NULLSTNAMENULL);
289         p = block(NAMENILNILUNSIGNED0MKSUE(UNSIGNED));
290         soumemb(pgp_offset0);
291         soumemb(pfp_offset0);
292         p->n_type = VOID+PTR;
293         p->n_sue = MKSUE(VOID);
294         soumemb(poverflow_arg_area0);
295         soumemb(preg_save_area0);
296         nfree(p);
297         q = dclstruct(rp);
298         c = addname("__builtin_va_list");
299         p = block(LBbdty(NAMEc), bcon(1), INT0MKSUE(INT));
300         p = tymerge(qp);
301         p->n_sp = lookup(c0);
302         defid(pTYPEDEF);
303         nfree(q);
304         nfree(p);
305 }
306
307 static NODE *
308 mkstkref(int offTWORD typ)
309 {
310         NODE *p;
311
312         p = block(REGNILNILPTR|typ0MKSUE(LONG));
313         regno(p) = FPREG;
314         return buildtree(PLUSpbcon(off/SZCHAR));
315 }
316
317 NODE *
318 amd64_builtin_stdarg_start(NODE *fNODE *a)
319 {
320         NODE *p, *r;
321
322         /* check num args and type */
323         if (a == NULL || a->n_op != CM || a->n_left->n_op == CM ||
324             !ISPTR(a->n_left->n_type))
325                 goto bad;
326
327         /* use the values from the function header */
328         p = a->n_left;
329         r = buildtree(ASSIGNstructref(ccopy(p), STREFreg_save_area),
330             mkstkref(-rsaoffVOID));
331         r = buildtree(COMOPr,
332             buildtree(ASSIGNstructref(ccopy(p), STREFoverflow_arg_area),
333             mkstkref(ARGINITVOID)));
334         r = buildtree(COMOPr,
335             buildtree(ASSIGNstructref(ccopy(p), STREFgp_offset),
336             bcon(ngpr*(SZLONG/SZCHAR))));
337         r = buildtree(COMOPr,
338             buildtree(ASSIGNstructref(ccopy(p), STREFfp_offset),
339             bcon(nsse*(SZDOUBLE*2/SZCHAR)+48)));
340
341         tfree(f);
342         tfree(a);
343         return r;
344 bad:
345         uerror("bad argument to __builtin_stdarg_start");
346         return bcon(0);
mickey
1.1
347 }
348
ragge
1.12
349 /*
350  * Create a tree that should be like the expression
351  *      ((long *)(l->gp_offset >= 48 ?
352  *          l->overflow_arg_area += 8, l->overflow_arg_area :
353  *          l->gp_offset += 8, l->reg_save_area + l->gp_offset))[-1]
354  */
355 static NODE *
356 bva(NODE *ap)
357 {
358         NODE *cm1, *cm2, *gpo, *ofa, *l1, *qc;
359
360         ofa = structref(ccopy(ap), STREFoverflow_arg_area);
361         l1 = buildtree(PLUSEQccopy(ofa), bcon(8));
362         cm1 = buildtree(COMOPl1ofa);
363
364         gpo = structref(ccopy(ap), STREFgp_offset);
365         l1 = buildtree(PLUSEQccopy(gpo), bcon(8));
366         cm2 = buildtree(COMOPl1buildtree(PLUSccopy(gpo),
367             structref(ccopy(ap), STREFreg_save_area)));
368         qc = buildtree(QUEST,
369             buildtree(GEgpobcon(48)),
370             buildtree(COLONcm1cm2));
371         l1 = block(NAMENILNILLONG|PTR0MKSUE(LONG));
372         l1 = buildtree(CASTl1qc);
373         nfree(l1->n_left);
374         nfree(l1);
375         return buildtree(UMULbuildtree(PLUSqcbcon(-8)), NIL);
376 }
377
ragge
1.11
378 NODE *
ragge
1.12
379 amd64_builtin_va_arg(NODE *fNODE *a)
380 {
381         NODE *ap, *r;
382
383         /* check num args and type */
384         if (a == NULL || a->n_op != CM || a->n_left->n_op == CM ||
385             !ISPTR(a->n_left->n_type) || a->n_right->n_op != TYPE)
386                 goto bad;
387
388         ap = a->n_left;
389         if (ap->n_type <= ULONGLONG || ISPTR(ap->n_type)) {
390                 /* type might be in general register */
391                 /* we create a ?: construction of it */
392                 r = bva(ap);
393         } else {
394                 cerror("amd64_builtin_va_arg");
395                 goto bad/* XXX */
396         }
397         tfree(a);
398         tfree(f);
399         return r;
400 bad:
401         uerror("bad argument to __builtin_va_arg");
402         return bcon(0);
403 }
ragge
1.11
404
405 NODE *
406 amd64_builtin_va_end(NODE *fNODE *a) { cerror("amd64_builtin_va_end"); return NULL; }
407
408 NODE *
409 amd64_builtin_va_copy(NODE *fNODE *a) { cerror("amd64_builtin_va_copy"); return NULL; }
410
ragge
1.7
411 static NODE *
412 movtoreg(NODE *pint rno)
mickey
1.1
413 {
414         NODE *r;
415
ragge
1.9
416         r = block(REGNILNILp->n_typep->n_dfp->n_sue);
ragge
1.7
417         regno(r) = rno;
418         return clocal(buildtree(ASSIGNrp));
419 }  
420
ragge
1.9
421 static NODE *
422 movtomem(NODE *pint off)
423 {
424         struct symtab s;
425         NODE *r, *l;
426
427         s.stype = p->n_type;
428         s.sdf = p->n_df;
429         s.ssue = p->n_sue;
430         s.soffset = off;
ragge
1.11
431         s.sclass = AUTO;
ragge
1.9
432
433         l = block(REGNILNILPTR+STRTY00);
434         l->n_lval = 0;
ragge
1.11
435         regno(l) = FPREG;
ragge
1.9
436
437         r = block(NAMENILNILp->n_typep->n_dfp->n_sue);
438         r->n_sp = &s;
439         r = stref(block(STREFlr000));
440
441         return clocal(buildtree(ASSIGNrp));
442 }  
443
ragge
1.7
444
445 /*
446  * AMD64 parameter classification.
447  */
448 static int
ragge
1.8
449 argtyp(TWORD tunion dimfun *dfstruct suedef *sue)
ragge
1.7
450 {
451         int cl = 0;
452
ragge
1.9
453         if (t <= ULONG || ISPTR(t)) {
ragge
1.7
454                 cl = ngpr < 6 ? INTEGER : INTMEM;
455         } else if (t == FLOAT || t == DOUBLE) {
ragge
1.8
456                 cl = nsse < 8 ? SSE : SSEMEM;
ragge
1.7
457         } else if (t == LDOUBLE) {
458                 cl = X87/* XXX */
459         } else if (t == STRTY) {
ragge
1.8
460                 if (tsize(tdfsue) > 4*SZLONG)
ragge
1.7
461                         cl = STRMEM;
462                 else
463                         cerror("clasif");
464         } else
465                 cerror("FIXME: classify");
466         return cl;
467 }
468
469 static void
470 argput(NODE *p)
471 {
472         NODE *q;
473         int typr;
mickey
1.1
474
ragge
1.7
475         /* first arg may be struct return pointer */
476         /* XXX - check if varargs; setup al */
ragge
1.8
477         switch (typ = argtyp(p->n_typep->n_dfp->n_sue)) {
ragge
1.7
478         case INTEGER:
479         case SSE:
480                 q = talloc();
481                 *q = *p;
482                 if (typ == SSE)
483                         r = XMM0 + nsse++;
484                 else
485                         r = argregsi[ngpr++];
486                 q = movtoreg(qr);
487                 *p = *q;
488                 nfree(q);
489                 break;
490         case X87:
491                 cerror("no long double yet");
492                 break;
ragge
1.9
493
494         case INTMEM:
495                 q = talloc();
496                 *q = *p;
497                 r = nrsp;
498                 nrsp += SZLONG;
499                 q = movtomem(qr);
500                 *p = *q;
501                 nfree(q);
502                 break;
503
ragge
1.7
504         case STRMEM:
505                 /* Struct moved to memory */
506         case STRREG:
507                 /* Struct in registers */
508         default:
ragge
1.9
509                 cerror("argument %d"typ);
mickey
1.1
510         }
ragge
1.7
511 }
mickey
1.1
512
513
514 /*
515  * Called with a function call with arguments as argument.
516  * This is done early in buildtree() and only done once.
517  * Returns p.
518  */
519 NODE *
520 funcode(NODE *p)
521 {
ragge
1.8
522         NODE *l, *r;
mickey
1.1
523
ragge
1.9
524         nsse = ngpr = nrsp = 0;
ragge
1.7
525         listf(p->n_rightargput);
ragge
1.8
526
527         /* Always emit number of SSE regs used */
528         l = movtoreg(bcon(nsse), RAX);
529         if (p->n_right->n_op != CM) {
530                 p->n_right = block(CMlp->n_rightINT0MKSUE(INT));
531         } else {
532                 for (r = p->n_rightr->n_left->n_op == CMr = r->n_left)
533                         ;
534                 r->n_left = block(CMlr->n_leftINT0MKSUE(INT));
535         }
mickey
1.1
536         return p;
537 }
538
539 /*
540  * return the alignment of field of type t
541  */
542 int
543 fldal(unsigned int t)
544 {
545         uerror("illegal field type");
546         return(ALINT);
547 }
548
549 /* fix up type of field p */
550 void
551 fldty(struct symtab *p)
552 {
553 }
554
555 /*
556  * XXX - fix genswitch.
557  */
558 int
559 mygenswitch(int numTWORD typestruct swents **pint n)
560 {
561         return 0;
562 }
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-10-31 18:13 +0100