This instruction will fail the roundtrip test. <div class="snippet-clipboard-conte

Note to self: FWIW, all of these variants also fail: <div class=

mov instruction fails roundtrip test about flexdis86 HOT 2 CLOSED

langston-barrett commented on July 26, 2024

mov instruction fails roundtrip test

from flexdis86.

Comments (2)

langston-barrett commented on July 26, 2024

Note to self:

FWIW, all of these variants also fail:

                    , ("mov %rdi,0x601000", ["mov %rdi,0x601000"])
                    , ("mov %rsi,0x601000", ["mov %rsi,0x601000"])
                    , ("mov %rdi,0x501000", ["mov %rdi,0x501000"])
                    , ("mov %edi,0x501000", ["mov %edi,0x501000"])
                    , ("mov %rdi,0x401000", ["mov %rdi,0x401000"])

Using #22, we see:

mov %rdi,0x601000: FAIL (0.01s)

  AssembledInstruction 
    { legacyPrefixes = ""
    , assembledRequiredPrefix = ""
    , rexPrefix = "H"
    , opcode = "\137"
    , modRmSibDisp = Just (AssembledModRmSibDisp {modRm = "=", sib = Just "", disp = Just "\NUL\DLE`\NUL"})
    , immediates = ["",""]
    }

  tests/Roundtrip.hs:309:
  Assembled bytes:
  Length: 7 (0x7) bytes
  0000:   48 89 3d 00  10 60 00                                H.=..`.

  Original bytes:
  Length: 8 (0x8) bytes
  0000:   48 89 3c 25  00 10 60 00                             H.<%..`.

  Instruction instances:
  [ II { iiLockPrefix = NoLockPrefix, iiAddrSize = Size64
       , iiOp = "mov"
       , iiArgs = 
           [ ( Mem64 (Addr_64 ds Nothing Nothing (Disp32 0x601000))
             , OpType ModRM_rm VSize
             ) 
           , (QWordReg rdi
             , OpType ModRM_reg VSize 
             )
           ]
       , iiPrefixes = 
           Prefixes {_prLockPrefix = NoLockPrefix, _prSP = SegmentPrefix {unwrapSegmentPrefix = 0}, _prREX = 0b01001000, _prVEX = Nothing, _prASO = False, _prOSO = False}
       , iiRequiredPrefix = Nothing
       , iiOpcode = [137]
       , iiRequiredMod = Nothing
       , iiRequiredReg = Nothing
       , iiRequiredRM = Nothing 
       }
  ]

  expected: "H\137<%\NUL\DLE`\NUL"
   but got: "H\137=\NUL\DLE`\NUL"

From the ASCII table: