[MicroBenchmarks] Add benchmark for control-flow-vectorization.

Benchmarks with vs. without autovec with control flow inside for loops
with conditional codes.

Author: ElvisWang123

SingleSource/UnitTests/Vectorizer/control-flow-vectorization.cpp

@@ -0,0 +1,103 @@
+#include <algorithm>
+#include <functional>
+#include <iostream>
+#include <limits>
+#include <memory>
+#include <stdint.h>
+
+#include "common.h"
+
+template <typename Ty>
+using FnTy = std::function<void(Ty *, unsigned)>;
+template <typename Ty>
+static void checkVectorFunction(FnTy<Ty> ScalarFn, FnTy<Ty> VectorFn,
+                                const char *Name) {
+  std::cout << "Checking " << Name << "\n";
+
+  unsigned N = 1000;
+  std::unique_ptr<Ty[]> Reference(new Ty[N]);
+  std::unique_ptr<Ty[]> ToCheck(new Ty[N]);
+
+  init_data(Reference, N);
+  std::copy(&Reference[0], &Reference[0] + N, &ToCheck[0]);
+
+  // Run scalar and vector versions
+  ScalarFn(&Reference[0], N);
+  VectorFn(&ToCheck[0], N);
+
+  // Check results match
+  check(Reference, ToCheck, N);
+}
+
+#define FOR_COND for (unsigned I = 0; I < TC; ++I)
+
+#define DEFINE_CONDITIONAL_INCREMENT_BODY(Stride)                              \
+  FOR_COND {                                                                   \
+    if (I % Stride == 0) {                                                     \
+      A[I] = A[I] + 1;                                                         \
+    }                                                                          \
+  }                                                                            \
+  return 0;
+
+#define DEFINE_CONDITIONAL_INCREMENT_BY_VALUE_BODY(Marker)                     \
+  FOR_COND {                                                                   \
+    if (A[I] == Marker) {                                                      \
+      A[I] = A[I] + 1;                                                         \
+    }                                                                          \
+  }                                                                            \
+  return 0;
+
+int main(void) {
+  rng = std::mt19937(15);
+
+  {
+    // Conditional increment with stride 2 (50% active lanes)
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BODY(4), unsigned);
+    checkVectorFunction<int64_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i64_stride_4");
+  }
+
+  {
+    // Test with int32_t type - stride 4
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BODY(4), unsigned);
+    checkVectorFunction<int32_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i32_stride_4");
+  }
+
+  {
+    // Test with int16_t type - stride 4
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BODY(4), unsigned);
+    checkVectorFunction<int16_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i16_stride_4");
+  }
+
+  {
+    // Conditional increment by value (sparse condition)
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BY_VALUE_BODY(0), unsigned);
+    checkVectorFunction<int64_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i64_by_value");
+  }
+
+  {
+    // Conditional increment by value (sparse condition)
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BY_VALUE_BODY(0), unsigned);
+    checkVectorFunction<int32_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i32_by_value");
+  }
+
+  {
+    // Conditional increment by value (sparse condition)
+    DEFINE_SCALAR_AND_VECTOR_FN1_TYPE(
+        , DEFINE_CONDITIONAL_INCREMENT_BY_VALUE_BODY(0), unsigned);
+    checkVectorFunction<int16_t>(ScalarFn, VectorFn,
+                                 "conditional_increment_i16_by_value");
+  }
+
+  return 0;
+}
+

SingleSource/UnitTests/Vectorizer/control-flow-vectorization.reference_output

@@ -0,0 +1,7 @@
+Checking conditional_increment_i64_stride_4
+Checking conditional_increment_i32_stride_4
+Checking conditional_increment_i16_stride_4
+Checking conditional_increment_i64_by_value
+Checking conditional_increment_i32_by_value
+Checking conditional_increment_i16_by_value
+exit 0