diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/builtins.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr43730.c | 19 |
4 files changed, 32 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d28e6a3..ff7b057 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-04-13 Michael Matz <matz@suse.de> + + PR middle-end/43730 + * builtins.c (expand_builtin_interclass_mathfn): Also create + a register if the predicate doesn't match. + 2010-04-13 Diego Novillo <dnovillo@google.com> * Makefile.in (c-pch.o, ggc-common.o): Depend on timevar.h. diff --git a/gcc/builtins.c b/gcc/builtins.c index 65a1dbd..c1acd5d 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -2316,7 +2316,8 @@ expand_builtin_interclass_mathfn (tree exp, rtx target, rtx subtarget) tree orig_arg = arg; /* Make a suitable register to place result in. */ if (!target - || GET_MODE (target) != TYPE_MODE (TREE_TYPE (exp))) + || GET_MODE (target) != TYPE_MODE (TREE_TYPE (exp)) + || !insn_data[icode].operand[0].predicate (target, GET_MODE (target))) target = gen_reg_rtx (TYPE_MODE (TREE_TYPE (exp))); gcc_assert (insn_data[icode].operand[0].predicate diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2c370c0..5d187a1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-04-13 Michael Matz <matz@suse.de> + PR middle-end/43730 + * gcc.dg/pr43730.c: New test. + +2010-04-13 Michael Matz <matz@suse.de> + * gcc.dg/tree-ssa/negate.c: New testcase. 2010-04-13 Richard Guenther <rguenther@suse.de> diff --git a/gcc/testsuite/gcc.dg/pr43730.c b/gcc/testsuite/gcc.dg/pr43730.c new file mode 100644 index 0000000..0d91aef --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr43730.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +/* { dg-options "-O0" } */ +extern int (isinfl)(long double); + +int +bugfun(long double x, long double y) +{ + int result; + + if (isinfl(x)) + result = isinfl(y); + else + { + int kx, ky; + kx = ky = 1; + result = (kx == ky); + } + return (result); +} |