@@ -1404,6 +1404,9 @@ Target supports a vector misalign access.
@item vect_no_align
Target does not support a vector alignment mechanism.
+@item vect_can_peel
+Target might require to peel loops for alignment purposes.
+
@item vect_no_int_min_max
Target does not support a vector min and max instruction on @code{int}.
@@ -17,4 +17,6 @@ void mydata::Set (float x)
data[i] = x;
}
-/* { dg-final { scan-tree-dump-times "basic block vectorized" 1 "slp1" } } */
+/* For targets without vector loop peeling the loop becomes cheap
+ enough to be vectorized. */
+/* { dg-final { scan-tree-dump-times "basic block vectorized" 1 "slp1" { xfail { ! vect_can_peel } } } } */
@@ -3277,6 +3277,28 @@ proc check_effective_target_vect_floatuint_cvt { } {
return $et_vect_floatuint_cvt_saved($et_index)
}
+# Return 1 if peeling for alignment might be profitable on the target
+#
+
+proc check_effective_target_vect_can_peel { } {
+ global et_vect_can_peel_saved
+ global et_index
+
+ if [info exists et_vect_can_peel_saved($et_index)] {
+ verbose "check_effective_target_vect_can_peel: using cached result" 2
+ } else {
+ set et_vect_can_peel_saved($et_index) 1
+ if { ([istarget s390*-*-*]
+ && [check_effective_target_s390_vx]) } {
+ set et_vect_can_peel_saved($et_index) 0
+ }
+ }
+
+ verbose "check_effective_target_vect_can_peel:\
+ returning $et_vect_can_peel_saved($et_index)" 2
+ return $et_vect_can_peel_saved($et_index)
+}
+
# Return 1 if the target supports #pragma omp declare simd, 0 otherwise.
#
# This won't change for different subtargets so cache the result.