Quick Search:

View

Revision:
Expand:  
Changeset: MAIN:ragge:20100411095925

Diff

Diff from 1.19 to:

Annotations

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

Annotated File View

ragge
1.19
1 /*      $Id: code.c,v 1.19 2010/04/11 09:59:25 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.14
34 static int thisssethisgprthisrsp;
ragge
1.8
35 enum { INTEGER = 1INTMEMSSESSEMEMX87STRREGSTRMEM };
ragge
1.10
36 static const int argregsi[] = { RDIRSIRDXRCXR08R09 };
ragge
1.11
37 /*
38  * The Register Save Area looks something like this.
39  * It is put first on stack with fixed offsets.
40  * struct {
41  *      long regs[6];
42  *      double xmm[8][2]; // 16 byte in width
43  * };
44  */
45 #define RSASZ           (6*SZLONG+8*2*SZDOUBLE)
46 #define RSALONGOFF(x)   (RSASZ-(x)*SZLONG)
47 #define RSADBLOFF(x)    ((8*2*SZDOUBLE)-(x)*SZDOUBLE*2)
48 /* va_list */
49 #define VAARGSZ         (SZINT*2+SZPOINT(CHAR)*2)
50 #define VAGPOFF(x)      (x)
51 #define VAFPOFF(x)      (x-SZINT)
52 #define VAOFA(x)        (x-SZINT-SZINT)
53 #define VARSA(x)        (x-SZINT-SZINT-SZPOINT(0))
mickey
1.1
54
55 int lastloc = -1;
ragge
1.18
56 static int stroffset;
mickey
1.1
57
ragge
1.8
58 static int argtyp(TWORD tunion dimfun *dfstruct suedef *sue);
ragge
1.14
59 static NODE *movtomem(NODE *pint offint reg);
ragge
1.18
60 static NODE *movtoreg(NODE *pint rno);
ragge
1.8
61
mickey
1.1
62 /*
63  * Define everything needed to print out some data (or text).
64  * This means segment, alignment, visibility, etc.
65  */
66 void
67 defloc(struct symtab *sp)
68 {
69         extern char *nextsect;
70         static char *loctbl[] = { "text""data""section .rodata" };
ragge
1.6
71         int weak = 0;
ragge
1.18
72         char *name;
mickey
1.1
73         TWORD t;
74         int s;
75
76         if (sp == NULL) {
77                 lastloc = -1;
78                 return;
79         }
80         t = sp->stype;
81         s = ISFTN(t) ? PROG : ISCON(cqual(tsp->squal)) ? RDATA : DATA;
ragge
1.18
82         if ((name = sp->soname) == NULL)
83                 name = exname(sp->sname);
mickey
1.1
84 #ifdef TLS
85         if (sp->sflags & STLS) {
86                 if (s != DATA)
87                         cerror("non-data symbol in tls section");
88                 nextsect = ".tdata";
89         }
90 #endif
ragge
1.6
91 #ifdef GCC_COMPAT
92         {
93                 struct gcc_attrib *ga;
94
95                 if ((ga = gcc_get_attr(sp->ssueGCC_ATYP_SECTION)) != NULL)
96                         nextsect = ga->a1.sarg;
97                 if ((ga = gcc_get_attr(sp->ssueGCC_ATYP_WEAK)) != NULL)
98                         weak = 1;
ragge
1.18
99                 if (gcc_get_attr(sp->ssueGCC_ATYP_DESTRUCTOR)) {
100                         printf("\t.section\t.dtors,\"aw\",@progbits\n");
101                         printf("\t.align 8\n\t.quad\t%s\n"name);
102                         lastloc = -1;
103                 }
104                 if (gcc_get_attr(sp->ssueGCC_ATYP_CONSTRUCTOR)) {
105                         printf("\t.section\t.ctors,\"aw\",@progbits\n");
106                         printf("\t.align 8\n\t.quad\t%s\n"name);
107                         lastloc = -1;
108                 }
ragge
1.19
109                 if ((ga = gcc_get_attr(sp->ssueGCC_ATYP_VISIBILITY)) != NULL)
110                         printf("\t.%s %s\n"ga->a1.sargname);
ragge
1.6
111         }
112 #endif
113
mickey
1.1
114         if (nextsect) {
115                 printf("        .section %s\n"nextsect);
116                 nextsect = NULL;
117                 s = -1;
118         } else if (s != lastloc)
119                 printf("        .%s\n"loctbl[s]);
120         lastloc = s;
121         while (ISARY(t))
122                 t = DECREF(t);
ragge
1.3
123         s = ISFTN(t) ? ALINT : talign(tsp->ssue);
124         if (s > ALCHAR)
125                 printf("        .align %d\n"s/ALCHAR);
ragge
1.6
126         if (weak)
127                 printf("        .weak %s\n"name);
mickey
1.16
128         else if (sp->sclass == EXTDEF) {
129                 printf("\t.globl %s\n"name);
130                 printf("\t.type %s,@%s\n"name,
131                     ISFTN(t)? "function" : "object");
132         }
mickey
1.1
133         if (sp->slevel == 0)
ragge
1.6
134                 printf("%s:\n"name);
mickey
1.1
135         else
136                 printf(LABFMT ":\n"sp->soffset);
137 }
138
139 /*
140  * code for the end of a function
141  * deals with struct return here
142  */
143 void
144 efcode()
145 {
ragge
1.18
146         struct symtab *sp;
mickey
1.1
147         extern int gotnr;
ragge
1.18
148         TWORD t;
149         NODE *p;
mickey
1.1
150
151         gotnr = 0;      /* new number for next fun */
ragge
1.18
152         sp = cftnsp;
153         t = DECREF(sp->stype);
154         if (t != STRTY || t != UNIONTY)
mickey
1.1
155                 return;
ragge
1.18
156         if (argtyp(tsp->sdfsp->ssue) != STRMEM)
157                 return;
158
159         /* Move input value to rax */
160         p = tempnode(stroffsetINCREF(t), sp->sdfsp->ssue);
161         ecomp(movtoreg(pRAX));
162 #if 0
mickey
1.1
163         /* Create struct assignment */
164         q = block(OREGNILNILPTR+STRTY0cftnsp->ssue);
ragge
1.5
165         q->n_rval = RBP;
mickey
1.1
166         q->n_lval = 8/* return buffer offset */
167         q = buildtree(UMULqNIL);
168         p = block(REGNILNILPTR+STRTY0cftnsp->ssue);
169         p = buildtree(UMULpNIL);
170         p = buildtree(ASSIGNqp);
171         ecomp(p);
ragge
1.18
172 #endif
mickey
1.1
173 }
174
175 /*
176  * code for the beginning of a function; a is an array of
177  * indices in symtab for the arguments; n is the number
178  */
179 void
ragge
1.8
180 bfcode(struct symtab **sint cnt)
mickey
1.1
181 {
ragge
1.11
182         union arglist *al;
ragge
1.8
183         struct symtab *sp;
184         NODE *p, *r;
185         int irnotyp;
mickey
1.1
186
187         /* recalculate the arg offset and create TEMP moves */
ragge
1.8
188         /* Always do this for reg, even if not optimizing, to free arg regs */
ragge
1.9
189         nsse = ngpr = 0;
190         nrsp = ARGINIT;
ragge
1.17
191         if (cftnsp->stype == STRTY+FTN || cftnsp->stype == UNIONTY+FTN) {
192                 sp = cftnsp;
ragge
1.18
193                 if (argtyp(DECREF(sp->stype), sp->sdfsp->ssue) == STRMEM) {
194                         r = block(REGNILNILLONG0MKSUE(LONG));
195                         regno(r) = ngpr++;
196                         p = tempnode(0r->n_typer->n_dfr->n_sue);
197                         stroffset = regno(p);
198                         ecomp(buildtree(ASSIGNpr));
199                 }
ragge
1.17
200         }
201
ragge
1.8
202         for (i = 0i < cnti++) {
203                 sp = s[i];
204
205                 if (sp == NULL)
206                         continue/* XXX when happens this? */
207
208                 switch (typ = argtyp(sp->stypesp->sdfsp->ssue)) {
209                 case INTEGER:
210                 case SSE:
211                         if (typ == SSE)
212                                 rno = XMM0 + nsse++;
213                         else
214                                 rno = argregsi[ngpr++];
215                         r = block(REGNILNILsp->stypesp->sdfsp->ssue);
216                         regno(r) = rno;
217                         p = tempnode(0sp->stypesp->sdfsp->ssue);
218                         sp->soffset = regno(p);
219                         sp->sflags |= STNODE;
220                         ecomp(buildtree(ASSIGNpr));
221                         break;
ragge
1.9
222
223                 case INTMEM:
224                         sp->soffset = nrsp;
225                         nrsp += SZLONG;
226                         if (xtemps) {
227                                 p = tempnode(0sp->stypesp->sdfsp->ssue);
228                                 p = buildtree(ASSIGNpnametree(sp));
229                                 sp->soffset = regno(p->n_left);
230                                 sp->sflags |= STNODE;
231                                 ecomp(p);
232                         }
233                         break;
234
ragge
1.17
235                 case STRMEM/* Struct in memory */
236                         sp->soffset = nrsp;
237                         nrsp += tsize(sp->stypesp->sdfsp->ssue);
238                         break;
239
240                 case STRREG/* Struct in register */
241                         /* Allocate space on stack for the struct */
242                         /* For simplicity always fetch two longwords */
243                         autooff += (2*SZLONG);
244
245                         r = block(REGNILNILLONG0MKSUE(LONG));
246                         regno(r) = argregsi[ngpr++];
247                         ecomp(movtomem(r, -autooffFPREG));
248
249                         if (tsize(sp->stypesp->sdfsp->ssue) > SZLONG) {
250                                 r = block(REGNILNILLONG0MKSUE(LONG));
251                                 regno(r) = argregsi[ngpr++];
252                                 ecomp(movtomem(r, -autooff+SZLONGFPREG));
253                         }
254
255                         sp->soffset = -autooff;
256                         break;
257
ragge
1.8
258                 default:
ragge
1.9
259                         cerror("bfcode: %d"typ);
mickey
1.1
260                 }
261         }
ragge
1.11
262
263         /* Check if there are varargs */
264         if (cftnsp->sdf == NULL || cftnsp->sdf->dfun == NULL)
265                 return/* no prototype */
266         al = cftnsp->sdf->dfun;
ragge
1.15
267
ragge
1.11
268         for (; al->type != TELLIPSISal++) {
269                 if (al->type == TNULL)
270                         return;
ragge
1.15
271                 if (BTYPE(al->type) == STRTY || BTYPE(al->type) == UNIONTY ||
272                     ISARY(al->type))
ragge
1.11
273                         al++;
274         }
275
276         /* fix stack offset */
277         SETOFF(autooffALMAX);
278
279         /* Save reg arguments in the reg save area */
280         p = NIL;
281         for (i = ngpri < 6i++) {
282                 r = block(REGNILNILLONG0MKSUE(LONG));
283                 regno(r) = argregsi[i];
ragge
1.14
284                 r = movtomem(r, -RSALONGOFF(i)-autooffFPREG);
ragge
1.11
285                 p = (p == NIL ? r : block(COMOPprINT0MKSUE(INT)));
286         }
287         for (i = nssei < 8i++) {
288                 r = block(REGNILNILDOUBLE0MKSUE(DOUBLE));
289                 regno(r) = i + XMM0;
ragge
1.14
290                 r = movtomem(r, -RSADBLOFF(i)-autooffFPREG);
ragge
1.11
291                 p = (p == NIL ? r : block(COMOPprINT0MKSUE(INT)));
292         }
293         autooff += RSASZ;
294         rsaoff = autooff;
ragge
1.14
295         thissse = nsse;
296         thisgpr = ngpr;
297         thisrsp = nrsp;
ragge
1.11
298
299         ecomp(p);
mickey
1.1
300 }
301
302
303 /*
304  * by now, the automatics and register variables are allocated
305  */
306 void
307 bccode()
308 {
309         SETOFF(autooffSZINT);
310 }
311
312 /* called just before final exit */
313 /* flag is 1 if errors, 0 if none */
314 void
315 ejobcode(int flag )
316 {
317 #define _MKSTR(x) #x
318 #define MKSTR(x) _MKSTR(x)
319 #define OS MKSTR(TARGOS)
320         printf("\t.ident \"PCC: %s (%s)\"\n\t.end\n"PACKAGE_STRINGOS);
321 }
322
ragge
1.11
323 /*
324  * Varargs stuff:
325  * The ABI says that va_list should be declared as this typedef.
326  * We handcraft it here and then just reference it.
327  *
328  * typedef struct {
329  *      unsigned int gp_offset;
330  *      unsigned int fp_offset;
331  *      void *overflow_arg_area;
332  *      void *reg_save_area;
333  * } __builtin_va_list[1];
334  */
ragge
1.13
335
ragge
1.11
336 static char *gp_offset, *fp_offset, *overflow_arg_area, *reg_save_area;
ragge
1.13
337
mickey
1.1
338 void
339 bjobcode()
340 {
ragge
1.11
341         struct rstack *rp;
342         NODE *p, *q;
343         char *c;
344
345         gp_offset = addname("gp_offset");
346         fp_offset = addname("fp_offset");
347         overflow_arg_area = addname("overflow_arg_area");
348         reg_save_area = addname("reg_save_area");
349
350         rp = bstruct(NULLSTNAMENULL);
351         p = block(NAMENILNILUNSIGNED0MKSUE(UNSIGNED));
352         soumemb(pgp_offset0);
353         soumemb(pfp_offset0);
354         p->n_type = VOID+PTR;
355         p->n_sue = MKSUE(VOID);
356         soumemb(poverflow_arg_area0);
357         soumemb(preg_save_area0);
358         nfree(p);
359         q = dclstruct(rp);
360         c = addname("__builtin_va_list");
361         p = block(LBbdty(NAMEc), bcon(1), INT0MKSUE(INT));
362         p = tymerge(qp);
363         p->n_sp = lookup(c0);
364         defid(pTYPEDEF);
365         nfree(q);
366         nfree(p);
367 }
368
369 static NODE *
370 mkstkref(int offTWORD typ)
371 {
372         NODE *p;
373
374         p = block(REGNILNILPTR|typ0MKSUE(LONG));
375         regno(p) = FPREG;
376         return buildtree(PLUSpbcon(off/SZCHAR));
377 }
378
379 NODE *
380 amd64_builtin_stdarg_start(NODE *fNODE *a)
381 {
382         NODE *p, *r;
383
384         /* check num args and type */
385         if (a == NULL || a->n_op != CM || a->n_left->n_op == CM ||
386             !ISPTR(a->n_left->n_type))
387                 goto bad;
388
389         /* use the values from the function header */
390         p = a->n_left;
391         r = buildtree(ASSIGNstructref(ccopy(p), STREFreg_save_area),
392             mkstkref(-rsaoffVOID));
393         r = buildtree(COMOPr,
394             buildtree(ASSIGNstructref(ccopy(p), STREFoverflow_arg_area),
ragge
1.14
395             mkstkref(thisrspVOID)));
ragge
1.11
396         r = buildtree(COMOPr,
397             buildtree(ASSIGNstructref(ccopy(p), STREFgp_offset),
ragge
1.14
398             bcon(thisgpr*(SZLONG/SZCHAR))));
ragge
1.11
399         r = buildtree(COMOPr,
400             buildtree(ASSIGNstructref(ccopy(p), STREFfp_offset),
ragge
1.14
401             bcon(thissse*(SZDOUBLE*2/SZCHAR)+48)));
ragge
1.11
402
403         tfree(f);
404         tfree(a);
405         return r;
406 bad:
407         uerror("bad argument to __builtin_stdarg_start");
408         return bcon(0);
mickey
1.1
409 }
410
ragge
1.12
411 /*
412  * Create a tree that should be like the expression
413  *      ((long *)(l->gp_offset >= 48 ?
414  *          l->overflow_arg_area += 8, l->overflow_arg_area :
415  *          l->gp_offset += 8, l->reg_save_area + l->gp_offset))[-1]
ragge
1.13
416  * ...or similar for floats.
ragge
1.12
417  */
418 static NODE *
ragge
1.13
419 bva(NODE *apTWORD dtchar *otint addtoint max)
ragge
1.12
420 {
421         NODE *cm1, *cm2, *gpo, *ofa, *l1, *qc;
ragge
1.13
422         TWORD nt;
ragge
1.12
423
424         ofa = structref(ccopy(ap), STREFoverflow_arg_area);
ragge
1.13
425         l1 = buildtree(PLUSEQccopy(ofa), bcon(addto));
ragge
1.12
426         cm1 = buildtree(COMOPl1ofa);
427
ragge
1.13
428         gpo = structref(ccopy(ap), STREFot);
429         l1 = buildtree(PLUSEQccopy(gpo), bcon(addto));
ragge
1.12
430         cm2 = buildtree(COMOPl1buildtree(PLUSccopy(gpo),
431             structref(ccopy(ap), STREFreg_save_area)));
432         qc = buildtree(QUEST,
ragge
1.13
433             buildtree(GEgpobcon(max)),
ragge
1.12
434             buildtree(COLONcm1cm2));
ragge
1.13
435
436         nt = (dt == DOUBLE ? DOUBLE : LONG);
437         l1 = block(NAMENILNILnt|PTR0MKSUE(nt));
438         l1 = buildtree(CASTl1qc);
439         qc = l1->n_right;
440         nfree(l1->n_left);
441         nfree(l1);
442
ragge
1.14
443         /* qc has now a real type, for indexing */
444         addto = dt == DOUBLE ? 2 : 1;
ragge
1.13
445         qc = buildtree(UMULbuildtree(PLUSqcbcon(-addto)), NIL);
446
447         l1 = block(NAMENILNILdt0MKSUE(BTYPE(dt)));
ragge
1.12
448         l1 = buildtree(CASTl1qc);
ragge
1.13
449         qc = l1->n_right;
ragge
1.12
450         nfree(l1->n_left);
451         nfree(l1);
ragge
1.13
452
453         return qc;
ragge
1.12
454 }
455
ragge
1.11
456 NODE *
ragge
1.12
457 amd64_builtin_va_arg(NODE *fNODE *a)
458 {
459         NODE *ap, *r;
ragge
1.13
460         TWORD dt;
ragge
1.12
461
462         /* check num args and type */
463         if (a == NULL || a->n_op != CM || a->n_left->n_op == CM ||
464             !ISPTR(a->n_left->n_type) || a->n_right->n_op != TYPE)
465                 goto bad;
466
467         ap = a->n_left;
ragge
1.13
468         dt = a->n_right->n_type;
469         if (dt <= ULONGLONG || ISPTR(dt)) {
ragge
1.12
470                 /* type might be in general register */
ragge
1.13
471                 r = bva(apdtgp_offset848);
472         } else if (dt == FLOAT || dt == DOUBLE) {
473                 /* Float are promoted to double here */
474                 if (dt == FLOAT)
475                         dt = DOUBLE;
476                 r = bva(apdtfp_offset16RSASZ/SZCHAR);
ragge
1.12
477         } else {
ragge
1.13
478                 uerror("amd64_builtin_va_arg not supported type");
479                 goto bad;
ragge
1.12
480         }
481         tfree(a);
482         tfree(f);
483         return r;
484 bad:
485         uerror("bad argument to __builtin_va_arg");
486         return bcon(0);
487 }
ragge
1.11
488
489 NODE *
ragge
1.13
490 amd64_builtin_va_end(NODE *fNODE *a)
491 {
492         tfree(f);
493         tfree(a);
494         return bcon(0); /* nothing */
495 }
ragge
1.11
496
497 NODE *
498 amd64_builtin_va_copy(NODE *fNODE *a) { cerror("amd64_builtin_va_copy"); return NULL; }
499
ragge
1.7
500 static NODE *
501 movtoreg(NODE *pint rno)
mickey
1.1
502 {
503         NODE *r;
504
ragge
1.9
505         r = block(REGNILNILp->n_typep->n_dfp->n_sue);
ragge
1.7
506         regno(r) = rno;
507         return clocal(buildtree(ASSIGNrp));
508 }  
509
ragge
1.9
510 static NODE *
ragge
1.14
511 movtomem(NODE *pint offint reg)
ragge
1.9
512 {
513         struct symtab s;
514         NODE *r, *l;
515
516         s.stype = p->n_type;
517         s.sdf = p->n_df;
518         s.ssue = p->n_sue;
519         s.soffset = off;
ragge
1.11
520         s.sclass = AUTO;
ragge
1.9
521
522         l = block(REGNILNILPTR+STRTY00);
523         l->n_lval = 0;
ragge
1.14
524         regno(l) = reg;
ragge
1.9
525
526         r = block(NAMENILNILp->n_typep->n_dfp->n_sue);
527         r->n_sp = &s;
528         r = stref(block(STREFlr000));
529
530         return clocal(buildtree(ASSIGNrp));
531 }  
532
ragge
1.7
533
534 /*
535  * AMD64 parameter classification.
536  */
537 static int
ragge
1.8
538 argtyp(TWORD tunion dimfun *dfstruct suedef *sue)
ragge
1.7
539 {
540         int cl = 0;
541
ragge
1.9
542         if (t <= ULONG || ISPTR(t)) {
ragge
1.7
543                 cl = ngpr < 6 ? INTEGER : INTMEM;
544         } else if (t == FLOAT || t == DOUBLE) {
ragge
1.8
545                 cl = nsse < 8 ? SSE : SSEMEM;
ragge
1.7
546         } else if (t == LDOUBLE) {
547                 cl = X87/* XXX */
548         } else if (t == STRTY) {
ragge
1.17
549                 /* XXX no SSEOP handling */
550                 if ((tsize(tdfsue) > 2*SZLONG) ||
551                     (gcc_get_attr(sueGCC_ATYP_PACKED) != NULL))
ragge
1.7
552                         cl = STRMEM;
553                 else
ragge
1.17
554                         cl = STRREG;
ragge
1.7
555         } else
556                 cerror("FIXME: classify");
557         return cl;
558 }
559
560 static void
561 argput(NODE *p)
562 {
563         NODE *q;
ragge
1.17
564         int typrssz;
mickey
1.1
565
ragge
1.7
566         /* first arg may be struct return pointer */
567         /* XXX - check if varargs; setup al */
ragge
1.8
568         switch (typ = argtyp(p->n_typep->n_dfp->n_sue)) {
ragge
1.7
569         case INTEGER:
570         case SSE:
571                 q = talloc();
572                 *q = *p;
573                 if (typ == SSE)
574                         r = XMM0 + nsse++;
575                 else
576                         r = argregsi[ngpr++];
577                 q = movtoreg(qr);
578                 *p = *q;
579                 nfree(q);
580                 break;
581         case X87:
582                 cerror("no long double yet");
583                 break;
ragge
1.9
584
585         case INTMEM:
586                 q = talloc();
587                 *q = *p;
588                 r = nrsp;
589                 nrsp += SZLONG;
ragge
1.14
590                 q = movtomem(qrSTKREG);
ragge
1.9
591                 *p = *q;
592                 nfree(q);
593                 break;
594
ragge
1.17
595         case STRREG/* Struct in registers */
596                 /* Cast to long pointer and move to the registers */
597                 ssz = tsize(p->n_typep->n_dfp->n_sue);
598
599                 if (ssz <= SZLONG) {
600                         q = cast(p->n_leftLONG+PTR0);
601                         q = buildtree(UMULqNIL);
602                         q = movtoreg(qargregsi[ngpr++]);
603                         *p = *q;
604                         nfree(q);
605                 } else if (ssz <= SZLONG*2) {
606                         NODE *qt, *q1, *q2, *ql, *qr;
607
608                         qt = tempnode(0LONG+PTR0MKSUE(LONG));
609                         q1 = ccopy(qt);
610                         q2 = ccopy(qt);
611                         ql = buildtree(ASSIGNqtcast(p->n_left,LONG+PTR0));
612                         qr = movtoreg(buildtree(UMULq1NIL),
613                             argregsi[ngpr++]);
614                         ql = buildtree(COMOPqlqr);
615                         qr = buildtree(UMULbuildtree(PLUSq2bcon(1)), NIL);
616                         qr = movtoreg(qrargregsi[ngpr++]);
617                         q = buildtree(COMOPqlqr);
618                         *p = *q;
619                         nfree(q);
620                 } else
621                         cerror("STRREG");
622                 break;
623
ragge
1.7
624         case STRMEM:
625                 /* Struct moved to memory */
626         default:
ragge
1.9
627                 cerror("argument %d"typ);
mickey
1.1
628         }
ragge
1.7
629 }
mickey
1.1
630
631
632 /*
633  * Called with a function call with arguments as argument.
634  * This is done early in buildtree() and only done once.
635  * Returns p.
636  */
637 NODE *
638 funcode(NODE *p)
639 {
ragge
1.8
640         NODE *l, *r;
mickey
1.1
641
ragge
1.9
642         nsse = ngpr = nrsp = 0;
ragge
1.17
643         /* Check if hidden arg needed */
644         /* If so, add it in pass2 */
645         if ((l = p->n_left)->n_type == INCREF(FTN)+STRTY ||
646             l->n_type == INCREF(FTN)+UNIONTY) {
647                 int ssz = tsize(BTYPE(l->n_type), l->n_dfl->n_sue);
648                 if (ssz > 2*SZLONG)
649                         ngpr++;
650         }
ragge
1.7
651         listf(p->n_rightargput);
ragge
1.8
652
653         /* Always emit number of SSE regs used */
654         l = movtoreg(bcon(nsse), RAX);
655         if (p->n_right->n_op != CM) {
656                 p->n_right = block(CMlp->n_rightINT0MKSUE(INT));
657         } else {
658                 for (r = p->n_rightr->n_left->n_op == CMr = r->n_left)
659                         ;
660                 r->n_left = block(CMlr->n_leftINT0MKSUE(INT));
661         }
mickey
1.1
662         return p;
663 }
664
665 /*
666  * return the alignment of field of type t
667  */
668 int
669 fldal(unsigned int t)
670 {
671         uerror("illegal field type");
672         return(ALINT);
673 }
674
675 /* fix up type of field p */
676 void
677 fldty(struct symtab *p)
678 {
679 }
680
681 /*
682  * XXX - fix genswitch.
683  */
684 int
685 mygenswitch(int numTWORD typestruct swents **pint n)
686 {
687         return 0;
688 }
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-09-21 00:05 +0200