From f46ad0764a1c76b50dad4c1197400489b89eaaf5 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Mon, 3 Jul 2000 20:28:34 +0200 Subject: [PATCH] builtins.c (get_memory_rtx): Always put into alias set 0. * builtins.c (get_memory_rtx): Always put into alias set 0. * gcc.c-torture/execute/20000703-1.c: New test. From-SVN: r34849 --- gcc/ChangeLog | 4 ++ gcc/builtins.c | 3 ++ gcc/testsuite/ChangeLog | 4 ++ .../gcc.c-torture/execute/20000703-1.c | 39 +++++++++++++++++++ 4 files changed, 50 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/20000703-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 900ca82fede..9dbde733a0a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2000-07-03 Jakub Jelinek + + * builtins.c (get_memory_rtx): Always put into alias set 0. + 2000-07-03 Nick Clifton * config/arm/arm.md: Fix post increment and pre increment diff --git a/gcc/builtins.c b/gcc/builtins.c index 0e89481a12b..56e6c265caf 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -558,6 +558,9 @@ get_memory_rtx (exp) return mem; set_mem_attributes (mem, exp, 0); + + /* memcpy, memset and other builtin stringops can alias with anything. */ + MEM_ALIAS_SET (mem) = 0; return mem; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5de979c89a0..283c2b52f07 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-07-03 Jakub Jelinek + + * gcc.c-torture/execute/20000703-1.c: New test. + 2000-07-03 Nathan Sidwell * g++.old-deja/g++.pt (lookup10.C): New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20000703-1.c b/gcc/testsuite/gcc.c-torture/execute/20000703-1.c new file mode 100644 index 00000000000..55bdf74df22 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000703-1.c @@ -0,0 +1,39 @@ +void abort(void); +void exit(int); +struct baz +{ + char a[17]; + char b[3]; + unsigned int c; + unsigned int d; +}; + +void foo(struct baz *p, unsigned int c, unsigned int d) +{ + __builtin_memcpy (p->b, "abc", 3); + p->c = c; + p->d = d; +} + +void bar(struct baz *p, unsigned int c, unsigned int d) +{ + ({ void *s = (p); + __builtin_memset (s, '\0', sizeof (struct baz)); + s; }); + __builtin_memcpy (p->a, "01234567890123456", 17); + __builtin_memcpy (p->b, "abc", 3); + p->c = c; + p->d = d; +} + +int main() +{ + struct baz p; + foo(&p, 71, 18); + if (p.c != 71 || p.d != 18) + abort(); + bar(&p, 59, 26); + if (p.c != 59 || p.d != 26) + abort(); + exit(0); +} -- 2.30.2