try to write a simpler superoptimization post #121

cfbolz · 2024-07-12T17:14:30Z

tekknolagi

looking good. there is maybe 5% missing to make things clearer and maybe a sentence or two to add to leave people dangling less at the end

posts/2024/07/finding-simplification-rules-with-z3.md

tekknolagi · 2024-07-12T18:56:53Z

posts/2024/07/finding-simplification-rules-with-z3.md

@@ -643,6 +658,8 @@ There are a bunch of problems that come with generalizing the approach:

 In the next blog post I'll discuss an alternative approach to simply generating
 all possible sequences of instructions, that tries to address these problems.
+This works by using the real traces of benchmarks and mine those for


nit: parallelism with "using" and "mining"

try to write a simpler superoptimization post

4727210

tekknolagi reviewed Jul 12, 2024

View reviewed changes

posts/2024/07/finding-simplification-rules-with-z3.md Outdated Show resolved Hide resolved

try to fix some of the problem that Max pointed out

7cc43a6

tekknolagi reviewed Jul 12, 2024

View reviewed changes

cfbolz added 4 commits July 12, 2024 21:15

fix date

65be70d

more tweaks

c86960c

try to win against syntax highlighting, but losing

fe6039d

parenthetical remark

c2a6933

cfbolz merged commit 8171e20 into main Jul 12, 2024
5 checks passed

cfbolz deleted the z3-trivial-superopt branch July 12, 2024 19:42

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

try to write a simpler superoptimization post #121

try to write a simpler superoptimization post #121

cfbolz commented Jul 12, 2024

tekknolagi left a comment •

edited

Loading

tekknolagi Jul 12, 2024

try to write a simpler superoptimization post #121

try to write a simpler superoptimization post #121

Conversation

cfbolz commented Jul 12, 2024

tekknolagi left a comment • edited Loading

Choose a reason for hiding this comment

tekknolagi Jul 12, 2024

Choose a reason for hiding this comment

tekknolagi left a comment •

edited

Loading