Start using sire

.gitmodules

@@ -47,3 +47,6 @@
 [submodule "src/doc/embedded-book"]
 	path = src/doc/embedded-book
 	url = https://github.com/rust-embedded/book.git
+[submodule "sire"]
+	path = src/sire
+	url = git@github.com:christianpoveda/sire

src/librustc_interface/Cargo.toml

@@ -33,4 +33,5 @@ rustc_errors = { path = "../librustc_errors" }
 rustc_plugin = { path = "../librustc_plugin", package = "rustc_plugin_impl" }
 rustc_privacy = { path = "../librustc_privacy" }
 rustc_resolve = { path = "../librustc_resolve" }
+sire = { path = "../sire/sire" }
 tempfile = "3.0.5"

src/librustc_interface/passes.rs

@@ -798,7 +798,21 @@ pub fn default_provide(providers: &mut ty::query::Providers<'_>) {
     lint::provide(providers);
     rustc_lint::provide(providers);
     providers.sire_equality_check = |tcx, (a, b)| {
-        // invoke sire here
+        use rustc::mir::interpret::ConstValue;
+
+        let mut evaluator = sire::eval::Evaluator::from_tcx(tcx);
+
+        if let (ConstValue::Unevaluated(def_id_a, _ ), ConstValue::Unevaluated(def_id_b, _)) = (a.val, b.val) {
+            info!("sire: Both of the sides are unevaluated");
+            let sir_a = evaluator.eval_mir(def_id_a);
+            let sir_b = evaluator.eval_mir(def_id_b);
+            info!("a = {:?}", sir_a);
+            info!("b = {:?}", sir_b);
+        } else {
+            warn!("sire: One of the sides is evaluated");
+        }
+
+        false
     };
 }