summaryrefslogtreecommitdiff
path: root/mips
AgeCommit message (Collapse)Author
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 ↵Robert Norton
of word to store (probably a bug that it does not complain at runtime).
2016-01-27mips.sail: branches are relative to delay slot PC, not branch! Support ↵Robert Norton
config registers in mfc0.
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 ↵Robert Norton
spec. as the overflow flag provided by +_s builtin doesn't seem to do what we want.
2016-01-22mips: revert accidental removal of overflow check from daddi. It is broken ↵Robert Norton
but this is not the fix...
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 ↵Robert Norton
complete execution of test mips program!
2016-01-21mips: rename GPRs so that they sort lexicographically for display.Robert Norton
2016-01-20Decoding a mips instruction :)Kathy Gray
Not executing yet as some previous commit has broken the interpreter's local assignment
2016-01-15mips.sail: Add commented out alternative DSLLV implementation using ↵Robert Norton
bitslicing which is closer to what appears in spec. Might want to swap all the SLLs at some point.
2016-01-07make mips.sail pass sail type checker againKathy Gray
2015-12-22More make file goo, and fixing a typo in run_with_elfKathy Gray
2015-12-22More gluing mips to interpreterKathy 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 ↵Kathy Gray
the type environment finally. (Also small cleaning of the new makefile)
2015-12-17First bit of gluing mips onto interpreter and eventually ppcmem infrastructureKathy Gray
2015-11-25non-working sail/mips interpreter integration for kathy to look at and ↵Robert Norton
example mips elf file.
2015-11-20Initial version of mips sail model.Robert Norton