Add micro benchmark cases for SimpleOutput (#547)

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

benchmark/CMakeLists.txt

@@ -1,6 +1,6 @@
 set(BENCHMARK_SOURCES)
 
-if(BLAZE_COMPILER AND BLAZE_EVALUATOR)
+if(BLAZE_COMPILER AND BLAZE_EVALUATOR AND BLAZE_OUTPUT)
   list(APPEND BENCHMARK_SOURCES
     e2e/runner.cc
     micro/draft4.cc
@@ -33,6 +33,10 @@ if(BENCHMARK_SOURCES)
     target_link_libraries(sourcemeta_blaze_benchmark
       PRIVATE sourcemeta::blaze::evaluator)
   endif()
+  if(BLAZE_OUTPUT)
+    target_link_libraries(sourcemeta_blaze_benchmark
+      PRIVATE sourcemeta::blaze::output)
+  endif()
 
   add_custom_target(benchmark_all
     COMMAND sourcemeta_blaze_benchmark

benchmark/micro/2020_12.cc

@@ -7,6 +7,7 @@
 
 #include <sourcemeta/blaze/compiler.h>
 #include <sourcemeta/blaze/evaluator.h>
+#include <sourcemeta/blaze/output.h>
 
 static void Micro_2020_12_Dynamic_Ref(benchmark::State &state) {
   const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
@@ -96,5 +97,123 @@ static void Micro_2020_12_Dynamic_Ref_Single(benchmark::State &state) {
   }
 }
 
+static void Micro_2020_12_Simple_Output_Mask(benchmark::State &state) {
+  const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "type": "object",
+    "properties": {
+      "data": {
+        "oneOf": [
+          {
+            "anyOf": [
+              { "type": "string", "minLength": 100 },
+              { "type": "number", "minimum": 1000 },
+              { "type": "boolean" }
+            ]
+          },
+          {
+            "anyOf": [
+              { "type": "string", "pattern": "^[A-Z]+$" },
+              { "type": "array", "minItems": 50 },
+              { "type": "object", "required": ["x", "y", "z"] }
+            ]
+          },
+          {
+            "anyOf": [
+              { "type": "null" },
+              { "type": "integer", "multipleOf": 7 },
+              { "type": "string", "maxLength": 2 }
+            ]
+          },
+          {
+            "type": "array",
+            "contains": {
+              "oneOf": [
+                { "type": "string", "minLength": 20 },
+                { "type": "number", "minimum": 100 },
+                { "const": "special" }
+              ]
+            },
+            "minContains": 3
+          },
+          {
+            "type": "array",
+            "items": {
+              "anyOf": [
+                { "type": "number", "maximum": 50 },
+                { "type": "string", "maxLength": 10 }
+              ]
+            },
+            "minItems": 1
+          }
+        ]
+      }
+    }
+  })JSON")};
+
+  const auto instance{sourcemeta::core::parse_json(R"JSON({
+    "data": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, "a", "b", "c", "d", "e" ]
+  })JSON")};
+
+  const auto schema_template{sourcemeta::blaze::compile(
+      schema, sourcemeta::core::schema_official_walker,
+      sourcemeta::core::schema_official_resolver,
+      sourcemeta::blaze::default_schema_compiler)};
+  sourcemeta::blaze::Evaluator evaluator;
+  for (auto _ : state) {
+    sourcemeta::blaze::SimpleOutput output{instance};
+    auto result{
+        evaluator.validate(schema_template, instance, std::ref(output))};
+    assert(result);
+    benchmark::DoNotOptimize(result);
+  }
+}
+
+static void Micro_2020_12_Simple_Output_Annotations(benchmark::State &state) {
+  const sourcemeta::core::JSON schema{sourcemeta::core::parse_json(R"JSON({
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "type": "array",
+    "allOf": [
+      { "contains": { "type": "number" } },
+      { "contains": { "type": "number" } },
+      { "contains": { "type": "number" } },
+      { "contains": { "type": "string" } },
+      { "contains": { "type": "string" } },
+      { "contains": { "type": "string" } },
+      { "contains": { "type": "boolean" } },
+      { "contains": { "type": "null" } },
+      { "contains": { "type": "number" } },
+      { "contains": { "type": "number" } }
+    ]
+  })JSON")};
+
+  const auto instance{sourcemeta::core::parse_json(R"JSON([
+    1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
+    11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
+    21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
+    "a", "b", "c", "aa", "bb", "cc",
+    "abc", "def", "ghi",
+    "ABC", "DEF", "GHI",
+    true, false, true,
+    null, null,
+    42, 48, 54, 60
+  ])JSON")};
+
+  const auto schema_template{sourcemeta::blaze::compile(
+      schema, sourcemeta::core::schema_official_walker,
+      sourcemeta::core::schema_official_resolver,
+      sourcemeta::blaze::default_schema_compiler)};
+  sourcemeta::blaze::Evaluator evaluator;
+  for (auto _ : state) {
+    sourcemeta::blaze::SimpleOutput output{instance};
+    auto result{
+        evaluator.validate(schema_template, instance, std::ref(output))};
+    assert(result);
+    benchmark::DoNotOptimize(result);
+  }
+}
+
 BENCHMARK(Micro_2020_12_Dynamic_Ref);
 BENCHMARK(Micro_2020_12_Dynamic_Ref_Single);
+BENCHMARK(Micro_2020_12_Simple_Output_Mask);
+BENCHMARK(Micro_2020_12_Simple_Output_Annotations);