From a2800def1bdc4060bd06f22db94d7968e2791de7 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Mon, 19 Oct 2026 12:27:55 +0100 Subject: 045: range() emitted by hand, Pure's meaning kept or dropped where the proof could license it (range.c; every way's answers the executor's and the stitched build's, for all 61,285 points): a code point's machine instructions in the executor 14,488, stitched 8,144, exact (registers, a plain call; doubles, fmod, the finite and whole checks, the tree read, the budget) 2,474, integers 1,587, a flat column 1,083, both 226, C 129; a round of halving exact 217, both 19.8, C 11.3: the bar (3x C's round) missed by exact, passed by both --- research/experiments/045-proof-compiler/2026-10-19-range.jsonl | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 research/experiments/045-proof-compiler/2026-10-19-range.jsonl (limited to 'research/experiments/045-proof-compiler/2026-10-19-range.jsonl') diff --git a/research/experiments/045-proof-compiler/2026-10-19-range.jsonl b/research/experiments/045-proof-compiler/2026-10-19-range.jsonl new file mode 100644 index 0000000..d814ced --- /dev/null +++ b/research/experiments/045-proof-compiler/2026-10-19-range.jsonl @@ -0,0 +1,6 @@ +{"what": "range() in the executor and stitched: (variant v0r) - (variant v0), events.c, PURE_JIT=0, 3 rounds, two runs; v0 the same in both builds (0.63 instructions a point run)", "executor": {"instructions_per_point": [14487.9, 14489.199999999999], "cycles_per_point": [5512.7, 5503.6]}, "stitched": {"instructions_per_point": [8144.1, 8145.299999999999], "cycles_per_point": [3224.1, 3193.7]}, "answers": "range-out stitched (17,262 to 10,601 a point, so it ran) gave the executor's answers to range.c, which the five ways equal"} +{"way": "exact", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 2474.0, "cycles_per_point": 1315.3, "instructions_per_round": 217.06, "cycles_per_round": 115.4, "answers": "the executor's"} +{"way": "integer", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 1586.6, "cycles_per_point": 875.4, "instructions_per_round": 139.2, "cycles_per_round": 76.81, "answers": "the executor's"} +{"way": "flat", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 1083.0, "cycles_per_point": 633.2, "instructions_per_round": 95.01, "cycles_per_round": 55.55, "answers": "the executor's"} +{"way": "both", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 226.2, "cycles_per_point": 124.5, "instructions_per_round": 19.84, "cycles_per_round": 10.92, "answers": "the executor's"} +{"way": "c", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 129.0, "cycles_per_point": 92.7, "instructions_per_round": 11.32, "cycles_per_round": 8.13, "answers": "the executor's"} -- cgit v1.2.3