2 * Debugger x86_64 specific functions
4 * Copyright 2004 Vincent BĂ©ron
5 * Copyright 2009 Eric Pouech
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2.1 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, write to the Free Software
19 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
23 #include "wine/debug.h"
25 WINE_DEFAULT_DEBUG_CHANNEL(winedbg
);
27 #if defined(__x86_64__)
29 #define STEP_FLAG 0x00000100 /* single step flag */
31 static unsigned be_x86_64_get_addr(HANDLE hThread
, const CONTEXT
* ctx
,
32 enum be_cpu_addr bca
, ADDRESS64
* addr
)
34 addr
->Mode
= AddrModeFlat
;
38 addr
->Segment
= ctx
->SegCs
;
39 addr
->Offset
= ctx
->Rip
;
41 case be_cpu_addr_stack
:
42 addr
->Segment
= ctx
->SegSs
;
43 addr
->Offset
= ctx
->Rsp
;
45 case be_cpu_addr_frame
:
46 addr
->Segment
= ctx
->SegSs
;
47 addr
->Offset
= ctx
->Rbp
;
55 static unsigned be_x86_64_get_register_info(int regno
, enum be_cpu_addr
* kind
)
57 /* this is true when running in 32bit mode... and wrong in 64 :-/ */
60 case CV_AMD64_RIP
: *kind
= be_cpu_addr_pc
; return TRUE
;
61 case CV_AMD64_EBP
: *kind
= be_cpu_addr_frame
; return TRUE
;
62 case CV_AMD64_ESP
: *kind
= be_cpu_addr_stack
; return TRUE
;
67 static void be_x86_64_single_step(CONTEXT
* ctx
, unsigned enable
)
69 if (enable
) ctx
->EFlags
|= STEP_FLAG
;
70 else ctx
->EFlags
&= ~STEP_FLAG
;
73 static void be_x86_64_print_context(HANDLE hThread
, const CONTEXT
* ctx
,
76 static const char flags
[] = "aVR-N--ODITSZ-A-P-C";
81 for (i
= 0; buf
[i
]; i
++)
82 if (buf
[i
] != '-' && !(ctx
->EFlags
& (1 << (sizeof(flags
) - 2 - i
))))
85 dbg_printf("Register dump:\n");
86 dbg_printf(" rip:%016lx rsp:%016lx rbp:%016lx eflags:%08x (%s)\n",
87 ctx
->Rip
, ctx
->Rsp
, ctx
->Rbp
, ctx
->EFlags
, buf
);
88 dbg_printf(" rax:%016lx rbx:%016lx rcx:%016lx rdx:%016lx\n",
89 ctx
->Rax
, ctx
->Rbx
, ctx
->Rcx
, ctx
->Rdx
);
90 dbg_printf(" rsi:%016lx rdi:%016lx r8:%016lx r9:%016lx r10:%016lx\n",
91 ctx
->Rsi
, ctx
->Rdi
, ctx
->R8
, ctx
->R9
, ctx
->R10
);
92 dbg_printf(" r11:%016lx r12:%016lx r13:%016lx r14:%016lx r15:%016lx\n",
93 ctx
->R11
, ctx
->R12
, ctx
->R13
, ctx
->R14
, ctx
->R15
);
95 if (all_regs
) dbg_printf( "Floating point x86_64 dump not implemented\n" );
98 static void be_x86_64_print_segment_info(HANDLE hThread
, const CONTEXT
* ctx
)
102 static struct dbg_internal_var be_x86_64_ctx
[] =
104 {CV_AMD64_AL
, "AL", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rax
), dbg_itype_unsigned_char_int
},
105 {CV_AMD64_BL
, "BL", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbx
), dbg_itype_unsigned_char_int
},
106 {CV_AMD64_CL
, "CL", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rcx
), dbg_itype_unsigned_char_int
},
107 {CV_AMD64_DL
, "DL", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdx
), dbg_itype_unsigned_char_int
},
108 {CV_AMD64_AH
, "AH", (DWORD_PTR
*)(FIELD_OFFSET(CONTEXT
, Rax
)+1), dbg_itype_unsigned_char_int
},
109 {CV_AMD64_BH
, "BH", (DWORD_PTR
*)(FIELD_OFFSET(CONTEXT
, Rbx
)+1), dbg_itype_unsigned_char_int
},
110 {CV_AMD64_CH
, "CH", (DWORD_PTR
*)(FIELD_OFFSET(CONTEXT
, Rcx
)+1), dbg_itype_unsigned_char_int
},
111 {CV_AMD64_DH
, "DH", (DWORD_PTR
*)(FIELD_OFFSET(CONTEXT
, Rdx
)+1), dbg_itype_unsigned_char_int
},
112 {CV_AMD64_AX
, "AX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rax
), dbg_itype_unsigned_short_int
},
113 {CV_AMD64_BX
, "BX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbx
), dbg_itype_unsigned_short_int
},
114 {CV_AMD64_CX
, "CX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rcx
), dbg_itype_unsigned_short_int
},
115 {CV_AMD64_DX
, "DX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdx
), dbg_itype_unsigned_short_int
},
116 {CV_AMD64_SP
, "SP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsp
), dbg_itype_unsigned_short_int
},
117 {CV_AMD64_BP
, "BP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbp
), dbg_itype_unsigned_short_int
},
118 {CV_AMD64_SI
, "SI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsi
), dbg_itype_unsigned_short_int
},
119 {CV_AMD64_DI
, "DI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdi
), dbg_itype_unsigned_short_int
},
120 {CV_AMD64_EAX
, "EAX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rax
), dbg_itype_unsigned_int
},
121 {CV_AMD64_EBX
, "EBX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbx
), dbg_itype_unsigned_int
},
122 {CV_AMD64_ECX
, "ECX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rcx
), dbg_itype_unsigned_int
},
123 {CV_AMD64_EDX
, "EDX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdx
), dbg_itype_unsigned_int
},
124 {CV_AMD64_ESP
, "ESP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsp
), dbg_itype_unsigned_int
},
125 {CV_AMD64_EBP
, "EBP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbp
), dbg_itype_unsigned_int
},
126 {CV_AMD64_ESI
, "ESI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsi
), dbg_itype_unsigned_int
},
127 {CV_AMD64_EDI
, "EDI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdi
), dbg_itype_unsigned_int
},
128 {CV_AMD64_ES
, "ES", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegEs
), dbg_itype_unsigned_short_int
},
129 {CV_AMD64_CS
, "CS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegCs
), dbg_itype_unsigned_short_int
},
130 {CV_AMD64_SS
, "SS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegSs
), dbg_itype_unsigned_short_int
},
131 {CV_AMD64_DS
, "DS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegDs
), dbg_itype_unsigned_short_int
},
132 {CV_AMD64_FS
, "FS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegFs
), dbg_itype_unsigned_short_int
},
133 {CV_AMD64_GS
, "GS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, SegGs
), dbg_itype_unsigned_short_int
},
134 {CV_AMD64_FLAGS
, "FLAGS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, EFlags
), dbg_itype_unsigned_short_int
},
135 {CV_AMD64_EFLAGS
, "EFLAGS", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, EFlags
), dbg_itype_unsigned_int
},
136 {CV_AMD64_RIP
, "RIP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rip
), dbg_itype_unsigned_long_int
},
137 {CV_AMD64_RAX
, "RAX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rax
), dbg_itype_unsigned_long_int
},
138 {CV_AMD64_RBX
, "RBX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbx
), dbg_itype_unsigned_long_int
},
139 {CV_AMD64_RCX
, "RCX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rcx
), dbg_itype_unsigned_long_int
},
140 {CV_AMD64_RDX
, "RDX", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdx
), dbg_itype_unsigned_long_int
},
141 {CV_AMD64_RSP
, "RSP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsp
), dbg_itype_unsigned_long_int
},
142 {CV_AMD64_RBP
, "RBP", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rbp
), dbg_itype_unsigned_long_int
},
143 {CV_AMD64_RSI
, "RSI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rsi
), dbg_itype_unsigned_long_int
},
144 {CV_AMD64_RDI
, "RDI", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, Rdi
), dbg_itype_unsigned_long_int
},
145 {CV_AMD64_R8
, "R8", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R8
), dbg_itype_unsigned_long_int
},
146 {CV_AMD64_R9
, "R9", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R9
), dbg_itype_unsigned_long_int
},
147 {CV_AMD64_R10
, "R10", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R10
), dbg_itype_unsigned_long_int
},
148 {CV_AMD64_R11
, "R11", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R11
), dbg_itype_unsigned_long_int
},
149 {CV_AMD64_R12
, "R12", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R12
), dbg_itype_unsigned_long_int
},
150 {CV_AMD64_R13
, "R13", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R13
), dbg_itype_unsigned_long_int
},
151 {CV_AMD64_R14
, "R14", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R14
), dbg_itype_unsigned_long_int
},
152 {CV_AMD64_R15
, "R15", (DWORD_PTR
*)FIELD_OFFSET(CONTEXT
, R15
), dbg_itype_unsigned_long_int
},
153 {0, NULL
, 0, dbg_itype_none
}
156 static const struct dbg_internal_var
* be_x86_64_init_registers(CONTEXT
* ctx
)
158 struct dbg_internal_var
* div
;
160 for (div
= be_x86_64_ctx
; div
->name
; div
++)
161 div
->pval
= (DWORD_PTR
*)((char*)ctx
+ (DWORD_PTR
)div
->pval
);
162 return be_x86_64_ctx
;
165 static unsigned be_x86_64_is_step_over_insn(const void* insn
)
167 dbg_printf("not done step_over_insn\n");
171 static unsigned be_x86_64_is_function_return(const void* insn
)
173 dbg_printf("not done is_function_return\n");
177 static unsigned be_x86_64_is_break_insn(const void* insn
)
179 dbg_printf("not done is_break_insn\n");
183 static unsigned be_x86_64_is_func_call(const void* insn
, ADDRESS64
* callee
)
185 dbg_printf("not done is_func_call\n");
189 extern void be_x86_64_disasm_one_insn(ADDRESS64
* addr
, int display
);
191 #define DR7_CONTROL_SHIFT 16
192 #define DR7_CONTROL_SIZE 4
194 #define DR7_RW_EXECUTE (0x0)
195 #define DR7_RW_WRITE (0x1)
196 #define DR7_RW_READ (0x3)
198 #define DR7_LEN_1 (0x0)
199 #define DR7_LEN_2 (0x4)
200 #define DR7_LEN_4 (0xC)
202 #define DR7_LOCAL_ENABLE_SHIFT 0
203 #define DR7_GLOBAL_ENABLE_SHIFT 1
204 #define DR7_ENABLE_SIZE 2
206 #define DR7_LOCAL_ENABLE_MASK (0x55)
207 #define DR7_GLOBAL_ENABLE_MASK (0xAA)
209 #define DR7_CONTROL_RESERVED (0xFC00)
210 #define DR7_LOCAL_SLOWDOWN (0x100)
211 #define DR7_GLOBAL_SLOWDOWN (0x200)
213 #define DR7_ENABLE_MASK(dr) (1<<(DR7_LOCAL_ENABLE_SHIFT+DR7_ENABLE_SIZE*(dr)))
214 #define IS_DR7_SET(ctrl,dr) ((ctrl)&DR7_ENABLE_MASK(dr))
216 static inline int be_x86_64_get_unused_DR(CONTEXT
* ctx
, DWORD64
** r
)
218 if (!IS_DR7_SET(ctx
->Dr7
, 0))
223 if (!IS_DR7_SET(ctx
->Dr7
, 1))
228 if (!IS_DR7_SET(ctx
->Dr7
, 2))
233 if (!IS_DR7_SET(ctx
->Dr7
, 3))
238 dbg_printf("All hardware registers have been used\n");
243 static unsigned be_x86_64_insert_Xpoint(HANDLE hProcess
, const struct be_process_io
* pio
,
244 CONTEXT
* ctx
, enum be_xpoint_type type
,
245 void* addr
, unsigned long* val
, unsigned size
)
255 case be_xpoint_break
:
256 if (size
!= 0) return 0;
257 if (!pio
->read(hProcess
, addr
, &ch
, 1, &sz
) || sz
!= 1) return 0;
260 if (!pio
->write(hProcess
, addr
, &ch
, 1, &sz
) || sz
!= 1) return 0;
262 case be_xpoint_watch_exec
:
263 bits
= DR7_RW_EXECUTE
;
265 case be_xpoint_watch_read
:
268 case be_xpoint_watch_write
:
271 if ((reg
= be_x86_64_get_unused_DR(ctx
, &pr
)) == -1) return 0;
273 if (type
!= be_xpoint_watch_exec
) switch (size
)
275 case 4: bits
|= DR7_LEN_4
; break;
276 case 2: bits
|= DR7_LEN_2
; break;
277 case 1: bits
|= DR7_LEN_1
; break;
281 /* clear old values */
282 ctx
->Dr7
&= ~(0x0F << (DR7_CONTROL_SHIFT
+ DR7_CONTROL_SIZE
* reg
));
283 /* set the correct ones */
284 ctx
->Dr7
|= bits
<< (DR7_CONTROL_SHIFT
+ DR7_CONTROL_SIZE
* reg
);
285 ctx
->Dr7
|= DR7_ENABLE_MASK(reg
) | DR7_LOCAL_SLOWDOWN
;
288 dbg_printf("Unknown bp type %c\n", type
);
294 static unsigned be_x86_64_remove_Xpoint(HANDLE hProcess
, const struct be_process_io
* pio
,
295 CONTEXT
* ctx
, enum be_xpoint_type type
,
296 void* addr
, unsigned long val
, unsigned size
)
303 case be_xpoint_break
:
304 if (size
!= 0) return 0;
305 if (!pio
->read(hProcess
, addr
, &ch
, 1, &sz
) || sz
!= 1) return 0;
306 if (ch
!= (unsigned char)0xCC)
307 WINE_FIXME("Cannot get back %02x instead of 0xCC at %08lx\n",
308 ch
, (unsigned long)addr
);
309 ch
= (unsigned char)val
;
310 if (!pio
->write(hProcess
, addr
, &ch
, 1, &sz
) || sz
!= 1) return 0;
312 case be_xpoint_watch_exec
:
313 case be_xpoint_watch_read
:
314 case be_xpoint_watch_write
:
315 /* simply disable the entry */
316 ctx
->Dr7
&= ~DR7_ENABLE_MASK(val
);
319 dbg_printf("Unknown bp type %c\n", type
);
325 static unsigned be_x86_64_is_watchpoint_set(const CONTEXT
* ctx
, unsigned idx
)
327 return ctx
->Dr6
& (1 << idx
);
330 static void be_x86_64_clear_watchpoint(CONTEXT
* ctx
, unsigned idx
)
332 ctx
->Dr6
&= ~(1 << idx
);
335 static int be_x86_64_adjust_pc_for_break(CONTEXT
* ctx
, BOOL way
)
346 static int be_x86_64_fetch_integer(const struct dbg_lvalue
* lvalue
, unsigned size
,
347 unsigned ext_sign
, LONGLONG
* ret
)
349 if (size
!= 1 && size
!= 2 && size
!= 4 && size
!= 8 && size
!= 16)
352 memset(ret
, 0, sizeof(*ret
)); /* clear unread bytes */
353 /* FIXME: this assumes that debuggee and debugger use the same
354 * integral representation
356 if (!memory_read_value(lvalue
, size
, ret
)) return FALSE
;
358 /* propagate sign information */
359 if (ext_sign
&& size
< 16 && (*ret
>> (size
* 8 - 1)) != 0)
362 *ret
|= neg
<< (size
* 8);
367 static int be_x86_64_fetch_float(const struct dbg_lvalue
* lvalue
, unsigned size
,
370 char tmp
[sizeof(long double)];
372 /* FIXME: this assumes that debuggee and debugger use the same
373 * representation for reals
375 if (!memory_read_value(lvalue
, size
, tmp
)) return FALSE
;
377 /* float & double types have to be promoted to a long double */
380 case sizeof(float): *ret
= *(float*)tmp
; break;
381 case sizeof(double): *ret
= *(double*)tmp
; break;
382 case sizeof(long double): *ret
= *(long double*)tmp
; break;
383 default: return FALSE
;
388 struct backend_cpu be_x86_64
=
390 IMAGE_FILE_MACHINE_AMD64
,
394 be_x86_64_get_register_info
,
395 be_x86_64_single_step
,
396 be_x86_64_print_context
,
397 be_x86_64_print_segment_info
,
398 be_x86_64_init_registers
,
399 be_x86_64_is_step_over_insn
,
400 be_x86_64_is_function_return
,
401 be_x86_64_is_break_insn
,
402 be_x86_64_is_func_call
,
403 be_x86_64_disasm_one_insn
,
404 be_x86_64_insert_Xpoint
,
405 be_x86_64_remove_Xpoint
,
406 be_x86_64_is_watchpoint_set
,
407 be_x86_64_clear_watchpoint
,
408 be_x86_64_adjust_pc_for_break
,
409 be_x86_64_fetch_integer
,
410 be_x86_64_fetch_float
,