From ff6c6aa895e907dc592e3347479c95da450d8040 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sat, 7 Sep 2002 19:15:27 -0700 Subject: [PATCH] New tests. From-SVN: r56924 --- .../gcc.c-torture/execute/ieee/inf-1.c | 35 +++++++++++++++++++ gcc/testsuite/gcc.dg/builtin-inf-1.c | 13 +++++++ 2 files changed, 48 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/ieee/inf-1.c create mode 100644 gcc/testsuite/gcc.dg/builtin-inf-1.c diff --git a/gcc/testsuite/gcc.c-torture/execute/ieee/inf-1.c b/gcc/testsuite/gcc.c-torture/execute/ieee/inf-1.c new file mode 100644 index 00000000000..34f60f3f1c0 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/ieee/inf-1.c @@ -0,0 +1,35 @@ +extern void abort (void); + +int main() +{ + float fi = __builtin_inff(); + double di = __builtin_inf(); + long double li = __builtin_infl(); + + float fh = __builtin_huge_valf(); + double dh = __builtin_huge_val(); + long double lh = __builtin_huge_vall(); + + if (fi + fi != fi) + abort (); + if (di + di != di) + abort (); + if (li + li != li) + abort (); + + if (fi != fh) + abort (); + if (di != dh) + abort (); + if (li != lh) + abort (); + + if (fi <= 0) + abort (); + if (di <= 0) + abort (); + if (li <= 0) + abort (); + + return 0; +} diff --git a/gcc/testsuite/gcc.dg/builtin-inf-1.c b/gcc/testsuite/gcc.dg/builtin-inf-1.c new file mode 100644 index 00000000000..ca235adeec0 --- /dev/null +++ b/gcc/testsuite/gcc.dg/builtin-inf-1.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ + +float fi = __builtin_inff(); +double di = __builtin_inf(); +long double li = __builtin_infl(); + +float fh = __builtin_huge_valf(); +double dh = __builtin_huge_val(); +long double lh = __builtin_huge_vall(); + +/* { dg-warning "does not support infinity" "INF unsupported" { target vax-*-* i370-*-* c4x-*-* } 3 } */ +/* { dg-warning "does not support infinity" "INF unsupported" { target vax-*-* i370-*-* c4x-*-* } 4 } */ +/* { dg-warning "does not support infinity" "INF unsupported" { target vax-*-* i370-*-* c4x-*-* } 5 } */ -- 2.30.2