aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authoriximeow <me@iximeow.net>2023-03-05 08:36:41 -0800
committeriximeow <me@iximeow.net>2023-03-05 08:36:41 -0800
commitb52dd7a453e041ca79f0c440dcd657e0b9225828 (patch)
tree785631b2c58e2dad4bf3f6a11ab55ee28e109bd4 /test
parent72f8f6677719a8ad7c8e61e4d629f47deef746cc (diff)
add `Opcode::is_jcc`, `Opcode::is_setcc`, and `Opcode::is_cmovcc` helpers
this request/suggestion comes from [github](https://github.com/iximeow/yaxpeax-x86/issues/29)! thank you!
Diffstat (limited to 'test')
-rw-r--r--test/long_mode/mod.rs1
-rw-r--r--test/long_mode/opcode.rs79
-rw-r--r--test/protected_mode/mod.rs1
-rw-r--r--test/protected_mode/opcode.rs79
-rw-r--r--test/real_mode/mod.rs1
-rw-r--r--test/real_mode/opcode.rs79
6 files changed, 240 insertions, 0 deletions
diff --git a/test/long_mode/mod.rs b/test/long_mode/mod.rs
index eeee155..12d5f96 100644
--- a/test/long_mode/mod.rs
+++ b/test/long_mode/mod.rs
@@ -2,6 +2,7 @@ extern crate rand;
mod regspec;
mod operand;
+mod opcode;
#[cfg(feature="fmt")]
mod display;
#[cfg(feature="std")]
diff --git a/test/long_mode/opcode.rs b/test/long_mode/opcode.rs
new file mode 100644
index 0000000..9b9c141
--- /dev/null
+++ b/test/long_mode/opcode.rs
@@ -0,0 +1,79 @@
+use yaxpeax_x86::long_mode::{ConditionCode, Opcode};
+
+#[test]
+fn conditional_instructions() {
+ const JCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::JO, ConditionCode::O),
+ (Opcode::JNO, ConditionCode::NO),
+ (Opcode::JB, ConditionCode::B),
+ (Opcode::JNB, ConditionCode::AE),
+ (Opcode::JZ, ConditionCode::Z),
+ (Opcode::JNZ, ConditionCode::NZ),
+ (Opcode::JA, ConditionCode::A),
+ (Opcode::JNA, ConditionCode::BE),
+ (Opcode::JS, ConditionCode::S),
+ (Opcode::JNS, ConditionCode::NS),
+ (Opcode::JP, ConditionCode::P),
+ (Opcode::JNP, ConditionCode::NP),
+ (Opcode::JL, ConditionCode::L),
+ (Opcode::JGE, ConditionCode::GE),
+ (Opcode::JG, ConditionCode::G),
+ (Opcode::JLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in JCC.iter() {
+ assert!(opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const SETCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::SETO, ConditionCode::O),
+ (Opcode::SETNO, ConditionCode::NO),
+ (Opcode::SETB, ConditionCode::B),
+ (Opcode::SETAE, ConditionCode::AE),
+ (Opcode::SETZ, ConditionCode::Z),
+ (Opcode::SETNZ, ConditionCode::NZ),
+ (Opcode::SETA, ConditionCode::A),
+ (Opcode::SETBE, ConditionCode::BE),
+ (Opcode::SETS, ConditionCode::S),
+ (Opcode::SETNS, ConditionCode::NS),
+ (Opcode::SETP, ConditionCode::P),
+ (Opcode::SETNP, ConditionCode::NP),
+ (Opcode::SETL, ConditionCode::L),
+ (Opcode::SETGE, ConditionCode::GE),
+ (Opcode::SETG, ConditionCode::G),
+ (Opcode::SETLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in SETCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const CMOVCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::CMOVO, ConditionCode::O),
+ (Opcode::CMOVNO, ConditionCode::NO),
+ (Opcode::CMOVB, ConditionCode::B),
+ (Opcode::CMOVNB, ConditionCode::AE),
+ (Opcode::CMOVZ, ConditionCode::Z),
+ (Opcode::CMOVNZ, ConditionCode::NZ),
+ (Opcode::CMOVA, ConditionCode::A),
+ (Opcode::CMOVNA, ConditionCode::BE),
+ (Opcode::CMOVS, ConditionCode::S),
+ (Opcode::CMOVNS, ConditionCode::NS),
+ (Opcode::CMOVP, ConditionCode::P),
+ (Opcode::CMOVNP, ConditionCode::NP),
+ (Opcode::CMOVL, ConditionCode::L),
+ (Opcode::CMOVGE, ConditionCode::GE),
+ (Opcode::CMOVG, ConditionCode::G),
+ (Opcode::CMOVLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in CMOVCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+}
diff --git a/test/protected_mode/mod.rs b/test/protected_mode/mod.rs
index 93f4b8f..0270dcc 100644
--- a/test/protected_mode/mod.rs
+++ b/test/protected_mode/mod.rs
@@ -1,5 +1,6 @@
mod regspec;
mod operand;
+mod opcode;
#[cfg(feature="fmt")]
mod display;
mod evex_generated;
diff --git a/test/protected_mode/opcode.rs b/test/protected_mode/opcode.rs
new file mode 100644
index 0000000..b6ab1d3
--- /dev/null
+++ b/test/protected_mode/opcode.rs
@@ -0,0 +1,79 @@
+use yaxpeax_x86::protected_mode::{ConditionCode, Opcode};
+
+#[test]
+fn conditional_instructions() {
+ const JCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::JO, ConditionCode::O),
+ (Opcode::JNO, ConditionCode::NO),
+ (Opcode::JB, ConditionCode::B),
+ (Opcode::JNB, ConditionCode::AE),
+ (Opcode::JZ, ConditionCode::Z),
+ (Opcode::JNZ, ConditionCode::NZ),
+ (Opcode::JA, ConditionCode::A),
+ (Opcode::JNA, ConditionCode::BE),
+ (Opcode::JS, ConditionCode::S),
+ (Opcode::JNS, ConditionCode::NS),
+ (Opcode::JP, ConditionCode::P),
+ (Opcode::JNP, ConditionCode::NP),
+ (Opcode::JL, ConditionCode::L),
+ (Opcode::JGE, ConditionCode::GE),
+ (Opcode::JG, ConditionCode::G),
+ (Opcode::JLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in JCC.iter() {
+ assert!(opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const SETCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::SETO, ConditionCode::O),
+ (Opcode::SETNO, ConditionCode::NO),
+ (Opcode::SETB, ConditionCode::B),
+ (Opcode::SETAE, ConditionCode::AE),
+ (Opcode::SETZ, ConditionCode::Z),
+ (Opcode::SETNZ, ConditionCode::NZ),
+ (Opcode::SETA, ConditionCode::A),
+ (Opcode::SETBE, ConditionCode::BE),
+ (Opcode::SETS, ConditionCode::S),
+ (Opcode::SETNS, ConditionCode::NS),
+ (Opcode::SETP, ConditionCode::P),
+ (Opcode::SETNP, ConditionCode::NP),
+ (Opcode::SETL, ConditionCode::L),
+ (Opcode::SETGE, ConditionCode::GE),
+ (Opcode::SETG, ConditionCode::G),
+ (Opcode::SETLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in SETCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const CMOVCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::CMOVO, ConditionCode::O),
+ (Opcode::CMOVNO, ConditionCode::NO),
+ (Opcode::CMOVB, ConditionCode::B),
+ (Opcode::CMOVNB, ConditionCode::AE),
+ (Opcode::CMOVZ, ConditionCode::Z),
+ (Opcode::CMOVNZ, ConditionCode::NZ),
+ (Opcode::CMOVA, ConditionCode::A),
+ (Opcode::CMOVNA, ConditionCode::BE),
+ (Opcode::CMOVS, ConditionCode::S),
+ (Opcode::CMOVNS, ConditionCode::NS),
+ (Opcode::CMOVP, ConditionCode::P),
+ (Opcode::CMOVNP, ConditionCode::NP),
+ (Opcode::CMOVL, ConditionCode::L),
+ (Opcode::CMOVGE, ConditionCode::GE),
+ (Opcode::CMOVG, ConditionCode::G),
+ (Opcode::CMOVLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in CMOVCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+}
diff --git a/test/real_mode/mod.rs b/test/real_mode/mod.rs
index 27ef2f6..21c1d2a 100644
--- a/test/real_mode/mod.rs
+++ b/test/real_mode/mod.rs
@@ -1,4 +1,5 @@
mod operand;
+mod opcode;
use std::fmt::Write;
diff --git a/test/real_mode/opcode.rs b/test/real_mode/opcode.rs
new file mode 100644
index 0000000..ad35d94
--- /dev/null
+++ b/test/real_mode/opcode.rs
@@ -0,0 +1,79 @@
+use yaxpeax_x86::real_mode::{ConditionCode, Opcode};
+
+#[test]
+fn conditional_instructions() {
+ const JCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::JO, ConditionCode::O),
+ (Opcode::JNO, ConditionCode::NO),
+ (Opcode::JB, ConditionCode::B),
+ (Opcode::JNB, ConditionCode::AE),
+ (Opcode::JZ, ConditionCode::Z),
+ (Opcode::JNZ, ConditionCode::NZ),
+ (Opcode::JA, ConditionCode::A),
+ (Opcode::JNA, ConditionCode::BE),
+ (Opcode::JS, ConditionCode::S),
+ (Opcode::JNS, ConditionCode::NS),
+ (Opcode::JP, ConditionCode::P),
+ (Opcode::JNP, ConditionCode::NP),
+ (Opcode::JL, ConditionCode::L),
+ (Opcode::JGE, ConditionCode::GE),
+ (Opcode::JG, ConditionCode::G),
+ (Opcode::JLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in JCC.iter() {
+ assert!(opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const SETCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::SETO, ConditionCode::O),
+ (Opcode::SETNO, ConditionCode::NO),
+ (Opcode::SETB, ConditionCode::B),
+ (Opcode::SETAE, ConditionCode::AE),
+ (Opcode::SETZ, ConditionCode::Z),
+ (Opcode::SETNZ, ConditionCode::NZ),
+ (Opcode::SETA, ConditionCode::A),
+ (Opcode::SETBE, ConditionCode::BE),
+ (Opcode::SETS, ConditionCode::S),
+ (Opcode::SETNS, ConditionCode::NS),
+ (Opcode::SETP, ConditionCode::P),
+ (Opcode::SETNP, ConditionCode::NP),
+ (Opcode::SETL, ConditionCode::L),
+ (Opcode::SETGE, ConditionCode::GE),
+ (Opcode::SETG, ConditionCode::G),
+ (Opcode::SETLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in SETCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(opc.is_setcc());
+ assert!(!opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+
+ const CMOVCC: &'static [(Opcode, ConditionCode); 16] = &[
+ (Opcode::CMOVO, ConditionCode::O),
+ (Opcode::CMOVNO, ConditionCode::NO),
+ (Opcode::CMOVB, ConditionCode::B),
+ (Opcode::CMOVNB, ConditionCode::AE),
+ (Opcode::CMOVZ, ConditionCode::Z),
+ (Opcode::CMOVNZ, ConditionCode::NZ),
+ (Opcode::CMOVA, ConditionCode::A),
+ (Opcode::CMOVNA, ConditionCode::BE),
+ (Opcode::CMOVS, ConditionCode::S),
+ (Opcode::CMOVNS, ConditionCode::NS),
+ (Opcode::CMOVP, ConditionCode::P),
+ (Opcode::CMOVNP, ConditionCode::NP),
+ (Opcode::CMOVL, ConditionCode::L),
+ (Opcode::CMOVGE, ConditionCode::GE),
+ (Opcode::CMOVG, ConditionCode::G),
+ (Opcode::CMOVLE, ConditionCode::LE),
+ ];
+ for (opc, cond) in CMOVCC.iter() {
+ assert!(!opc.is_jcc());
+ assert!(!opc.is_setcc());
+ assert!(opc.is_cmovcc());
+ assert_eq!(opc.condition(), Some(*cond));
+ }
+}