re PR tree-optimization/90106 (builtin sqrt() ignoring libm's sqrt call result)

	PR tree-optimization/90106
	* gcc.dg/cdce3.c: New test.

From-SVN: r271319

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f6dd06d..053a949 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-05-17  Jun Ma  <JunMa@linux.alibaba.com>
+
+       PR tree-optimization/90106
+       * gcc.dg/cdce3.c: New test.
+
 2019-05-17  Andreas Krebbel  <krebbel@linux.ibm.com>
 
        * gcc.target/s390/zvector/vec-sldw.c: New test.

diff --git a/gcc/testsuite/gcc.dg/cdce3.c b/gcc/testsuite/gcc.dg/cdce3.c
new file mode 100644 (file)
index 0000000..8a74379
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cdce3.c
@@ -0,0 +1,11 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fmath-errno -fdump-tree-cdce-details -fdump-tree-optimized" } */
+/* { dg-final { scan-tree-dump "cdce3.c:9: \[^\n\r]* function call is shrink-wrapped into error conditions\." "cdce" } } */
+/* { dg-final { scan-tree-dump "sqrtf \\(\[^\n\r]*\\); \\\[tail call\\\]" "optimized" } } */
+
+float sqrtf (float);
+float foo (float x)
+{
+  return sqrtf (x);
+}
+