aboutsummaryrefslogtreecommitdiff
path: root/gcc/generic-match-head.c
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2018-02-13 09:34:42 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2018-02-13 09:34:42 +0100
commit848bb6fc0e502345536b25e1a110eb7f01eccbc1 (patch)
treed7abb7ffececb36706b28e05151701a372dc8cc5 /gcc/generic-match-head.c
parentf4b29321048fa82c754f04814dbd46d92773e72a (diff)
downloadgcc-848bb6fc0e502345536b25e1a110eb7f01eccbc1.zip
gcc-848bb6fc0e502345536b25e1a110eb7f01eccbc1.tar.gz
gcc-848bb6fc0e502345536b25e1a110eb7f01eccbc1.tar.bz2
re PR middle-end/84309 (Wrong-code with -ffast-math)
PR middle-end/84309 * match.pd (pow(C,x) -> exp(log(C)*x)): Optimize instead into exp2(log2(C)*x) if C is a power of 2 and c99 runtime is available. * generic-match-head.c (canonicalize_math_after_vectorization_p): New inline function. * gimple-match-head.c (canonicalize_math_after_vectorization_p): New inline function. * omp-simd-clone.h: New file. * omp-simd-clone.c: Include omp-simd-clone.h. (expand_simd_clones): No longer static. * tree-vect-patterns.c: Include fold-const-call.h, attribs.h, cgraph.h and omp-simd-clone.h. (vect_recog_pow_pattern): Optimize pow(C,x) to exp(log(C)*x). (vect_recog_widen_shift_pattern): Formatting fix. (vect_pattern_recog_1): Don't check optab for calls. * gcc.dg/pr84309.c: New test. * gcc.target/i386/pr84309.c: New test. From-SVN: r257617
Diffstat (limited to 'gcc/generic-match-head.c')
-rw-r--r--gcc/generic-match-head.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/generic-match-head.c b/gcc/generic-match-head.c
index b79f70e..f7b6b1f 100644
--- a/gcc/generic-match-head.c
+++ b/gcc/generic-match-head.c
@@ -68,3 +68,12 @@ canonicalize_math_p ()
{
return true;
}
+
+/* Return true if math operations that are beneficial only after
+ vectorization should be canonicalized. */
+
+static inline bool
+canonicalize_math_after_vectorization_p ()
+{
+ return false;
+}