diff --git a/x86/src/Data/Macaw/X86/Getters.hs b/x86/src/Data/Macaw/X86/Getters.hs index 21f46518..a8937943 100644 --- a/x86/src/Data/Macaw/X86/Getters.hs +++ b/x86/src/Data/Macaw/X86/Getters.hs @@ -376,6 +376,9 @@ getJumpTarget v = case v of F.JumpOffset _ joff -> do (.+) <$> get rip <*> resolveJumpOffset joff + F.QWordReg r -> get (reg64Loc r) + F.Mem64 ar -> get =<< getBV64Addr ar + F.QWordImm w -> return (ValueExpr (BVValue knownNat (toInteger w))) _ -> fail "Unexpected argument" ------------------------------------------------------------------------