* Re: [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
[not found] <1448363923-10205-1-git-send-email-pmaydell@chiark.greenend.org.uk>
@ 2015-11-24 11:31 ` Laurent Desnogues
0 siblings, 0 replies; 6+ messages in thread
From: Laurent Desnogues @ 2015-11-24 11:31 UTC (permalink / raw)
To: Peter Maydell <peter.maydell@linaro.org>--from=Peter Maydell
Cc: Sergey Fedorov, qemu-arm, qemu-devel@nongnu.org, Patch Tracking
Hello,
On Tue, Nov 24, 2015 at 12:18 PM, Peter Maydell
<peter.maydell@linaro.org>--from=Peter Maydell
<peter.maydell@linaro.org> wrote:
> From: Peter Maydell <peter.maydell@linaro.org>
>
> The checks for the unallocated encodings in the ldst_excl group
> (exclusives and load-acquire/store-release) were not correct. This
> error meant that in turn we ended up with code attempting to handle
> the non-existent case of "non-exclusive load-acquire/store-release
> pair". Delete that broken and now unreachable code.
>
> Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Thanks,
Laurent
> ---
> The easiest way to validate that we have the unallocated
> conditions correct now is to look at C4.4.6 "load/store exclusive"
> in the v8 ARM ARM rev A.3h: our three conditions correspond
> to the three "unallocated" rows in the decode table.
>
> v2 changes: remove incorrect comment too.
> ---
> target-arm/translate-a64.c | 15 ++-------------
> 1 file changed, 2 insertions(+), 13 deletions(-)
>
> diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
> index fe485a4..14e8131 100644
> --- a/target-arm/translate-a64.c
> +++ b/target-arm/translate-a64.c
> @@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
> * o2: 0 -> exclusive, 1 -> not
> * o1: 0 -> single register, 1 -> register pair
> * o0: 1 -> load-acquire/store-release, 0 -> not
> - *
> - * o0 == 0 AND o2 == 1 is un-allocated
> - * o1 == 1 is un-allocated except for 32 and 64 bit sizes
> */
> static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> {
> @@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> int size = extract32(insn, 30, 2);
> TCGv_i64 tcg_addr;
>
> - if ((!is_excl && !is_lasr) ||
> + if ((!is_excl && !is_pair && !is_lasr) ||
> + (!is_excl && is_pair) ||
> (is_pair && size < 2)) {
> unallocated_encoding(s);
> return;
> @@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> } else {
> do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
> }
> - if (is_pair) {
> - TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
> - tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
> - if (is_store) {
> - do_gpr_st(s, tcg_rt2, tcg_addr, size);
> - } else {
> - do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
> - }
> - }
> }
> }
>
> --
> 1.9.1
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
@ 2015-11-24 12:01 Peter Maydell
2015-11-24 12:07 ` [Qemu-devel] [Qemu-arm] " Peter Maydell
` (3 more replies)
0 siblings, 4 replies; 6+ messages in thread
From: Peter Maydell @ 2015-11-24 12:01 UTC (permalink / raw)
To: qemu-devel; +Cc: Laurent Desnogues, Sergey Fedorov, qemu-arm, patches
The checks for the unallocated encodings in the ldst_excl group
(exclusives and load-acquire/store-release) were not correct. This
error meant that in turn we ended up with code attempting to handle
the non-existent case of "non-exclusive load-acquire/store-release
pair". Delete that broken and now unreachable code.
Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
---
The easiest way to validate that we have the unallocated
conditions correct now is to look at C4.4.6 "load/store exclusive"
in the v8 ARM ARM rev A.3h: our three conditions correspond
to the three "unallocated" rows in the decode table.
v2 changes: remove incorrect comment too.
---
target-arm/translate-a64.c | 15 ++-------------
1 file changed, 2 insertions(+), 13 deletions(-)
diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
index fe485a4..14e8131 100644
--- a/target-arm/translate-a64.c
+++ b/target-arm/translate-a64.c
@@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
* o2: 0 -> exclusive, 1 -> not
* o1: 0 -> single register, 1 -> register pair
* o0: 1 -> load-acquire/store-release, 0 -> not
- *
- * o0 == 0 AND o2 == 1 is un-allocated
- * o1 == 1 is un-allocated except for 32 and 64 bit sizes
*/
static void disas_ldst_excl(DisasContext *s, uint32_t insn)
{
@@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
int size = extract32(insn, 30, 2);
TCGv_i64 tcg_addr;
- if ((!is_excl && !is_lasr) ||
+ if ((!is_excl && !is_pair && !is_lasr) ||
+ (!is_excl && is_pair) ||
(is_pair && size < 2)) {
unallocated_encoding(s);
return;
@@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
} else {
do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
}
- if (is_pair) {
- TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
- tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
- if (is_store) {
- do_gpr_st(s, tcg_rt2, tcg_addr, size);
- } else {
- do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
- }
- }
}
}
--
1.9.1
^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [Qemu-devel] [Qemu-arm] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
2015-11-24 12:01 [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl Peter Maydell
@ 2015-11-24 12:07 ` Peter Maydell
2015-11-24 12:15 ` Edgar E. Iglesias
` (2 subsequent siblings)
3 siblings, 0 replies; 6+ messages in thread
From: Peter Maydell @ 2015-11-24 12:07 UTC (permalink / raw)
To: QEMU Developers
Cc: Laurent Desnogues, Sergey Fedorov, qemu-arm, Patch Tracking
(Apologies if you got two copies of this -- I mangled the
--from argument to git send-email first time round and the list
servers rejected the mail. -- PMM)
On 24 November 2015 at 12:01, Peter Maydell <peter.maydell@linaro.org> wrote:
> The checks for the unallocated encodings in the ldst_excl group
> (exclusives and load-acquire/store-release) were not correct. This
> error meant that in turn we ended up with code attempting to handle
> the non-existent case of "non-exclusive load-acquire/store-release
> pair". Delete that broken and now unreachable code.
>
> Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
> ---
> The easiest way to validate that we have the unallocated
> conditions correct now is to look at C4.4.6 "load/store exclusive"
> in the v8 ARM ARM rev A.3h: our three conditions correspond
> to the three "unallocated" rows in the decode table.
>
> v2 changes: remove incorrect comment too.
> ---
> target-arm/translate-a64.c | 15 ++-------------
> 1 file changed, 2 insertions(+), 13 deletions(-)
>
> diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
> index fe485a4..14e8131 100644
> --- a/target-arm/translate-a64.c
> +++ b/target-arm/translate-a64.c
> @@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
> * o2: 0 -> exclusive, 1 -> not
> * o1: 0 -> single register, 1 -> register pair
> * o0: 1 -> load-acquire/store-release, 0 -> not
> - *
> - * o0 == 0 AND o2 == 1 is un-allocated
> - * o1 == 1 is un-allocated except for 32 and 64 bit sizes
> */
> static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> {
> @@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> int size = extract32(insn, 30, 2);
> TCGv_i64 tcg_addr;
>
> - if ((!is_excl && !is_lasr) ||
> + if ((!is_excl && !is_pair && !is_lasr) ||
> + (!is_excl && is_pair) ||
> (is_pair && size < 2)) {
> unallocated_encoding(s);
> return;
> @@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> } else {
> do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
> }
> - if (is_pair) {
> - TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
> - tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
> - if (is_store) {
> - do_gpr_st(s, tcg_rt2, tcg_addr, size);
> - } else {
> - do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
> - }
> - }
> }
> }
>
> --
> 1.9.1
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Qemu-devel] [Qemu-arm] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
2015-11-24 12:01 [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl Peter Maydell
2015-11-24 12:07 ` [Qemu-devel] [Qemu-arm] " Peter Maydell
@ 2015-11-24 12:15 ` Edgar E. Iglesias
2015-11-24 12:16 ` [Qemu-devel] " Sergey Fedorov
2015-11-24 12:21 ` Laurent Desnogues
3 siblings, 0 replies; 6+ messages in thread
From: Edgar E. Iglesias @ 2015-11-24 12:15 UTC (permalink / raw)
To: Peter Maydell; +Cc: Laurent Desnogues, qemu-arm, qemu-devel, patches
On Tue, Nov 24, 2015 at 12:01:21PM +0000, Peter Maydell wrote:
> The checks for the unallocated encodings in the ldst_excl group
> (exclusives and load-acquire/store-release) were not correct. This
> error meant that in turn we ended up with code attempting to handle
> the non-existent case of "non-exclusive load-acquire/store-release
> pair". Delete that broken and now unreachable code.
>
> Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
> ---
> The easiest way to validate that we have the unallocated
> conditions correct now is to look at C4.4.6 "load/store exclusive"
> in the v8 ARM ARM rev A.3h: our three conditions correspond
> to the three "unallocated" rows in the decode table.
>
> v2 changes: remove incorrect comment too.
> ---
> target-arm/translate-a64.c | 15 ++-------------
> 1 file changed, 2 insertions(+), 13 deletions(-)
>
> diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
> index fe485a4..14e8131 100644
> --- a/target-arm/translate-a64.c
> +++ b/target-arm/translate-a64.c
> @@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
> * o2: 0 -> exclusive, 1 -> not
> * o1: 0 -> single register, 1 -> register pair
> * o0: 1 -> load-acquire/store-release, 0 -> not
> - *
> - * o0 == 0 AND o2 == 1 is un-allocated
> - * o1 == 1 is un-allocated except for 32 and 64 bit sizes
> */
> static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> {
> @@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> int size = extract32(insn, 30, 2);
> TCGv_i64 tcg_addr;
>
> - if ((!is_excl && !is_lasr) ||
> + if ((!is_excl && !is_pair && !is_lasr) ||
> + (!is_excl && is_pair) ||
> (is_pair && size < 2)) {
> unallocated_encoding(s);
> return;
> @@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> } else {
> do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
> }
> - if (is_pair) {
> - TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
> - tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
> - if (is_store) {
> - do_gpr_st(s, tcg_rt2, tcg_addr, size);
> - } else {
> - do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
> - }
> - }
> }
> }
>
> --
> 1.9.1
>
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
2015-11-24 12:01 [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl Peter Maydell
2015-11-24 12:07 ` [Qemu-devel] [Qemu-arm] " Peter Maydell
2015-11-24 12:15 ` Edgar E. Iglesias
@ 2015-11-24 12:16 ` Sergey Fedorov
2015-11-24 12:21 ` Laurent Desnogues
3 siblings, 0 replies; 6+ messages in thread
From: Sergey Fedorov @ 2015-11-24 12:16 UTC (permalink / raw)
To: Peter Maydell, qemu-devel; +Cc: Laurent Desnogues, qemu-arm, patches
On 24.11.2015 15:01, Peter Maydell wrote:
> The checks for the unallocated encodings in the ldst_excl group
> (exclusives and load-acquire/store-release) were not correct. This
> error meant that in turn we ended up with code attempting to handle
> the non-existent case of "non-exclusive load-acquire/store-release
> pair". Delete that broken and now unreachable code.
>
> Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Sergey Fedorov <serge.fdrv@gmail.com>
> ---
> The easiest way to validate that we have the unallocated
> conditions correct now is to look at C4.4.6 "load/store exclusive"
> in the v8 ARM ARM rev A.3h: our three conditions correspond
> to the three "unallocated" rows in the decode table.
>
> v2 changes: remove incorrect comment too.
> ---
> target-arm/translate-a64.c | 15 ++-------------
> 1 file changed, 2 insertions(+), 13 deletions(-)
>
> diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
> index fe485a4..14e8131 100644
> --- a/target-arm/translate-a64.c
> +++ b/target-arm/translate-a64.c
> @@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
> * o2: 0 -> exclusive, 1 -> not
> * o1: 0 -> single register, 1 -> register pair
> * o0: 1 -> load-acquire/store-release, 0 -> not
> - *
> - * o0 == 0 AND o2 == 1 is un-allocated
> - * o1 == 1 is un-allocated except for 32 and 64 bit sizes
> */
> static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> {
> @@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> int size = extract32(insn, 30, 2);
> TCGv_i64 tcg_addr;
>
> - if ((!is_excl && !is_lasr) ||
> + if ((!is_excl && !is_pair && !is_lasr) ||
> + (!is_excl && is_pair) ||
> (is_pair && size < 2)) {
> unallocated_encoding(s);
> return;
> @@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> } else {
> do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
> }
> - if (is_pair) {
> - TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
> - tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
> - if (is_store) {
> - do_gpr_st(s, tcg_rt2, tcg_addr, size);
> - } else {
> - do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
> - }
> - }
> }
> }
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl
2015-11-24 12:01 [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl Peter Maydell
` (2 preceding siblings ...)
2015-11-24 12:16 ` [Qemu-devel] " Sergey Fedorov
@ 2015-11-24 12:21 ` Laurent Desnogues
3 siblings, 0 replies; 6+ messages in thread
From: Laurent Desnogues @ 2015-11-24 12:21 UTC (permalink / raw)
To: Peter Maydell
Cc: Sergey Fedorov, qemu-arm, qemu-devel@nongnu.org, Patch Tracking
On Tue, Nov 24, 2015 at 1:01 PM, Peter Maydell <peter.maydell@linaro.org> wrote:
> The checks for the unallocated encodings in the ldst_excl group
> (exclusives and load-acquire/store-release) were not correct. This
> error meant that in turn we ended up with code attempting to handle
> the non-existent case of "non-exclusive load-acquire/store-release
> pair". Delete that broken and now unreachable code.
>
> Reported-by: Laurent Desnogues <laurent.desnogues@gmail.com>
> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Laurent Desnogues <laurent.desnogues@gmail.com>
Laurent
> ---
> The easiest way to validate that we have the unallocated
> conditions correct now is to look at C4.4.6 "load/store exclusive"
> in the v8 ARM ARM rev A.3h: our three conditions correspond
> to the three "unallocated" rows in the decode table.
>
> v2 changes: remove incorrect comment too.
> ---
> target-arm/translate-a64.c | 15 ++-------------
> 1 file changed, 2 insertions(+), 13 deletions(-)
>
> diff --git a/target-arm/translate-a64.c b/target-arm/translate-a64.c
> index fe485a4..14e8131 100644
> --- a/target-arm/translate-a64.c
> +++ b/target-arm/translate-a64.c
> @@ -1816,9 +1816,6 @@ static void gen_store_exclusive(DisasContext *s, int rd, int rt, int rt2,
> * o2: 0 -> exclusive, 1 -> not
> * o1: 0 -> single register, 1 -> register pair
> * o0: 1 -> load-acquire/store-release, 0 -> not
> - *
> - * o0 == 0 AND o2 == 1 is un-allocated
> - * o1 == 1 is un-allocated except for 32 and 64 bit sizes
> */
> static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> {
> @@ -1833,7 +1830,8 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> int size = extract32(insn, 30, 2);
> TCGv_i64 tcg_addr;
>
> - if ((!is_excl && !is_lasr) ||
> + if ((!is_excl && !is_pair && !is_lasr) ||
> + (!is_excl && is_pair) ||
> (is_pair && size < 2)) {
> unallocated_encoding(s);
> return;
> @@ -1862,15 +1860,6 @@ static void disas_ldst_excl(DisasContext *s, uint32_t insn)
> } else {
> do_gpr_ld(s, tcg_rt, tcg_addr, size, false, false);
> }
> - if (is_pair) {
> - TCGv_i64 tcg_rt2 = cpu_reg(s, rt);
> - tcg_gen_addi_i64(tcg_addr, tcg_addr, 1 << size);
> - if (is_store) {
> - do_gpr_st(s, tcg_rt2, tcg_addr, size);
> - } else {
> - do_gpr_ld(s, tcg_rt2, tcg_addr, size, false, false);
> - }
> - }
> }
> }
>
> --
> 1.9.1
>
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2015-11-24 12:21 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-11-24 12:01 [Qemu-devel] [PATCH v2 for-2.5] target-arm/translate-a64.c: Correct unallocated checks for ldst_excl Peter Maydell
2015-11-24 12:07 ` [Qemu-devel] [Qemu-arm] " Peter Maydell
2015-11-24 12:15 ` Edgar E. Iglesias
2015-11-24 12:16 ` [Qemu-devel] " Sergey Fedorov
2015-11-24 12:21 ` Laurent Desnogues
[not found] <1448363923-10205-1-git-send-email-pmaydell@chiark.greenend.org.uk>
2015-11-24 11:31 ` Laurent Desnogues
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).