]>
Witch of Git - jade-rose/blob - toolchain/src/inst.rs
8 use proptest_derive
::Arbitrary
;
10 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
11 #[cfg_attr(test, derive(Arbitrary))]
24 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
25 #[cfg_attr(test, derive(Arbitrary))]
38 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
39 #[cfg_attr(test, derive(Arbitrary))]
52 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
53 #[cfg_attr(test, derive(Arbitrary))]
60 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
61 #[cfg_attr(test, derive(Arbitrary))]
67 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
68 #[cfg_attr(test, derive(Arbitrary))]
70 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
71 #[cfg_attr(test, derive(Arbitrary))]
72 pub struct U3(#[cfg_attr(test, proptest(strategy = "0..=7u8"))] u8);
73 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
74 #[cfg_attr(test, derive(Arbitrary))]
75 pub struct AddImm(#[cfg_attr(test, proptest(strategy = "-64..=127i8"))] i8);
77 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
78 #[cfg_attr(test, derive(Arbitrary))]
87 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
88 #[cfg_attr(test, derive(Arbitrary))]
95 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
96 #[cfg_attr(test, derive(Arbitrary))]
97 #[cfg_attr(test, proptest(no_params))]
110 LdD(Data
, Reg
, bool
),
111 StD(Data
, Reg
, bool
),
117 pub fn new(x
: u8) -> Option
<Reg
> {
123 pub fn new(x
: u8) -> Option
<U3
> {
125 0..=7 => Some(U3(x
)),
132 pub fn new(x
: i8) -> Option
<AddImm
> {
134 -64..=127 => Some(AddImm(x
)),