start verifying vex-encoded instruction behavior

1 files changed, 31 insertions, 24 deletions

diff --git a/src/long_mode/behavior.rs b/src/long_mode/behavior.rs
index 56cb270..a5e5757 100644
--- a/src/long_mode/behavior.rs
+++ b/src/long_mode/behavior.rs
@@ -975,6 +975,10 @@ pub enum ComplexOp {
     BTS,
 
     /// TODO: document
+    SYSCALL,
+    SYSRET,
+
+    /// TODO: document
     SWAPGS,
     RDFSBASE,
     WRFSBASE,
@@ -2594,7 +2598,8 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
             .set_pl0(),
         INVD =>  BehaviorDigest::empty()
             .set_pl0(),
-        SYSRET => { panic!("todo: sysret"); },
+        SYSRET => BehaviorDigest::empty()
+            .set_pl0(),
         CLTS => BehaviorDigest::empty()
             .set_implicit_ops(CLTS_IDX)
             .set_pl0(),
@@ -2903,7 +2908,7 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         XORPS => GENERAL_RW_R,
         XORPD => GENERAL_RW_R,
 
-        VMOVDDUP => { panic!("todo: vmovddup"); },
+        VMOVDDUP => GENERAL_W_R,
         VPSHUFLW => { panic!("todo: vpshuflw"); },
         VPSHUFHW => { panic!("todo: vpshufhw"); },
         VHADDPS => GENERAL_W_R_R,
@@ -3053,12 +3058,12 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         VMOVD => GENERAL_W_R,
         VMOVDQA => { panic!("todo: vmovdqa"); },
         VMOVDQU => { panic!("todo: vmovdqu"); },
-        VMOVHLPS => { panic!("todo: vmovhlps"); },
-        VMOVHPD => { panic!("todo: vmovhpd"); },
-        VMOVHPS => { panic!("todo: vmovhps"); },
-        VMOVLHPS => { panic!("todo: vmovlhps"); },
-        VMOVLPD => { panic!("todo: vmovlpd"); },
-        VMOVLPS => { panic!("todo: vmovlps"); },
+        VMOVHLPS => GENERAL_W_R_R,
+        VMOVHPD => GENERAL_W_R,
+        VMOVHPS => GENERAL_W_R,
+        VMOVLHPS => GENERAL_W_R_R,
+        VMOVLPD => GENERAL_W_R,
+        VMOVLPS => GENERAL_W_R,
         VMOVMSKPD => { panic!("todo: vmovmskpd"); },
         VMOVMSKPS => { panic!("todo: vmovmskps"); },
         VMOVNTDQ => { panic!("todo: vmovntdq"); },
@@ -3066,12 +3071,12 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         VMOVNTPD => { panic!("todo: vmovntpd"); },
         VMOVNTPS => { panic!("todo: vmovntps"); },
         VMOVQ => GENERAL_W_R,
-        VMOVSS => { panic!("todo: vmovss"); },
-        VMOVSD => { panic!("todo: vmovsd"); },
+        VMOVSS => GENERAL_W_R_R,
+        VMOVSD => GENERAL_W_R_R,
         VMOVSHDUP => GENERAL_W_R,
         VMOVSLDUP => GENERAL_W_R,
-        VMOVUPD => { panic!("todo: vmovupd"); },
-        VMOVUPS => { panic!("todo: vmovups"); },
+        VMOVUPD => GENERAL_W_R,
+        VMOVUPS => GENERAL_W_R,
         VMPSADBW => { panic!("todo: vmpsadbw"); },
         VMULPD => GENERAL_W_R_R,
         VMULPS => GENERAL_W_R_R,
@@ -3126,10 +3131,10 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         VPERM2F128 => { panic!("todo: vperm2f128"); },
         VPERM2I128 => { panic!("todo: vperm2i128"); },
         VPERMD => { panic!("todo: vpermd"); },
-        VPERMILPD => { panic!("todo: vpermilpd"); },
-        VPERMILPS => { panic!("todo: vpermilps"); },
-        VPERMPD => { panic!("todo: vpermpd"); },
-        VPERMPS => { panic!("todo: vpermps"); },
+        VPERMILPD => GENERAL_W_R_R,
+        VPERMILPS => GENERAL_W_R_R,
+        VPERMPD => GENERAL_W_R_R,
+        VPERMPS => GENERAL_W_R_R,
         VPERMQ => { panic!("todo: vpermq"); },
         VPEXTRB => { panic!("todo: vpextrb"); },
         VPEXTRD => { panic!("todo: vpextrd"); },
@@ -3139,14 +3144,14 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         VPGATHERDQ => { panic!("todo: vpgatherdq"); },
         VPGATHERQD => { panic!("todo: vpgatherqd"); },
         VPGATHERQQ => { panic!("todo: vpgatherqq"); },
-        VPHADDD => { panic!("todo: vphaddd"); },
-        VPHADDSW => { panic!("todo: vphaddsw"); },
-        VPHADDW => { panic!("todo: vphaddw"); },
+        VPHADDD => GENERAL_W_R_R,
+        VPHADDSW => GENERAL_W_R_R,
+        VPHADDW => GENERAL_W_R_R,
         VPMADDUBSW => GENERAL_W_R_R,
         VPHMINPOSUW => { panic!("todo: vphminposuw"); },
-        VPHSUBD => { panic!("todo: vphsubd"); },
-        VPHSUBSW => { panic!("todo: vphsubsw"); },
-        VPHSUBW => { panic!("todo: vphsubw"); },
+        VPHSUBD => GENERAL_W_R_R,
+        VPHSUBSW => GENERAL_W_R_R,
+        VPHSUBW => GENERAL_W_R_R,
         VPINSRB => { panic!("todo: vpinsrb"); },
         VPINSRD => { panic!("todo: vpinsrd"); },
         VPINSRQ => { panic!("todo: vpinsrq"); },
@@ -3247,8 +3252,10 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> {
         VSUBPS => { panic!("todo: vsubps"); },
         VSUBSD => { panic!("todo: vsubsd"); },
         VSUBSS => { panic!("todo: vsubss"); },
-        VTESTPD => { panic!("todo: vtestpd"); },
-        VTESTPS => { panic!("todo: vtestps"); },
+        VTESTPD => GENERAL_R_R
+            .set_flags_access(Access::Write),
+        VTESTPS => GENERAL_R_R
+            .set_flags_access(Access::Write),
         VUNPCKHPD => { panic!("todo: vunpckhpd"); },
         VUNPCKHPS => { panic!("todo: vunpckhps"); },
         VUNPCKLPD => { panic!("todo: vunpcklpd"); },