From 46639003c86c36421c93da0da89469d551a30884 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Mon, 21 Aug 2000 10:30:38 +0200 Subject: [PATCH] 20000606-1.c: New test. * gcc.c-torture/compile/20000606-1.c: New test. * gcc.c-torture/compile/20000728-1.c: New test. * gcc.c-torture/execute/20000801-1.c: New test. * gcc.c-torture/execute/20000801-2.c: New test. * gcc.c-torture/execute/20000819-1.c: New test. * gcc.c-torture/execute/20000819-1.x: XFAIL. * gcc.dg/20000629-1.c: New test. * gcc.dg/20000724-1.c: New test. * gcc.dg/20000807-1.c: New test. From-SVN: r35834 --- gcc/testsuite/ChangeLog | 12 ++++ .../gcc.c-torture/compile/20000606-1.c | 10 +++ .../gcc.c-torture/compile/20000728-1.c | 16 +++++ .../gcc.c-torture/execute/20000801-1.c | 39 ++++++++++++ .../gcc.c-torture/execute/20000801-2.c | 40 ++++++++++++ .../gcc.c-torture/execute/20000819-1.c | 17 +++++ .../gcc.c-torture/execute/20000819-1.x | 2 + gcc/testsuite/gcc.dg/20000629-1.c | 13 ++++ gcc/testsuite/gcc.dg/20000724-1.c | 63 +++++++++++++++++++ gcc/testsuite/gcc.dg/20000807-1.c | 37 +++++++++++ 10 files changed, 249 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/compile/20000606-1.c create mode 100644 gcc/testsuite/gcc.c-torture/compile/20000728-1.c create mode 100644 gcc/testsuite/gcc.c-torture/execute/20000801-1.c create mode 100644 gcc/testsuite/gcc.c-torture/execute/20000801-2.c create mode 100644 gcc/testsuite/gcc.c-torture/execute/20000819-1.c create mode 100644 gcc/testsuite/gcc.c-torture/execute/20000819-1.x create mode 100644 gcc/testsuite/gcc.dg/20000629-1.c create mode 100644 gcc/testsuite/gcc.dg/20000724-1.c create mode 100644 gcc/testsuite/gcc.dg/20000807-1.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5382c0add29..d0c10da4456 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,15 @@ +2000-08-21 Jakub Jelinek + + * gcc.c-torture/compile/20000606-1.c: New test. + * gcc.c-torture/compile/20000728-1.c: New test. + * gcc.c-torture/execute/20000801-1.c: New test. + * gcc.c-torture/execute/20000801-2.c: New test. + * gcc.c-torture/execute/20000819-1.c: New test. + * gcc.c-torture/execute/20000819-1.x: XFAIL. + * gcc.dg/20000629-1.c: New test. + * gcc.dg/20000724-1.c: New test. + * gcc.dg/20000807-1.c: New test. + Sun Aug 20 01:41:35 MSD 2000 Dennis Chernoivanov * gcc.dg/cpp/pragma-1.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/20000606-1.c b/gcc/testsuite/gcc.c-torture/compile/20000606-1.c new file mode 100644 index 00000000000..93977c0931a --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20000606-1.c @@ -0,0 +1,10 @@ +typedef struct _foo foo; +extern foo bar; +struct _foo { + int a; +}; + +void baz(void) +{ + bar.a = 0; +} diff --git a/gcc/testsuite/gcc.c-torture/compile/20000728-1.c b/gcc/testsuite/gcc.c-torture/compile/20000728-1.c new file mode 100644 index 00000000000..f56d940834e --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20000728-1.c @@ -0,0 +1,16 @@ +struct clock { + long sec; long usec; +}; + +int foo(void) +{ + struct clock clock_old = {0, 0}; + + for (;;) { + long foo; + + if (foo == clock_old.sec && 0 == clock_old.usec); + } + return 0; +} + diff --git a/gcc/testsuite/gcc.c-torture/execute/20000801-1.c b/gcc/testsuite/gcc.c-torture/execute/20000801-1.c new file mode 100644 index 00000000000..1bc386ea252 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000801-1.c @@ -0,0 +1,39 @@ +extern void abort(void); +extern void exit(int); + +void +foo (char *bp, unsigned n) +{ + register char c; + register char *ep = bp + n; + register char *sp; + + while (bp < ep) + { + sp = bp + 3; + c = *sp; + *sp = *bp; + *bp++ = c; + sp = bp + 1; + c = *sp; + *sp = *bp; + *bp++ = c; + bp += 2; + } +} + +int main(void) +{ + int one = 1; + + if (sizeof(int) != 4 * sizeof(char)) + exit(0); + + foo((char *)&one, sizeof(one)); + foo((char *)&one, sizeof(one)); + + if (one != 1) + abort(); + + exit(0); +} diff --git a/gcc/testsuite/gcc.c-torture/execute/20000801-2.c b/gcc/testsuite/gcc.c-torture/execute/20000801-2.c new file mode 100644 index 00000000000..5bb17b5db5e --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000801-2.c @@ -0,0 +1,40 @@ +extern void abort(void); +extern void exit(int); +int bar(void); +int baz(void); + +struct foo { + struct foo *next; +}; + +struct foo *test(struct foo *node) +{ + while (node) { + if (bar() && !baz()) + break; + node = node->next; + } + return node; +} + +int bar (void) +{ + return 0; +} + +int baz (void) +{ + return 0; +} + +int main(void) +{ + struct foo a, b, *c; + + a.next = &b; + b.next = (struct foo *)0; + c = test(&a); + if (c) + abort(); + exit (0); +} diff --git a/gcc/testsuite/gcc.c-torture/execute/20000819-1.c b/gcc/testsuite/gcc.c-torture/execute/20000819-1.c new file mode 100644 index 00000000000..e1c2769c08d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000819-1.c @@ -0,0 +1,17 @@ +int a[2] = { 2, 0 }; + +void foo(int *sp, int cnt) +{ + int *p, *top; + + top = sp; sp -= cnt; + + for(p = sp; p <= top; p++) + if (*p < 2) exit(0); +} + +int main() +{ + foo(a + 1, 1); + abort(); +} diff --git a/gcc/testsuite/gcc.c-torture/execute/20000819-1.x b/gcc/testsuite/gcc.c-torture/execute/20000819-1.x new file mode 100644 index 00000000000..2f397b96e51 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20000819-1.x @@ -0,0 +1,2 @@ +set torture_execute_xfail "*-*-*" +return 0 diff --git a/gcc/testsuite/gcc.dg/20000629-1.c b/gcc/testsuite/gcc.dg/20000629-1.c new file mode 100644 index 00000000000..b8c7f286d69 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20000629-1.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -g" } */ + +void foo(register char *p) +{ + char c, *q, *sp; + while (1) { + *p++=0; + sp=p+1; + c=*sp; + *p++=0; + } +} diff --git a/gcc/testsuite/gcc.dg/20000724-1.c b/gcc/testsuite/gcc.dg/20000724-1.c new file mode 100644 index 00000000000..17d2e7ee0d9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20000724-1.c @@ -0,0 +1,63 @@ +/* { dg-do run { target i?86-*-linux* } } */ +/* { dg-options "-O2 -fomit-frame-pointer" } */ + +extern void abort (void); +extern void exit (int); + +struct s { + struct { int a; } a; + int b; + struct { struct { int a; } a; struct t { struct t *a, *b; } b; } c; +}; + +int bar(int (*fn)(void *), void *arg, unsigned long flags) +{ + return 0; +} + +int baz(void *x) +{ + return 0; +} + +void do_check (struct s *) asm ("do_check") __attribute__((regparm(1))); + +void do_check(struct s *x) +{ + if (x->a.a || x->b || x->c.a.a) + abort(); + if (x->c.b.a != &x->c.b || x->c.b.b != &x->c.b) + abort(); +} + +asm (" +___checkme: + pushl %eax; pushl %ebx; pushl %ecx; pushl %edx; pushl %esi; pushl %edi; pushl $0; pushl $0 + pushl $0; pushl $0; pushl $0; pushl $0; pushl $0; pushl $0; pushl $0; pushl $0 + movl %ecx, %eax + call do_check + popl %eax; popl %eax; popl %eax; popl %eax; popl %eax; popl %eax; popl %eax; popl %eax + popl %eax; popl %eax; popl %edi; popl %esi; popl %edx; popl %ecx; popl %ebx; popl %eax + ret +"); + +extern inline void do_asm(struct s * x) +{ + asm volatile("call ___checkme" : : "c" (x) : "memory"); +} + +int foo(void) +{ + struct s x = { { 0 }, 0, { { 0 }, { &x.c.b, &x.c.b } } }; + bar(baz, &x, 1); + do_asm(&x); + bar(baz, &x, 1); + do_asm(&x); + return 0; +} + +int main() +{ + foo(); + exit(0); +} diff --git a/gcc/testsuite/gcc.dg/20000807-1.c b/gcc/testsuite/gcc.dg/20000807-1.c new file mode 100644 index 00000000000..f6547649483 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20000807-1.c @@ -0,0 +1,37 @@ +/* { dg-do compile { target i?86-*-* } } */ +/* { dg-options "-Os -fpic" } */ + +#include + +typedef struct +{ + char *a; + char *b; +} *foo; + +void +bar (foo x) +{ + char *c = x->b; + char *d = (void *)0; + unsigned int e = 0, f = 0, g; + while (*c != ':') + if (*c == '%') + { + ++c; + switch (*c++) + { + case 'N': + g = strlen (x->a); + if (e + g >= f) { + char *h = d; + f += 256 + g; + d = (char *) __builtin_alloca (f); + memcpy (d, h, e); + }; + memcpy (&d[e], x->a, g); + e += g; + break; + } + } +} -- 2.30.2