gas/

2009-09-14  H.J. Lu  <hongjiu.lu@intel.com>

	PR gas/10636
	* config/tc-i386.c (optimize_disp): Set disp32 for 64bit only
	if there is an ADDR_PREFIX.
	(i386_finalize_displacement): Repor error if signed 32bit
	displacement is out of range.

gas/testsuite/

2009-09-14  H.J. Lu  <hongjiu.lu@intel.com>

	PR gas/10636
	* gas/i386/disp.d: New.
	* gas/i386/disp.s: Likewise.
	* gas/i386/x86-64-disp.d: Likewise.
	* gas/i386/x86-64-disp.s: Likewise.

	* gas/i386/i386.exp: Run disp and x86-64-disp.

	* gas/i386/x86-64-addr32.s: Add high 32bit displacement tests.

	* gas/i386/x86-64-addr32.d: Updated.
	* gas/i386/x86-64-addr32-intel.d: Likewise.
	* gas/i386/x86-64-inval.l: Likewise.
	* gas/i386/x86-64-prescott.d: Likewise.

	* gas/i386/x86-64-inval.s: Add invalid displacement tests.

	* gas/i386/x86-64-prescott.s: Replace 0x90909090 displacement
	with 0x909090.

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 46969c0..1c48915 100644 (file)
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,11 @@
+2009-09-14  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR gas/10636
+       * config/tc-i386.c (optimize_disp): Set disp32 for 64bit only
+       if there is an ADDR_PREFIX.
+       (i386_finalize_displacement): Repor error if signed 32bit
+       displacement is out of range.
+
 2009-09-13  Richard Sandiford  <rdsandiford@googlemail.com>
 
        * config/tc-mips.c (MIPS_JALR_HINT_P): Take an expr argument.

diff --git a/gas/config/tc-i386.c b/gas/config/tc-i386.c
index a8dc7fc..bf756b8 100644 (file)
--- a/gas/config/tc-i386.c
+++ b/gas/config/tc-i386.c
@@ -3618,7 +3618,8 @@ optimize_disp (void)
                    i.types[op].bitfield.disp64 = 0;
                    i.types[op].bitfield.disp32s = 1;
                  }
-               if (fits_in_unsigned_long (disp))
+               if (i.prefix[ADDR_PREFIX]
+                   && fits_in_unsigned_long (disp))
                  i.types[op].bitfield.disp32 = 1;
              }
            if ((i.types[op].bitfield.disp32
@@ -6567,6 +6568,25 @@ i386_finalize_displacement (segT exp_seg ATTRIBUTE_UNUSED, expressionS *exp,
       ret = 0;
     }
 
+  else if (flag_code == CODE_64BIT
+          && !i.prefix[ADDR_PREFIX]
+          && exp->X_op == O_constant)
+    {
+      /* Since displacement is signed extended to 64bit, don't allow
+        disp32 and turn off disp32s if they are out of range.  */
+      i.types[this_operand].bitfield.disp32 = 0;
+      if (!fits_in_signed_long (exp->X_add_number))
+       {
+         i.types[this_operand].bitfield.disp32s = 0;
+         if (i.types[this_operand].bitfield.baseindex)
+           {
+             as_bad (_("0x%lx out range of signed 32bit displacement"),
+                     (long) exp->X_add_number);
+             ret = 0;
+           }
+       }
+    }
+
 #if (defined (OBJ_AOUT) || defined (OBJ_MAYBE_AOUT))
   else if (exp->X_op != O_constant
           && OUTPUT_FLAVOR == bfd_target_aout_flavour

diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog
index 6f23334..fa5023f 100644 (file)
--- a/gas/testsuite/ChangeLog
+++ b/gas/testsuite/ChangeLog
@@ -1,3 +1,25 @@
+2009-09-14  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR gas/10636
+       * gas/i386/disp.d: New.
+       * gas/i386/disp.s: Likewise.
+       * gas/i386/x86-64-disp.d: Likewise.
+       * gas/i386/x86-64-disp.s: Likewise.
+
+       * gas/i386/i386.exp: Run disp and x86-64-disp.
+
+       * gas/i386/x86-64-addr32.s: Add high 32bit displacement tests.
+
+       * gas/i386/x86-64-addr32.d: Updated.
+       * gas/i386/x86-64-addr32-intel.d: Likewise.
+       * gas/i386/x86-64-inval.l: Likewise.
+       * gas/i386/x86-64-prescott.d: Likewise.
+
+       * gas/i386/x86-64-inval.s: Add invalid displacement tests.
+
+       * gas/i386/x86-64-prescott.s: Replace 0x90909090 displacement
+       with 0x909090.
+
 2009-09-13  Richard Sandiford  <rdsandiford@googlemail.com>
 
        * gas/mips/jalr2.s, gas/mips/jalr2.d: New test.

diff --git a/gas/testsuite/gas/i386/disp.d b/gas/testsuite/gas/i386/disp.d
new file mode 100644 (file)
index 0000000..f2b16ab
--- /dev/null
+++ b/gas/testsuite/gas/i386/disp.d
@@ -0,0 +1,19 @@
+#as: -J
+#objdump: -drw
+#name: i386 displacement
+
+.*: +file format .*
+
+Disassembly of section .text:
+
+0+ <.text>:
+[      ]*[a-f0-9]+:    8b 98 ff ff ff 7f       mov    0x7fffffff\(%eax\),%ebx
+[      ]*[a-f0-9]+:    8b 98 00 00 00 80       mov    -0x80000000\(%eax\),%ebx
+[      ]*[a-f0-9]+:    8b 98 00 00 00 80       mov    -0x80000000\(%eax\),%ebx
+[      ]*[a-f0-9]+:    8b 1d ff ff ff 7f       mov    0x7fffffff,%ebx
+[      ]*[a-f0-9]+:    8b 1d 00 00 00 80       mov    0x80000000,%ebx
+[      ]*[a-f0-9]+:    8b 1d 00 00 00 80       mov    0x80000000,%ebx
+[      ]*[a-f0-9]+:    a1 ff ff ff 7f          mov    0x7fffffff,%eax
+[      ]*[a-f0-9]+:    a1 00 00 00 80          mov    0x80000000,%eax
+[      ]*[a-f0-9]+:    a1 00 00 00 80          mov    0x80000000,%eax
+#pass

diff --git a/gas/testsuite/gas/i386/disp.s b/gas/testsuite/gas/i386/disp.s
new file mode 100644 (file)
index 0000000..d2917b7
--- /dev/null
+++ b/gas/testsuite/gas/i386/disp.s
@@ -0,0 +1,10 @@
+       .text
+       mov 0x7fffffff(%eax),%ebx
+       mov 0x80000000(%eax),%ebx
+       mov -0x80000000(%eax),%ebx
+       mov 0x7fffffff,%ebx
+       mov 0x80000000,%ebx
+       mov -0x80000000,%ebx
+       mov 0x7fffffff,%eax
+       mov 0x80000000,%eax
+       mov -0x80000000,%eax

diff --git a/gas/testsuite/gas/i386/i386.exp b/gas/testsuite/gas/i386/i386.exp
index b1d71c1..fc67482 100644 (file)
--- a/gas/testsuite/gas/i386/i386.exp
+++ b/gas/testsuite/gas/i386/i386.exp
@@ -47,6 +47,7 @@ if [expr ([istarget "i*86-*-*"] ||  [istarget "x86_64-*-*"]) && [gas_32_check]]
     run_dump_test "prescott"
     run_dump_test "sib"
     run_dump_test "sib-intel"
+    run_dump_test "disp"
     run_dump_test "vmx"
     run_dump_test "smx"
     run_dump_test "suffix"
@@ -280,6 +281,7 @@ if [expr ([istarget "i*86-*-*"] || [istarget "x86_64-*-*"]) && [gas_64_check]] t
     run_dump_test "x86-64-reg-intel"
     run_dump_test "x86-64-sib"
     run_dump_test "x86-64-sib-intel"
+    run_dump_test "x86-64-disp"
     if { ![istarget "*-*-mingw*"] } then {
       run_dump_test "x86-64-opcode-inval"
       run_dump_test "x86-64-opcode-inval-intel"

diff --git a/gas/testsuite/gas/i386/x86-64-addr32-intel.d b/gas/testsuite/gas/i386/x86-64-addr32-intel.d
index 90858dc..8021b03 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-addr32-intel.d
+++ b/gas/testsuite/gas/i386/x86-64-addr32-intel.d
@@ -7,17 +7,21 @@
 
 Disassembly of section .text:
 
-0+000 <.text>:
-[       ]*0:[   ]+67 48 8d 80 00 00 00 00[      ]+addr32[       ]+lea[         ]+rax,\[[re]ax\+(0x)?0\].*
-[       ]*8:[   ]+67 49 8d 80 00 00 00 00[      ]+addr32[       ]+lea[         ]+rax,\[r8d?\+(0x)?0\].*
-[       ]*10:[  ]+67 48 8d 05 00 00 00 00[      ]+addr32[       ]+lea[         ]+rax,\[[re]ip\+(0x)?0\].*
-[       ]*18:[  ]+67 48 8d 04 25 00 00 00 00[   ]+addr32[       ]+lea[         ]+rax,ds:0x0.*
-[       ]*21:[  ]+67 a0 98 08 60 00[    ]+addr32[       ]+mov[         ]+al,ds:0x600898
-[       ]*27:[  ]+67 66 a1 98 08 60 00[         ]+addr32[       ]+mov[         ]+ax,ds:0x600898
-[       ]*2e:[  ]+67 a1 98 08 60 00[    ]+addr32[       ]+mov[         ]+eax,ds:0x600898
-[       ]*34:[  ]+67 48 a1 98 08 60 00[         ]+addr32[       ]+mov[         ]+rax,ds:0x600898
-[       ]*3b:[  ]+67 a2 98 08 60 00[    ]+addr32[       ]+mov[         ]+ds:0x600898,al
-[       ]*41:[  ]+67 66 a3 98 08 60 00[         ]+addr32[       ]+mov[         ]+ds:0x600898,ax
-[       ]*48:[  ]+67 a3 98 08 60 00[    ]+addr32[       ]+mov[         ]+ds:0x600898,eax
-[       ]*4e:[  ]+67 48 a3 98 08 60 00[         ]+addr32[       ]+mov[         ]+ds:0x600898,rax
+0+ <.text>:
+[      ]*[a-f0-9]+:    67 48 8d 80 00 00 00 00         addr32 lea rax,\[eax\+0x0\].*
+[      ]*[a-f0-9]+:    67 49 8d 80 00 00 00 00         addr32 lea rax,\[r8d\+0x0\].*
+[      ]*[a-f0-9]+:    67 48 8d 05 00 00 00 00         addr32 lea rax,\[eip\+0x0\].*
+[      ]*[a-f0-9]+:    67 48 8d 04 25 00 00 00 00      addr32 lea rax,ds:0x0.*
+[      ]*[a-f0-9]+:    67 a0 98 08 60 00       addr32 mov al,ds:0x600898
+[      ]*[a-f0-9]+:    67 66 a1 98 08 60 00    addr32 mov ax,ds:0x600898
+[      ]*[a-f0-9]+:    67 a1 98 08 60 00       addr32 mov eax,ds:0x600898
+[      ]*[a-f0-9]+:    67 48 a1 98 08 60 00    addr32 mov rax,ds:0x600898
+[      ]*[a-f0-9]+:    67 48 a1 98 08 80 00    addr32 mov rax,ds:0x800898
+[      ]*[a-f0-9]+:    67 48 8b 1c 25 98 08 80 00      addr32 mov rbx,QWORD PTR ds:0x800898
+[      ]*[a-f0-9]+:    67 a2 98 08 60 00       addr32 mov ds:0x600898,al
+[      ]*[a-f0-9]+:    67 66 a3 98 08 60 00    addr32 mov ds:0x600898,ax
+[      ]*[a-f0-9]+:    67 a3 98 08 60 00       addr32 mov ds:0x600898,eax
+[      ]*[a-f0-9]+:    67 48 a3 98 08 60 00    addr32 mov ds:0x600898,rax
+[      ]*[a-f0-9]+:    67 48 a3 98 08 80 00    addr32 mov ds:0x800898,rax
+[      ]*[a-f0-9]+:    67 48 89 1c 25 98 08 80 00      addr32 mov QWORD PTR ds:0x800898,rbx
 #pass

diff --git a/gas/testsuite/gas/i386/x86-64-addr32.d b/gas/testsuite/gas/i386/x86-64-addr32.d
index 82b3575..ae25c69 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-addr32.d
+++ b/gas/testsuite/gas/i386/x86-64-addr32.d
@@ -6,17 +6,21 @@
 
 Disassembly of section .text:
 
-0+000 <.text>:
-[       ]*0:[   ]+67 48 8d 80 00 00 00 00[      ]+(addr32[      ]+)?lea[       ]+0x0\(%eax\),%rax.*
-[       ]*8:[   ]+67 49 8d 80 00 00 00 00[      ]+(addr32[      ]+)?lea[       ]+0x0\(%r8d\),%rax.*
-[       ]*10:[  ]+67 48 8d 05 00 00 00 00[      ]+(addr32[      ]+)?lea[       ]+0x0\(%eip\),%rax.*
-[       ]*18:[  ]+67 48 8d 04 25 00 00 00 00[   ]+addr32[       ]+lea[         ]+0x0,%rax.*
-[       ]*21:[  ]+67 a0 98 08 60 00[    ]+addr32[       ]+mov[         ]+0x600898,%al
-[       ]*27:[  ]+67 66 a1 98 08 60 00[         ]+addr32[       ]+mov[         ]+0x600898,%ax
-[       ]*2e:[  ]+67 a1 98 08 60 00[    ]+addr32[       ]+mov[         ]+0x600898,%eax
-[       ]*34:[  ]+67 48 a1 98 08 60 00[         ]+addr32[       ]+mov[         ]+0x600898,%rax
-[       ]*3b:[  ]+67 a2 98 08 60 00[    ]+addr32[       ]+mov[         ]+%al,0x600898
-[       ]*41:[  ]+67 66 a3 98 08 60 00[         ]+addr32[       ]+mov[         ]+%ax,0x600898
-[       ]*48:[  ]+67 a3 98 08 60 00[    ]+addr32[       ]+mov[         ]+%eax,0x600898
-[       ]*4e:[  ]+67 48 a3 98 08 60 00[         ]+addr32[       ]+mov[         ]+%rax,0x600898
+0+ <.text>:
+[      ]*[a-f0-9]+:    67 48 8d 80 00 00 00 00         addr32 lea 0x0\(%eax\),%rax.*
+[      ]*[a-f0-9]+:    67 49 8d 80 00 00 00 00         addr32 lea 0x0\(%r8d\),%rax.*
+[      ]*[a-f0-9]+:    67 48 8d 05 00 00 00 00         addr32 lea 0x0\(%eip\),%rax.*
+[      ]*[a-f0-9]+:    67 48 8d 04 25 00 00 00 00      addr32 lea 0x0,%rax.*
+[      ]*[a-f0-9]+:    67 a0 98 08 60 00       addr32 mov 0x600898,%al
+[      ]*[a-f0-9]+:    67 66 a1 98 08 60 00    addr32 mov 0x600898,%ax
+[      ]*[a-f0-9]+:    67 a1 98 08 60 00       addr32 mov 0x600898,%eax
+[      ]*[a-f0-9]+:    67 48 a1 98 08 60 00    addr32 mov 0x600898,%rax
+[      ]*[a-f0-9]+:    67 48 a1 98 08 80 00    addr32 mov 0x800898,%rax
+[      ]*[a-f0-9]+:    67 48 8b 1c 25 98 08 80 00      addr32 mov 0x800898,%rbx
+[      ]*[a-f0-9]+:    67 a2 98 08 60 00       addr32 mov %al,0x600898
+[      ]*[a-f0-9]+:    67 66 a3 98 08 60 00    addr32 mov %ax,0x600898
+[      ]*[a-f0-9]+:    67 a3 98 08 60 00       addr32 mov %eax,0x600898
+[      ]*[a-f0-9]+:    67 48 a3 98 08 60 00    addr32 mov %rax,0x600898
+[      ]*[a-f0-9]+:    67 48 a3 98 08 80 00    addr32 mov %rax,0x800898
+[      ]*[a-f0-9]+:    67 48 89 1c 25 98 08 80 00      addr32 mov %rbx,0x800898
 #pass

diff --git a/gas/testsuite/gas/i386/x86-64-addr32.s b/gas/testsuite/gas/i386/x86-64-addr32.s
index 889c5fd..7f661ec 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-addr32.s
+++ b/gas/testsuite/gas/i386/x86-64-addr32.s
@@ -7,7 +7,11 @@
        addr32 mov      0x600898,%ax
        addr32 mov      0x600898,%eax
        addr32 mov      0x600898,%rax
+       addr32 mov      0x800898,%rax
+       addr32 mov      0x800898,%rbx
        addr32 mov      %al,0x600898
        addr32 mov      %ax,0x600898
        addr32 mov      %eax,0x600898
        addr32 mov      %rax,0x600898
+       addr32 mov      %rax,0x800898
+       addr32 mov      %rbx,0x800898

diff --git a/gas/testsuite/gas/i386/x86-64-disp.d b/gas/testsuite/gas/i386/x86-64-disp.d
new file mode 100644 (file)
index 0000000..770ad77
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-disp.d
@@ -0,0 +1,19 @@
+#as: -J
+#objdump: -drw
+#name: x86-64 displacement
+
+.*: +file format .*
+
+Disassembly of section .text:
+
+0+ <.text>:
+[      ]*[a-f0-9]+:    8b 98 ff ff ff 7f       mov    0x7fffffff\(%rax\),%ebx
+[      ]*[a-f0-9]+:    8b 98 00 00 00 80       mov    -0x80000000\(%rax\),%ebx
+[      ]*[a-f0-9]+:    8b 1c 25 00 00 00 80    mov    0xffffffff80000000,%ebx
+[      ]*[a-f0-9]+:    8b 1c 25 00 00 00 80    mov    0xffffffff80000000,%ebx
+[      ]*[a-f0-9]+:    8b 1c 25 ff ff ff 7f    mov    0x7fffffff,%ebx
+[      ]*[a-f0-9]+:    8b 04 25 00 00 00 80    mov    0xffffffff80000000,%eax
+[      ]*[a-f0-9]+:    8b 04 25 00 00 00 80    mov    0xffffffff80000000,%eax
+[      ]*[a-f0-9]+:    8b 04 25 ff ff ff 7f    mov    0x7fffffff,%eax
+[      ]*[a-f0-9]+:    a1 00 00 00 80 00 00 00 00      mov    0x80000000,%eax
+#pass

diff --git a/gas/testsuite/gas/i386/x86-64-disp.s b/gas/testsuite/gas/i386/x86-64-disp.s
new file mode 100644 (file)
index 0000000..aaac1d7
--- /dev/null
+++ b/gas/testsuite/gas/i386/x86-64-disp.s
@@ -0,0 +1,9 @@
+       mov 0x7fffffff(%rax),%ebx
+       mov -0x80000000(%rax),%ebx
+       mov -0x80000000,%ebx
+       mov 0xffffffff80000000,%ebx
+       mov 0x7fffffff,%ebx
+       mov -0x80000000,%eax
+       mov 0xffffffff80000000,%eax
+       mov 0x7fffffff,%eax
+       mov 0x80000000,%eax

diff --git a/gas/testsuite/gas/i386/x86-64-inval.l b/gas/testsuite/gas/i386/x86-64-inval.l
index b771b95..11d5186 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-inval.l
+++ b/gas/testsuite/gas/i386/x86-64-inval.l
@@ -61,9 +61,8 @@
 .*:62: Error: .*
 .*:63: Error: .*
 .*:64: Error: .*
+.*:66: Error: .*
 .*:67: Error: .*
-.*:68: Error: .*
-.*:69: Error: .*
 .*:70: Error: .*
 .*:71: Error: .*
 .*:72: Error: .*
@@ -95,6 +94,9 @@
 .*:98: Error: .*
 .*:99: Error: .*
 .*:100: Error: .*
+.*:101: Error: .*
+.*:102: Error: .*
+.*:103: Error: .*
 GAS LISTING .*
 
 
@@ -166,38 +168,41 @@ GAS LISTING .*
 [      ]*63[   ]+movnti %ax, \(%rax\)
 [      ]*64[   ]+movntiw %ax, \(%rax\)
 [      ]*65[   ]+
-[      ]*66[   ]+\.intel_syntax noprefix
-[      ]*67[   ]+cmpxchg16b dword ptr \[rax\] \# Must be oword
-[      ]*68[   ]+movq xmm1, XMMWORD PTR \[rsp\]
-[      ]*69[   ]+movq xmm1, DWORD PTR \[rsp\]
-[      ]*70[   ]+movq xmm1, WORD PTR \[rsp\]
-[      ]*71[   ]+movq xmm1, BYTE PTR \[rsp\]
-[      ]*72[   ]+movq XMMWORD PTR \[rsp\],xmm1
-[      ]*73[   ]+movq DWORD PTR \[rsp\],xmm1
-[      ]*74[   ]+movq WORD PTR \[rsp\],xmm1
-[      ]*75[   ]+movq BYTE PTR \[rsp\],xmm1
-[      ]*76[   ]+fnstsw eax
-[      ]*77[   ]+fnstsw al
-[      ]*78[   ]+fstsw eax
-[      ]*79[   ]+fstsw al
-[      ]*80[   ]+in rax,8
-[      ]*81[   ]+out 8,rax
-[      ]*82[   ]+movsx ax, \[rax\]
-[      ]*83[   ]+movsx eax, \[rax\]
-[      ]*84[   ]+movsx rax, \[rax\]
-[      ]*85[   ]+movzx ax, \[rax\]
-[      ]*86[   ]+movzx eax, \[rax\]
-[      ]*87[   ]+movzx rax, \[rax\]
-[      ]*88[   ]+movnti word ptr \[rax\], ax
-[      ]*89[   ]+calld eax     \# 32-bit data size not allowed
-[      ]*90[   ]+calld \[ax\]  \# 32-bit data size not allowed
-[      ]*91[   ]+calld \[eax\] \# 32-bit data size not allowed
-[      ]*92[   ]+calld \[r8\]  \# 32-bit data size not allowed
-[      ]*93[   ]+calld \[rax\] \# 32-bit data size not allowed
-[      ]*94[   ]+callq \[ax\]  \# no 16-bit addressing
-[      ]*95[   ]+jmpd eax      \# 32-bit data size not allowed
-[      ]*96[   ]+jmpd \[ax\]   \# 32-bit data size not allowed
-[      ]*97[   ]+jmpd \[eax\]  \# 32-bit data size not allowed
-[      ]*98[   ]+jmpd \[r8\]   \# 32-bit data size not allowed
-[      ]*99[   ]+jmpd \[rax\]  \# 32-bit data size not allowed
-[      ]*100[  ]+jmpq \[ax\]   \# no 16-bit addressing
+[      ]*66[   ]+mov 0x80000000\(%rax\),%ebx
+[      ]*67[   ]+mov 0x80000000,%ebx
+[      ]*68[   ]+
+[      ]*69[   ]+\.intel_syntax noprefix
+[      ]*70[   ]+cmpxchg16b dword ptr \[rax\] \# Must be oword
+[      ]*71[   ]+movq xmm1, XMMWORD PTR \[rsp\]
+[      ]*72[   ]+movq xmm1, DWORD PTR \[rsp\]
+[      ]*73[   ]+movq xmm1, WORD PTR \[rsp\]
+[      ]*74[   ]+movq xmm1, BYTE PTR \[rsp\]
+[      ]*75[   ]+movq XMMWORD PTR \[rsp\],xmm1
+[      ]*76[   ]+movq DWORD PTR \[rsp\],xmm1
+[      ]*77[   ]+movq WORD PTR \[rsp\],xmm1
+[      ]*78[   ]+movq BYTE PTR \[rsp\],xmm1
+[      ]*79[   ]+fnstsw eax
+[      ]*80[   ]+fnstsw al
+[      ]*81[   ]+fstsw eax
+[      ]*82[   ]+fstsw al
+[      ]*83[   ]+in rax,8
+[      ]*84[   ]+out 8,rax
+[      ]*85[   ]+movsx ax, \[rax\]
+[      ]*86[   ]+movsx eax, \[rax\]
+[      ]*87[   ]+movsx rax, \[rax\]
+[      ]*88[   ]+movzx ax, \[rax\]
+[      ]*89[   ]+movzx eax, \[rax\]
+[      ]*90[   ]+movzx rax, \[rax\]
+[      ]*91[   ]+movnti word ptr \[rax\], ax
+[      ]*92[   ]+calld eax     \# 32-bit data size not allowed
+[      ]*93[   ]+calld \[ax\]  \# 32-bit data size not allowed
+[      ]*94[   ]+calld \[eax\] \# 32-bit data size not allowed
+[      ]*95[   ]+calld \[r8\]  \# 32-bit data size not allowed
+[      ]*96[   ]+calld \[rax\] \# 32-bit data size not allowed
+[      ]*97[   ]+callq \[ax\]  \# no 16-bit addressing
+[      ]*98[   ]+jmpd eax      \# 32-bit data size not allowed
+[      ]*99[   ]+jmpd \[ax\]   \# 32-bit data size not allowed
+[      ]*100[  ]+jmpd \[eax\]  \# 32-bit data size not allowed
+[      ]*101[  ]+jmpd \[r8\]   \# 32-bit data size not allowed
+[      ]*102[  ]+jmpd \[rax\]  \# 32-bit data size not allowed
+[      ]*103[  ]+jmpq \[ax\]   \# no 16-bit addressing

diff --git a/gas/testsuite/gas/i386/x86-64-inval.s b/gas/testsuite/gas/i386/x86-64-inval.s
index 180db8e..fd5e8dc 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-inval.s
+++ b/gas/testsuite/gas/i386/x86-64-inval.s
@@ -63,6 +63,9 @@ movzxl (%rax),%rax
 movnti %ax, (%rax)
 movntiw %ax, (%rax)
 
+mov 0x80000000(%rax),%ebx
+mov 0x80000000,%ebx
+
        .intel_syntax noprefix
        cmpxchg16b dword ptr [rax] # Must be oword
        movq xmm1, XMMWORD PTR [rsp]

diff --git a/gas/testsuite/gas/i386/x86-64-prescott.d b/gas/testsuite/gas/i386/x86-64-prescott.d
index 943ad3e..2ceba67 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-prescott.d
+++ b/gas/testsuite/gas/i386/x86-64-prescott.d
@@ -10,9 +10,9 @@ Disassembly of section .text:
    4:  66 0f d0 ca [   ]*addsubpd %xmm2,%xmm1
    8:  f2 0f d0 13 [   ]*addsubps \(%rbx\),%xmm2
    c:  f2 0f d0 dc [   ]*addsubps %xmm4,%xmm3
-  10:  df 88 90 90 90 90 [     ]*fisttp -0x6f6f6f70\(%rax\)
-  16:  db 88 90 90 90 90 [     ]*fisttpl -0x6f6f6f70\(%rax\)
-  1c:  dd 88 90 90 90 90 [     ]*fisttpll -0x6f6f6f70\(%rax\)
+  10:  df 88 90 90 90 00 [     ]*fisttp 0x909090\(%rax\)
+  16:  db 88 90 90 90 00 [     ]*fisttpl 0x909090\(%rax\)
+  1c:  dd 88 90 90 90 00 [     ]*fisttpll 0x909090\(%rax\)
   22:  66 0f 7c 65 00 [        ]*haddpd 0x0\(%rbp\),%xmm4
   27:  66 0f 7c ee [   ]*haddpd %xmm6,%xmm5
   2b:  f2 0f 7c 37 [   ]*haddps \(%rdi\),%xmm6

diff --git a/gas/testsuite/gas/i386/x86-64-prescott.s b/gas/testsuite/gas/i386/x86-64-prescott.s
index 58fea02..123a3e9 100644 (file)
--- a/gas/testsuite/gas/i386/x86-64-prescott.s
+++ b/gas/testsuite/gas/i386/x86-64-prescott.s
@@ -6,9 +6,9 @@ foo:
        addsubpd        %xmm2,%xmm1
        addsubps        (%rbx),%xmm2
        addsubps        %xmm4,%xmm3
-       fisttp          0x90909090(%rax)
-       fisttpl         0x90909090(%rax)
-       fisttpll        0x90909090(%rax)
+       fisttp          0x909090(%rax)
+       fisttpl         0x909090(%rax)
+       fisttpll        0x909090(%rax)
        haddpd          0x0(%rbp),%xmm4
        haddpd          %xmm6,%xmm5
        haddps          (%rdi),%xmm6