From 9ccb331bcab4510f93309ffe4751534a129bca22 Mon Sep 17 00:00:00 2001 From: Mikael Pettersson Date: Mon, 13 Jul 2020 20:56:44 +0200 Subject: [PATCH] sim: sim_core: move handle_MOVEI/4 to sim_moves, add unit test --- erlang/apps/sim/src/sim_core.erl | 6 +----- erlang/apps/sim/src/sim_moves.erl | 7 +++++++ erlang/apps/sim/test/sim_moves_tests.erl | 11 +++++++++++ 3 files changed, 19 insertions(+), 5 deletions(-) diff --git a/erlang/apps/sim/src/sim_core.erl b/erlang/apps/sim/src/sim_core.erl index 07ef54b..09f5fcc 100644 --- a/erlang/apps/sim/src/sim_core.erl +++ b/erlang/apps/sim/src/sim_core.erl @@ -225,17 +225,13 @@ dispatch(Core, Mem, IR, EA) -> case IR bsr 4 of 8#104 -> sim_kernel:handle_JSYS(Core, Mem, IR, EA); 8#200 -> sim_moves:handle_MOVE(Core, Mem, IR, EA); - 8#201 -> handle_MOVEI(Core, Mem, IR, EA); + 8#201 -> sim_moves:handle_MOVEI(Core, Mem, IR, EA); 8#250 -> sim_moves:handle_EXCH(Core, Mem, IR, EA); _ -> PC = (Core#core.pc_section bsl 18) bor Core#core.pc_offset, {Core, Mem, {error, {?MODULE, {dispatch, PC, IR, EA}}}} end. -handle_MOVEI(Core, Mem, IR, #ea{offset = E}) -> - AC = IR band 8#17, - next_pc(set_ac(Core, AC, E), Mem). - %% Page Fault Handling ========================================================= -spec page_fault(#core{}, sim_mem:mem(), word(), atom(), term(), fun()) diff --git a/erlang/apps/sim/src/sim_moves.erl b/erlang/apps/sim/src/sim_moves.erl index 211b0f9..3afb7aa 100644 --- a/erlang/apps/sim/src/sim_moves.erl +++ b/erlang/apps/sim/src/sim_moves.erl @@ -26,6 +26,7 @@ -export([ handle_EXCH/4 , handle_MOVE/4 + , handle_MOVEI/4 ]). -include("sim_core.hrl"). @@ -71,6 +72,12 @@ handle_MOVE(Core, Mem, IR, EA) -> fun(Core1, Mem1) -> handle_MOVE(Core1, Mem1, IR, EA) end) end. +-spec handle_MOVEI(#core{}, sim_mem:mem(), IR :: word(), #ea{}) + -> {#core{}, sim_mem:mem(), {ok, integer()} | {error, {module(), term()}}}. +handle_MOVEI(Core, Mem, IR, #ea{offset = E}) -> + AC = IR band 8#17, + sim_core:next_pc(sim_core:set_ac(Core, AC, E), Mem). + %% Miscellaneous =============================================================== ea_address(#ea{section = Section, offset = Offset}) -> diff --git a/erlang/apps/sim/test/sim_moves_tests.erl b/erlang/apps/sim/test/sim_moves_tests.erl index a7bd3d5..8363cd1 100644 --- a/erlang/apps/sim/test/sim_moves_tests.erl +++ b/erlang/apps/sim/test/sim_moves_tests.erl @@ -85,6 +85,17 @@ move_test() -> [ {#ea{section = 1, offset = 1, islocal = false}, 8#42} % AC1 = 42 ]). +movei_test() -> + Prog = + [ {1, 8#100, ?INSN(?OP_MOVEI, 1, 0, 0, 8#200)} % 1,,100/ MOVEI 1,200 + , {1, 8#101, ?INSN_INVALID} % 1,,101/ + ], + %% Note that the EA in 1,,100 evaluates to 1,,200 local, but only the + %% in-section offset is loaded into AC1. + expect(Prog, [], {1, 8#101}, ?DEFAULT_FLAGS, + [ {#ea{section = 1, offset = 1, islocal = false}, 8#200} % AC1 = 200 + ]). + %% Common code to run short sequences ========================================== expect(Prog, ACs, ExpectedPC, ExpectedFlags, ExpectedEs) ->