obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 135 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.c-torture/execute/ieee/fp-cmp-4.c b/gcc/testsuite/gcc.c-torture/execute/ieee/fp-cmp-4.c
new file mode 100644
index 000000000..d4bb9c6c6
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/ieee/fp-cmp-4.c
@@ -0,0 +1,135 @@
+#ifndef FLOAT
+#define FLOAT double
+#endif
+
+void
+test_isunordered(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_isunordered(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+void
+test_isless(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_isless(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+void
+test_islessequal(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_islessequal(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+void
+test_isgreater(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_isgreater(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+void
+test_isgreaterequal(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_isgreaterequal(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+void
+test_islessgreater(FLOAT x, FLOAT y, int true)
+{
+  if (__builtin_islessgreater(x, y))
+    {
+      if (! true)
+	abort ();
+    }
+  else
+    {
+      if (true)
+	abort ();
+    }
+}
+
+#define NAN (0.0 / 0.0)
+
+int
+main()
+{
+  struct try
+  {
+    FLOAT x, y;
+    unsigned unord : 1;
+    unsigned lt : 1;
+    unsigned le : 1;
+    unsigned gt : 1;
+    unsigned ge : 1;
+    unsigned lg : 1;
+  };
+
+  static struct try const data[] =
+  {
+    { NAN, NAN, 1, 0, 0, 0, 0, 0 },
+    { 0.0, NAN, 1, 0, 0, 0, 0, 0 },
+    { NAN, 0.0, 1, 0, 0, 0, 0, 0 },
+    { 0.0, 0.0, 0, 0, 1, 0, 1, 0 },
+    { 1.0, 2.0, 0, 1, 1, 0, 0, 1 },
+    { 2.0, 1.0, 0, 0, 0, 1, 1, 1 },
+  };
+
+  const int n = sizeof(data) / sizeof(data[0]);
+  int i;
+
+  for (i = 0; i < n; ++i)
+    {
+      test_isunordered (data[i].x, data[i].y, data[i].unord);
+      test_isless (data[i].x, data[i].y, data[i].lt);
+      test_islessequal (data[i].x, data[i].y, data[i].le);
+      test_isgreater (data[i].x, data[i].y, data[i].gt);
+      test_isgreaterequal (data[i].x, data[i].y, data[i].ge);
+      test_islessgreater (data[i].x, data[i].y, data[i].lg);
+    }
+
+  exit (0);
+}