This is the mail archive of the
binutils@sourceware.org
mailing list for the binutils project.
[PATCH v2 4/4] x86: extend LEA's segment override warning to applicable MPX insns
- From: Jan Beulich <jbeulich at suse dot com>
- To: "binutils at sourceware dot org" <binutils at sourceware dot org>
- Cc: "H.J. Lu" <hjl dot tools at gmail dot com>
- Date: Fri, 14 Feb 2020 12:44:35 +0100
- Subject: [PATCH v2 4/4] x86: extend LEA's segment override warning to applicable MPX insns
- References: <1fc51e5f-f2d6-67d5-a034-11b32a1e750f@suse.com>
Besides LEA there are a couple of MPX insns behaving LEA-like, which
should be warned about in the same way.
gas/
2020-02-XX Jan Beulich <jbeulich@suse.com>
* config/tc-i386.c (process_operands): Also check insn prefix
for ineffectual segment override warning. Also cover BNDC* and
BNDMK there. Don't cover possible VEX/EVEX encoded insns there.
* testsuite/gas/i386/lea.s, testsuite/gas/i386/lea.d,
testsuite/gas/i386/lea.e: New.
* testsuite/gas/i386/i386.exp: Run new test.
--- a/gas/config/tc-i386.c
+++ b/gas/config/tc-i386.c
@@ -7195,7 +7195,8 @@ duplicate:
}
if ((i.seg[0] || i.prefix[SEG_PREFIX])
- && i.tm.base_opcode == 0x8d /* lea */
+ && (i.tm.base_opcode == 0x8d /* lea */
+ || ((i.tm.base_opcode | 0x010001) == 0xf30f1b) /* bnd{c[lnu],mk} */)
&& !is_any_vex_encoding(&i.tm))
{
if (!quiet_warnings)
--- a/gas/testsuite/gas/i386/lea-optimize.d
+++ b/gas/testsuite/gas/i386/lea-optimize.d
@@ -10,4 +10,12 @@ Disassembly of section .text:
0+ <start>:
[ ]*[0-9a-f]+:[ ]+8d 00[ ]+lea[ ]+\(%eax\),%eax
[ ]*[0-9a-f]+:[ ]+8d 00[ ]+lea[ ]+\(%eax\),%eax
+[ ]*[0-9a-f]+:[ ]+f3 0f 1a 00[ ]+bndcl[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f3 0f 1a 00[ ]+bndcl[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f2 0f 1b 00[ ]+bndcn[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f2 0f 1b 00[ ]+bndcn[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f2 0f 1a 00[ ]+bndcu[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f2 0f 1a 00[ ]+bndcu[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f3 0f 1b 00[ ]+bndmk[ ]+\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+f3 0f 1b 00[ ]+bndmk[ ]+\(%eax\),%bnd0
#pass
--- a/gas/testsuite/gas/i386/lea.d
+++ b/gas/testsuite/gas/i386/lea.d
@@ -9,4 +9,12 @@ Disassembly of section .text:
0+ <start>:
[ ]*[0-9a-f]+:[ ]+36 8d 00[ ]+lea[ ]+%ss:\(%eax\),%eax
[ ]*[0-9a-f]+:[ ]+36 8d 00[ ]+lea[ ]+%ss:\(%eax\),%eax
+[ ]*[0-9a-f]+:[ ]+36 f3 0f 1a 00[ ]+bndcl[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f3 0f 1a 00[ ]+bndcl[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f2 0f 1b 00[ ]+bndcn[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f2 0f 1b 00[ ]+bndcn[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f2 0f 1a 00[ ]+bndcu[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f2 0f 1a 00[ ]+bndcu[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f3 0f 1b 00[ ]+bndmk[ ]+%ss:\(%eax\),%bnd0
+[ ]*[0-9a-f]+:[ ]+36 f3 0f 1b 00[ ]+bndmk[ ]+%ss:\(%eax\),%bnd0
#pass
--- a/gas/testsuite/gas/i386/lea.e
+++ b/gas/testsuite/gas/i386/lea.e
@@ -1,3 +1,11 @@
.*: Assembler messages:
.*:3: Warning: .* `lea' .*
.*:4: Warning: .* `lea' .*
+.*:6: Warning: .* `bndcl' .*
+.*:7: Warning: .* `bndcl' .*
+.*:9: Warning: .* `bndcn' .*
+.*:10: Warning: .* `bndcn' .*
+.*:12: Warning: .* `bndcu' .*
+.*:13: Warning: .* `bndcu' .*
+.*:15: Warning: .* `bndmk' .*
+.*:16: Warning: .* `bndmk' .*
--- a/gas/testsuite/gas/i386/lea.s
+++ b/gas/testsuite/gas/i386/lea.s
@@ -2,3 +2,15 @@
start:
lea %ss:(%eax), %eax
ss lea (%eax), %eax
+
+ bndcl %ss:(%eax), %bnd0
+ ss bndcl (%eax), %bnd0
+
+ bndcn %ss:(%eax), %bnd0
+ ss bndcn (%eax), %bnd0
+
+ bndcu %ss:(%eax), %bnd0
+ ss bndcu (%eax), %bnd0
+
+ bndmk %ss:(%eax), %bnd0
+ ss bndmk (%eax), %bnd0