git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[ARM] PR target/70566 Check that condition register is dead in tst-imm -> lsls-imm Thumb2 peepholes 

PR target/70566
	* config/arm/thumb2.md (tst + branch-> lsls + branch
	peephole below *orsi_not_shiftsi_si): Require that condition
	register is dead after the peephole.
	(second peephole after the above): Likewise.

	* gcc.c-torture/execute/pr70566.c: New test.

From-SVN: r234825
This commit is contained in:
Kyrylo Tkachov 2016-04-08 09:39:44 +00:00 committed by Kyrylo Tkachov
parent 211f3d57b1
commit bae7adda10
4 changed files with 64 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2016-04-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/70566
* config/arm/thumb2.md (tst + branch-> lsls + branch
peephole below *orsi_not_shiftsi_si): Require that condition
register is dead after the peephole.
(second peephole after the above): Likewise.
2016-04-08 Alan Modra <amodra@gmail.com> 2016-04-08 Alan Modra <amodra@gmail.com>
PR target/70117 PR target/70117

6
gcc/config/arm/thumb2.md
View File

@ -1550,7 +1550,8 @@
(match_operand 5 "" "") (match_operand 5 "" "")
(match_operand 6 "" "")))] (match_operand 6 "" "")))]
"TARGET_THUMB2 "TARGET_THUMB2
&& (INTVAL (operands[2]) >= 0 && INTVAL (operands[2]) < 32)" && (INTVAL (operands[2]) >= 0 && INTVAL (operands[2]) < 32)
&& peep2_reg_dead_p (2, operands[0])"
[(parallel [(set (match_dup 0) [(parallel [(set (match_dup 0)
(compare:CC_NOOV (ashift:SI (match_dup 1) (match_dup 2)) (compare:CC_NOOV (ashift:SI (match_dup 1) (match_dup 2))
(const_int 0))) (const_int 0)))
@ -1578,7 +1579,8 @@
(match_operand 5 "" "") (match_operand 5 "" "")
(match_operand 6 "" "")))] (match_operand 6 "" "")))]
"TARGET_THUMB2 "TARGET_THUMB2
&& (INTVAL (operands[2]) > 0 && INTVAL (operands[2]) < 32)" && (INTVAL (operands[2]) > 0 && INTVAL (operands[2]) < 32)
&& peep2_reg_dead_p (2, operands[0])"
[(parallel [(set (match_dup 0) [(parallel [(set (match_dup 0)
(compare:CC_NOOV (ashift:SI (match_dup 1) (match_dup 2)) (compare:CC_NOOV (ashift:SI (match_dup 1) (match_dup 2))
(const_int 0))) (const_int 0)))

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2016-04-08 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/70566
* gcc.c-torture/execute/pr70566.c: New test.
2016-04-08 Tom de Vries <tom@codesourcery.com> 2016-04-08 Tom de Vries <tom@codesourcery.com>
* c-c++-common/goacc/uninit-copy-clause.c: New test. * c-c++-common/goacc/uninit-copy-clause.c: New test.

47
gcc/testsuite/gcc.c-torture/execute/pr70566.c Normal file
View File

@ -0,0 +1,47 @@
/* PR target/70566. */
#define NULL 0
struct mystruct
{
unsigned int f1 : 1;
unsigned int f2 : 1;
unsigned int f3 : 1;
};
__attribute__ ((noinline)) void
myfunc (int a, void *b)
{
}
__attribute__ ((noinline)) int
myfunc2 (void *a)
{
return 0;
}
static void
set_f2 (struct mystruct *user, int f2)
{
if (user->f2 != f2)
myfunc (myfunc2 (NULL), NULL);
else
__builtin_abort ();
}
__attribute__ ((noinline)) void
foo (void *data)
{
struct mystruct *user = data;
if (!user->f2)
set_f2 (user, 1);
}
int
main (void)
{
struct mystruct a;
a.f1 = 1;
a.f2 = 0;
foo (&a);
return 0;
}