* [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs @ 2020-03-08 13:48 Fredrik Strupe 2020-03-12 14:32 ` Richard Earnshaw 0 siblings, 1 reply; 9+ messages in thread From: Fredrik Strupe @ 2020-03-08 13:48 UTC (permalink / raw) To: binutils VDUP (neon) instructions can be conditional, but this is not taken into account in the current master. This commit fixes that by i) fixing the VDUP instruction masks and ii) adding logic for disassembling conditional neon instructions. Before patch: $ objdump -b binary -m arm -D vdups.bin ... 00000000 <.data>: 0: 0e800b10 vdup.32 d0, r0 4: 1e800b10 ; <UNDEFINED> instruction: 0x1e800b10 8: 2e800b10 vdup.32 d0, r0 c: 3e800b10 ; <UNDEFINED> instruction: 0x3e800b10 10: 4e800b10 vdup.32 d0, r0 14: 5e800b10 ; <UNDEFINED> instruction: 0x5e800b10 18: 6e800b10 vdup.32 d0, r0 1c: 7e800b10 ; <UNDEFINED> instruction: 0x7e800b10 20: 8e800b10 vdup.32 d0, r0 24: 9e800b10 ; <UNDEFINED> instruction: 0x9e800b10 28: ae800b10 vdup.32 d0, r0 2c: be800b10 ; <UNDEFINED> instruction: 0xbe800b10 30: ce800b10 vdup.32 d0, r0 34: de800b10 ; <UNDEFINED> instruction: 0xde800b10 38: ee800b10 vdup.32 d0, r0 After patch: 00000000 <.data>: 0: 0e800b10 vdupeq.32 d0, r0 4: 1e800b10 vdupne.32 d0, r0 8: 2e800b10 vdupcs.32 d0, r0 c: 3e800b10 vdupcc.32 d0, r0 10: 4e800b10 vdupmi.32 d0, r0 14: 5e800b10 vduppl.32 d0, r0 18: 6e800b10 vdupvs.32 d0, r0 1c: 7e800b10 vdupvc.32 d0, r0 20: 8e800b10 vduphi.32 d0, r0 24: 9e800b10 vdupls.32 d0, r0 28: ae800b10 vdupge.32 d0, r0 2c: be800b10 vduplt.32 d0, r0 30: ce800b10 vdupgt.32 d0, r0 34: de800b10 vduple.32 d0, r0 38: ee800b10 vdup.32 d0, r0 opcodes/ChangeLog: 2020-03-08 Fredrik Strupe <fredrik@strupe.net> * arm-dis.c (neon_opcodes): Fix VDUP instruction masks. (print_insn_neon): Support disassembly of conditional instructions. --- opcodes/arm-dis.c | 46 ++++++++++++++++++++++++++++++++++++---------- 1 file changed, 36 insertions(+), 10 deletions(-) diff --git a/opcodes/arm-dis.c b/opcodes/arm-dis.c index b926b65d6a..709443fcf5 100644 --- a/opcodes/arm-dis.c +++ b/opcodes/arm-dis.c @@ -1494,17 +1494,17 @@ static const struct opcode32 neon_opcodes[] = /* Data transfer between ARM and NEON registers. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b10, 0x1ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, + 0x0e800b10, 0x0ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b30, 0x1ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, + 0x0e800b30, 0x0ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b10, 0x1ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, + 0x0ea00b10, 0x0ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b30, 0x1ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, + 0x0ea00b30, 0x0ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ec00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, + 0x0ec00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ee00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, + 0x0ee00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, /* Move data element to all lanes. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), @@ -9038,12 +9038,39 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) for (insn = neon_opcodes; insn->assembler; insn++) { - if ((given & insn->mask) == insn->value) + unsigned long cond_mask = insn->mask; + unsigned long cond_value = insn->value; + int cond; + + if (thumb) + { + cond_mask |= 0xf0000000; + cond_value |= 0xe0000000; + if (ifthen_state) + cond = IFTHEN_COND; + else + cond = COND_UNCOND; + } + else + { + if ((given & 0xf0000000) == 0xf0000000) + { + cond_mask |= 0xf0000000; + cond = COND_UNCOND; + } + else + { + cond = (given >> 28) & 0xf; + if (cond == 0xe) + cond = COND_UNCOND; + } + } + + if ((given & cond_mask) == cond_value) { signed long value_in_comment = 0; bfd_boolean is_unpredictable = FALSE; const char *c; - for (c = insn->assembler; *c; c++) { if (*c == '%') @@ -9060,8 +9087,7 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) /* Fall through. */ case 'c': - if (thumb && ifthen_state) - func (stream, "%s", arm_conditional[IFTHEN_COND]); + func (stream, "%s", arm_conditional[cond]); break; case 'A': -- 2.20.1 ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs 2020-03-08 13:48 [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs Fredrik Strupe @ 2020-03-12 14:32 ` Richard Earnshaw 2020-03-14 14:10 ` Fredrik Strupe 2020-03-16 17:33 ` Nick Clifton 0 siblings, 2 replies; 9+ messages in thread From: Richard Earnshaw @ 2020-03-12 14:32 UTC (permalink / raw) To: Fredrik Strupe, binutils On 08/03/2020 13:48, Fredrik Strupe wrote: > VDUP (neon) instructions can be conditional, but this is not taken into > account in the current master. This commit fixes that by i) fixing the > VDUP instruction masks and ii) adding logic for disassembling > conditional neon instructions. > Thanks for posting this. I've a few comments inlined below, but before progressing further, I think this will need a copyright assignment before it can go in. Do you already have one in place? > Before patch: > $ objdump -b binary -m arm -D vdups.bin > ... > 00000000 <.data>: > 0: 0e800b10 vdup.32 d0, r0 > 4: 1e800b10 ; <UNDEFINED> instruction: 0x1e800b10 > 8: 2e800b10 vdup.32 d0, r0 > c: 3e800b10 ; <UNDEFINED> instruction: 0x3e800b10 > 10: 4e800b10 vdup.32 d0, r0 > 14: 5e800b10 ; <UNDEFINED> instruction: 0x5e800b10 > 18: 6e800b10 vdup.32 d0, r0 > 1c: 7e800b10 ; <UNDEFINED> instruction: 0x7e800b10 > 20: 8e800b10 vdup.32 d0, r0 > 24: 9e800b10 ; <UNDEFINED> instruction: 0x9e800b10 > 28: ae800b10 vdup.32 d0, r0 > 2c: be800b10 ; <UNDEFINED> instruction: 0xbe800b10 > 30: ce800b10 vdup.32 d0, r0 > 34: de800b10 ; <UNDEFINED> instruction: 0xde800b10 > 38: ee800b10 vdup.32 d0, r0 > > After patch: > > 00000000 <.data>: > 0: 0e800b10 vdupeq.32 d0, r0 > 4: 1e800b10 vdupne.32 d0, r0 > 8: 2e800b10 vdupcs.32 d0, r0 > c: 3e800b10 vdupcc.32 d0, r0 > 10: 4e800b10 vdupmi.32 d0, r0 > 14: 5e800b10 vduppl.32 d0, r0 > 18: 6e800b10 vdupvs.32 d0, r0 > 1c: 7e800b10 vdupvc.32 d0, r0 > 20: 8e800b10 vduphi.32 d0, r0 > 24: 9e800b10 vdupls.32 d0, r0 > 28: ae800b10 vdupge.32 d0, r0 > 2c: be800b10 vduplt.32 d0, r0 > 30: ce800b10 vdupgt.32 d0, r0 > 34: de800b10 vduple.32 d0, r0 > 38: ee800b10 vdup.32 d0, r0 > > opcodes/ChangeLog: > 2020-03-08 Fredrik Strupe <fredrik@strupe.net> > > * arm-dis.c (neon_opcodes): Fix VDUP instruction masks. > (print_insn_neon): Support disassembly of conditional > instructions. > --- > opcodes/arm-dis.c | 46 ++++++++++++++++++++++++++++++++++++---------- > 1 file changed, 36 insertions(+), 10 deletions(-) > > diff --git a/opcodes/arm-dis.c b/opcodes/arm-dis.c > index b926b65d6a..709443fcf5 100644 > --- a/opcodes/arm-dis.c > +++ b/opcodes/arm-dis.c > @@ -1494,17 +1494,17 @@ static const struct opcode32 neon_opcodes[] = > > /* Data transfer between ARM and NEON registers. */ > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0e800b10, 0x1ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, > + 0x0e800b10, 0x0ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0e800b30, 0x1ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, > + 0x0e800b30, 0x0ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0ea00b10, 0x1ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, > + 0x0ea00b10, 0x0ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0ea00b30, 0x1ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, > + 0x0ea00b30, 0x0ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0ec00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, > + 0x0ec00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > - 0x0ee00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, > + 0x0ee00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, > > /* Move data element to all lanes. */ > {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), > @@ -9038,12 +9038,39 @@ print_insn_neon (struct disassemble_info *info, > long given, bfd_boolean thumb) > > for (insn = neon_opcodes; insn->assembler; insn++) > { > - if ((given & insn->mask) == insn->value) > + unsigned long cond_mask = insn->mask; > + unsigned long cond_value = insn->value; > + int cond; > + > + if (thumb) > + { > + cond_mask |= 0xf0000000; > + cond_value |= 0xe0000000; This feels fragile, and while it is probably a NOP for the unconditional neon instructions, it /feels/ wrong to write it this way. Instead I think you should only do this for the instructions that are conditional (ie have ((cond_mask & 0xf0000000) == 0)). Some comments through this code would also help. It's far from clear what the manipulations are for. > + if (ifthen_state) > + cond = IFTHEN_COND; > + else > + cond = COND_UNCOND; > + } > + else > + { > + if ((given & 0xf0000000) == 0xf0000000) > + { > + cond_mask |= 0xf0000000; > + cond = COND_UNCOND; > + } > + else > + { > + cond = (given >> 28) & 0xf; > + if (cond == 0xe) > + cond = COND_UNCOND; > + } > + } > + > + if ((given & cond_mask) == cond_value) > { > signed long value_in_comment = 0; > bfd_boolean is_unpredictable = FALSE; > const char *c; > - Don't remove single blank lines between variable declarations and code blocks. > for (c = insn->assembler; *c; c++) > { > if (*c == '%') > @@ -9060,8 +9087,7 @@ print_insn_neon (struct disassemble_info *info, > long given, bfd_boolean thumb) > > /* Fall through. */ > case 'c': > - if (thumb && ifthen_state) > - func (stream, "%s", arm_conditional[IFTHEN_COND]); > + func (stream, "%s", arm_conditional[cond]); > break; > > case 'A': Finally, you're also missing some test cases for the testsuite. R. ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs 2020-03-12 14:32 ` Richard Earnshaw @ 2020-03-14 14:10 ` Fredrik Strupe 2020-03-16 17:33 ` Nick Clifton 1 sibling, 0 replies; 9+ messages in thread From: Fredrik Strupe @ 2020-03-14 14:10 UTC (permalink / raw) To: Richard Earnshaw, binutils On 12.03.2020 15:32, Richard Earnshaw wrote: >> VDUP (neon) instructions can be conditional, but this is not taken into >> account in the current master. This commit fixes that by i) fixing the >> VDUP instruction masks and ii) adding logic for disassembling >> conditional neon instructions. >> > > Thanks for posting this. I've a few comments inlined below, Thanks for the feedback. I've updated the patch with the requested changes. > but before progressing further, I think this will need a copyright assignment before it can go in. Do you already have one in place? > I don't. How does that work? >> for (insn = neon_opcodes; insn->assembler; insn++) >> { >> - if ((given & insn->mask) == insn->value) >> + unsigned long cond_mask = insn->mask; >> + unsigned long cond_value = insn->value; >> + int cond; >> + >> + if (thumb) >> + { >> + cond_mask |= 0xf0000000; >> + cond_value |= 0xe0000000; > > This feels fragile, and while it is probably a NOP for the unconditional neon instructions, it /feels/ wrong to write it this way. Instead I think you should only do this for the instructions that are conditional (ie have ((cond_mask & 0xf0000000) == 0)). > Agreed. I've added a check for that. > Some comments through this code would also help. It's far from clear what the manipulations are for. > Comments added. >> + if ((given & cond_mask) == cond_value) >> { >> signed long value_in_comment = 0; >> bfd_boolean is_unpredictable = FALSE; >> const char *c; >> - > > Don't remove single blank lines between variable declarations and code blocks. > Sorry, that was not intentional. > > Finally, you're also missing some test cases for the testsuite. > I've added a few tests at what I believe should be the right place. I think however that those tests will fail if run on a system that doesn't support neon instructions (because of the -mfpu=neon flag to as). Is there a way to skip the tests in such cases? Fredrik --- VDUP (neon) instructions can be conditional, but this is not taken into account in the current master. This commit fixes that by i) fixing the VDUP instruction masks and ii) adding logic for disassembling conditional neon instructions. A couple of new tests have also been added. opcodes/ChangeLog: 2020-03-14 Fredrik Strupe <fredrik@strupe.net> * arm-dis.c (neon_opcodes): Fix VDUP instruction masks. (print_insn_neon): Support disassembly of conditional instructions. binutils/ChangeLog: 2020-03-14 Fredrik Strupe <fredrik@strupe.net> * testsuite/binutils-all/arm/vdup-cond.d: New test for testing that conditional VDUP instructions are disassembled correctly. * testsuite/binutils-all/arm/vdup-cond.s: New file used by vdup-cond.d. * testsuite/binutils-all/arm/vdup-thumb.d: New test for testing that VDUP instructions (which are conditional in A32) can be disassembled in thumb mode. * testsuite/binutils-all/arm/vdup-cond.s: New file used by vdup-thumb.d. --- .../testsuite/binutils-all/arm/vdup-cond.d | 27 +++++++++ .../testsuite/binutils-all/arm/vdup-cond.s | 18 ++++++ .../testsuite/binutils-all/arm/vdup-thumb.d | 13 +++++ .../testsuite/binutils-all/arm/vdup-thumb.s | 4 ++ opcodes/arm-dis.c | 55 ++++++++++++++++--- 5 files changed, 108 insertions(+), 9 deletions(-) create mode 100644 binutils/testsuite/binutils-all/arm/vdup-cond.d create mode 100644 binutils/testsuite/binutils-all/arm/vdup-cond.s create mode 100644 binutils/testsuite/binutils-all/arm/vdup-thumb.d create mode 100644 binutils/testsuite/binutils-all/arm/vdup-thumb.s diff --git a/binutils/testsuite/binutils-all/arm/vdup-cond.d b/binutils/testsuite/binutils-all/arm/vdup-cond.d new file mode 100644 index 0000000000..f75931b466 --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-cond.d @@ -0,0 +1,27 @@ +#PROG: objcopy +#source vdup-cond.s +#as: -mfpu=neon +#objdump: -d +#skip: *-*-pe *-wince-* *-*-coff +#name: Check if disassembler can handle conditional neon (vdup) instructions + +.*: +file format .*arm.* + +Disassembly of section \.vdups: + +.+ <\.vdups>: +[^:]+: 0e800b10 vdupeq.32 d0, r0 +[^:]+: 1e800b10 vdupne.32 d0, r0 +[^:]+: 2e800b10 vdupcs.32 d0, r0 +[^:]+: 3e800b10 vdupcc.32 d0, r0 +[^:]+: 4e800b10 vdupmi.32 d0, r0 +[^:]+: 5e800b10 vduppl.32 d0, r0 +[^:]+: 6e800b10 vdupvs.32 d0, r0 +[^:]+: 7e800b10 vdupvc.32 d0, r0 +[^:]+: 8e800b10 vduphi.32 d0, r0 +[^:]+: 9e800b10 vdupls.32 d0, r0 +[^:]+: ae800b10 vdupge.32 d0, r0 +[^:]+: be800b10 vduplt.32 d0, r0 +[^:]+: ce800b10 vdupgt.32 d0, r0 +[^:]+: de800b10 vduple.32 d0, r0 +[^:]+: ee800b10 vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-cond.s b/binutils/testsuite/binutils-all/arm/vdup-cond.s new file mode 100644 index 0000000000..cc544ef29c --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-cond.s @@ -0,0 +1,18 @@ +.text +.arm +.section .vdups, "ax" +vdupeq.32 d0, r0 +vdupne.32 d0, r0 +vdupcs.32 d0, r0 +vdupcc.32 d0, r0 +vdupmi.32 d0, r0 +vduppl.32 d0, r0 +vdupvs.32 d0, r0 +vdupvc.32 d0, r0 +vduphi.32 d0, r0 +vdupls.32 d0, r0 +vdupge.32 d0, r0 +vduplt.32 d0, r0 +vdupgt.32 d0, r0 +vduple.32 d0, r0 +vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-thumb.d b/binutils/testsuite/binutils-all/arm/vdup-thumb.d new file mode 100644 index 0000000000..30e80340f6 --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-thumb.d @@ -0,0 +1,13 @@ +#PROG: objcopy +#source vdup-cond.s +#as: -mfpu=neon +#objdump: -d +#skip: *-*-pe *-wince-* *-*-coff +#name: Check if disassembler can handle vdup instructions in thumb + +.*: +file format .*arm.* + +Disassembly of section \.vdups: + +.+ <\.vdups>: +[^:]+: ee80 0b10 vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-thumb.s b/binutils/testsuite/binutils-all/arm/vdup-thumb.s new file mode 100644 index 0000000000..d98b6a41ea --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-thumb.s @@ -0,0 +1,4 @@ +.text +.thumb +.section .vdups, "ax" +vdup.32 d0, r0 diff --git a/opcodes/arm-dis.c b/opcodes/arm-dis.c index b926b65d6a..83f9869e4d 100644 --- a/opcodes/arm-dis.c +++ b/opcodes/arm-dis.c @@ -1494,17 +1494,17 @@ static const struct opcode32 neon_opcodes[] = /* Data transfer between ARM and NEON registers. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b10, 0x1ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, + 0x0e800b10, 0x0ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b30, 0x1ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, + 0x0e800b30, 0x0ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b10, 0x1ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, + 0x0ea00b10, 0x0ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b30, 0x1ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, + 0x0ea00b30, 0x0ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ec00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, + 0x0ec00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ee00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, + 0x0ee00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, /* Move data element to all lanes. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), @@ -9038,7 +9038,45 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) for (insn = neon_opcodes; insn->assembler; insn++) { - if ((given & insn->mask) == insn->value) + unsigned long cond_mask = insn->mask; + unsigned long cond_value = insn->value; + int cond; + + if (thumb) + { + if ((cond_mask & 0xf0000000) == 0) { + /* For the entries in neon_opcodes, an opcode mask/value with + the high 4 bits equal to 0 indicates a conditional + instruction. For thumb however, we need to include those + bits in the instruction matching. */ + cond_mask |= 0xf0000000; + /* Furthermore, the thumb encoding of a conditional instruction + will have the high 4 bits equal to 0xe. */ + cond_value |= 0xe0000000; + } + if (ifthen_state) + cond = IFTHEN_COND; + else + cond = COND_UNCOND; + } + else + { + if ((given & 0xf0000000) == 0xf0000000) + { + /* If the instruction is unconditional, update the mask to only + match against unconditional opcode values. */ + cond_mask |= 0xf0000000; + cond = COND_UNCOND; + } + else + { + cond = (given >> 28) & 0xf; + if (cond == 0xe) + cond = COND_UNCOND; + } + } + + if ((given & cond_mask) == cond_value) { signed long value_in_comment = 0; bfd_boolean is_unpredictable = FALSE; @@ -9060,8 +9098,7 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) /* Fall through. */ case 'c': - if (thumb && ifthen_state) - func (stream, "%s", arm_conditional[IFTHEN_COND]); + func (stream, "%s", arm_conditional[cond]); break; case 'A': -- 2.20.1 ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs 2020-03-12 14:32 ` Richard Earnshaw 2020-03-14 14:10 ` Fredrik Strupe @ 2020-03-16 17:33 ` Nick Clifton 2020-03-16 18:34 ` Fredrik Strupe 1 sibling, 1 reply; 9+ messages in thread From: Nick Clifton @ 2020-03-16 17:33 UTC (permalink / raw) To: Fredrik Strupe, binutils; +Cc: Richard Earnshaw Hi Frederik, On 2020-03-12 14:32, Richard Earnshaw wrote:> Thanks for posting this. I've a few comments inlined below, but before progressing further, I think this will need a copyright assignment before it can go in. Do you already have one in place? Just to follow up on this point. I do not see a copyright assignment in the official list, so unless you are currently in the process of making the assignment, you will need to follow the instructions here in order to do this. Unfortunately without an assignment in place we will not be able to accept the patch. http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=doc/Copyright/request-assign.changes;hb=HEAD Cheers Nick ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs 2020-03-16 17:33 ` Nick Clifton @ 2020-03-16 18:34 ` Fredrik Strupe 2020-04-13 16:27 ` [PATCH v2] binutils: arm: " Fredrik Strupe 0 siblings, 1 reply; 9+ messages in thread From: Fredrik Strupe @ 2020-03-16 18:34 UTC (permalink / raw) To: Nick Clifton, binutils; +Cc: Richard Earnshaw On 16.03.2020 18:33, Nick Clifton wrote: > Hi Frederik, > > On 2020-03-12 14:32, Richard Earnshaw wrote:> Thanks for posting this. I've a few comments inlined below, but before progressing further, I think this will need a copyright assignment before it can go in. Do you already have one in place? > Just to follow up on this point. I do not see a copyright > assignment in the official list, so unless you are currently > in the process of making the assignment, you will need to > follow the instructions here in order to do this. Unfortunately > without an assignment in place we will not be able to accept > the patch. > > http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=doc/Copyright/request-assign.changes;hb=HEAD > > Cheers > Nick > Hi Nick, Thanks for the link. I will have that sorted out. Fredrik ^ permalink raw reply [flat|nested] 9+ messages in thread
* [PATCH v2] binutils: arm: Fix disassembly of conditional VDUPs 2020-03-16 18:34 ` Fredrik Strupe @ 2020-04-13 16:27 ` Fredrik Strupe 2020-04-14 14:30 ` Nick Clifton 0 siblings, 1 reply; 9+ messages in thread From: Fredrik Strupe @ 2020-04-13 16:27 UTC (permalink / raw) To: binutils, Richard Earnshaw Sending the updated patch as a v2. I think the copyright assignment should be in place now too. I still haven't resolved the following question from a previous mail though: > I've added a few tests at what I believe should be the right place. > I think however that those tests will fail if run on a system that > doesn't support neon instructions (because of the -mfpu=neon flag to > as). Is there a way to skip the tests in such cases? I tried doing something like if {![binutils_assemble $srcdir/$subdir/vdup-cond.s tmpdir/vdup-cond.o]} before run_dump_test in arm/objdump.exp, but that seems to always fail, even though it has the exact same format as tests earlier in the objdump.exp file. Any suggestions there? Fredrik -- >8 -- VDUP (neon) instructions can be conditional, but this is not taken into account in the current master. This commit fixes that by i) fixing the VDUP instruction masks and ii) adding logic for disassembling conditional neon instructions. A couple of new tests have also been added. opcodes/ChangeLog: 2020-04-13 Fredrik Strupe <fredrik@strupe.net> * arm-dis.c (neon_opcodes): Fix VDUP instruction masks. (print_insn_neon): Support disassembly of conditional instructions. binutils/ChangeLog: 2020-04-13 Fredrik Strupe <fredrik@strupe.net> * testsuite/binutils-all/arm/vdup-cond.d: New test for testing that conditional VDUP instructions are disassembled correctly. * testsuite/binutils-all/arm/vdup-cond.s: New file used by vdup-cond.d. * testsuite/binutils-all/arm/vdup-thumb.d: New test for testing that VDUP instructions (which are conditional in A32) can be disassembled in thumb mode. * testsuite/binutils-all/arm/vdup-cond.s: New file used by vdup-thumb.d. --- .../testsuite/binutils-all/arm/vdup-cond.d | 27 +++++++++ .../testsuite/binutils-all/arm/vdup-cond.s | 18 ++++++ .../testsuite/binutils-all/arm/vdup-thumb.d | 13 +++++ .../testsuite/binutils-all/arm/vdup-thumb.s | 4 ++ opcodes/arm-dis.c | 57 +++++++++++++++---- 5 files changed, 109 insertions(+), 10 deletions(-) create mode 100644 binutils/testsuite/binutils-all/arm/vdup-cond.d create mode 100644 binutils/testsuite/binutils-all/arm/vdup-cond.s create mode 100644 binutils/testsuite/binutils-all/arm/vdup-thumb.d create mode 100644 binutils/testsuite/binutils-all/arm/vdup-thumb.s diff --git a/binutils/testsuite/binutils-all/arm/vdup-cond.d b/binutils/testsuite/binutils-all/arm/vdup-cond.d new file mode 100644 index 0000000000..f75931b466 --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-cond.d @@ -0,0 +1,27 @@ +#PROG: objcopy +#source vdup-cond.s +#as: -mfpu=neon +#objdump: -d +#skip: *-*-pe *-wince-* *-*-coff +#name: Check if disassembler can handle conditional neon (vdup) instructions + +.*: +file format .*arm.* + +Disassembly of section \.vdups: + +.+ <\.vdups>: +[^:]+: 0e800b10 vdupeq.32 d0, r0 +[^:]+: 1e800b10 vdupne.32 d0, r0 +[^:]+: 2e800b10 vdupcs.32 d0, r0 +[^:]+: 3e800b10 vdupcc.32 d0, r0 +[^:]+: 4e800b10 vdupmi.32 d0, r0 +[^:]+: 5e800b10 vduppl.32 d0, r0 +[^:]+: 6e800b10 vdupvs.32 d0, r0 +[^:]+: 7e800b10 vdupvc.32 d0, r0 +[^:]+: 8e800b10 vduphi.32 d0, r0 +[^:]+: 9e800b10 vdupls.32 d0, r0 +[^:]+: ae800b10 vdupge.32 d0, r0 +[^:]+: be800b10 vduplt.32 d0, r0 +[^:]+: ce800b10 vdupgt.32 d0, r0 +[^:]+: de800b10 vduple.32 d0, r0 +[^:]+: ee800b10 vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-cond.s b/binutils/testsuite/binutils-all/arm/vdup-cond.s new file mode 100644 index 0000000000..cc544ef29c --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-cond.s @@ -0,0 +1,18 @@ +.text +.arm +.section .vdups, "ax" +vdupeq.32 d0, r0 +vdupne.32 d0, r0 +vdupcs.32 d0, r0 +vdupcc.32 d0, r0 +vdupmi.32 d0, r0 +vduppl.32 d0, r0 +vdupvs.32 d0, r0 +vdupvc.32 d0, r0 +vduphi.32 d0, r0 +vdupls.32 d0, r0 +vdupge.32 d0, r0 +vduplt.32 d0, r0 +vdupgt.32 d0, r0 +vduple.32 d0, r0 +vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-thumb.d b/binutils/testsuite/binutils-all/arm/vdup-thumb.d new file mode 100644 index 0000000000..30e80340f6 --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-thumb.d @@ -0,0 +1,13 @@ +#PROG: objcopy +#source vdup-cond.s +#as: -mfpu=neon +#objdump: -d +#skip: *-*-pe *-wince-* *-*-coff +#name: Check if disassembler can handle vdup instructions in thumb + +.*: +file format .*arm.* + +Disassembly of section \.vdups: + +.+ <\.vdups>: +[^:]+: ee80 0b10 vdup.32 d0, r0 diff --git a/binutils/testsuite/binutils-all/arm/vdup-thumb.s b/binutils/testsuite/binutils-all/arm/vdup-thumb.s new file mode 100644 index 0000000000..d98b6a41ea --- /dev/null +++ b/binutils/testsuite/binutils-all/arm/vdup-thumb.s @@ -0,0 +1,4 @@ +.text +.thumb +.section .vdups, "ax" +vdup.32 d0, r0 diff --git a/opcodes/arm-dis.c b/opcodes/arm-dis.c index b926b65d6a..79a3dc656a 100644 --- a/opcodes/arm-dis.c +++ b/opcodes/arm-dis.c @@ -1494,17 +1494,17 @@ static const struct opcode32 neon_opcodes[] = /* Data transfer between ARM and NEON registers. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b10, 0x1ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, + 0x0e800b10, 0x0ff00f70, "vdup%c.32\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0e800b30, 0x1ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, + 0x0e800b30, 0x0ff00f70, "vdup%c.16\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b10, 0x1ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, + 0x0ea00b10, 0x0ff00f70, "vdup%c.32\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ea00b30, 0x1ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, + 0x0ea00b30, 0x0ff00f70, "vdup%c.16\t%16-19,7Q, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ec00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, + 0x0ec00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7D, %12-15r"}, {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), - 0x0ee00b10, 0x1ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, + 0x0ee00b10, 0x0ff00f70, "vdup%c.8\t%16-19,7Q, %12-15r"}, /* Move data element to all lanes. */ {ARM_FEATURE_COPROC (FPU_NEON_EXT_V1), @@ -9032,13 +9032,51 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) || (given & 0xff000000) == 0xfc000000) ; /* vdup is also a valid neon instruction. */ - else if ((given & 0xff910f5f) != 0xee800b10) + else if ((given & 0xff900f5f) != 0xee800b10) return FALSE; } for (insn = neon_opcodes; insn->assembler; insn++) { - if ((given & insn->mask) == insn->value) + unsigned long cond_mask = insn->mask; + unsigned long cond_value = insn->value; + int cond; + + if (thumb) + { + if ((cond_mask & 0xf0000000) == 0) { + /* For the entries in neon_opcodes, an opcode mask/value with + the high 4 bits equal to 0 indicates a conditional + instruction. For thumb however, we need to include those + bits in the instruction matching. */ + cond_mask |= 0xf0000000; + /* Furthermore, the thumb encoding of a conditional instruction + will have the high 4 bits equal to 0xe. */ + cond_value |= 0xe0000000; + } + if (ifthen_state) + cond = IFTHEN_COND; + else + cond = COND_UNCOND; + } + else + { + if ((given & 0xf0000000) == 0xf0000000) + { + /* If the instruction is unconditional, update the mask to only + match against unconditional opcode values. */ + cond_mask |= 0xf0000000; + cond = COND_UNCOND; + } + else + { + cond = (given >> 28) & 0xf; + if (cond == 0xe) + cond = COND_UNCOND; + } + } + + if ((given & cond_mask) == cond_value) { signed long value_in_comment = 0; bfd_boolean is_unpredictable = FALSE; @@ -9060,8 +9098,7 @@ print_insn_neon (struct disassemble_info *info, long given, bfd_boolean thumb) /* Fall through. */ case 'c': - if (thumb && ifthen_state) - func (stream, "%s", arm_conditional[IFTHEN_COND]); + func (stream, "%s", arm_conditional[cond]); break; case 'A': -- 2.20.1 ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH v2] binutils: arm: Fix disassembly of conditional VDUPs 2020-04-13 16:27 ` [PATCH v2] binutils: arm: " Fredrik Strupe @ 2020-04-14 14:30 ` Nick Clifton 2020-04-14 18:52 ` Fredrik Strupe 0 siblings, 1 reply; 9+ messages in thread From: Nick Clifton @ 2020-04-14 14:30 UTC (permalink / raw) To: Fredrik Strupe, binutils, Richard Earnshaw Hi Fredrik, > I think the copyright assignment should be in place now too. It is. > I still haven't resolved the following question from a previous mail > though: Sorry - I missed it. >> I've added a few tests at what I believe should be the right place. >> I think however that those tests will fail if run on a system that >> doesn't support neon instructions (because of the -mfpu=neon flag to >> as). Is there a way to skip the tests in such cases? When you say "system" do you mean "the assembler that is being tested" ? It is quite common to build cross targeted assemblers, so it is not the host system that matters, but the toolchain that is being tested. Generally speaking I would expect all ARM targeted assemblers to support the -mfpu=neon option. If however there are configurations that don't then you can always add the "#notarget: <configuration>" line to the test driver file. (Grep through the gas/testsuite/gas/arm/*.d files for examples of this). Cheers Nick ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH v2] binutils: arm: Fix disassembly of conditional VDUPs 2020-04-14 14:30 ` Nick Clifton @ 2020-04-14 18:52 ` Fredrik Strupe 2020-04-17 16:27 ` Nick Clifton 0 siblings, 1 reply; 9+ messages in thread From: Fredrik Strupe @ 2020-04-14 18:52 UTC (permalink / raw) To: Nick Clifton, binutils, Richard Earnshaw On 14.04.2020 16:30, Nick Clifton wrote: > When you say "system" do you mean "the assembler that is being tested" ? > It is quite common to build cross targeted assemblers, so it is not the > host system that matters, but the toolchain that is being tested. > Right, I forgot that it's not the system-installed assembler that's being used. > Generally speaking I would expect all ARM targeted assemblers to support > the -mfpu=neon option. If however there are configurations that don't > then you can always add the "#notarget: <configuration>" line to the > test driver file. (Grep through the gas/testsuite/gas/arm/*.d files for > examples of this). > Thanks for the pointer. It seems like the gas tests that use -mfpu=neon either have no #notarget line or a common one like *-*-pe *-*-wince, so I suppose the new tests should be fine as is then. Fredrik ^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: [PATCH v2] binutils: arm: Fix disassembly of conditional VDUPs 2020-04-14 18:52 ` Fredrik Strupe @ 2020-04-17 16:27 ` Nick Clifton 0 siblings, 0 replies; 9+ messages in thread From: Nick Clifton @ 2020-04-17 16:27 UTC (permalink / raw) To: Fredrik Strupe, binutils, Richard Earnshaw Hi Fredrik, > Thanks for the pointer. It seems like the gas tests that use -mfpu=neon > either have no #notarget line or a common one like *-*-pe *-*-wince, so > I suppose the new tests should be fine as is then. I have now applied your patch. Cheers Nick ^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2020-04-17 16:27 UTC | newest] Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2020-03-08 13:48 [PATCH] [binutils][arm] Fix disassembly of conditional VDUPs Fredrik Strupe 2020-03-12 14:32 ` Richard Earnshaw 2020-03-14 14:10 ` Fredrik Strupe 2020-03-16 17:33 ` Nick Clifton 2020-03-16 18:34 ` Fredrik Strupe 2020-04-13 16:27 ` [PATCH v2] binutils: arm: " Fredrik Strupe 2020-04-14 14:30 ` Nick Clifton 2020-04-14 18:52 ` Fredrik Strupe 2020-04-17 16:27 ` Nick Clifton
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 read-only IMAP folder(s) and NNTP newsgroup(s).