diff options
| author | Richard Biener <rguenther@suse.de> | 2019-04-11 07:34:20 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-04-11 07:34:20 +0000 |
| commit | 3bab738598b67b501fd1411ef43f9c9f36f13297 (patch) | |
| tree | 1f6fce6719b7ea38d1b0298dc475a7a3472cf9cf /gcc/tree-ssa-sccvn.h | |
| parent | 2fd579ab530ca9ca5682eeba305c4946bf710c25 (diff) | |
re PR tree-optimization/90020 (-O2 -Os x86-64 wrong code generated for GNU Emacs)
2019-04-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/90020
* tree-ssa-sccvn.c (vn_reference_may_trap): New function.
* tree-ssa-sccvn.h (vn_reference_may_trap): Declare.
* tree-ssa-pre.c (compute_avail): Use it to not put
possibly trapping references after a call that might not
return into EXP_GEN.
* gcse.c (compute_hash_table_work): Do not elide
marking a block containing a call if the call might not
return.
* gcc.dg/torture/pr90020.c: New testcase.
From-SVN: r270275
Diffstat (limited to 'gcc/tree-ssa-sccvn.h')
| -rw-r--r-- | gcc/tree-ssa-sccvn.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/tree-ssa-sccvn.h b/gcc/tree-ssa-sccvn.h index 5413059baec..bd661bc651c 100644 --- a/gcc/tree-ssa-sccvn.h +++ b/gcc/tree-ssa-sccvn.h @@ -243,6 +243,7 @@ vn_reference_t vn_reference_insert_pieces (tree, alias_set_type, tree, bool vn_nary_op_eq (const_vn_nary_op_t const vno1, const_vn_nary_op_t const vno2); bool vn_nary_may_trap (vn_nary_op_t); +bool vn_reference_may_trap (vn_reference_t); bool vn_reference_eq (const_vn_reference_t const, const_vn_reference_t const); unsigned int get_max_value_id (void); unsigned int get_next_value_id (void); |