[WIP]

Author: bjorn3

gen_intrinsics/Cargo.lock

@@ -11,5 +11,7 @@ proc-macro2 = "1.0.84"
 quote = "1.0.36"
 syn = { version = "2.0.66", features = ["full", "visit", "extra-traits"] }
 
+object = { version = "0.36", default-features = false, features = ["read", "std"] }
+
 [features]
 unstable-features = [] # for rust-analyzer

gen_intrinsics/Cargo.toml

@@ -3,12 +3,13 @@ mod def_visitor;
 use std::io::Write;
 use std::process::Stdio;
 
+use object::{Object, ObjectSection, ObjectSymbol};
 use syn::visit::Visit;
 use syn::Ident;
 
 use crate::def_visitor::{DefVisitor, LlvmIntrinsicDef};
 
-fn main() {
+fn compile_object() {
     println!("Running rustc -Zunpretty=expanded --edition=2021 core_arch/src/lib.rs ...");
     let expanded_file = std::process::Command::new("rustc")
         .arg("-Zunpretty=expanded")
@@ -89,12 +90,13 @@ fn main() {
     println!("Compiling blob");
     let mut child = std::process::Command::new("rustc")
         .arg("-Copt-level=3")
+        .arg("-Cpanic=abort")
         .arg("--crate-type")
         .arg("cdylib")
         .arg("--emit=obj")
         //.arg("--target=x86_64-unknown-linux-gnu")
-        .arg("--out-dir")
-        .arg("target")
+        .arg("-o")
+        .arg("target/rust_out.o")
         .arg("-")
         .stdin(Stdio::piped())
         .spawn()
@@ -105,3 +107,46 @@ fn main() {
     let status = child.wait().unwrap();
     assert!(status.success(), "{status}");
 }
+
+fn main() {
+    if
+    /*true || // */
+    false {
+        compile_object();
+    }
+
+    let obj = std::fs::read("target/rust_out.o").unwrap();
+    let obj = object::File::parse(&*obj).unwrap();
+
+    let imports = obj.symbols().filter(|sym| sym.is_undefined()).collect::<Vec<_>>();
+    assert!(imports.is_empty(), "{imports:?}");
+
+    for section in obj.sections() {
+        let section_name = section.name().unwrap();
+        if !section_name.starts_with(".text") {
+            continue;
+        }
+
+        if section_name == ".text" {
+            assert_eq!(section.size(), 0);
+            continue;
+        }
+
+        let name = section_name.strip_prefix(".text.__rust_cranelift_").unwrap().replace("__", ".");
+
+        // Sanity checks
+        assert!(section.relocations().next().is_none(), "function {name} has relocations");
+        assert!(
+            section.size() <= 0x14,
+            "function {name} is too big. it is {} bytes",
+            section.size(),
+        );
+
+        let data = section.data().unwrap();
+        let (code, ret) = data.split_at(data.len() - 4);
+        assert_eq!(ret, [0xc0_u8, 0x03, 0x5f, 0xd6]); // arm64 ret instruction
+        println!("        \"{name}\" => {{");
+        println!("            {:x?}", code);
+        println!("        }}");
+    }
+}