diff options
| author | eunhhu <[email protected]> | 2026-10-19 12:09:23 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-19 12:09:23 +0100 |
| commit | adccf5808be0ed55bcaf7a3303dd7016044893c8 (patch) | |
| tree | 734f318c88ef5c98a738dd99bc7ba71bdbb7b23e /research | |
| parent | bbe04c13e58f884d25a933b785b052558c66118b (diff) | |
| download | pure-adccf5808be0ed55bcaf7a3303dd7016044893c8.tar.gz pure-adccf5808be0ed55bcaf7a3303dd7016044893c8.zip | |
029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists built 17.3%, numbers 13.5%, lists read 13.0%, moves 9.0%, calls 7.1%, malloc 4.0%: no layer holds most of the cliff, three generic ones (interpretation, the lists' form, the numbers') 1.4-1.5x each, the cliff their product; range()'s binary search 36% of the machine instructions and 269.5 of 549.9 executed (an algorithm Vega's C does not use); a candidate broken by arithmetic before code (let lists held again as versioned states: 13,000 of 40,236 at most, 1.5x); the bar's arithmetic (one machine instruction an instruction is still 2.5x C: the instructions must fall too); "the general JIT 008 forbids" corrected (008's task A asks for one execution principle from the proof; it forbids the executors' split and scaled-down techniques)
Diffstat (limited to 'research')
| -rw-r--r-- | research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt b/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt new file mode 100644 index 0000000..95a6238 --- /dev/null +++ b/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt @@ -0,0 +1,25 @@ +CONST 1679532 0 +ADD 759809 0 +SUB 759809 0 +LE 698524 0 +GT 759809 0 +NOT 759809 0 +JZ 1458333 0 +JMP 265036 0 +TEXT_SET 18672 0 +LIST_COUNT 61285 42613 +LIST_APPEND 21459 0 +ITEM_GET 759809 206931 +ROW 61285 0 +MOD 18672 0 +EACH 18673 0 +LOCAL_LOAD 5153480 0 +LOCAL_STORE 1660860 0 +I64_FROM 18672 0 +LOOP 61285 0 +BREAK 61285 0 +BYTES_OF 18672 0 +CALL 61285 0 +RETURN 61285 0 +FLOORDIV 698524 0 +INDEX_AT 698524 206931 |