Better classifier to decide whether to revert speculative simplificat…

…ions.
stp · May 19, 2020 · 25630ed · 25630ed
1 parent 8a5e7bc
commit 25630ed
Show file tree

Hide file tree

Showing 5 changed files with 1,366 additions and 7 deletions.
diff --git a/data/readme.txt b/data/readme.txt
@@ -0,0 +1,9 @@
+On a single core of a ryzen 3900x with 12GB memory limit. The benchmarks from shouldRevert are solved, if difficutly reversion is applied. Whereas the opposite applies to Shouldn't revert. 
+
+With the current classifier:
+
+52/100 are reverted. Ideally it'd be zero of those.
+1243/1250 are reverted. Ideally it'd ne 1250.
+
+So a perfect classifier would solve 59 more problems.
+