Merge pull request #3 from AAtomical/main

tests: add test cases for serveral extensions in FullyImplemented

tests/build-full.rs

@@ -75,16 +75,52 @@ fn rustsbi_impl_id() {
     assert_eq!(sbi.handle_ecall(0x10, 0x0, [0; 6]).value, 0x02000000);
     assert_eq!(sbi.handle_ecall(0x10, 0x1, [0; 6]).value, 4);
     assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x10, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x54494d45, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x735049, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x52464e43, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x48534d, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x53525354, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x504d55, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x4442434e, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x53555350, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x4e41434c, 0, 0, 0, 0, 0]).value, 1);
-    assert_eq!(sbi.handle_ecall(0x10, 0x3, [0x535441, 0, 0, 0, 0, 0]).value, 1);
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x54494d45, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x735049, 0, 0, 0, 0, 0]).value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x52464e43, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x48534d, 0, 0, 0, 0, 0]).value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x53525354, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x504d55, 0, 0, 0, 0, 0]).value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x4442434e, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x53555350, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x4e41434c, 0, 0, 0, 0, 0])
+            .value,
+        1
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x10, 0x3, [0x535441, 0, 0, 0, 0, 0]).value,
+        1
+    );
     assert_eq!(sbi.handle_ecall(0x4442434e, 0, [0; 6]), SbiRet::success(1));
     assert_eq!(sbi.handle_ecall(0x4442434e, 1, [0; 6]), SbiRet::success(2));
     assert_eq!(sbi.handle_ecall(0x4442434e, 2, [0; 6]), SbiRet::success(3));
@@ -97,6 +133,65 @@ fn rustsbi_impl_id() {
     assert_eq!(sbi.handle_ecall(0x48534d, 2, [0; 6]), SbiRet::success(10));
     assert_eq!(sbi.handle_ecall(0x48534d, 3, [0; 6]), SbiRet::success(11));
     assert_eq!(sbi.handle_ecall(0x735049, 0, [0; 6]), SbiRet::success(12));
+    assert_eq!(
+        sbi.handle_ecall(0x4E41434C, 0x0, [0; 6]),
+        SbiRet::success(13)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x4E41434C, 0x1, [0; 6]),
+        SbiRet::success(14)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x4E41434C, 0x2, [0; 6]),
+        SbiRet::success(15)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x4E41434C, 0x3, [0; 6]),
+        SbiRet::success(16)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x4E41434C, 0x4, [0; 6]),
+        SbiRet::success(17)
+    );
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x0, [0; 6]), SbiRet::success(18));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x1, [0; 6]), SbiRet::success(19));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x2, [0; 6]), SbiRet::success(20));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x3, [0; 6]), SbiRet::success(21));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x4, [0; 6]), SbiRet::success(22));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x5, [0; 6]), SbiRet::success(23));
+    assert_eq!(sbi.handle_ecall(0x504D55, 0x6, [0; 6]), SbiRet::success(24));
+    assert_eq!(
+        sbi.handle_ecall(0x53525354, 0x0, [0; 6]),
+        SbiRet::success(25)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x0, [0; 6]),
+        SbiRet::success(26)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x1, [0; 6]),
+        SbiRet::success(27)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x2, [0; 6]),
+        SbiRet::success(28)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x3, [0; 6]),
+        SbiRet::success(29)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x4, [0; 6]),
+        SbiRet::success(30)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x5, [0; 6]),
+        SbiRet::success(31)
+    );
+    assert_eq!(
+        sbi.handle_ecall(0x52464E43, 0x6, [0; 6]),
+        SbiRet::success(32)
+    );
     assert_eq!(sbi.handle_ecall(0x535441, 0, [0; 6]), SbiRet::success(33));
     assert_eq!(sbi.handle_ecall(0x53555350, 0, [0; 6]), SbiRet::success(34));
     // assert_eq!(sbi.handle_ecall(0x54494D45, 0, [0; 6]), SbiRet::success(35));
@@ -233,22 +328,22 @@ struct DummyNacl;
 
 impl rustsbi::Nacl for DummyNacl {
     fn probe_feature(&self, _: u32) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(13)
     }
     fn set_shmem(&self, _: SharedPtr<[u8; NATIVE]>, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(14)
     }
 
     fn sync_csr(&self, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(15)
     }
 
     fn sync_hfence(&self, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(16)
     }
 
     fn sync_sret(&self) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(17)
     }
 }
 
@@ -256,31 +351,31 @@ struct DummyPmu;
 
 impl rustsbi::Pmu for DummyPmu {
     fn num_counters(&self) -> usize {
-        unimplemented!()
+        18
     }
 
     fn counter_get_info(&self, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(19)
     }
 
     fn counter_config_matching(&self, _: usize, _: usize, _: usize, _: usize, _: u64) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(20)
     }
 
     fn counter_start(&self, _: usize, _: usize, _: usize, _: u64) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(21)
     }
 
     fn counter_stop(&self, _: usize, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(22)
     }
 
     fn counter_fw_read(&self, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(23)
     }
 
     fn counter_fw_read_hi(&self, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(24)
     }
 }
 
@@ -288,7 +383,7 @@ struct DummyReset;
 
 impl rustsbi::Reset for DummyReset {
     fn system_reset(&self, _: u32, _: u32) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(25)
     }
 }
 
@@ -296,31 +391,31 @@ struct DummyFence;
 
 impl rustsbi::Fence for DummyFence {
     fn remote_fence_i(&self, _: HartMask) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(26)
     }
 
     fn remote_sfence_vma(&self, _: HartMask, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(27)
     }
 
     fn remote_sfence_vma_asid(&self, _: HartMask, _: usize, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(28)
     }
 
     fn remote_hfence_gvma_vmid(&self, _: HartMask, _: usize, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(29)
     }
 
     fn remote_hfence_gvma(&self, _: HartMask, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(30)
     }
 
     fn remote_hfence_vvma_asid(&self, _: HartMask, _: usize, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(31)
     }
 
     fn remote_hfence_vvma(&self, _: HartMask, _: usize, _: usize) -> SbiRet {
-        unimplemented!()
+        SbiRet::success(32)
     }
 }