| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515 |
- #include <assert.h>
- #include <inttypes.h>
- #include <stdio.h>
- #include <string.h>
- #include <linux/bpf.h>
- #include "ir.h"
- #include "sym.h"
- #include "type.h"
- const uint16_t vreg_base = 0x8000;
- static const char *bpf_func_name(enum bpf_func_id id)
- {
- switch (id) {
- case BPF_FUNC_get_current_comm:
- return "get_current_comm";
- case BPF_FUNC_get_current_pid_tgid:
- return "get_current_pid_tgid";
- case BPF_FUNC_get_current_uid_gid:
- return "get_current_uid_gid";
- case BPF_FUNC_get_stackid:
- return "get_stackid";
- case BPF_FUNC_ktime_get_ns:
- return "ktime_get_ns";
- case BPF_FUNC_map_delete_elem:
- return "map_delete_elem";
- case BPF_FUNC_map_lookup_elem:
- return "map_lookup_elem";
- case BPF_FUNC_map_update_elem:
- return "map_update_elem";
- case BPF_FUNC_perf_event_output:
- return "perf_event_output";
- case BPF_FUNC_probe_read:
- return "probe_read";
- case BPF_FUNC_trace_printk:
- return "trace_printk";
- default:
- return NULL;
- }
- }
- static void reg_name(uint16_t reg, char *name)
- {
- if (reg & vreg_base) {
- sprintf(name, "v%u", reg & ~vreg_base);
- } else if (reg == BPF_REG_10) {
- strcpy(name, "bp");
- } else {
- sprintf(name, "r%u", reg);
- }
- }
- static void reg_dump(uint16_t reg, int16_t off, FILE *fp)
- {
- char name[8];
- reg_name(reg, name);
- if (off < 0)
- fprintf(fp, "[%s - 0x%x]", name, -off);
- else if (off > 0)
- fprintf(fp, "[%s + 0x%x]", name, off);
- else
- fprintf(fp, "%s", name);
- }
- static char size_name(uint8_t code)
- {
- switch (BPF_SIZE(code)) {
- case BPF_B: return 'b';
- case BPF_H: return 'h';
- case BPF_W: return 'w';
- case BPF_DW: return 'q';
- }
- return '?';
- }
- static void alu_dump(uint8_t code, FILE *fp)
- {
- switch (BPF_OP(code)) {
- case BPF_MOV: fputs("mov", fp); break;
- case BPF_ADD: fputs("add", fp); break;
- case BPF_SUB: fputs("sub", fp); break;
- case BPF_MUL: fputs("mul", fp); break;
- case BPF_DIV: fputs("div", fp); break;
- case BPF_OR : fputs("or", fp); break;
- case BPF_AND: fputs("and", fp); break;
- case BPF_LSH: fputs("lsh", fp); break;
- case BPF_RSH: fputs("rsh", fp); break;
- case BPF_NEG: fputs("neg", fp); break;
- case BPF_MOD: fputs("mod", fp); break;
- case BPF_XOR: fputs("xor", fp); break;
- }
- switch (BPF_CLASS(code)) {
- case BPF_ALU: fputc(size_name(BPF_W), fp);
- case BPF_ALU64: fputc(size_name(BPF_DW), fp);
- }
- }
- static void offset_dump(int16_t off, FILE *fp)
- {
- if (off < 0)
- fprintf(fp, "L%d", -off);
- else
- fprintf(fp, "+%d", off);
- }
- static void __insn_dump(const struct bpf_insn insn, uint16_t dst, uint16_t src,
- FILE *fp)
- {
- const char *name;
- enum {
- OFF_NONE,
- OFF_DST,
- OFF_SRC,
- OFF_EXP,
- } off = OFF_NONE;
- switch (BPF_CLASS(insn.code)) {
- case BPF_LD:
- case BPF_LDX:
- off = OFF_SRC;
- fprintf(fp, "ld%c", size_name(insn.code));
- break;
- case BPF_ST:
- case BPF_STX:
- off = OFF_DST;
- fprintf(fp, "st%c", size_name(insn.code));
- break;
- case BPF_ALU:
- case BPF_ALU64:
- alu_dump(insn.code, fp);
- break;
- case BPF_JMP:
- off = OFF_EXP;
- switch (BPF_OP(insn.code)) {
- case BPF_EXIT:
- fputs("exit", fp);
- return;
- case BPF_CALL:
- fputs("call\t", fp);
- name = bpf_func_name(insn.imm);
- if (name)
- fputs(name, fp);
- else
- fprintf(fp, "%d", insn.imm);
- return;
- case BPF_JA:
- fputs("ja\t", fp);
- offset_dump(insn.off, fp);
- return;
- case BPF_JEQ: fputs("jeq", fp); break;
- case BPF_JNE: fputs("jne", fp); break;
- case BPF_JGT: fputs("jgt", fp); break;
- case BPF_JGE: fputs("jge", fp); break;
- case BPF_JSGE: fputs("jsge", fp); break;
- case BPF_JSGT: fputs("jsgt", fp); break;
- default:
- goto unknown;
- }
- break;
- default:
- goto unknown;
- }
- fputc('\t', fp);
- reg_dump(dst, off == OFF_DST ? insn.off : 0, fp);
- fputs(", ", fp);
- if (BPF_CLASS(insn.code) == BPF_LDX || BPF_CLASS(insn.code) == BPF_STX)
- goto reg_src;
- switch (BPF_SRC(insn.code)) {
- case BPF_K:
- fprintf(fp, "#%s0x%x", insn.imm < 0 ? "-" : "",
- insn.imm < 0 ? -insn.imm : insn.imm);
- break;
- case BPF_X:
- reg_src:
- reg_dump(src, off == OFF_SRC ? insn.off : 0, fp);
- break;
- }
- if (off == OFF_EXP) {
- fputs(", ", fp);
- offset_dump(insn.off, fp);
- }
- return;
- unknown:
- fprintf(fp, "data\t0x%16.16" PRIx64 "\n", *((uint64_t *)&insn));
- }
- void insn_dump(struct bpf_insn insn, FILE *fp)
- {
- __insn_dump(insn, insn.dst_reg, insn.src_reg, fp);
- }
- void vinsn_dump(struct vinsn *vi, FILE *fp)
- {
- switch (vi->vitype) {
- case VI_INSN:
- __insn_dump(vi->insn.bpf, vi->insn.dst, vi->insn.src, fp);
- return;
- case VI_LDMAP:
- fputs("ldmap\t", fp); reg_dump(vi->map.reg, 0, fp);
- fprintf(fp, ", %s", vi->map.sym->name);
- return;
- case VI_LABEL:
- offset_dump(vi->label, fp);
- fputc(':', fp);
- return;
- case VI_REG_GET:
- case VI_REG_PUT:
- fputs((vi->vitype == VI_REG_GET) ? "+ " : "- ", fp);
- reg_dump(vi->reg, 0, fp);
- return;
- }
- }
- void ir_dump(struct ir *ir, FILE *fp)
- {
- size_t i;
- for (i = 0; i < ir->len; i++) {
- struct vinsn *vi = &ir->vi[i];
- switch (vi->vitype) {
- case VI_INSN:
- case VI_LDMAP:
- fputc('\t', fp);
- break;
- case VI_REG_GET:
- case VI_REG_PUT:
- fputs("\e[2m", fp);
- case VI_LABEL:
- default:
- break;
- }
- vinsn_dump(vi, fp);
- /* print multiple gets/puts on one line */
- switch (vi->vitype) {
- case VI_REG_GET:
- for (; (vi + 1)->vitype == VI_REG_GET; vi++, i++) {
- fputs(", ", fp);
- reg_dump((vi + 1)->reg, 0, fp);
- }
- fputs("\e[0m", fp);
- break;
- case VI_REG_PUT:
- for (; (vi + 1)->vitype == VI_REG_PUT; vi++, i++) {
- fputs(", ", fp);
- reg_dump((vi + 1)->reg, 0, fp);
- }
- fputs("\e[0m", fp);
- break;
- default:
- break;
- }
- fputc('\n', fp);
- }
- }
- static void ir_emit(struct ir *ir, struct vinsn *vi)
- {
- ir->vi = realloc(ir->vi, (++ir->len)*sizeof(*vi));
- assert(ir->vi);
- ir->vi[ir->len - 1] = *vi;
- }
- void ir_emit_insn(struct ir *ir, struct bpf_insn bpf, uint16_t dst, uint16_t src)
- {
- struct vinsn vi;
- vi.vitype = VI_INSN;
- vi.insn.bpf = bpf;
- vi.insn.dst = dst;
- vi.insn.src = src;
- ir_emit(ir, &vi);
- }
- void ir_emit_ldmap(struct ir *ir, uint16_t dst, struct sym *map)
- {
- struct vinsn vi;
- vi.vitype = VI_LDMAP;
- vi.map.reg = dst;
- vi.map.sym = map;
- ir_emit(ir, &vi);
- }
- void ir_emit_label (struct ir *ir, int16_t label)
- {
- struct vinsn vi;
- vi.vitype = VI_LABEL;
- vi.label = label;
- ir_emit(ir, &vi);
- }
- void ir_emit_sym_to_reg(struct ir *ir, uint16_t dst, struct sym *src)
- {
- struct irstate *irs = &src->irs;
- switch (irs->loc) {
- case LOC_IMM:
- ir_emit_insn(ir, MOV_IMM(irs->imm), dst, 0);
- break;
- case LOC_REG:
- if (dst == irs->reg)
- break;
- if (irs->size == 8)
- ir_emit_insn(ir, MOV64, dst, irs->reg);
- else
- ir_emit_insn(ir, MOV, dst, irs->reg);
- break;
- case LOC_STACK:
- ir_emit_insn(ir, LDX(bpf_width(irs->size), irs->stack),
- dst, BPF_REG_BP);
- break;
- default:
- assert(0);
- }
- }
- void ir_emit_reg_to_sym(struct ir *ir, struct sym *dst, uint16_t src)
- {
- struct irstate *irs = &dst->irs;
- switch (irs->loc) {
- case LOC_REG:
- if (irs->reg == src)
- break;
- if (irs->size == 8)
- ir_emit_insn(ir, MOV64, irs->reg, src);
- else
- ir_emit_insn(ir, MOV, irs->reg, src);
- break;
- case LOC_STACK:
- ir_emit_insn(ir, STX(bpf_width(irs->size), irs->stack),
- BPF_REG_BP, src);
- break;
- default:
- assert(0);
- }
- }
- void ir_emit_sym_to_stack(struct ir *ir, ssize_t offset, struct sym *src)
- {
- struct irstate *irs = &src->irs;
- switch (irs->loc) {
- case LOC_IMM:
- ir_emit_insn(ir, ST_IMM(bpf_width(irs->size), offset, irs->imm),
- BPF_REG_BP, 0);
- break;
- case LOC_REG:
- ir_emit_insn(ir, STX(bpf_width(irs->size), offset),
- BPF_REG_BP, irs->reg);
- case LOC_STACK:
- ir_emit_memcpy(ir, offset, irs->stack, irs->size);
- break;
- default:
- assert(0);
- }
- }
- void ir_emit_read_to_sym(struct ir *ir, struct sym *dst, uint16_t src)
- {
- struct irstate *irs = &dst->irs;
- assert(irs->loc == LOC_STACK);
- ir_emit_insn(ir, MOV, BPF_REG_1, BPF_REG_BP);
- ir_emit_insn(ir, ALU_IMM(BPF_ADD, irs->stack), BPF_REG_1, 0);
- ir_emit_insn(ir, MOV_IMM((int32_t)irs->size), BPF_REG_2, 0);
- if (src != BPF_REG_3)
- ir_emit_insn(ir, MOV, BPF_REG_3, src);
- ir_emit_insn(ir, CALL(BPF_FUNC_probe_read), 0, 0);
- /* TODO if (r0) exit(r0); */
- }
- void ir_emit_memcpy(struct ir *ir, ssize_t dst, ssize_t src, size_t size)
- {
- if (dst == src)
- return;
- for (; size >= 8; size -= 8, dst += 8, src += 8) {
- ir_emit_insn(ir, LDX(BPF_DW, src), BPF_REG_0, BPF_REG_BP);
- ir_emit_insn(ir, STX(BPF_DW, dst), BPF_REG_BP, BPF_REG_0);
- }
- if (size >= 4) {
- ir_emit_insn(ir, LDX(BPF_W, src), BPF_REG_0, BPF_REG_BP);
- ir_emit_insn(ir, STX(BPF_W, dst), BPF_REG_BP, BPF_REG_0);
- size -= 4, dst += 4, src += 4;
- }
- if (size >= 2) {
- ir_emit_insn(ir, LDX(BPF_H, src), BPF_REG_0, BPF_REG_BP);
- ir_emit_insn(ir, STX(BPF_H, dst), BPF_REG_BP, BPF_REG_0);
- size -= 2, dst += 2, src += 2;
- }
- if (size >= 1) {
- ir_emit_insn(ir, LDX(BPF_B, src), BPF_REG_0, BPF_REG_BP);
- ir_emit_insn(ir, STX(BPF_B, dst), BPF_REG_BP, BPF_REG_0);
- size -= 1, dst += 1, src += 1;
- }
- assert(size == 0);
- }
- void ir_emit_bzero(struct ir *ir, ssize_t offset, size_t size)
- {
- for (; size >= 8; size -= 8)
- ir_emit_insn(ir, ST_IMM(BPF_DW, offset, 0), BPF_REG_BP, 0);
- if (size >= 4) {
- ir_emit_insn(ir, ST_IMM(BPF_W, offset, 0), BPF_REG_BP, 0);
- size -= 4;
- }
- if (size >= 2) {
- ir_emit_insn(ir, ST_IMM(BPF_H, offset, 0), BPF_REG_BP, 0);
- size -= 2;
- }
- if (size >= 1) {
- ir_emit_insn(ir, ST_IMM(BPF_B, offset, 0), BPF_REG_BP, 0);
- size -= 1;
- }
- assert(size == 0);
- }
- int16_t ir_alloc_label (struct ir *ir)
- {
- return ir->next_label--;
- }
- uint16_t ir_alloc_register(struct ir *ir)
- {
- return ir->next_reg++;
- }
- ssize_t ir_alloc_stack(struct ir *ir, size_t size, size_t align)
- {
- ir->sp -= size;
- if (ir->sp % align)
- ir->sp -= align - (ir->sp & align);
- assert(ir->sp > INT16_MIN);
- return ir->sp;
- }
- void ir_init_irs(struct ir *ir, struct irstate *irs, struct type *t)
- {
- t = type_base(t);
- if (irs->loc)
- return;
- irs->size = type_sizeof(t);
- if ((!irs->hint.stack)
- && ((t->ttype == T_SCALAR) || (t->ttype == T_POINTER))) {
- irs->loc = LOC_REG;
- irs->reg = ir_alloc_register(ir);
- return;
- }
-
- irs->loc = LOC_STACK;
- if (!irs->stack)
- irs->stack = ir_alloc_stack(ir, irs->size, type_alignof(t));
- }
- void ir_init_sym(struct ir *ir, struct sym *sym)
- {
- return ir_init_irs(ir, &sym->irs, sym->type);
- }
- struct ir *ir_new(void)
- {
- struct ir *ir;
- ir = calloc(1, sizeof(*ir));
- assert(ir);
- ir->next_reg = vreg_base;
- ir->next_label = -1;
- return ir;
- }
|