OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

predicates.md (call_memory_operand): New.

Browse Source 
* config/arm/predicates.md (call_memory_operand): New.
	* config/arm/arm.md (*call_mem, *call_value_mem): Use it.

testsuite/
	* gcc.dg/20051215-1.c: New file.

From-SVN: r108583
This commit is contained in:
Richard Sandiford 2005-12-15 16:42:10 +00:00 committed by Richard Sandiford
parent a8acd1c480
commit e6add59b16
5 changed files with 55 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2005-12-15 Richard Sandiford <richard@codesourcery.com>
* config/arm/predicates.md (call_memory_operand): New.
* config/arm/arm.md (*call_mem, *call_value_mem): Use it.
2005-12-15 Andrew Haley <aph@redhat.com>
* unwind-dw2-fde-glibc.c (_Unwind_IteratePhdrCallback): Guard

4
gcc/config/arm/arm.md
View File

@ -7561,7 +7561,7 @@
)
(define_insn "*call_mem"
[(call (mem:SI (match_operand:SI 0 "memory_operand" "m"))
[(call (mem:SI (match_operand:SI 0 "call_memory_operand" "m"))
(match_operand 1 "" ""))
(use (match_operand 2 "" ""))
(clobber (reg:SI LR_REGNUM))]
@ -7655,7 +7655,7 @@
(define_insn "*call_value_mem"
[(set (match_operand 0 "" "")
(call (mem:SI (match_operand:SI 1 "memory_operand" "m"))
(call (mem:SI (match_operand:SI 1 "call_memory_operand" "m"))
(match_operand 2 "" "")))
(use (match_operand 3 "" ""))
(clobber (reg:SI LR_REGNUM))]

8
gcc/config/arm/predicates.md
View File

@ -110,6 +110,14 @@
"offsettable_address_p (reload_completed | reload_in_progress,
mode, XEXP (op, 0))")))
;; True if the operand is a memory operand that does not have an
;; automodified base register (and thus will not generate output reloads).
(define_predicate "call_memory_operand"
(and (match_code "mem")
(and (match_test "GET_RTX_CLASS (GET_CODE (XEXP (op, 0)))
!= RTX_AUTOINC")
(match_operand 0 "memory_operand"))))
(define_predicate "arm_reload_memory_operand"
(and (match_code "mem,reg,subreg")
(match_test "(!CONSTANT_P (op)

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2005-12-15 Richard Sandiford <richard@codesourcery.com>
* gcc.dg/20051215-1.c: New file.
2005-12-14 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
* g++.dg/rtti/repo1.C: Call cleanup-repo-files.

36
gcc/testsuite/gcc.dg/20051215-1.c Normal file
View File

@ -0,0 +1,36 @@
/* ARM's load-and-call patterns used to allow automodified addresses.
This was wrong, because if the modified register were spilled,
the call would need an output reload. */
/* { dg-do run { target arm*-*-* } } */
/* { dg-options "-O2 -fno-omit-frame-pointer" } */
extern void abort (void);
typedef void (*callback) (void);
static void
foo (callback *first, callback *p)
{
while (p > first)
{
(*--p) ();
#ifndef __thumb__
asm ("" : "=r" (p) : "0" (p)
: "r4", "r5", "r6", "r7", "r8", "r9", "r10");
#endif
}
}
static void
dummy (void)
{
static int count;
if (count++ == 1)
abort ();
}
int
main (void)
{
callback list[1] = { dummy };
foo (&list[0], &list[1]);
return 0;
}