re PR tree-optimization/23109 (compiler generates wrong code leading to spurious...
authorRichard Guenther <rguenther@suse.de>
Mon, 1 Aug 2005 08:52:59 +0000 (08:52 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 1 Aug 2005 08:52:59 +0000 (08:52 +0000)
commitac264fef2367c4773f4ed4868bdaa13c39b1ab44
tree6c454da7c03895efb5f70d5099fddba16413ef4a
parent19734dd84e999ade0e315247f0de9e1b176257bb
re PR tree-optimization/23109 (compiler generates wrong code leading to spurious division by zero with -funsafe-math-optimizations (instead of -ftrapping-math))

2005-08-01  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/23109
* tree-ssa-math-opts.c (execute_cse_reciprocals_1):
If trapping math is in effect, use post-dominator information
to check if we'd in any case reach a trapping point before
doing the reciprocal insertion.
(execute_cse_reciprocals): Compute post-dominators, if necessary.
* tree-ssa-loop-im.c (determine_invariantness_stmt): RDIV
expressions are invariant only if trapping math is not in effect.

From-SVN: r102627
gcc/ChangeLog
gcc/tree-ssa-loop-im.c
gcc/tree-ssa-math-opts.c