Support setting ISA/subsets with --isa flag
[riscv-isa-sim.git] / riscv / mmu.cc
1 // See LICENSE for license details.
2
3 #include "mmu.h"
4 #include "sim.h"
5 #include "processor.h"
6
7 #define LEVELS(xlen) ((xlen) == 32 ? 2 : 3)
8 #define PPN_SHIFT(xlen) ((xlen) == 32 ? 10 : 26)
9 #define PTIDXBITS(xlen) ((xlen) == 32 ? 10 : 9)
10 #define VPN_BITS(xlen) (PTIDXBITS(xlen) * LEVELS(xlen))
11 #define VA_BITS(xlen) (VPN_BITS(xlen) + PGSHIFT)
12
13 mmu_t::mmu_t(char* _mem, size_t _memsz)
14 : mem(_mem), memsz(_memsz), proc(NULL)
15 {
16 flush_tlb();
17 }
18
19 mmu_t::~mmu_t()
20 {
21 }
22
23 void mmu_t::flush_icache()
24 {
25 for (size_t i = 0; i < ICACHE_ENTRIES; i++)
26 icache[i].tag = -1;
27 }
28
29 void mmu_t::flush_tlb()
30 {
31 memset(tlb_insn_tag, -1, sizeof(tlb_insn_tag));
32 memset(tlb_load_tag, -1, sizeof(tlb_load_tag));
33 memset(tlb_store_tag, -1, sizeof(tlb_store_tag));
34
35 flush_icache();
36 }
37
38 void* mmu_t::refill_tlb(reg_t addr, reg_t bytes, bool store, bool fetch)
39 {
40 reg_t idx = (addr >> PGSHIFT) % TLB_ENTRIES;
41 reg_t expected_tag = addr >> PGSHIFT;
42
43 reg_t mstatus = proc ? proc->state.mstatus : 0;
44
45 bool vm_disabled = get_field(mstatus, MSTATUS_VM) == VM_MBARE;
46 bool mode_m = get_field(mstatus, MSTATUS_PRV) == PRV_M;
47 bool mode_s = get_field(mstatus, MSTATUS_PRV) == PRV_S;
48 bool mprv_m = get_field(mstatus, MSTATUS_MPRV) == PRV_M;
49 bool mprv_s = get_field(mstatus, MSTATUS_MPRV) == PRV_S;
50
51 reg_t pgbase;
52 if (vm_disabled || (mode_m && (mprv_m || fetch))) {
53 pgbase = addr & -PGSIZE;
54 // virtual memory is disabled. merely check legality of physical address.
55 if (addr >= memsz)
56 pgbase = -1;
57 } else {
58 pgbase = walk(addr, mode_s || (mode_m && mprv_s), store, fetch);
59 }
60
61 reg_t pgoff = addr & (PGSIZE-1);
62 reg_t paddr = pgbase + pgoff;
63
64 if (pgbase == reg_t(-1)) {
65 if (fetch) throw trap_instruction_access_fault(addr);
66 else if (store) throw trap_store_access_fault(addr);
67 else throw trap_load_access_fault(addr);
68 }
69
70 if (unlikely(tracer.interested_in_range(pgbase, pgbase + PGSIZE, store, fetch)))
71 tracer.trace(paddr, bytes, store, fetch);
72 else
73 {
74 if (tlb_load_tag[idx] != expected_tag) tlb_load_tag[idx] = -1;
75 if (tlb_store_tag[idx] != expected_tag) tlb_store_tag[idx] = -1;
76 if (tlb_insn_tag[idx] != expected_tag) tlb_insn_tag[idx] = -1;
77
78 if (fetch) tlb_insn_tag[idx] = expected_tag;
79 else if (store) tlb_store_tag[idx] = expected_tag;
80 else tlb_load_tag[idx] = expected_tag;
81
82 tlb_data[idx] = mem + pgbase - (addr & ~(PGSIZE-1));
83 }
84
85 return mem + paddr;
86 }
87
88 reg_t mmu_t::walk(reg_t addr, bool supervisor, bool store, bool fetch)
89 {
90 reg_t msb_mask = -(reg_t(1) << (VA_BITS(proc->xlen) - 1));
91 if ((addr & msb_mask) != 0 && (addr & msb_mask) != msb_mask)
92 return -1; // address isn't properly sign-extended
93
94 reg_t base = proc->get_state()->sptbr;
95
96 int xlen = proc->max_xlen;
97 int ptshift = (LEVELS(xlen) - 1) * PTIDXBITS(xlen);
98 for (reg_t i = 0; i < LEVELS(xlen); i++, ptshift -= PTIDXBITS(xlen)) {
99 reg_t idx = (addr >> (PGSHIFT+ptshift)) & ((1<<PTIDXBITS(xlen))-1);
100
101 // check that physical address of PTE is legal
102 reg_t pte_addr = base + idx*sizeof(reg_t);
103 if (pte_addr >= memsz)
104 return -1;
105
106 reg_t* ppte = (reg_t*)(mem+pte_addr);
107 reg_t ppn = *ppte >> PPN_SHIFT(xlen);
108
109 if ((*ppte & PTE_TYPE) == PTE_TYPE_TABLE) { // next level of page table
110 base = ppn << PGSHIFT;
111 } else {
112 // we've found the PTE. check the permissions.
113 if (!PTE_CHECK_PERM(*ppte, supervisor, store, fetch))
114 return -1;
115 // set referenced and possibly dirty bits.
116 *ppte |= PTE_R;
117 if (store)
118 *ppte |= PTE_D;
119 // for superpage mappings, make a fake leaf PTE for the TLB's benefit.
120 reg_t vpn = addr >> PGSHIFT;
121 reg_t addr = (ppn | (vpn & ((reg_t(1) << ptshift) - 1))) << PGSHIFT;
122
123 // check that physical address is legal
124 if (addr >= memsz)
125 return -1;
126
127 return addr;
128 }
129 }
130
131 return -1;
132 }
133
134 void mmu_t::register_memtracer(memtracer_t* t)
135 {
136 flush_tlb();
137 tracer.hook(t);
138 }