Push down the numbering of the batch example.

Author: ludgerpaehler

Diff for: 8_batch/Makefile

@@ -0,0 +1,10 @@
+all: batch.o
+
+clean:
+	rm -f *.o *.ll
+
+%.o: %.c
+	../dockerscript.sh clang-12 /host/$^ -O3 -Xclang -load -Xclang /Enzyme/enzyme/build/Enzyme/ClangEnzyme-12.so -ffast-math -o /host/$@
+
+run-%: %.o
+	../dockerscript.sh /host/$^ 3.14

Diff for: 8_batch/batch.c

@@ -0,0 +1,23 @@
+#include <stdio.h>
+
+struct Vector {
+  double x1, x2, x3, x4;
+};
+
+extern Vector __enzyme_batch(...);
+
+extern int enzyme_width;
+extern int enzyme_vector;
+extern int enzyme_scalar;
+
+double square(double x) { return x * x; }
+
+Vector vecsquare(double x1, double x2, double x3, double x4) {
+  return __enzyme_batch(square, enzyme_width, 4, enzyme_vector, x1, x2, x3, x4);
+}
+int main() {
+  double vals[] = {23.1, 10.0, 100.0, 3.14};
+  double expected[] = {square(vals[0]), square(vals[1]), square(vals[2]),
+                       square(vals[3])};
+  Vector result = vecsquare(vals[0], vals[1], vals[2], vals[3]);
+}