Fix some issues with the ROP patch (PR 68471, 68472)

	PR target/68471
	PR target/68472
	* config/i386/i386.c (ix86_mitigate_rop): Don't call
	compute_bb_for_insn again.  Call df_insn_rescan_all.
	* config/i386/i386.md (set_got_rex64): Override modrm_class.

	* regrename.c (build_def_use): Ignore stack regs if regstack_completed.

testsuite/
	* gcc.target/i386/rop1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231228 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8f5017efa1a48b83d3bcb4b2f4e2c34b95cacf50..6e9c823d3aa4ee0679bbf95b1680a23af276fe03 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+2015-12-03  Bernd Schmidt  <bschmidt@redhat.com>
+
+       PR target/68471
+       PR target/68472
+       * config/i386/i386.c (ix86_mitigate_rop): Don't call
+       compute_bb_for_insn again.  Call df_insn_rescan_all.
+       * config/i386/i386.md (set_got_rex64): Override modrm_class.
+
+       * regrename.c (build_def_use): Ignore stack regs if regstack_completed.
+
 2015-12-03  Nathan Sidwell  <nathan@acm.org>
 
        * config/nvptx/nvptx-protos.h (npvptx_section_from_addr_space): Delete.

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 05e7fe6d39ae5077c0bbe498bf235e09e2a5189f..96d6c98d93559fe88e35d06c97822c7125c2a0dd 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -45267,8 +45267,9 @@ ix86_mitigate_rop (void)
   COPY_HARD_REG_SET (inout_risky, input_risky);
   IOR_HARD_REG_SET (inout_risky, output_risky);
 
-  compute_bb_for_insn ();
   df_note_add_problem ();
+  /* Fix up what stack-regs did.  */
+  df_insn_rescan_all ();
   df_analyze ();
 
   regrename_init (true);

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index e8c5f061331b9f63f86f026fa23d01dd3fc79880..f2b20412137e9f19f275fdec347cd6a87f0ec33e 100644 (file)
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -12421,6 +12421,7 @@
   "lea{q}\t{_GLOBAL_OFFSET_TABLE_(%%rip), %0|%0, _GLOBAL_OFFSET_TABLE_[rip]}"
   [(set_attr "type" "lea")
    (set_attr "length_address" "4")
+   (set_attr "modrm_class" "unknown")
    (set_attr "mode" "DI")])
 
 (define_insn "set_rip_rex64"

diff --git a/gcc/regrename.c b/gcc/regrename.c
index e2a1e83c7ea01fc59888dadf9a57f7fdc4ba5fca..701e0789955eddad289468dcb7269d34328725dd 100644 (file)
--- a/gcc/regrename.c
+++ b/gcc/regrename.c
@@ -1677,6 +1677,12 @@ build_def_use (basic_block bb)
                      untracked_operands |= 1 << matches;
                    }
                }
+#ifdef STACK_REGS
+             if (regstack_completed
+                 && REG_P (op)
+                 && IN_RANGE (REGNO (op), FIRST_STACK_REG, LAST_STACK_REG))
+               untracked_operands |= 1 << i;
+#endif
              /* If there's an in-out operand with a register that is not
                 being tracked at all yet, open a chain.  */
              if (recog_data.operand_type[i] == OP_INOUT

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4dd7f3d21900992b6aeab8c42d4e137fdc0834f1..9cbd390a803df77359c9ac0d73b7aa26d6a21fef 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-12-03  Bernd Schmidt  <bschmidt@redhat.com>
+
+       PR target/68472
+       * gcc.target/i386/rop1.c: New test.
+
 2015-12-03  Nathan Sidwell  <nathan@acm.org>
 
        * gcc.target/nvptx/decl.c: New.