diff options
| author | Martin Sebor <msebor@redhat.com> | 2020-08-14 17:11:53 -0600 |
|---|---|---|
| committer | Martin Sebor <msebor@redhat.com> | 2020-08-14 17:11:53 -0600 |
| commit | 866626efd749ed3e2b7014e88e4340b5a4c73560 (patch) | |
| tree | 9a97cbd204e7f85f1d5388fd61e95f4e6a2ab9ad /gcc/fold-const-call.c | |
| parent | 2867118ddda9b56d991c16022f7d3d634ed08313 (diff) | |
| download | gcc-866626efd749ed3e2b7014e88e4340b5a4c73560.zip gcc-866626efd749ed3e2b7014e88e4340b5a4c73560.tar.gz gcc-866626efd749ed3e2b7014e88e4340b5a4c73560.tar.bz2 | |
PR tree-optimization/78257 - missing memcmp optimization with constant arrays
gcc/ChangeLog:
PR middle-end/78257
* builtins.c (expand_builtin_memory_copy_args): Rename called function.
(expand_builtin_stpcpy_1): Remove argument from call.
(expand_builtin_memcmp): Rename called function.
(inline_expand_builtin_bytecmp): Same.
* expr.c (convert_to_bytes): New function.
(constant_byte_string): New function (formerly string_constant).
(string_constant): Call constant_byte_string.
(byte_representation): New function.
* expr.h (byte_representation): Declare.
* fold-const-call.c (fold_const_call): Rename called function.
* fold-const.c (c_getstr): Remove an argument.
(getbyterep): Define a new function.
* fold-const.h (c_getstr): Remove an argument.
(getbyterep): Declare a new function.
* gimple-fold.c (gimple_fold_builtin_memory_op): Rename callee.
(gimple_fold_builtin_string_compare): Same.
(gimple_fold_builtin_memchr): Same.
gcc/testsuite/ChangeLog:
PR middle-end/78257
* gcc.dg/memchr.c: New test.
* gcc.dg/memcmp-2.c: New test.
* gcc.dg/memcmp-3.c: New test.
* gcc.dg/memcmp-4.c: New test.
Diffstat (limited to 'gcc/fold-const-call.c')
| -rw-r--r-- | gcc/fold-const-call.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/fold-const-call.c b/gcc/fold-const-call.c index c9e368d..11ed47d 100644 --- a/gcc/fold-const-call.c +++ b/gcc/fold-const-call.c @@ -1800,8 +1800,8 @@ fold_const_call (combined_fn fn, tree type, tree arg0, tree arg1, tree arg2) && !TREE_SIDE_EFFECTS (arg0) && !TREE_SIDE_EFFECTS (arg1)) return build_int_cst (type, 0); - if ((p0 = c_getstr (arg0, &s0)) - && (p1 = c_getstr (arg1, &s1)) + if ((p0 = getbyterep (arg0, &s0)) + && (p1 = getbyterep (arg1, &s1)) && s2 <= s0 && s2 <= s1) return build_cmp_result (type, memcmp (p0, p1, s2)); @@ -1814,7 +1814,7 @@ fold_const_call (combined_fn fn, tree type, tree arg0, tree arg1, tree arg2) && !TREE_SIDE_EFFECTS (arg0) && !TREE_SIDE_EFFECTS (arg1)) return build_int_cst (type, 0); - if ((p0 = c_getstr (arg0, &s0)) + if ((p0 = getbyterep (arg0, &s0)) && s2 <= s0 && target_char_cst_p (arg1, &c)) { |