Add an overlap checker to ISLE (#4906)

https://github.com/bytecodealliance/wasmtime/pull/4906 Co-authored-by: Jamey Sharp <jsharp@fastly.com>
2022-09-21 14:07:59 -07:00
parent 6f50ddaaf2
commit b167172715
6 changed files with 380 additions and 0 deletions
--- a/cranelift/isle/isle/Cargo.toml
+++ b/cranelift/isle/isle/Cargo.toml
@@ -11,6 +11,7 @@ version = "0.89.0"
 [dependencies]
 log = { version = "0.4", optional = true }
 miette = { version = "5.1.0", optional = true }
+rayon = "^1.5"

 [dev-dependencies]
 tempfile = "3"
@@ -18,5 +19,6 @@ tempfile = "3"
 [features]
 default = []

+overlap-errors = []
 logging = ["log"]
 miette-errors = ["miette"]