externals/biscuit/tests/src/assembler_zawrs_tests.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#include <catch/catch.hpp>

#include <biscuit/assembler.hpp>

#include "assembler_test_utils.hpp"

using namespace biscuit;

TEST_CASE("WRS.NTO", "[Zawrs]") {
    uint32_t value = 0;
    auto as = MakeAssembler64(value);

    as.WRS_NTO();
    REQUIRE(value == 0x00D00073);
}

TEST_CASE("WRS.STO", "[Zawrs]") {
    uint32_t value = 0;
    auto as = MakeAssembler64(value);

    as.WRS_STO();
    REQUIRE(value == 0x01D00073);
}