new file mode 100644
@@ -0,0 +1,18 @@
+#include "tree-vect.h"
+
+int b, c = 8, d;
+int e[23];
+int main()
+{
+ check_vect ();
+
+ int *h = e;
+ for (int i = 1; i < b + 21; i += 2)
+ {
+ c *= -1;
+ d = h[i] ? i : 0;
+ }
+ if (c != 8)
+ abort ();
+ return 0;
+}
@@ -2128,18 +2128,18 @@ vect_can_peel_nonlinear_iv_p (loop_vec_info loop_vinfo,
For shift, when shift mount >= precision, there would be UD.
For mult, don't known how to generate
init_expr * pow (step, niters) for variable niters.
- For neg, it should be ok, since niters of vectorized main loop
+ For neg unknown niters are ok, since niters of vectorized main loop
will always be multiple of 2.
- See also PR113163 and PR114196. */
- if ((!LOOP_VINFO_VECT_FACTOR (loop_vinfo).is_constant ()
- || LOOP_VINFO_USING_PARTIAL_VECTORS_P (loop_vinfo)
- || !LOOP_VINFO_NITERS_KNOWN_P (loop_vinfo))
- && induction_type != vect_step_op_neg)
+ See also PR113163, PR114196 and PR114485. */
+ if (!LOOP_VINFO_VECT_FACTOR (loop_vinfo).is_constant ()
+ || LOOP_VINFO_USING_PARTIAL_VECTORS_P (loop_vinfo)
+ || (!LOOP_VINFO_NITERS_KNOWN_P (loop_vinfo)
+ && induction_type != vect_step_op_neg))
{
if (dump_enabled_p ())
dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
"Peeling for epilogue is not supported"
- " for nonlinear induction except neg"
+ " for this nonlinear induction"
" when iteration count is unknown or"
" when using partial vectorization.\n");
return false;