* gcc.c-torture/execute/20030125-1.[cx]: New test.
authorJan Hubicka <jh@suse.cz>
Sat, 25 Jan 2003 14:54:09 +0000 (14:54 +0000)
committerJan Hubicka <hubicka@gcc.gnu.org>
Sat, 25 Jan 2003 14:54:09 +0000 (14:54 +0000)
From-SVN: r61771

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/20030125-1.c [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/20030125-1.x [new file with mode: 0644]

index 67a3558537a985a2c304ab00ce49e133d3f16f08..e7699996575caee453a7b6d6fe590b136efcd355 100644 (file)
@@ -1,3 +1,7 @@
+Sat Jan 25 12:32:55 CET 2003  Jan HUbicka  <jh@suse.cz>
+
+       * gcc.c-torture/execute/20030125-1.[cx]: New test.
+
 2003-01-25  Paolo Carlini  <pcarlini@unitus.it>
 
        Tweaks for Bison-1.875. From the NEWS file:
diff --git a/gcc/testsuite/gcc.c-torture/execute/20030125-1.c b/gcc/testsuite/gcc.c-torture/execute/20030125-1.c
new file mode 100644 (file)
index 0000000..318974a
--- /dev/null
@@ -0,0 +1,61 @@
+/* Verify wehther math functions are simplified.  */
+double sin(double);
+double floor(double);
+float 
+t(float a)
+{
+       return sin(a);
+}
+float 
+q(float a)
+{
+       return floor(a);
+}
+double
+q1(float a)
+{
+       return floor(a);
+}
+float
+q2(double a)
+{
+       return floor(a);
+}
+main()
+{
+#ifdef __OPTIMIZE__
+       if (t(0)!=0)
+               abort ();
+       if (q(0)!=0)
+               abort ();
+       if (q1(0)!=0)
+               abort ();
+       if (q2(0)!=0)
+               abort ();
+#endif
+       return 0;
+}
+__attribute__ ((noinline))
+double
+floor(double a)
+{
+       abort ();
+}
+__attribute__ ((noinline))
+float
+floorf(float a)
+{
+       return a;
+}
+__attribute__ ((noinline))
+double
+sin(double a)
+{
+       abort ();
+}
+__attribute__ ((noinline))
+float
+sinf(float a)
+{
+       return a;
+}
diff --git a/gcc/testsuite/gcc.c-torture/execute/20030125-1.x b/gcc/testsuite/gcc.c-torture/execute/20030125-1.x
new file mode 100644 (file)
index 0000000..ae66af7
--- /dev/null
@@ -0,0 +1,3 @@
+# Only Linux does inlclude all c99 functions at the moment.
+if { ! [istarget "*linux*"] } { return 1 }
+return 0