diff options
| author | iximeow <me@iximeow.net> | 2026-04-12 01:00:46 +0000 |
|---|---|---|
| committer | iximeow <me@iximeow.net> | 2026-04-12 01:00:46 +0000 |
| commit | 25eabe56e7f567565e6738273fecee4b87204a32 (patch) | |
| tree | 60618ce630dfd7d1f1314ac5557b4925fe24cfe5 /src/long_mode/behavior.rs | |
| parent | e6de43ec858d3d4e1219bb4b7426ff344d99dd33 (diff) | |
test table management instructions ({l,s}{g,i,l}dt)
these instructions, it turns out, have fixed operand size based on CPU
execution mode and regardless of prefixes. good to know!
Diffstat (limited to 'src/long_mode/behavior.rs')
| -rw-r--r-- | src/long_mode/behavior.rs | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/src/long_mode/behavior.rs b/src/long_mode/behavior.rs index a8d639d..051129d 100644 --- a/src/long_mode/behavior.rs +++ b/src/long_mode/behavior.rs @@ -2209,10 +2209,18 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> { SYSCALL => { panic!("todo: syscall"); }, LSL => { panic!("todo: lsl"); }, LAR => { panic!("todo: lar"); }, - SGDT => { panic!("todo: sgdt"); }, - SIDT => { panic!("todo: sidt"); }, - LGDT => { panic!("todo: lgdt"); }, - LIDT => { panic!("todo: lidt"); }, + SGDT => BehaviorDigest::empty() + .set_pl_special() + .set_operand(0, Access::Write), + SIDT => BehaviorDigest::empty() + .set_pl_special() + .set_operand(0, Access::Write), + LGDT => BehaviorDigest::empty() + .set_pl0() + .set_operand(0, Access::Read), + LIDT => BehaviorDigest::empty() + .set_pl0() + .set_operand(0, Access::Read), SMSW => { panic!("todo: smsw"); }, LMSW => { panic!("todo: lmsw"); }, SWAPGS => { panic!("todo: swapgs"); }, @@ -2247,9 +2255,13 @@ fn opcode2behavior(opc: &Opcode) -> Option<BehaviorDigest> { RDPMC => BehaviorDigest::empty() .set_implicit_ops(RDPMC_IDX) .set_pl_special(), - SLDT => { panic!("todo: sldt"); }, + SLDT => BehaviorDigest::empty() + .set_pl_special() + .set_operand(0, Access::Write), STR => { panic!("todo: str"); }, - LLDT => { panic!("todo: lldt"); }, + LLDT => BehaviorDigest::empty() + .set_pl0() + .set_operand(0, Access::Read), LTR => { panic!("todo: ltr"); }, VERR => { panic!("todo: verr"); }, VERW => { panic!("todo: verw"); }, |
