cranelift: Port most of simple_preopt.rs over to the peepmatic DSL

This ports all of the identity, no-op, simplification, and canonicalization related optimizations over from being hand-coded to the `peepmatic` DSL. This does not handle the branch-to-branch optimizations or most of the divide-by-constant optimizations.
avanhatt · May 14, 2020 · 090d1c2 · 090d1c2
1 parent 18663fe
commit 090d1c2
Show file tree

Hide file tree

Showing 20 changed files with 1,289 additions and 488 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ docs/book
 rusty-tags.*
 tags
 target
+.z3-trace
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,3 +14,4 @@ docs/book @@
     rusty-tags.*
     tags
     target
+    .z3-trace