?
Unknown Status unknown.
Code
// PERFORMANCE TEST: Koru label loops vs Zig while loops
// Goal: Prove Koru loops (#/@) compile to same code as Zig while loops
// Based on working test: 203_labels_and_jumps
// Loop: Count to 10 million (runs ~10ms for better benchmark accuracy)
// Baseline: Zig while loop
// Threshold: 1.05x (5% slower max)
const std = @import("std");
// Event for counting/summing
~event count { i: u64, sum: u64 }
| next { i: u64, sum: u64 }
| done u64
~proc count|zig {
const new_i = i + 1;
const new_sum = sum + i;
if (new_i < 10_000_000) {
return .{ .next = .{ .i = new_i, .sum = new_sum } };
} else {
return .{ .done = new_sum };
}
}
// Print result
~event print { result: u64 }
~proc print|zig {
std.debug.print("Sum: {}\n", .{result});
}
// Loop: count to 1 million
~#loop count(i: 0, sum: 0)
| next n |> @loop(n.i, n.sum)
| done d |> print(d.result)
Actual
Sum: 49999995000000
Expected output
Sum: 49999995000000Imported Files
// MINIMAL TEST: Does label loop work at all?
// Just count to 10 and print each iteration
const std = @import("std");
// Count event - loop controller
~event count { i: u64 }
| next u64
~proc count|zig {
if (i < 10) {
return .{ .next = i + 1 };
} else {
}
}
// Print event
~event print { i: u64 }
~proc print|zig {
std.debug.print("i = {}\n", .{i});
}
// Loop: count and print each iteration
~#loop count(i: 0)
| next n |> print(n.i) |> @loop(n.i)
Test Configuration
MUST_RUN
Post-validation Script:
#!/bin/bash
# Post-validation: Check performance is within threshold
set -e
if [ ! -f "results.json" ]; then
echo "⚠️ No benchmark results found (results.json missing)"
echo " Running benchmark..."
bash benchmark.sh
fi
if [ ! -f "results.json" ]; then
echo "❌ FAIL: Benchmark did not produce results.json"
exit 1
fi
# Check if jq is installed
if ! command -v jq &> /dev/null; then
echo "⚠️ jq not installed (needed to parse benchmark results)"
echo " Install with: brew install jq (macOS) or apt install jq (Linux)"
echo " Skipping performance validation..."
exit 0
fi
THRESHOLD=$(cat THRESHOLD)
# Parse results (hyperfine format)
BASELINE_TIME=$(jq -r '.results[0].mean' results.json)
KORU_TIME=$(jq -r '.results[1].mean' results.json)
# Calculate ratio (Koru / Baseline)
RATIO=$(echo "scale=4; $KORU_TIME / $BASELINE_TIME" | bc -l)
echo ""
echo "Performance Results:"
echo " Baseline (Zig): ${BASELINE_TIME}s"
echo " Koru: ${KORU_TIME}s"
echo " Ratio: ${RATIO}x"
echo " Threshold: ${THRESHOLD}x"
echo ""
# Compare to threshold
if (( $(echo "$RATIO > $THRESHOLD" | bc -l) )); then
echo "❌ PERFORMANCE REGRESSION!"
echo " Koru is ${RATIO}x slower than baseline"
echo " Threshold is ${THRESHOLD}x"
echo " Regression: $(echo "scale=1; ($RATIO - 1) * 100" | bc -l)%"
exit 1
elif (( $(echo "$RATIO < 0.95" | bc -l) )); then
echo "✅ PERFORMANCE IMPROVED!"
echo " Koru is FASTER than baseline (${RATIO}x)"
else
echo "✅ Performance within threshold"
echo " Overhead: $(echo "scale=1; ($RATIO - 1) * 100" | bc -l)%"
fi
exit 0