From 2b99a5c3718ed5069926953ebe297bea3e6d33a8 Mon Sep 17 00:00:00 2001 From: rguenth Date: Tue, 20 Nov 2018 08:06:09 +0000 Subject: [PATCH] 2018-11-20 Richard Biener PR tree-optimization/88087 * tree-ssa-pre.c (create_expression_by_pieces): Re-materialize call fntype. * tree-ssa-sccvn.c (copy_reference_ops_from_call): Remember call fntype. * gcc.dg/tree-ssa/pr88087.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266301 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 8 ++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/tree-ssa/pr88087.c | 17 +++++++++++++++++ gcc/tree-ssa-pre.c | 3 ++- gcc/tree-ssa-sccvn.c | 2 +- 5 files changed, 33 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr88087.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 712146fccb6..0c357fb4bed 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,13 @@ 2018-11-20 Richard Biener + PR tree-optimization/88087 + * tree-ssa-pre.c (create_expression_by_pieces): Re-materialize + call fntype. + * tree-ssa-sccvn.c (copy_reference_ops_from_call): Remember + call fntype. + +2018-11-20 Richard Biener + PR middle-end/88089 * tree-data-ref.c (lambda_matrix_right_hermite): Use abs_hwi. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 29e67449752..4284ce25dab 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-11-20 Richard Biener + + PR tree-optimization/88087 + * gcc.dg/tree-ssa/pr88087.c: New testcase. + 2018-11-19 Paul Koning * gcc.c-torture/execute/align-3.c: Skip if pdp11. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr88087.c b/gcc/testsuite/gcc.dg/tree-ssa/pr88087.c new file mode 100644 index 00000000000..d0061b61aed --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr88087.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre-stats" } */ + +int f(); +int d; +void c() +{ + for (;;) + { + f(); + int (*fp)() __attribute__((const)) = (void *)f; + d = fp(); + } +} + +/* We shouldn't ICE and hoist the const call of fp out of the loop. */ +/* { dg-final { scan-tree-dump "Eliminated: 1" "pre" } } */ diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 20d3c7807a1..4d5bce83a2c 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2792,9 +2792,10 @@ create_expression_by_pieces (basic_block block, pre_expr expr, args.quick_push (arg); } gcall *call = gimple_build_call_vec (fn, args); + gimple_call_set_fntype (call, currop->type); if (sc) gimple_call_set_chain (call, sc); - tree forcedname = make_ssa_name (currop->type); + tree forcedname = make_ssa_name (TREE_TYPE (currop->type)); gimple_call_set_lhs (call, forcedname); /* There's no CCP pass after PRE which would re-compute alignment information so make sure we re-materialize this here. */ diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 43641916d52..01bedf56662 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -1206,7 +1206,7 @@ copy_reference_ops_from_call (gcall *call, /* Copy the type, opcode, function, static chain and EH region, if any. */ memset (&temp, 0, sizeof (temp)); - temp.type = gimple_call_return_type (call); + temp.type = gimple_call_fntype (call); temp.opcode = CALL_EXPR; temp.op0 = gimple_call_fn (call); temp.op1 = gimple_call_chain (call); -- 2.11.4.GIT