| Age | Commit message (Collapse) | Author |
|---|
|
remove temporary hack in TranslateAddr.
|
|
missing psuedo-registers in run_with_elf.
|
|
|
|
|
|
correct state on exception. branchPending does not work because it is cleared before executing the branch delay.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
work (NB hack in TranslateAddress until interpreter translates instuction fetches)
|
|
manual so emulate unsigned comparisons by prepending a zero bit, as in mips spec.
|
|
but test still does not pass, apparently because sail is doing signed comparison for <
|
|
used by ml to translate fetch address.
|
|
|
|
|
|
|
|
of word to store (probably a bug that it does not complain at runtime).
|
|
config registers in mfc0.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
spec. as the overflow flag provided by +_s builtin doesn't seem to do what we want.
|
|
but this is not the fix...
|
|
|
|
|
|
complete execution of test mips program!
|
|
|
|
Not executing yet as some previous commit has broken the interpreter's local assignment
|
|
bitslicing which is closer to what appears in spec. Might want to swap all the SLLs at some point.
|
|
|
|
|
|
|
|
|
|
|
|
the type environment finally.
(Also small cleaning of the new makefile)
|
|
|
|
example mips elf file.
|
|
|
