Merge lp:~eres/gcc-linaro/sms_move_creation_anti-dep_edge into lp:gcc-linaro/4.5

[Revital Eres]

Backport from trunk:

http://gcc.gnu.org/ml/gcc-cvs/2011-07/msg01240.html

http://gcc.gnu.org/ml/gcc-patches/2011-05/msg01340.html

[Linaro Toolchain Builder (cbuild)]

cbuild has taken a snapshot of this branch at r99531 and queued it for build.

The snapshot is available at:
 http://ex.seabright.co.nz/snapshots/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge.tar.xdelta3.xz

and will be built on the following builders:

You can track the build queue at:
 http://ex.seabright.co.nz/helpers/scheduler

cbuild-snapshot: gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge
cbuild-ancestor: lp:gcc-linaro+bzr99530
cbuild-state: check

[Michael Hope (michaelh1)]

Poking the build system...

cbuild-state: queue

[Linaro Toolchain Builder (cbuild)]

cbuild has taken a snapshot of this branch at r99531 and queued it for build.

The snapshot is available at:
 http://ex.seabright.co.nz/snapshots/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge.tar.xdelta3.xz

and will be built on the following builders:
 a9-builder armv5-builder i686 x86_64

You can track the build queue at:
 http://ex.seabright.co.nz/helpers/scheduler

cbuild-snapshot: gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge
cbuild-ancestor: lp:gcc-linaro+bzr99530
cbuild-state: check

[Michael Hope (michaelh1)]

cbuild successfully built this on armv7l-natty-cbuild159-ursa2-cortexa9r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/armv7l-natty-cbuild159-ursa2-cortexa9r1

The testsuite results are the same as the branch point lp:gcc-linaro+bzr99530

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/armv7l-natty-cbuild159-ursa2-cortexa9r1/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild159-ursa2-cortexa9r1

[Michael Hope (michaelh1)]

cbuild successfully built this on armv7l-natty-cbuild159-ursa4-armv5r2.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/armv7l-natty-cbuild159-ursa4-armv5r2

The testsuite results are the same as the branch point lp:gcc-linaro+bzr99530

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/armv7l-natty-cbuild159-ursa4-armv5r2/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild159-ursa4-armv5r2

[Michael Hope (michaelh1)]

cbuild successfully built this on i686-natty-cbuild159-oort6-i686r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/i686-natty-cbuild159-oort6-i686r1

The testsuite results are the same as the branch point lp:gcc-linaro+bzr99530

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/i686-natty-cbuild159-oort6-i686r1/gcc-testsuite.txt

cbuild-checked: i686-natty-cbuild159-oort6-i686r1

[Michael Hope (michaelh1)]

cbuild successfully built this on x86_64-natty-cbuild159-oort1-x86_64r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/x86_64-natty-cbuild159-oort1-x86_64r1

-PASS: gcc.target/i386/pr32661-1.c scan-assembler-times mov 2
+FAIL: gcc.target/i386/pr32661-1.c scan-assembler-times mov 2
-PASS: gcc.target/i386/pr34256.c scan-assembler-times mov 2
+FAIL: gcc.target/i386/pr34256.c scan-assembler-times mov 2

Note that the changes are probably due to 'mov' being in the test name.

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.5+bzr99531~eres~sms_move_creation_anti-dep_edge/logs/x86_64-natty-cbuild159-oort1-x86_64r1/gcc-testsuite.txt

cbuild-checked: x86_64-natty-cbuild159-oort1-x86_64r1

[Ulrich Weigand (uweigand)]

This is OK.

review: Approve

=== modified file 'ChangeLog.linaro'
--- ChangeLog.linaro	2011-07-21 12:40:44 +0000
+++ ChangeLog.linaro	2011-07-31 13:22:14 +0000
@@ -1,3 +1,13 @@
[phone]  Revital Eres  <[e-mail]>		 
+
+	gcc/		 
+	Backport from trunk -r176972:
+
+	* ddg.c (create_ddg_dep_from_intra_loop_link): Remove the creation
+	of anti-dep edge from a branch.
+	(add_cross_iteration_register_deps): Create anti-dep edge from
+	a branch.
+
 2011-07-21  Richard Sandiford  <[e-mail]>
 
 	gcc/

=== modified file 'gcc/ddg.c'
--- gcc/ddg.c	2011-07-05 09:02:18 +0000
+++ gcc/ddg.c	2011-07-31 13:22:14 +0000
@@ -197,11 +197,6 @@
         }
     }
 
-  /* If a true dep edge enters the branch create an anti edge in the
-     opposite direction to prevent the creation of reg-moves.  */
-  if ((DEP_TYPE (link) == REG_DEP_TRUE) && JUMP_P (dest_node->insn))
-    create_ddg_dep_no_link (g, dest_node, src_node, ANTI_DEP, REG_DEP, 1);
-
    latency = dep_cost (link);
    e = create_ddg_edge (src_node, dest_node, t, dt, latency, distance);
    add_edge_to_ddg (g, e);
@@ -305,8 +300,11 @@
 
 	  gcc_assert (first_def_node);
 
+         /* Always create the edge if the use node is a branch in
+            order to prevent the creation of reg-moves.  */
           if (DF_REF_ID (last_def) != DF_REF_ID (first_def)
-              || !flag_modulo_sched_allow_regmoves)
+              || !flag_modulo_sched_allow_regmoves
+	      || JUMP_P (use_node->insn))
             create_ddg_dep_no_link (g, use_node, first_def_node, ANTI_DEP,
                                     REG_DEP, 1);