[patch 2/2] Implement gdbarch hook user_register_name on ARM

[Mark Kettenis]

> Date: Thu, 23 Dec 2010 07:18:53 +0400
> From: Joel Brobecker <brobecker@adacore.com>
> 
> > However, there is no defined way to *query* that value.  Therefore,
> > my understanding is that the MI frontends typically query the value
> > of the standard "fp" register to retrieve this value.  If an architecture
> > back-end now goes and redefines what "fp" stands for, this will break
> > this MI frontend convention ...
> 
> I am not sure I understand the problem.  Could we use "get_frame_base"
> instead?

As far as I know, that is exactly what happens when you *don't* set
deprecated_fp_regnum, and you don't have a "hard" frame pointer
register explicitly named "fp".

See std-reg.c:value_of_builtin_frame_fp_reg().

Really, if arm can get away with not setting deprecated_fp_regnum(),
we should go for it.