kelvin_top cleanup
PiperOrigin-RevId: 560122402
diff --git a/sim/kelvin_top.cc b/sim/kelvin_top.cc
index 61ea668..1deb21c 100644
--- a/sim/kelvin_top.cc
+++ b/sim/kelvin_top.cc
@@ -117,12 +117,6 @@
(void)state_->AddRegisterAlias<mpact::sim::riscv::RV32Register>(
reg_name, mpact::sim::riscv::kXRegisterAliases[i]);
}
- for (int i = 0; i < 32; i++) {
- reg_name = absl::StrCat(sim::KelvinState::kFregPrefix, i);
- (void)state_->AddRegister<mpact::sim::riscv::RVFpRegister>(reg_name);
- (void)state_->AddRegisterAlias<mpact::sim::riscv::RVFpRegister>(
- reg_name, mpact::sim::riscv::kFRegisterAliases[i]);
- }
semihost_ = new mpact::sim::riscv::RiscVArmSemihost(
mpact::sim::riscv::RiscVArmSemihost::BitWidth::kWord32, memory_, memory_);
diff --git a/sim/test/BUILD b/sim/test/BUILD
index 5ea7564..9dbc184 100644
--- a/sim/test/BUILD
+++ b/sim/test/BUILD
@@ -68,10 +68,12 @@
"testfiles/rv32uf_fadd.elf",
],
deps = [
+ "//sim:kelvin_state",
"//sim:kelvin_top",
"@com_google_absl//absl/flags:flag",
"@com_google_absl//absl/log:check",
"@com_google_absl//absl/status",
+ "@com_google_absl//absl/strings",
"@com_google_googletest//:gtest_main",
"@com_google_mpact-sim//mpact/sim/generic:core",
"@com_google_mpact-sim//mpact/sim/util/memory",
diff --git a/sim/test/kelvin_top_test.cc b/sim/test/kelvin_top_test.cc
index 84edeb5..2c7b9b7 100644
--- a/sim/test/kelvin_top_test.cc
+++ b/sim/test/kelvin_top_test.cc
@@ -2,12 +2,15 @@
#include <cstdint>
#include <string>
+#include <tuple>
+#include "sim/kelvin_state.h"
#include "googlemock/include/gmock/gmock.h"
#include "googletest/include/gtest/gtest.h"
#include "absl/flags/flag.h"
#include "absl/log/check.h"
#include "absl/status/status.h"
+#include "absl/strings/str_cat.h"
#include "mpact/sim/generic/core_debug_interface.h"
#include "mpact/sim/util/memory/flat_demand_memory.h"
#include "mpact/sim/util/program_loader/elf_program_loader.h"
@@ -334,15 +337,6 @@
word_value = result.value();
EXPECT_OK(kelvin_top_->WriteRegister(name, word_value));
}
- // Test d-names and numbers.
- uint64_t dword_value;
- for (int i = 0; i < 32; i++) {
- std::string name = absl::StrCat("f", i);
- auto result = kelvin_top_->ReadRegister(name);
- EXPECT_OK(result.status());
- dword_value = result.value();
- EXPECT_OK(kelvin_top_->WriteRegister(name, dword_value));
- }
// Not found.
EXPECT_EQ(kelvin_top_->ReadRegister("x32").status().code(),
absl::StatusCode::kNotFound);