diff options
| author | Richard Biener <rguenther@suse.de> | 2017-04-21 08:17:23 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-04-21 08:17:23 +0000 |
| commit | 6d553e9bc9739ac67f96f31b6108c25e7a74f3a3 (patch) | |
| tree | 1eb7963a3c4fcd8c091d82c031e19a209ed360b5 /gcc/tree-ssa-pre.c | |
| parent | 7fd1a7474a04fdf68e3b1645de16bcfa45a915d0 (diff) | |
| download | gcc-6d553e9bc9739ac67f96f31b6108c25e7a74f3a3.zip gcc-6d553e9bc9739ac67f96f31b6108c25e7a74f3a3.tar.gz gcc-6d553e9bc9739ac67f96f31b6108c25e7a74f3a3.tar.bz2 | |
re PR tree-optimization/80237 (float to double conversion is not optimized away)
2017-04-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/80237
* tree-ssa-pre.c (find_leader_in_sets): Add third set argument,
defaulted to NULL.
(phi_translate_1): Also allow a leader in AVAIL_OUT of pred
for a simplified result.
* gcc.dg/tree-ssa/tailcall-9.c: New testcase.
* gcc.dg/tree-ssa/ldist-pr45948.c: Remove undefined behavior,
adjust expected optimizations.
From-SVN: r247049
Diffstat (limited to 'gcc/tree-ssa-pre.c')
| -rw-r--r-- | gcc/tree-ssa-pre.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index c6aa587..2c6405a 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -1313,17 +1313,20 @@ translate_vuse_through_block (vec<vn_reference_op_s> operands, } /* Like bitmap_find_leader, but checks for the value existing in SET1 *or* - SET2. This is used to avoid making a set consisting of the union - of PA_IN and ANTIC_IN during insert. */ + SET2 *or* SET3. This is used to avoid making a set consisting of the union + of PA_IN and ANTIC_IN during insert and phi-translation. */ static inline pre_expr -find_leader_in_sets (unsigned int val, bitmap_set_t set1, bitmap_set_t set2) +find_leader_in_sets (unsigned int val, bitmap_set_t set1, bitmap_set_t set2, + bitmap_set_t set3 = NULL) { pre_expr result; result = bitmap_find_leader (set1, val); if (!result && set2) result = bitmap_find_leader (set2, val); + if (!result && set3) + result = bitmap_find_leader (set3, val); return result; } @@ -1478,7 +1481,8 @@ phi_translate_1 (pre_expr expr, bitmap_set_t set1, bitmap_set_t set2, else { unsigned value_id = get_expr_value_id (constant); - constant = find_leader_in_sets (value_id, set1, set2); + constant = find_leader_in_sets (value_id, set1, set2, + AVAIL_OUT (pred)); if (constant) return constant; } |