1 files changed, 113 insertions, 0 deletions
diff --git a/externals/biscuit/tests/src/assembler_cmo_tests.cpp b/externals/biscuit/tests/src/assembler_cmo_tests.cpp
new file mode 100644
index 00000000..0b4cffdc
--- /dev/null
+++ b/externals/biscuit/tests/src/assembler_cmo_tests.cpp
@@ -0,0 +1,113 @@
+#include <catch/catch.hpp>
+
+#include <biscuit/assembler.hpp>
+
+#include "assembler_test_utils.hpp"
+
+using namespace biscuit;
+
+TEST_CASE("CBO.CLEAN", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.CBO_CLEAN(x0);
+    REQUIRE(value == 0x0010200F);
+
+    as.RewindBuffer();
+
+    as.CBO_CLEAN(x31);
+    REQUIRE(value == 0x001FA00F);
+}
+
+TEST_CASE("CBO.FLUSH", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.CBO_FLUSH(x0);
+    REQUIRE(value == 0x0020200F);
+
+    as.RewindBuffer();
+
+    as.CBO_FLUSH(x31);
+    REQUIRE(value == 0x002FA00F);
+}
+
+TEST_CASE("CBO.INVAL", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.CBO_INVAL(x0);
+    REQUIRE(value == 0x0000200F);
+
+    as.RewindBuffer();
+
+    as.CBO_INVAL(x31);
+    REQUIRE(value == 0x000FA00F);
+}
+
+TEST_CASE("CBO.ZERO", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.CBO_ZERO(x0);
+    REQUIRE(value == 0x0040200F);
+
+    as.RewindBuffer();
+
+    as.CBO_ZERO(x31);
+    REQUIRE(value == 0x004FA00F);
+}
+
+TEST_CASE("PREFETCH.I", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.PREFETCH_I(x0);
+    REQUIRE(value == 0x00006013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_I(x31, 2016);
+    REQUIRE(value == 0x7E0FE013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_I(x31, -2016);
+    REQUIRE(value == 0x820FE013);
+}
+
+TEST_CASE("PREFETCH.R", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.PREFETCH_R(x0);
+    REQUIRE(value == 0x00106013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_R(x31, 2016);
+    REQUIRE(value == 0x7E1FE013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_R(x31, -2016);
+    REQUIRE(value == 0x821FE013);
+}
+
+TEST_CASE("PREFETCH.W", "[cmo]") {
+    uint32_t value = 0;
+    auto as = MakeAssembler32(value);
+
+    as.PREFETCH_W(x0);
+    REQUIRE(value == 0x00306013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_W(x31, 2016);
+    REQUIRE(value == 0x7E3FE013);
+
+    as.RewindBuffer();
+
+    as.PREFETCH_W(x31, -2016);
+    REQUIRE(value == 0x823FE013);
+}