x86: tighten assertion in build_modrm_byte()

All VEX3SOURCES cases should have VexW set, and all should have a SIMD
register destination.

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 057a45f..7cd0a10 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,5 +1,10 @@
 2018-04-26  Jan Beulich  <jbeulich@suse.com>
 
+       * config/tc-i386.c (build_modrm_byte): Extend assertion in
+       vex_3_sources handling to cover more cases.
+
+2018-04-26  Jan Beulich  <jbeulich@suse.com>
+
        * config/tc-i386.c (build_modrm_byte): Drop code dealing with
        .veximmext and .immext set at the same time. Drop code dealing
        with .cpufma when .vexsources == VEX3SOURCES.

diff --git a/gas/config/tc-i386.c b/gas/config/tc-i386.c
index 014720e..7126ca4 100644 (file)
--- a/gas/config/tc-i386.c
+++ b/gas/config/tc-i386.c
@@ -6591,10 +6591,9 @@ build_modrm_byte (void)
                   && i.tm.opcode_modifier.vexvvvv == VEXXDS
                   && (i.tm.opcode_modifier.veximmext
                       || (i.imm_operands == 1
-                          && i.types[0].bitfield.vec_imm4
-                          && (i.tm.opcode_modifier.vexw == VEXW0
-                              || i.tm.opcode_modifier.vexw == VEXW1)
-                          && i.tm.operand_types[dest].bitfield.regsimd)));
+                         && i.types[0].bitfield.vec_imm4))
+                 && i.tm.opcode_modifier.vexw
+                 && i.tm.operand_types[dest].bitfield.regsimd);
 
       if (i.imm_operands == 0)
         {