The following emits the assumption that is used for versioning from
niter analysis.
Bootstrapped on x86_64-unknown-linux-gnu, will push if testing succeeds.
Richard.
* tree-vect-loop.cc (vect_analyze_loop_form): Dump
niter assumption used for versioning.
---
gcc/tree-vect-loop.cc | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/gcc/tree-vect-loop.cc b/gcc/tree-vect-loop.cc
index 04341776feb..1fbcfd217ea 100644
--- a/gcc/tree-vect-loop.cc
+++ b/gcc/tree-vect-loop.cc
@@ -1729,6 +1729,17 @@ vect_analyze_loop_form (class loop *loop, gimple
*loop_vectorized_call,
}
}
+ if (!integer_onep (info->assumptions))
+ {
+ if (dump_enabled_p ())
+ {
+ dump_printf_loc (MSG_NOTE, vect_location,
+ "Loop to be versioned with niter assumption ");
+ dump_generic_expr (MSG_NOTE, TDF_SLIM, info->assumptions);
+ dump_printf (MSG_NOTE, "\n");
+ }
+ }
+
return opt_result::success ();
}
--
2.43.0
