This is the mail archive of the
binutils@sourceware.org
mailing list for the binutils project.
[PATCH 1/3] x86: extend LEA's segment override warning
- 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: Thu, 13 Feb 2020 15:05:15 +0100
- Subject: [PATCH 1/3] x86: extend LEA's segment override warning
- References: <20d349db-7e31-294b-cefb-f22265d8bff2@suse.com>
For one both possible forms should be warned about. And then there are
a couple of MPX insns behaving LEA-like, which should be warned about in
the same way. Finally, to guard against future surprises, qualify the
original opcode check by excluding VEX/EVEX-like templates.
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
@@ -7197,9 +7197,10 @@ duplicate:
}
}
- if (i.tm.base_opcode == 0x8d /* lea */
- && i.seg[0]
- && !quiet_warnings)
+ if ((i.seg[0] || i.prefix[SEG_PREFIX])
+ && !quiet_warnings
+ && ((i.tm.base_opcode == 0x8d && !is_any_vex_encoding(&i.tm)) /* lea */
+ || ((i.tm.base_opcode | 0x010001) == 0xf30f1b) /* bnd{c[lnu],mk} */))
as_warn (_("segment override on `%s' is ineffectual"), i.tm.name);
/* If a segment was explicitly specified, and the specified segment
--- a/gas/testsuite/gas/i386/i386.exp
+++ b/gas/testsuite/gas/i386/i386.exp
@@ -65,6 +65,7 @@ if [expr ([istarget "i*86-*-*"] || [ist
run_dump_test "intelok"
run_dump_test "prefix"
run_list_test "prefix32" "-al"
+ run_dump_test "lea"
run_dump_test "amd"
run_dump_test "katmai"
run_dump_test "jump"
--- /dev/null
+++ b/gas/testsuite/gas/i386/lea.d
@@ -0,0 +1,20 @@
+#objdump: -dw
+#name: i386 LEA-like warnings
+#warning_output: lea.e
+
+.*: +file format .*
+
+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
--- /dev/null
+++ b/gas/testsuite/gas/i386/lea.e
@@ -0,0 +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' .*
--- /dev/null
+++ b/gas/testsuite/gas/i386/lea.s
@@ -0,0 +1,16 @@
+ .text
+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