| Age | Commit message (Collapse) | Author |
|---|
|
bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.
|
|
|
|
load simboot + kernel.
|
|
|
|
neater access to registers of single bit.
|
|
|
|
dependency on ocaml uint library by using it.
|
|
bit_int_of_int. Likely very little performance benefit but slightly more readable.
|
|
|
|
Also makes the check function in type_check tail recursive.
|
|
potential speedup.
|
|
|
|
|
|
enable gprof profiling)
|
|
need to use power.
|
|
|
|
|
|
restructuing switch as if
|
|
|
|
doesn't mistake the - for minus operator
|
|
between them using a command line switch.
|
|
|
|
Necessary to pass test_cp2_tagmem test. TODO make this configurable.
|
|
|
|
|
|
|
|
neq_range.
|
|
|
|
|
|
|
|
|
|
permit_load_cap not set.
|
|
register reads.
|
|
|
|
|
|
exceptions are not permitted so a local mutable variable, ret, is used in ocaml to store the return value. This avoids having to define a new exception type for each function. Ocaml infers the type of the option when it is assigned at the return site.
|
|
|
|
bit (specifically it caused generated ocaml to fail to type check for an undef number.
|
|
|
|
taking account of register direction.
|
|
way but standard for C and most hw.
|
|
more correct
|
|
test_raw_cache_write_to_use test
|
|
|
|
|
|
accidentally replacing Vregister with Vvalue or Vregister... Seems to work for MIPS but not sure if might encounter vector of something other than bit or register. A more specific value type would have made this a compile-time error rather than run-time.
|
|
embedding test setup.
|
|
|
|
|
|
|
