From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:41117) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TuxAv-0000iD-FA for qemu-devel@nongnu.org; Mon, 14 Jan 2013 22:26:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TuxAt-00019g-91 for qemu-devel@nongnu.org; Mon, 14 Jan 2013 22:26:57 -0500 Received: from cantor2.suse.de ([195.135.220.15]:57842 helo=mx2.suse.de) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TuxAs-00019T-S7 for qemu-devel@nongnu.org; Mon, 14 Jan 2013 22:26:55 -0500 Message-ID: <50F4CC78.9070803@suse.de> Date: Tue, 15 Jan 2013 04:26:48 +0100 From: =?ISO-8859-15?Q?Andreas_F=E4rber?= MIME-Version: 1.0 References: <1358216030-15215-1-git-send-email-lig.fnst@cn.fujitsu.com> In-Reply-To: <1358216030-15215-1-git-send-email-lig.fnst@cn.fujitsu.com> Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable Subject: Re: [Qemu-devel] [PATCH] target-i386: clarify logic of breakpoint functions List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: liguang Cc: imammedo@redhat.com, qemu-devel@nongnu.org Am 15.01.2013 03:13, schrieb liguang: > the breakpoint related functions are a little > hard to read for their implicit dr7 bit filed > and not well organized logic, so try to define > more readable bit filed for dr7 and clarify > the breakpoint logic. > it's just the squashed one for previous slightly > refactor dr7 related functions patches. >=20 > Signed-off-by: liguang > --- > target-i386/cpu.h | 19 ++++++++++- > target-i386/helper.c | 76 ++++++++++++++++++++++++++++++-------= -------- > target-i386/machine.c | 5 ++- > target-i386/misc_helper.c | 4 +- > target-i386/seg_helper.c | 9 +++-- > 5 files changed, 79 insertions(+), 34 deletions(-) NACK. This is most definitely not what I requested, I can easily squash three patches into one myself... :( What I suggested was to squash specific non-functional changes into the first one so that I can cherry-pick it and make some progress while waiting for review feedback; instead you again mix non-functional and functional changes as originally done, which gains us nothing. Still missing a proper change log, this being a v5. In particular a history of how the names were changed and which changes were suggested by whom (while cc'ing all those people) would spare me the time of hunting down all four previous versions in the archive on the eve of the Soft Freeze. Indentation does look fine now. Regards, Andreas >=20 > diff --git a/target-i386/cpu.h b/target-i386/cpu.h > index 1283537..c0c6a9c 100644 > --- a/target-i386/cpu.h > +++ b/target-i386/cpu.h > @@ -231,6 +231,12 @@ > #define DR7_TYPE_SHIFT 16 > #define DR7_LEN_SHIFT 18 > #define DR7_FIXED_1 0x00000400 > +#define DR7_LOCAL_BP_MASK 0x55 > +#define DR7_MAX_BP 4 > +#define DR7_TYPE_BP_INST 0x0 > +#define DR7_TYPE_DATA_WR 0x1 > +#define DR7_TYPE_IO_RW 0x2 > +#define DR7_TYPE_DATA_RW 0x3 > =20 > #define PG_PRESENT_BIT 0 > #define PG_RW_BIT 1 > @@ -993,9 +999,20 @@ int cpu_x86_handle_mmu_fault(CPUX86State *env, tar= get_ulong addr, > #define cpu_handle_mmu_fault cpu_x86_handle_mmu_fault > void cpu_x86_set_a20(CPUX86State *env, int a20_state); > =20 > +static inline bool hw_local_breakpoint_enabled(unsigned long dr7, int = index) > +{ > + return (dr7 >> (index * 2)) & 1; > +} > + > +static inline bool hw_global_breakpoint_enabled(unsigned long dr7, int= index) > +{ > + return (dr7 >> (index * 2)) & 2; > +} > + > static inline int hw_breakpoint_enabled(unsigned long dr7, int index) > { > - return (dr7 >> (index * 2)) & 3; > + return hw_global_breakpoint_enabled(dr7, index) || > + hw_local_breakpoint_enabled(dr7, index); > } > =20 > static inline int hw_breakpoint_type(unsigned long dr7, int index) > diff --git a/target-i386/helper.c b/target-i386/helper.c > index dca1360..8d29eb5 100644 > --- a/target-i386/helper.c > +++ b/target-i386/helper.c > @@ -966,30 +966,34 @@ hwaddr cpu_get_phys_page_debug(CPUX86State *env, = target_ulong addr) > =20 > void hw_breakpoint_insert(CPUX86State *env, int index) > { > - int type, err =3D 0; > + int type =3D 0, err =3D 0; > =20 > switch (hw_breakpoint_type(env->dr[7], index)) { > - case 0: > - if (hw_breakpoint_enabled(env->dr[7], index)) > + case DR7_TYPE_BP_INST: > + if (hw_breakpoint_enabled(env->dr[7], index)) { > err =3D cpu_breakpoint_insert(env, env->dr[index], BP_CPU, > &env->cpu_breakpoint[index]); > + } > break; > - case 1: > + case DR7_TYPE_DATA_WR: > type =3D BP_CPU | BP_MEM_WRITE; > - goto insert_wp; > - case 2: > - /* No support for I/O watchpoints yet */ > break; > - case 3: > + case DR7_TYPE_DATA_RW: > type =3D BP_CPU | BP_MEM_ACCESS; > - insert_wp: > + case DR7_TYPE_IO_RW: > + /* No support for I/O watchpoints yet */ > + break; > + } > + > + if (type) { > err =3D cpu_watchpoint_insert(env, env->dr[index], > hw_breakpoint_len(env->dr[7], inde= x), > type, &env->cpu_watchpoint[index])= ; > - break; > } > - if (err) > + > + if (err) { > env->cpu_breakpoint[index] =3D NULL; > + } > } > =20 > void hw_breakpoint_remove(CPUX86State *env, int index) > @@ -997,15 +1001,16 @@ void hw_breakpoint_remove(CPUX86State *env, int = index) > if (!env->cpu_breakpoint[index]) > return; > switch (hw_breakpoint_type(env->dr[7], index)) { > - case 0: > - if (hw_breakpoint_enabled(env->dr[7], index)) > + case DR7_TYPE_BP_INST: > + if (hw_breakpoint_enabled(env->dr[7], index)) { > cpu_breakpoint_remove_by_ref(env, env->cpu_breakpoint[inde= x]); > + } > break; > - case 1: > - case 3: > + case DR7_TYPE_DATA_RW: > + case DR7_TYPE_DATA_WR: > cpu_watchpoint_remove_by_ref(env, env->cpu_watchpoint[index]); > break; > - case 2: > + case DR7_TYPE_IO_RW: > /* No support for I/O watchpoints yet */ > break; > } > @@ -1014,22 +1019,43 @@ void hw_breakpoint_remove(CPUX86State *env, int= index) > int check_hw_breakpoints(CPUX86State *env, int force_dr6_update) > { > target_ulong dr6; > - int reg, type; > + int index; > int hit_enabled =3D 0; > + bool bp_match =3D false; > + bool wp_match =3D false; > =20 > dr6 =3D env->dr[6] & ~0xf; > - for (reg =3D 0; reg < 4; reg++) { > - type =3D hw_breakpoint_type(env->dr[7], reg); > - if ((type =3D=3D 0 && env->dr[reg] =3D=3D env->eip) || > - ((type & 1) && env->cpu_watchpoint[reg] && > - (env->cpu_watchpoint[reg]->flags & BP_WATCHPOINT_HIT))) { > - dr6 |=3D 1 << reg; > - if (hw_breakpoint_enabled(env->dr[7], reg)) > + for (index =3D 0; index < DR7_MAX_BP; index++) { > + switch (hw_breakpoint_type(env->dr[7], index)) { > + case DR7_TYPE_BP_INST: > + if (env->dr[index] =3D=3D env->eip) { > + bp_match =3D true; > + } > + break; > + case DR7_TYPE_DATA_WR: > + case DR7_TYPE_DATA_RW: > + if (env->cpu_watchpoint[index] && > + env->cpu_watchpoint[index]->flags & BP_WATCHPOINT_HIT)= { > + wp_match =3D true; > + } > + break; > + case DR7_TYPE_IO_RW: > + break; > + } > + if (bp_match || wp_match) { > + dr6 |=3D 1 << index; > + if (hw_breakpoint_enabled(env->dr[7], index)) { > hit_enabled =3D 1; > + } > + bp_match =3D false; > + wp_match =3D false; > } > } > - if (hit_enabled || force_dr6_update) > + > + if (hit_enabled || force_dr6_update) { > env->dr[6] =3D dr6; > + } > + > return hit_enabled; > } > =20 > diff --git a/target-i386/machine.c b/target-i386/machine.c > index 8354572..8df6a6b 100644 > --- a/target-i386/machine.c > +++ b/target-i386/machine.c > @@ -265,10 +265,11 @@ static int cpu_post_load(void *opaque, int versio= n_id) > =20 > cpu_breakpoint_remove_all(env, BP_CPU); > cpu_watchpoint_remove_all(env, BP_CPU); > - for (i =3D 0; i < 4; i++) > + for (i =3D 0; i < DR7_MAX_BP; i++) { > hw_breakpoint_insert(env, i); > - > + } > tlb_flush(env, 1); > + > return 0; > } > =20 > diff --git a/target-i386/misc_helper.c b/target-i386/misc_helper.c > index db3126b..9b0f7b3 100644 > --- a/target-i386/misc_helper.c > +++ b/target-i386/misc_helper.c > @@ -197,11 +197,11 @@ void helper_movl_drN_T0(CPUX86State *env, int reg= , target_ulong t0) > env->dr[reg] =3D t0; > hw_breakpoint_insert(env, reg); > } else if (reg =3D=3D 7) { > - for (i =3D 0; i < 4; i++) { > + for (i =3D 0; i < DR7_MAX_BP; i++) { > hw_breakpoint_remove(env, i); > } > env->dr[7] =3D t0; > - for (i =3D 0; i < 4; i++) { > + for (i =3D 0; i < DR7_MAX_BP; i++) { > hw_breakpoint_insert(env, i); > } > } else { > diff --git a/target-i386/seg_helper.c b/target-i386/seg_helper.c > index c2a99ee..3247dee 100644 > --- a/target-i386/seg_helper.c > +++ b/target-i386/seg_helper.c > @@ -465,13 +465,14 @@ static void switch_tss(CPUX86State *env, int tss_= selector, > =20 > #ifndef CONFIG_USER_ONLY > /* reset local breakpoints */ > - if (env->dr[7] & 0x55) { > - for (i =3D 0; i < 4; i++) { > - if (hw_breakpoint_enabled(env->dr[7], i) =3D=3D 0x1) { > + if (env->dr[7] & DR7_LOCAL_BP_MASK) { > + for (i =3D 0; i < DR7_MAX_BP; i++) { > + if (hw_local_breakpoint_enabled(env->dr[7], i) && > + !hw_global_breakpoint_enabled(env->dr[7], i)) { > hw_breakpoint_remove(env, i); > } > } > - env->dr[7] &=3D ~0x55; > + env->dr[7] &=3D ~DR7_LOCAL_BP_MASK; > } > #endif > } >=20 --=20 SUSE LINUX Products GmbH, Maxfeldstr. 5, 90409 N=FCrnberg, Germany GF: Jeff Hawn, Jennifer Guild, Felix Imend=F6rffer; HRB 16746 AG N=FCrnbe= rg