This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug target/52129] wrong code to pass parameters to tail call function
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 06 Feb 2012 08:02:36 +0000
- Subject: [Bug target/52129] wrong code to pass parameters to tail call function
- Auto-submitted: auto-generated
- References: <bug-52129-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52129
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-06 08:02:36 UTC ---
Reduced testcase (-march=armv7-a -mthumb -O2):
extern void abort (void);
struct S { void *p; unsigned int q; };
struct T { char a[64]; char b[64]; } t;
__attribute__((noinline, noclone)) int
foo (void *x, struct S s, void *y, void *z)
{
if (x != &t.a[2] || s.p != &t.b[5] || s.q != 27 || y != &t.a[17] || z !=
&t.b[17])
abort ();
return 29;
}
__attribute__((noinline, noclone)) int
bar (void *x, void *y, void *z, struct S s, int t, struct T *u)
{
return foo (x, s, &u->a[t], &u->b[t]);
}
int
main ()
{
struct S s = { &t.b[5], 27 };
if (bar (&t.a[2], (void *) 0, (void *) 0, s, 17, &t) != 29)
abort ();
return 0;
}