diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2015-07-24 01:43:22 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2015-07-24 01:43:22 +0000 |
| commit | 390875e69414e413076e9dad99dfab945f986eab (patch) | |
| tree | 27e9b050104ff8c47d9677dee1e5d5c4be94ee75 /gcc | |
| parent | fa24123b0fbb8baeca2deb7c79b62c58f5c1fe23 (diff) | |
| download | gcc-390875e69414e413076e9dad99dfab945f986eab.zip gcc-390875e69414e413076e9dad99dfab945f986eab.tar.gz gcc-390875e69414e413076e9dad99dfab945f986eab.tar.bz2 | |
reg_equal_test.c: New test.
gcc/testsuite/ChangeLog:
2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.target/arm/reg_equal_test.c: New test.
gcc/ChangeLog:
2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org>
* config/arm/arm.c (arm_emit_movpair): Add REG_EQUAL notes to
instruction.
From-SVN: r226135
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/config/arm/arm.c | 14 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/arm/reg_equal_test.c | 24 |
4 files changed, 44 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1d6fd3c..211f82b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org> + * config/arm/arm.c (arm_emit_movpair): Add REG_EQUAL notes to + instruction. + +2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org> + * cse.c (cse_insn): Fix missing check for STRICT_LOW_PART and minor clean up. diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c index e1bc727..eeab8a8 100644 --- a/gcc/config/arm/arm.c +++ b/gcc/config/arm/arm.c @@ -17871,19 +17871,27 @@ output_mov_long_double_arm_from_arm (rtx *operands) void arm_emit_movpair (rtx dest, rtx src) { + rtx insn; + /* If the src is an immediate, simplify it. */ if (CONST_INT_P (src)) { HOST_WIDE_INT val = INTVAL (src); emit_set_insn (dest, GEN_INT (val & 0x0000ffff)); if ((val >> 16) & 0x0000ffff) - emit_set_insn (gen_rtx_ZERO_EXTRACT (SImode, dest, GEN_INT (16), - GEN_INT (16)), - GEN_INT ((val >> 16) & 0x0000ffff)); + { + emit_set_insn (gen_rtx_ZERO_EXTRACT (SImode, dest, GEN_INT (16), + GEN_INT (16)), + GEN_INT ((val >> 16) & 0x0000ffff)); + insn = get_last_insn (); + set_unique_reg_note (insn, REG_EQUAL, copy_rtx (src)); + } return; } emit_set_insn (dest, gen_rtx_HIGH (SImode, src)); emit_set_insn (dest, gen_rtx_LO_SUM (SImode, dest, src)); + insn = get_last_insn (); + set_unique_reg_note (insn, REG_EQUAL, copy_rtx (src)); } /* Output a move between double words. It must be REG<-MEM diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d8742d3..81d09f6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org> + + * gcc.target/arm/reg_equal_test.c: New test. + 2015-07-23 Jeff Law <law@redhat.com> PR lto/66752 diff --git a/gcc/testsuite/gcc.target/arm/reg_equal_test.c b/gcc/testsuite/gcc.target/arm/reg_equal_test.c new file mode 100644 index 0000000..58fa9dd --- /dev/null +++ b/gcc/testsuite/gcc.target/arm/reg_equal_test.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-rtl-expand" } */ + +extern void abort (void); +unsigned int a = 1; + +int +main (void) +{ + unsigned int b, c, d; + + if (sizeof (int) != 4 || (int) 0xc7d24b5e > 0) + return 0; + + c = 0xc7d24b5e; + d = a | -2; + b = (d == 0) ? c : (c % d); + if (b != c) + abort (); + + return 0; +} + +/* { dg-final { scan-rtl-dump "expr_list:REG_EQUAL \\(const_int -942519458" "expand" } } */ |