> I wonder if one could do things like compile with rustc and clang and somehow compare the LLVM IR for equivalence The approach we've taken so far with C2Rus

> I wonder if one could do things like compile with rustc and clang and somehow compare the LLVM IR for equivalence The approach we've taken so far with C2Rust is to build compiler plugins that instrument C and Rust code so we can dynamically check their behavior when fed the same input. https://github.com/immunant/c2rust/tree/master/cross-checks https://github.com/immunant/c2rust/tree/master/cross-checks