diff options
author | bd <bdunahu@operationnull.com> | 2025-03-26 12:21:52 -0400 |
---|---|---|
committer | bd <bdunahu@operationnull.com> | 2025-03-26 12:21:52 -0400 |
commit | b81c86b438123457be86af2e7c24375856afa742 (patch) | |
tree | 74f271585bce27de2434d8cd826fee09f6a71738 /tests | |
parent | 9eeea1ab8bf4eb17e5da46d57a6c1d455a0a262e (diff) |
Add fetch stage implementation, tests, program loading, DTO object
Diffstat (limited to 'tests')
-rw-r--r-- | tests/controller.cc | 14 | ||||
-rw-r--r-- | tests/if.cc | 99 |
2 files changed, 112 insertions, 1 deletions
diff --git a/tests/controller.cc b/tests/controller.cc index a1b8123..a2f8e7d 100644 --- a/tests/controller.cc +++ b/tests/controller.cc @@ -1,6 +1,11 @@ #include "controller.h" #include "cache.h" #include "dram.h" +#include "ex.h" +#include "id.h" +#include "if.h" +#include "mm.h" +#include "wb.h" #include <algorithm> #include <catch2/catch_test_macros.hpp> @@ -10,7 +15,14 @@ class ControllerPipeFixture ControllerPipeFixture() { this->c = new Cache(new Dram(3), 1); - this->ct = new Controller(this->c, true); + + IF *f = new IF(nullptr); + ID *d = new ID(f); + EX *e = new EX(d); + MM *m = new MM(e); + WB *w = new WB(m); + + this->ct = new Controller(w, this->c, true); } ~ControllerPipeFixture() { diff --git a/tests/if.cc b/tests/if.cc new file mode 100644 index 0000000..6ed6f58 --- /dev/null +++ b/tests/if.cc @@ -0,0 +1,99 @@ +#include "if.h" +#include "cache.h" +#include "controller.h" +#include "dram.h" +#include "instrDTO.h" +#include <catch2/catch_test_macros.hpp> + +class IFPipeFixture +{ + public: + IFPipeFixture() + { + Dram *d; + + d = new Dram(3); + // 0xC00 is a nop + p = {0xC000, 0xC001, 0xC002, 0xC003}; + d->load(p); + + this->c = new Cache(d, 1); + this->f = new IF(nullptr); + this->ct = new Controller(this->f, this->c, true); + } + ~IFPipeFixture() + { + delete this->ct; + delete this->c; + }; + + /** + * Fetch a clean line not in cache. + */ + void fetch_through(InstrDTO &instr) + { + int i; + Response r; + + for (i = 0; i <= MEM_DELAY; ++i) { + r = this->ct->advance(instr); + // check response + CHECK(r == BLOCKED); + } + this->fetch_cache(instr); + } + + /** + * Fetch a line in cache. + */ + void fetch_cache(InstrDTO &instr) + { + int i; + Response r; + + for (i = 0; i <= L1_CACHE_DELAY; ++i) { + r = this->ct->advance(instr); + // check response + CHECK(r == WAIT); + } + r = this->ct->advance(instr); + // check response + CHECK(r == OK); + } + + std::vector<signed int> p; + Cache *c; + IF *f; + Controller *ct; +}; + +TEST_CASE_METHOD(IFPipeFixture, "fetch returns single instuction", "[if_pipe]") +{ + InstrDTO instr; + int expected_cycles; + + expected_cycles = MEM_DELAY + L1_CACHE_DELAY + 2; + this->fetch_through(instr); + + CHECK(instr.get_if_cycle() == expected_cycles); + REQUIRE(instr.get_instr_bits() == this->p[0]); +} + +TEST_CASE_METHOD(IFPipeFixture, "fetch returns two instuctions", "[if_pipe]") +{ + InstrDTO instr; + int expected_cycles; + + expected_cycles = MEM_DELAY + L1_CACHE_DELAY + 2; + this->fetch_through(instr); + + CHECK(instr.get_if_cycle() == expected_cycles); + REQUIRE(instr.get_instr_bits() == this->p[0]); + + // is this right??? + expected_cycles += L1_CACHE_DELAY + 2; + this->fetch_cache(instr); + + CHECK(instr.get_if_cycle() == expected_cycles); + REQUIRE(instr.get_instr_bits() == this->p[1]); +} |