diff options
| author | Gabriel Kerneis | 2014-02-28 16:05:19 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-28 16:05:19 +0000 |
| commit | 62b80e6fc907d8d3d94266a36f7170b83320686a (patch) | |
| tree | bdcc7f62a8a2ee5882c09cff30d2fbf3dde9a5d9 /src/lem_interp | |
| parent | 4baec1546cd0f1ddf43eba93e4daa4634ce1d9df (diff) | |
Fetch-decode POWER interpreter
Many limitations and bugs currently, but loads binary and decodes
opcodes correctly (using endianness hacks). Disabled in the default
test suite (but still compiled), run "make test_power" to try it.
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 938724f1..b80c3fe7 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -74,8 +74,8 @@ let function_map = [ ("to_num_inc", to_num_inc); ("to_num_dec", to_num_dec); (* XXX the size of the target vector should be given by the interpreter *) - ("to_vec_inc", to_vec_inc 8); - ("to_vec_dec", to_vec_dec 8); + ("to_vec_inc", to_vec_inc 64); + ("to_vec_dec", to_vec_dec 64); ] ;; let eval_external name v = (Maybe_extra.fromJust (List.lookup name function_map)) v ;; |