diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2015-10-26 14:59:36 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2015-10-26 14:59:36 +0000 |
| commit | fec40d06dadf9cd5bf4adb0ee9a47f267e6c7693 (patch) | |
| tree | d47ed2f8bb25f49bb46b11ff5fbf031bfdb518f8 /gcc/ada/contracts.adb | |
| parent | 0b7c37ee712fdc5164db6cd6acb816fcf6752c02 (diff) | |
| download | gcc-fec40d06dadf9cd5bf4adb0ee9a47f267e6c7693.zip gcc-fec40d06dadf9cd5bf4adb0ee9a47f267e6c7693.tar.gz gcc-fec40d06dadf9cd5bf4adb0ee9a47f267e6c7693.tar.bz2 | |
Allow more complex call replacements in gimple-fold.c
An upcoming patch adds a match.pd rule that folds pow(pow(x,y),z)
to pow(x,y*z). This fold can reuse the existing pow gimple statement
and simply replace the operands with x and y*z. However, the y*z
itself requires a separate gimple statement and the code wasn't
prepared to handle that.
Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux-gnueabi.
gcc/
* gimple-fold.c (replace_stmt_with_simplification): Don't allow
new statements to be inserted if inplace. Allow calls to have
nonempty sequences.
From-SVN: r229371
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions