diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8c4728c91875fce4cc950714c3fb0f0445ccc42b..2807eb23f85d60704637db38a7eb8c0886b26203 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-04-14 Andrew Burgess <andrew.burgess@embecosm.com> + Guy Benyei <guybe@mellanox.com> + + * config/arc/arc.c (arc_reorg): Move loop_end_id into a more local + block, and do not negate it, the stored id is already negative. + 2017-04-14 Andrew Burgess <andrew.burgess@embecosm.com> * config/arc/arc.md (doloop_begin_i): Use @pcl assembler syntax. diff --git a/gcc/config/arc/arc.c b/gcc/config/arc/arc.c index c8ffa1aa105552401dcabc6697db90389e495806..92fecad93d9bc026befa11a4ff84326abd91be2d 100644 --- a/gcc/config/arc/arc.c +++ b/gcc/config/arc/arc.c @@ -6569,8 +6569,6 @@ arc_reorg (void) rtx_insn *lp_simple = NULL; rtx_insn *next = NULL; rtx op0 = XEXP (XVECEXP (PATTERN (insn), 0, 1), 0); - HOST_WIDE_INT loop_end_id - = -INTVAL (XEXP (XVECEXP (PATTERN (insn), 0, 4), 0)); int seen_label = 0; for (lp = prev; @@ -6581,6 +6579,9 @@ arc_reorg (void) if (!lp || !NONJUMP_INSN_P (lp) || dead_or_set_regno_p (lp, LP_COUNT)) { + HOST_WIDE_INT loop_end_id + = INTVAL (XEXP (XVECEXP (PATTERN (insn), 0, 4), 0)); + for (prev = next = insn, lp = NULL ; prev || next;) { if (prev) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a1d74b6edb46ec80f09144c4c12c7628db734398..3de763f5dc3cf081a42b7b551cde740410b75c00 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2017-04-14 Andrew Burgess <andrew.burgess@embecosm.com> + + * gcc.target/arc/loop-1.c: New file. + 2017-04-14 Michael Meissner <meissner@linux.vnet.ibm.com> PR target/80098 diff --git a/gcc/testsuite/gcc.target/arc/loop-1.c b/gcc/testsuite/gcc.target/arc/loop-1.c new file mode 100644 index 0000000000000000000000000000000000000000..1afe8ebacea379344719a8607f910d5fd714486e --- /dev/null +++ b/gcc/testsuite/gcc.target/arc/loop-1.c @@ -0,0 +1,45 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +/* This case would fail to make use of the zero-overhead loop + instruction at one time due to a bug. */ + +extern char a[]; + +struct some_t +{ + struct + { + int aaa; + short bbb; + char ccc; + char ddd; + } ppp[8]; + + int www[1]; +}; + +int b; + +void +some_function () +{ + struct some_t *tmp = (struct some_t *) a; + + while ((*tmp).ppp[b].ccc) + while(0); + + for (; b; b++) + { + if (tmp->ppp[b].ccc) + { + int c = tmp->ppp[b].bbb; + int d = tmp->ppp[b].aaa; + int e = d - tmp->www[c]; + if (e) + tmp->ppp[b].ddd = 1; + } + } +} + +/* { dg-final { scan-assembler "\[^\n\]+lp \\.L__GCC__" } } */