diff options
| author | Richard Biener <rguenther@suse.de> | 2023-08-24 10:00:20 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-08-24 10:59:16 +0200 |
| commit | 7b67cab154d4b5ec2a6bb62755da31cefbe63536 (patch) | |
| tree | 225e99abe866aca6d0c8082a87a9dd210d10bc07 | |
| parent | 308e716266787f84ba4a47546317dae83be8901c (diff) | |
| download | gcc-7b67cab154d4b5ec2a6bb62755da31cefbe63536.zip gcc-7b67cab154d4b5ec2a6bb62755da31cefbe63536.tar.gz gcc-7b67cab154d4b5ec2a6bb62755da31cefbe63536.tar.bz2 | |
tree-optimization/111128 - fix shift pattern recog
The following fixes placement of shift operand sanitization with
MIN when the original shift operand was external but the actual
one is not.
PR tree-optimization/111128
* tree-vect-patterns.cc (vect_recog_over_widening_pattern):
Emit external shift operand inline if we promoted it with
another pattern stmt.
* gcc.dg/torture/pr111128.c: New testcase.
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr111128.c | 16 | ||||
| -rw-r--r-- | gcc/tree-vect-patterns.cc | 2 |
2 files changed, 17 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr111128.c b/gcc/testsuite/gcc.dg/torture/pr111128.c new file mode 100644 index 0000000..aa623b0 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr111128.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ + +int a, b, c, e, g; +short *d; +unsigned char f; +int h() { + f &= g; + for (; b; b++) { + a = 2; + for (; a; a--) + c = 0; + if (c) + continue; + e = (unsigned short)*d >> f; + } +} diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc index cda27fe..a2ed036 100644 --- a/gcc/tree-vect-patterns.cc +++ b/gcc/tree-vect-patterns.cc @@ -3121,7 +3121,7 @@ vect_recog_over_widening_pattern (vec_info *vinfo, = gimple_build_assign (new_var, MIN_EXPR, ops[1], build_int_cst (op_type, new_precision - 1)); gimple_set_location (pattern_stmt, gimple_location (last_stmt)); - if (unprom[1].dt == vect_external_def) + if (ops[1] == unprom[1].op && unprom[1].dt == vect_external_def) { if (edge e = vect_get_external_def_edge (vinfo, ops[1])) { |