Merge lp:~ramana/gcc-linaro/47-smin-umin-idiom into lp:gcc-linaro/4.7

[Ramana Radhakrishnan]

Proposed patch modifies code on the left as the equivalent code on the right. Pushing this for some regression testing before asking upstream.

foo: foo:
 @ args = 0, pretend = 0, frame = 0 @ args = 0, pretend = 0, frame = 0
 @ frame_needed = 0, uses_anonymous_args = 0 @ frame_needed = 0, uses_anonymous_args = 0
 @ link register save eliminated. @ link register save eliminated.
 cmp r2, r1 <
 movcs r2, r1 <
 cmp r2, r0 cmp r2, r0
             > cmpcs r1, r0
 movls r0, #0 movls r0, #0
 movhi r0, #1 movhi r0, #1
 bx lr bx lr
 .size foo, .-foo .size foo, .-foo
 .align 2 .align 2
 .global bar .global bar
 .type bar, %function .type bar, %function
bar: bar:
 @ args = 0, pretend = 0, frame = 0 @ args = 0, pretend = 0, frame = 0
 @ frame_needed = 0, uses_anonymous_args = 0 @ frame_needed = 0, uses_anonymous_args = 0
 @ link register save eliminated. @ link register save eliminated.
 cmp r2, r1 <
 movge r2, r1 <
 cmp r2, r0 cmp r2, r0
             > cmpge r1, r0
 movle r0, #0 movle r0, #0
 movgt r0, #1 movgt r0, #1
 bx lr bx lr

[Ramana Radhakrishnan (ramana)]

Better diff below :)

/* { dg-options "-O2" } */
/* { dg-skip-if "" { arm_thumb1_ok } } */
/* { dg-final { scan-assembler "cmpge\t" } } */
/* { dg-final { scan-assembler "cmpcs\t" } } */

#define min(x, y) ((x) <= (y)) ? (x) : (y)
unsigned int foo (unsigned int i, unsigned int x ,unsigned int y)
{
  return i < (min (x, y));
}

int bar (int i, int x, int y)
{
  return i < (min (x, y));
}

@@ -19,9 +18,8 @@
  @ args = 0, pretend = 0, frame = 0
  @ frame_needed = 0, uses_anonymous_args = 0
  @ link register save eliminated.
- cmp r2, r1
- movcs r2, r1
  cmp r2, r0
+ cmpcs r1, r0
  movls r0, #0
  movhi r0, #1
  bx lr
@@ -33,12 +31,11 @@
  @ args = 0, pretend = 0, frame = 0
  @ frame_needed = 0, uses_anonymous_args = 0
  @ link register save eliminated.
- cmp r2, r1
- movge r2, r1
  cmp r2, r0
+ cmpge r1, r0
  movle r0, #0
  movgt r0, #1
  bx lr

@@ -19,9 +18,8 @@
  @ args = 0, pretend = 0, frame = 0
  @ frame_needed = 0, uses_anonymous_args = 0
  @ link register save eliminated.
- cmp r2, r1
- movcs r2, r1
  cmp r2, r0
+ cmpcs r1, r0
  movls r0, #0
  movhi r0, #1
  bx lr
@@ -33,12 +31,11 @@
  @ args = 0, pretend = 0, frame = 0
  @ frame_needed = 0, uses_anonymous_args = 0
  @ link register save eliminated.
- cmp r2, r1
- movge r2, r1
  cmp r2, r0
+ cmpge r1, r0
  movle r0, #0
  movgt r0, #1
  bx lr

[Michael Hope (michaelh1)]

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

The diff against the ancestor r114984 is available at:
 http://builds.linaro.org/toolchain/snapshots/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom.diff

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.7+bzr114985~ramana~47-smin-umin-idiom
cbuild-ancestor: lp:gcc-linaro+bzr114984
cbuild-state: check

[Linaro Toolchain Builder (cbuild)]

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

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/x86_64-natty-cbuild292-oort1-x86_64r1

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

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/x86_64-natty-cbuild292-oort1-x86_64r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/x86_64-natty-cbuild292-oort1-x86_64r1/gcc-testsuite.txt

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

[Linaro Toolchain Builder (cbuild)]

cbuild successfully built this on i686-natty-cbuild292-oort2-i686r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/i686-natty-cbuild292-oort2-i686r1

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

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/i686-natty-cbuild292-oort2-i686r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/i686-natty-cbuild292-oort2-i686r1/gcc-testsuite.txt

cbuild-checked: i686-natty-cbuild292-oort2-i686r1

[Linaro Toolchain Builder (cbuild)]

cbuild successfully built this on armv7l-natty-cbuild292-tcpanda06-cortexa9r1.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda06-cortexa9r1

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

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda06-cortexa9r1/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda06-cortexa9r1/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild292-tcpanda06-cortexa9r1

[Linaro Toolchain Builder (cbuild)]

cbuild successfully built this on armv7l-natty-cbuild292-tcpanda05-armv5r2.

The build results are available at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda05-armv5r2

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

The full diff is at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda05-armv5r2/testsuite-diff.txt

The full testsuite results are at:
 http://ex.seabright.co.nz/build/gcc-linaro-4.7+bzr114985~ramana~47-smin-umin-idiom/logs/armv7l-natty-cbuild292-tcpanda05-armv5r2/gcc-testsuite.txt

cbuild-checked: armv7l-natty-cbuild292-tcpanda05-armv5r2

[Michael Hope (michaelh1)]

Split into https://blueprints.launchpad.net/gcc-linaro/+spec/detect-smin-umin-idiom