summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Expand)Author
2016-05-18Implement 8-entry software-managed TLB.Robert Norton
2016-05-13implement config registers.Robert Norton
2016-05-13do something a bit more interesting with WAIT.Robert Norton
2016-05-13fixes to make counter interrupt work: don't attempt to read register fields d...Robert Norton
2016-05-13don't write 33-bit value to hwrena (suprised that this type checked).Robert Norton
2016-05-12allow writing hwrena 29 (UserLocal)Robert Norton
2016-05-12Implement count/compare registers for timer interrupts and rdhwr instruction.Robert Norton
2016-05-12update/add some commentsRobert Norton
2016-05-12remove redundant wrapper function 'TranslateOrExit' and rename uses.Robert Norton
2016-05-12Enforce kernel only access to kernel address space. Doesn't really make any d...Robert Norton
2016-05-10Clear LLbit on ERET regardless of ERL value.Robert Norton
2016-05-10Implement mfc0/mtc0 ErrorEPC.Robert Norton
2016-05-10calculate signed modulus using quot as ocaml and mips disagree about what the...Robert Norton
2016-05-09explicitly give result value for slti to workaround probable sail bug produci...Robert Norton
2016-05-09work around problem with <_s using signedRobert Norton
2016-05-04check for PC alignment on instruction fetch.Robert Norton
2016-05-03fix cheri and mips sail following change to type of TranslateAddress -- can n...Robert Norton
2016-04-29use the correct exception vector for ccall/creturn.Robert Norton
2016-04-28implement (hopefully) correct exception behaviour wrt PCC/EPCC. Required shuf...Robert Norton
2016-04-27mips: fix error caused by TranslateAddress having wrong name.Robert Norton
2016-04-27cheri: add translation and bounds checking of PC via PCC. Slightly clunky imp...Robert Norton
2016-04-22Add address calculation wrapper to constrain and translate standard mips load...Robert Norton
2016-04-21Introduce wrapper function around MEMw* so that we can clear tags on non-capa...Robert Norton
2016-04-13add tagr and tagw in mips_extras (will need to change these to make tag write...Robert Norton
2016-04-13Put in a cast into sltiKathy Gray
2016-03-07Split mips.sail into three file and make use of the new -o option in preparat...Robert Norton
2016-02-23Several fixesKathy Gray
2016-02-11mips.sail: add cast to bit to work around type error recently introduced by o...Robert Norton
2016-02-10mips.sail: make unimplemented/non-existent throw a reserved instruction excep...Robert Norton
2016-02-10mips.sail: add mfc0 support for some cp0 registers even though they aren't pr...Robert Norton
2016-02-10mips.sail: use exit whenever SignalException is called.Robert Norton
2016-02-04Cast to int in DIV instructions to avoid weird undefined results from vector ...Robert Norton
2016-02-04mips.sail: don't set HI and LO to undefined on MUL but just leave them as the...Robert Norton
2016-02-03mips: finish implementing address translation on instruction fetch and remove...Robert Norton
2016-02-03mips: add support for LLAddr, a debug register used for ll/sc. Also add missi...Robert Norton
2016-02-03mips_extras.lem: fix typo in spelling of MEM_sync.Robert Norton
2016-02-02mips.sail: workaround for sail bugRobert Norton
2016-02-02mips.sail: add an 'inBranchDelay' register so that SignalException can set co...Robert Norton
2016-02-02mips.sail: TranslateAddress hack maps all xkphys addresses to 0x9... regionRobert Norton
2016-02-01mips.sail: fix mfc0 of config register.Robert Norton
2016-02-01mips.sail: fix decode of trap instructions.Robert Norton
2016-02-01mips.sail: workaround oddness in comparison in MOVN and MOVZ. sail bug?Robert Norton
2016-02-01mips.sail: add support for BadVaddr CP0 register.Robert Norton
2016-02-01mips.sail: fix decoding of BEQL instruction.Robert Norton
2016-02-01mips.sail: fix compilation error in mfc0 causeRobert Norton
2016-01-29mips.sail: further filling out CP0 behaviour getting exceptions to sort of wo...Robert Norton
2016-01-29mips.sail: it turns out that all sail comparisons are signed contrary to manu...Robert Norton
2016-01-28Add test for sltu. Fixed decode function which was returning wrong ast node b...Robert Norton
2016-01-28mips.sail: start to fill out TranslateAddress. Change type so that it can be ...Robert Norton
2016-01-28mips.sail: fix infamous lwr and ldr (now pass tests).Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-30 03:43:29 +0000