From 7bc23c7776b58f0a1d2bedbe5a666633fbe514d8 Mon Sep 17 00:00:00 2001
From: Megan Wachs <megan@sifive.com>
Date: Wed, 28 Jun 2017 19:32:30 -0700
Subject: [PATCH] riscv: Add some comments on what else compliance test needs

---
 src/target/riscv/riscv-013.c | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/target/riscv/riscv-013.c b/src/target/riscv/riscv-013.c
index e5cddedec..4b9e3e735 100644
--- a/src/target/riscv/riscv-013.c
+++ b/src/target/riscv/riscv-013.c
@@ -2419,8 +2419,28 @@ int riscv013_test_compliance(struct target *target) {
     COMPLIANCE_TEST((riscv_get_register(target, GDB_REGNO_DPC) & dpcmask) == (testvar64 & dpcmask), "DPC must be writable.");
     riscv_set_register(target, GDB_REGNO_DPC, ~testvar64);
     COMPLIANCE_TEST((riscv_get_register(target, GDB_REGNO_DPC) & dpcmask) == ((~testvar64) & dpcmask), "DPC must be writable");
+
   }
+
+  //TODO:
   
+  // DMACTIVE
+
+  // NDMRESET
+  // Asserting non-debug module reset should not reset Debug Module state.
+  // But it should reset Hart State, e.g. DPC should get a different value.
+  // Also make sure that DCSR reports cause of 'HALT' even though previously we single-stepped.
+  // DMCONTROL
+  // COMMAND
+  // PROGBUF
+  // ABSTRACTAUTO
+  // DATA
+  // TODO: HASEL, HAWINDOWSEL
+
+  // Single-Step each hart.
+
+  // Assert cause is SINGLESTEP
+
   LOG_INFO("PASSED %d of %d TESTS\n", passed_tests, total_tests);
 
   if (total_tests == passed_tests) {