aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/convert.cc3
-rw-r--r--gcc/testsuite/gcc.dg/torture/builtin-fp-int-inexact-trunc.c12
2 files changed, 14 insertions, 1 deletions
diff --git a/gcc/convert.cc b/gcc/convert.cc
index 46c8bcb..f214b75 100644
--- a/gcc/convert.cc
+++ b/gcc/convert.cc
@@ -591,7 +591,8 @@ convert_to_integer_1 (tree type, tree expr, bool dofold)
CASE_FLT_FN (BUILT_IN_TRUNC):
CASE_FLT_FN_FLOATN_NX (BUILT_IN_TRUNC):
if (call_expr_nargs (s_expr) != 1
- || !SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (s_expr, 0))))
+ || !SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (s_expr, 0)))
+ || (!flag_fp_int_builtin_inexact && flag_trapping_math))
break;
return convert_to_integer_1 (type, CALL_EXPR_ARG (s_expr, 0),
dofold);
diff --git a/gcc/testsuite/gcc.dg/torture/builtin-fp-int-inexact-trunc.c b/gcc/testsuite/gcc.dg/torture/builtin-fp-int-inexact-trunc.c
new file mode 100644
index 0000000..0973118
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/builtin-fp-int-inexact-trunc.c
@@ -0,0 +1,12 @@
+/* Test -fno-fp-int-builtin-inexact. */
+/* { dg-do compile } */
+/* { dg-options "-fno-fp-int-builtin-inexact -fdump-tree-original" } */
+
+long
+x (double y)
+{
+ return __builtin_trunc (y);
+}
+
+/* Optimization should not discard the __builtin_trunc call. */
+/* { dg-final { scan-tree-dump "__builtin_trunc" "original" } } */