diff options
| author | 2025-10-19 08:09:09 +0200 | |
|---|---|---|
| committer | 2025-10-19 08:09:09 +0200 | |
| commit | dea8fd171acb54b6d9685422d5e391fb55074008 (patch) | |
| tree | 2c149892f35c5183c9b2a1da4ab437228dc432ef /intrin.c | |
| parent | 3437945692f2b87883a4f066473c9deed50f25f5 (diff) | |
Organize source files into directories
Diffstat (limited to 'intrin.c')
| -rw-r--r-- | intrin.c | 78 |
1 files changed, 0 insertions, 78 deletions
diff --git a/intrin.c b/intrin.c deleted file mode 100644 index b7fefec..0000000 --- a/intrin.c +++ /dev/null @@ -1,78 +0,0 @@ -#include "common.h" -#include "ir.h" - -struct arg { union ref *arg, *ty; }; - -static int -intrin(struct block *blk, int *curi, enum intrin in, struct arg *args, int narg, union irtype ret) -{ - struct instr *this = &instrtab[blk->ins.p[*curi]]; - const struct typedata *td; - union irtype ty; - uint ncopy, step; - - switch (in) { - case 0: assert(0); - case INstructcopy: - assert(narg == 2 && args[0].ty->bits == args[1].ty->bits); - ty = ref2type(*args[0].ty); - assert(ty.isagg); - td = &typedata[ty.cls]; - step = td->align <= 8 ? td->align : 8; - ncopy = td->siz / step; - if (ncopy > 4) { - enum irclass cls = siz2intcls[cls2siz[KPTR]]; - /* memcpy */ - *args[1].ty = *args[0].ty = mktyperef(cls2type(KPTR)); - insertinstr(blk, (*curi)++, mkarginstr(cls2type(cls), mkintcon(cls, td->siz))); - *this = mkinstr(Ocall, 0, mksymref("memcpy"), this->r); - calltab.p[this->r.i].narg = 3; - calltab.p[this->r.i].ret = cls2type(0); - return 0; - } else { - delinstr(blk, (*curi)--); - for (int off = 0; off < td->siz; off += step) { - union ref psrc = *args[1].arg, pdst = *args[0].arg, src; - if (off) { - pdst = insertinstr(blk, ++*curi, mkinstr(Oadd, KPTR, *args[0].arg, mkref(RICON, off))); - psrc = insertinstr(blk, ++*curi, mkinstr(Oadd, KPTR, *args[1].arg, mkref(RICON, off))); - } - src = insertinstr(blk, ++*curi, mkinstr(Oloads1 + 2*ilog2(step), step < 8 ? KI4 : KI8, psrc)); - insertinstr(blk, ++*curi, mkinstr(Ostore1 + ilog2(step), 0, pdst, src)); - } - return 1; - } - } - assert(0); -} - -void -lowerintrin(struct function *fn) -{ - struct block *blk = fn->entry; - static struct arg argsbuf[64]; - vec_of(struct arg) args = VINIT(argsbuf, arraylength(argsbuf)); - - do { - for (int i = 0; i < blk->ins.n; ++i) { - struct instr *ins = &instrtab[blk->ins.p[i]]; - if (ins->op == Oarg) - vpush(&args, ((struct arg){ &ins->r, &ins->l })); - else if (ins->op == Ocall) - vinit(&args, argsbuf, arraylength(argsbuf)); - else if (ins->op == Ointrin) { - int arg0 = i - args.n; - assert(calltab.p[ins->r.i].narg == args.n); - if (intrin(blk, &i, ins->l.i, args.p, args.n, calltab.p[ins->r.i].ret)) - for (int j = args.n; j > 0; --j, --i) - delinstr(blk, arg0); - else - abi0_call(fn, ins, blk, &i); - vinit(&args, argsbuf, arraylength(argsbuf)); - } - } - assert(args.n == 0); - } while ((blk = blk->lnext) != fn->entry); -} - -/* vim:set ts=3 sw=3 expandtab: */ |