summaryrefslogtreecommitdiff
path: root/mips/mips.sail
AgeCommit message (Expand)Author
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-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
2016-01-28mips.sail: fix back-to-front operands of DSLLV.Robert Norton
2016-01-28mips.sail: fix incorrect decode of DSLLVRobert Norton
2016-01-28mips.sail: split store cases by word width as sail needs to know which bit of...Robert Norton
2016-01-27mips.sail: branches are relative to delay slot PC, not branch! Support config...Robert Norton
2016-01-27mips.sail: produce undefined result for division by zero instead of crashing.Robert Norton
2016-01-27actually commit the new mips fileKathy Gray
2016-01-27mips.sail: further support for CP0 registers needed to run tests.Robert Norton
2016-01-26mips.sail: beginning of mfc0 implementation.Robert Norton
2016-01-26mips.sail: fix bugs in DSRL32 and DSRLVRobert Norton
2016-01-26mips.sail: work around sail bug in equality comparing bit vector to integerRobert Norton
2016-01-26mips.sail: 32-bit load linked should sign extend result.Robert Norton
2016-01-26mips: fix encoding of DSRAV.Robert Norton
2016-01-25mips.sail: modify overflow check to do exactly what is described in the spec....Robert Norton
2016-01-22mips: revert accidental removal of overflow check from daddi. It is broken bu...Robert Norton
2016-01-22mips: fix PC update logic so branches might work.Robert Norton
2016-01-21mips.sail: fix alignment check for memory accesses.Robert Norton
2016-01-21add another encoding for HCF instruction and add execute clause -> first comp...Robert Norton
2016-01-21mips: rename GPRs so that they sort lexicographically for display.Robert Norton
2016-01-20Decoding a mips instruction :)Kathy Gray
2016-01-15mips.sail: Add commented out alternative DSLLV implementation using bitslicin...Robert Norton
2016-01-07make mips.sail pass sail type checker againKathy Gray
2015-12-21Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2Christopher
2015-12-21fixes, pp progressChristopher
2015-12-17Remove external functions that the library provides, having added them to the...Kathy Gray
2015-11-25non-working sail/mips interpreter integration for kathy to look at and exampl...Robert Norton
2015-11-20Initial version of mips sail model.Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:54:25 +0000