+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
)
(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))]
(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))]
"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)
+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.
--- /dev/null
+/* 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;
+}