rust/src/bin/miri.rs

133 lines
4.8 KiB
Rust
Raw Normal View History

2016-06-11 14:10:25 -05:00
#![feature(rustc_private)]
2016-05-09 16:30:47 -05:00
extern crate getopts;
extern crate miri;
extern crate rustc;
extern crate rustc_driver;
2016-07-05 06:04:46 -05:00
extern crate rustc_plugin;
extern crate env_logger;
extern crate log_settings;
extern crate syntax;
#[macro_use] extern crate log;
use miri::{eval_main, run_mir_passes};
use rustc::session::Session;
use rustc::mir::mir_map::MirMap;
use rustc_driver::{driver, CompilerCalls, Compilation};
2016-07-05 06:04:46 -05:00
use syntax::ast::MetaItemKind;
struct MiriCompilerCalls;
impl<'a> CompilerCalls<'a> for MiriCompilerCalls {
2016-05-09 16:30:47 -05:00
fn build_controller(
&mut self,
_: &Session,
_: &getopts::Matches
) -> driver::CompileController<'a> {
let mut control = driver::CompileController::basic();
2016-07-05 06:04:46 -05:00
control.after_hir_lowering.callback = Box::new(|state| {
state.session.plugin_attributes.borrow_mut().push(("miri".to_owned(), syntax::feature_gate::AttributeType::Whitelisted));
});
control.after_analysis.stop = Compilation::Stop;
control.after_analysis.callback = Box::new(|state| {
state.session.abort_if_errors();
let tcx = state.tcx.unwrap();
let mir_map = state.mir_map.unwrap();
let (node_id, _) = state.session.entry_fn.borrow()
.expect("no main or start function found");
2016-07-05 06:04:46 -05:00
let krate = state.hir_crate.as_ref().unwrap();
let mut memory_size = 100*1024*1024; // 100MB
fn extract_str(lit: &syntax::ast::Lit) -> syntax::parse::token::InternedString {
match lit.node {
syntax::ast::LitKind::Str(ref s, _) => s.clone(),
_ => panic!("attribute values need to be strings"),
}
}
for attr in krate.attrs.iter() {
match attr.node.value.node {
MetaItemKind::List(ref name, _) if name != "miri" => {}
MetaItemKind::List(_, ref items) => for item in items {
match item.node {
MetaItemKind::NameValue(ref name, ref value) => {
match &**name {
"memory_size" => memory_size = extract_str(value).parse::<u64>().expect("not a number"),
_ => state.session.span_err(item.span, "unknown miri attribute"),
}
}
_ => state.session.span_err(item.span, "miri attributes need to be of key = value kind"),
}
},
_ => {},
}
}
let mut mir_map = MirMap { map: mir_map.map.clone() };
run_mir_passes(tcx, &mut mir_map);
2016-07-05 06:04:46 -05:00
eval_main(tcx, &mir_map, node_id, memory_size);
state.session.abort_if_errors();
});
control
}
}
fn init_logger() {
const MAX_INDENT: usize = 40;
let format = |record: &log::LogRecord| {
2016-06-17 20:48:45 -05:00
if record.level() == log::LogLevel::Trace {
// prepend spaces to indent the final string
let indentation = log_settings::settings().indentation;
format!("{lvl}:{module}{depth:2}{indent:<indentation$} {text}",
lvl = record.level(),
module = record.location().module_path(),
depth = indentation / MAX_INDENT,
indentation = indentation % MAX_INDENT,
2016-06-17 20:48:45 -05:00
indent = "",
text = record.args())
} else {
format!("{lvl}:{module}: {text}",
lvl = record.level(),
module = record.location().module_path(),
text = record.args())
}
};
let mut builder = env_logger::LogBuilder::new();
builder.format(format).filter(None, log::LogLevelFilter::Info);
if std::env::var("MIRI_LOG").is_ok() {
builder.parse(&std::env::var("MIRI_LOG").unwrap());
}
builder.init().unwrap();
}
fn find_sysroot() -> String {
// Taken from https://github.com/Manishearth/rust-clippy/pull/911.
let home = option_env!("RUSTUP_HOME").or(option_env!("MULTIRUST_HOME"));
let toolchain = option_env!("RUSTUP_TOOLCHAIN").or(option_env!("MULTIRUST_TOOLCHAIN"));
match (home, toolchain) {
(Some(home), Some(toolchain)) => format!("{}/toolchains/{}", home, toolchain),
_ => option_env!("RUST_SYSROOT")
.expect("need to specify RUST_SYSROOT env var or use rustup or multirust")
.to_owned(),
}
}
fn main() {
init_logger();
let mut args: Vec<String> = std::env::args().collect();
let sysroot_flag = String::from("--sysroot");
if !args.contains(&sysroot_flag) {
args.push(sysroot_flag);
args.push(find_sysroot());
}
rustc_driver::run_compiler(&args, &mut MiriCompilerCalls);
}