diff options
| author | Richard Biener <rguenther@suse.de> | 2013-10-29 14:29:22 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-10-29 14:29:22 +0000 |
| commit | 72a6cdded16108660cf4fd20b9195004768a4a5a (patch) | |
| tree | d201fdea1d3b9661068f1ad4a902f2deffdd6d58 /gcc | |
| parent | 4879f42a0717332876bff5f8b49d26bccdb8433d (diff) | |
| download | gcc-72a6cdded16108660cf4fd20b9195004768a4a5a.zip gcc-72a6cdded16108660cf4fd20b9195004768a4a5a.tar.gz gcc-72a6cdded16108660cf4fd20b9195004768a4a5a.tar.bz2 | |
restrict-2.c: New testcase.
2013-10-29 Richard Biener <rguenther@suse.de>
* gcc.dg/torture/restrict-2.c: New testcase.
* gcc.dg/torture/restrict-3.c: Likewise.
* gcc.dg/torture/restrict-4.c: Likewise.
* gcc.dg/torture/restrict-5.c: Likewise.
From-SVN: r204162
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/restrict-2.c | 27 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/restrict-3.c | 26 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/restrict-4.c | 26 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/restrict-5.c | 25 |
5 files changed, 111 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 69937ed..7e5438f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2013-10-29 Richard Biener <rguenther@suse.de> + + * gcc.dg/torture/restrict-2.c: New testcase. + * gcc.dg/torture/restrict-3.c: Likewise. + * gcc.dg/torture/restrict-4.c: Likewise. + * gcc.dg/torture/restrict-5.c: Likewise. + 2013-10-29 Marc Glisse <marc.glisse@inria.fr> PR tree-optimization/19831 diff --git a/gcc/testsuite/gcc.dg/torture/restrict-2.c b/gcc/testsuite/gcc.dg/torture/restrict-2.c new file mode 100644 index 0000000..ec51ade --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/restrict-2.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ + +extern void abort (void); + +static inline void +foo (int * p) +{ + int * __restrict pr = p; + *pr = 1; +} + +int __attribute__((noinline,noclone)) +bar (int *q) +{ + int * __restrict qr = q; + *qr = 0; + foo (qr); + return *qr; +} + +int main() +{ + int i; + if (bar (&i) != 1) + abort (); + return 0; +} diff --git a/gcc/testsuite/gcc.dg/torture/restrict-3.c b/gcc/testsuite/gcc.dg/torture/restrict-3.c new file mode 100644 index 0000000..d815b80 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/restrict-3.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ + +extern void abort (void); + +static inline void +foo (int * __restrict pr) +{ + *pr = 1; +} + +int __attribute__((noinline,noclone)) +bar (int *q) +{ + int * __restrict qr = q; + *qr = 0; + foo (qr); + return *qr; +} + +int main() +{ + int i; + if (bar (&i) != 1) + abort (); + return 0; +} diff --git a/gcc/testsuite/gcc.dg/torture/restrict-4.c b/gcc/testsuite/gcc.dg/torture/restrict-4.c new file mode 100644 index 0000000..52994d4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/restrict-4.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ + +extern void abort (void); + +static inline void +foo (int * p) +{ + int * __restrict pr = p; + *pr = 1; +} + +int __attribute__((noinline,noclone)) +bar (int * __restrict qr) +{ + *qr = 0; + foo (qr); + return *qr; +} + +int main() +{ + int i; + if (bar (&i) != 1) + abort (); + return 0; +} diff --git a/gcc/testsuite/gcc.dg/torture/restrict-5.c b/gcc/testsuite/gcc.dg/torture/restrict-5.c new file mode 100644 index 0000000..233a907 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/restrict-5.c @@ -0,0 +1,25 @@ +/* { dg-do run } */ + +extern void abort (void); + +static inline void +foo (int * __restrict pr) +{ + *pr = 1; +} + +int __attribute__((noinline,noclone)) +bar (int * __restrict qr) +{ + *qr = 0; + foo (qr); + return *qr; +} + +int main() +{ + int i; + if (bar (&i) != 1) + abort (); + return 0; +} |