2015-02-02 18:40:52 -06:00
|
|
|
// Copyright 2012-2015 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 18:48:01 -06:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2016-01-29 14:04:07 -06:00
|
|
|
use rustc::dep_graph::DepGraph;
|
2015-07-31 02:04:06 -05:00
|
|
|
use rustc::front;
|
|
|
|
use rustc::front::map as hir_map;
|
2015-08-18 17:01:44 -05:00
|
|
|
use rustc_mir as mir;
|
2016-02-05 02:32:33 -06:00
|
|
|
use rustc::mir::mir_map::MirMap;
|
2016-01-27 00:01:01 -06:00
|
|
|
use rustc::session::{Session, CompileResult, compile_result_from_err_count};
|
2015-09-30 12:08:37 -05:00
|
|
|
use rustc::session::config::{self, Input, OutputFilenames, OutputType};
|
2014-12-16 16:32:02 -06:00
|
|
|
use rustc::session::search_paths::PathKind;
|
2014-11-27 08:57:47 -06:00
|
|
|
use rustc::lint;
|
2016-03-22 10:30:57 -05:00
|
|
|
use rustc::middle::{self, dependency_format, stability, reachable};
|
2016-01-27 14:49:18 -06:00
|
|
|
use rustc::middle::privacy::AccessLevels;
|
2016-03-22 10:30:57 -05:00
|
|
|
use rustc::ty::{self, TyCtxt};
|
2014-11-27 08:57:47 -06:00
|
|
|
use rustc::util::common::time;
|
2016-01-27 14:49:18 -06:00
|
|
|
use rustc::util::nodemap::NodeSet;
|
2016-02-12 07:41:30 -06:00
|
|
|
use rustc_back::sha2::{Sha256, Digest};
|
2014-12-05 13:17:35 -06:00
|
|
|
use rustc_borrowck as borrowck;
|
2014-12-18 16:46:26 -06:00
|
|
|
use rustc_resolve as resolve;
|
2015-11-24 16:00:26 -06:00
|
|
|
use rustc_metadata::macro_import;
|
|
|
|
use rustc_metadata::creader::LocalCrateReader;
|
|
|
|
use rustc_metadata::cstore::CStore;
|
2014-11-27 08:57:47 -06:00
|
|
|
use rustc_trans::back::link;
|
|
|
|
use rustc_trans::back::write;
|
2016-03-22 12:23:36 -05:00
|
|
|
use rustc_trans as trans;
|
2014-11-26 05:11:29 -06:00
|
|
|
use rustc_typeck as typeck;
|
2015-01-15 12:47:17 -06:00
|
|
|
use rustc_privacy;
|
2015-11-22 14:14:09 -06:00
|
|
|
use rustc_plugin::registry::Registry;
|
|
|
|
use rustc_plugin as plugin;
|
2015-07-31 02:04:06 -05:00
|
|
|
use rustc_front::hir;
|
2015-09-24 23:03:28 -05:00
|
|
|
use rustc_front::lowering::{lower_crate, LoweringContext};
|
2016-01-21 03:52:37 -06:00
|
|
|
use rustc_passes::{no_asm, loops, consts, const_fn, rvalues, static_recursion};
|
2016-03-30 06:43:36 -05:00
|
|
|
use rustc_const_eval::check_match;
|
2016-01-27 00:01:01 -06:00
|
|
|
use super::Compilation;
|
2012-12-23 16:41:37 -06:00
|
|
|
|
2014-12-12 12:59:41 -06:00
|
|
|
use serialize::json;
|
2014-02-19 01:27:49 -06:00
|
|
|
|
2015-09-30 12:08:37 -05:00
|
|
|
use std::collections::HashMap;
|
2015-01-27 14:20:58 -06:00
|
|
|
use std::env;
|
2015-06-10 20:18:04 -05:00
|
|
|
use std::ffi::{OsString, OsStr};
|
2015-02-26 23:00:43 -06:00
|
|
|
use std::fs;
|
|
|
|
use std::io::{self, Write};
|
|
|
|
use std::path::{Path, PathBuf};
|
2015-09-27 21:00:15 -05:00
|
|
|
use syntax::ast::{self, NodeIdAssigner};
|
2016-02-13 11:05:16 -06:00
|
|
|
use syntax::attr::{self, AttrMetaMethods};
|
2014-07-01 11:39:41 -05:00
|
|
|
use syntax::diagnostics;
|
2015-07-31 02:04:06 -05:00
|
|
|
use syntax::fold::Folder;
|
2016-02-13 11:05:16 -06:00
|
|
|
use syntax::parse::{self, PResult, token};
|
2015-11-10 23:26:14 -06:00
|
|
|
use syntax::util::node_count::NodeCounter;
|
|
|
|
use syntax::visit;
|
2012-12-23 16:41:37 -06:00
|
|
|
use syntax;
|
2015-12-10 08:23:14 -06:00
|
|
|
use syntax_ext;
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
pub fn compile_input(sess: &Session,
|
2015-11-21 13:39:05 -06:00
|
|
|
cstore: &CStore,
|
2014-05-06 06:38:01 -05:00
|
|
|
cfg: ast::CrateConfig,
|
|
|
|
input: &Input,
|
2015-02-26 23:00:43 -06:00
|
|
|
outdir: &Option<PathBuf>,
|
|
|
|
output: &Option<PathBuf>,
|
2015-01-10 20:03:34 -06:00
|
|
|
addl_plugins: Option<Vec<String>>,
|
2016-01-05 16:38:11 -06:00
|
|
|
control: &CompileController) -> CompileResult {
|
2016-01-27 14:49:18 -06:00
|
|
|
macro_rules! controller_entry_point {
|
|
|
|
($point: ident, $tsess: expr, $make_state: expr, $phase_result: expr) => {{
|
|
|
|
let state = $make_state;
|
|
|
|
let phase_result: &CompileResult = &$phase_result;
|
|
|
|
if phase_result.is_ok() || control.$point.run_callback_on_error {
|
|
|
|
(control.$point.callback)(state);
|
|
|
|
}
|
2015-02-09 13:01:45 -06:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
if control.$point.stop == Compilation::Stop {
|
|
|
|
return compile_result_from_err_count($tsess.err_count());
|
|
|
|
}
|
|
|
|
}}
|
|
|
|
}
|
2015-01-10 20:03:34 -06:00
|
|
|
|
2014-05-06 06:38:01 -05:00
|
|
|
// We need nested scopes here, because the intermediate results can keep
|
|
|
|
// large chunks of memory alive and we want to free them as soon as
|
|
|
|
// possible to keep the peak memory usage low
|
2016-01-20 18:19:20 -06:00
|
|
|
let (outputs, trans) = {
|
2014-09-07 12:09:06 -05:00
|
|
|
let (outputs, expanded_crate, id) = {
|
2016-02-19 07:43:13 -06:00
|
|
|
let krate = match phase_1_parse_input(sess, cfg, input) {
|
|
|
|
Ok(krate) => krate,
|
|
|
|
Err(mut parse_error) => {
|
|
|
|
parse_error.emit();
|
|
|
|
return Err(1);
|
|
|
|
}
|
|
|
|
};
|
2015-01-10 20:03:34 -06:00
|
|
|
|
|
|
|
controller_entry_point!(after_parse,
|
2015-02-09 13:01:45 -06:00
|
|
|
sess,
|
2016-01-27 14:49:18 -06:00
|
|
|
CompileState::state_after_parse(input, sess, outdir, &krate),
|
|
|
|
Ok(()));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
let outputs = build_output_filenames(input, outdir, output, &krate.attrs, sess);
|
|
|
|
let id = link::find_crate_name(Some(sess), &krate.attrs, input);
|
2016-03-22 22:01:37 -05:00
|
|
|
let expanded_crate = phase_2_configure_and_expand(sess,
|
2016-03-22 17:58:45 -05:00
|
|
|
&cstore,
|
|
|
|
krate,
|
|
|
|
&id[..],
|
|
|
|
addl_plugins)?;
|
2014-06-10 16:03:19 -05:00
|
|
|
|
2014-09-07 12:09:06 -05:00
|
|
|
(outputs, expanded_crate, id)
|
2014-05-06 06:38:01 -05:00
|
|
|
};
|
2014-09-07 12:09:06 -05:00
|
|
|
|
2015-01-10 20:03:34 -06:00
|
|
|
controller_entry_point!(after_expand,
|
2015-02-09 13:01:45 -06:00
|
|
|
sess,
|
2015-01-10 20:03:34 -06:00
|
|
|
CompileState::state_after_expand(input,
|
2016-01-20 18:19:20 -06:00
|
|
|
sess,
|
2015-01-10 20:03:34 -06:00
|
|
|
outdir,
|
|
|
|
&expanded_crate,
|
2016-01-27 14:49:18 -06:00
|
|
|
&id[..]),
|
|
|
|
Ok(()));
|
2015-01-10 20:03:34 -06:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
let expanded_crate = assign_node_ids(sess, expanded_crate);
|
2015-07-31 02:04:06 -05:00
|
|
|
// Lower ast -> hir.
|
2016-01-20 18:19:20 -06:00
|
|
|
let lcx = LoweringContext::new(sess, Some(&expanded_crate));
|
2016-01-29 14:04:07 -06:00
|
|
|
let dep_graph = DepGraph::new(sess.opts.build_dep_graph);
|
2015-07-31 02:04:06 -05:00
|
|
|
let mut hir_forest = time(sess.time_passes(),
|
|
|
|
"lowering ast -> hir",
|
2016-01-29 14:04:07 -06:00
|
|
|
|| hir_map::Forest::new(lower_crate(&lcx, &expanded_crate),
|
|
|
|
dep_graph));
|
2015-12-01 11:38:40 -06:00
|
|
|
|
|
|
|
// Discard MTWT tables that aren't required past lowering to HIR.
|
|
|
|
if !sess.opts.debugging_opts.keep_mtwt_tables &&
|
|
|
|
!sess.opts.debugging_opts.save_analysis {
|
|
|
|
syntax::ext::mtwt::clear_tables();
|
|
|
|
}
|
|
|
|
|
2015-01-26 06:38:33 -06:00
|
|
|
let arenas = ty::CtxtArenas::new();
|
2016-01-20 18:19:20 -06:00
|
|
|
let hir_map = make_map(sess, &mut hir_forest);
|
2014-09-07 12:09:06 -05:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
write_out_deps(sess, &outputs, &id);
|
2014-05-06 06:38:01 -05:00
|
|
|
|
2016-01-29 14:04:07 -06:00
|
|
|
{
|
|
|
|
let _ignore = hir_map.dep_graph.in_ignore();
|
|
|
|
controller_entry_point!(after_write_deps,
|
|
|
|
sess,
|
|
|
|
CompileState::state_after_write_deps(input,
|
|
|
|
sess,
|
|
|
|
outdir,
|
|
|
|
&hir_map,
|
|
|
|
&expanded_crate,
|
|
|
|
&hir_map.krate(),
|
|
|
|
&id[..],
|
|
|
|
&lcx),
|
|
|
|
Ok(()));
|
|
|
|
}
|
2015-01-14 14:30:34 -06:00
|
|
|
|
2015-09-25 01:25:59 -05:00
|
|
|
time(sess.time_passes(), "attribute checking", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
front::check_attr::check_crate(sess, &expanded_crate);
|
2015-09-25 01:25:59 -05:00
|
|
|
});
|
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(sess.time_passes(),
|
|
|
|
"early lint checks",
|
2016-01-20 18:19:20 -06:00
|
|
|
|| lint::check_ast_crate(sess, &expanded_crate));
|
2015-07-31 02:04:06 -05:00
|
|
|
|
2015-12-25 10:17:45 -06:00
|
|
|
let opt_crate = if sess.opts.debugging_opts.keep_ast ||
|
|
|
|
sess.opts.debugging_opts.save_analysis {
|
|
|
|
Some(&expanded_crate)
|
|
|
|
} else {
|
|
|
|
drop(expanded_crate);
|
|
|
|
None
|
|
|
|
};
|
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
phase_3_run_analysis_passes(sess,
|
2016-03-22 17:58:45 -05:00
|
|
|
&cstore,
|
|
|
|
hir_map,
|
|
|
|
&arenas,
|
|
|
|
&id,
|
|
|
|
control.make_glob_map,
|
|
|
|
|tcx, mir_map, analysis, result| {
|
2016-01-20 18:19:20 -06:00
|
|
|
{
|
2016-01-29 14:04:07 -06:00
|
|
|
// Eventually, we will want to track plugins.
|
|
|
|
let _ignore = tcx.dep_graph.in_ignore();
|
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
let state = CompileState::state_after_analysis(input,
|
|
|
|
&tcx.sess,
|
|
|
|
outdir,
|
|
|
|
opt_crate,
|
|
|
|
tcx.map.krate(),
|
|
|
|
&analysis,
|
|
|
|
mir_map.as_ref(),
|
|
|
|
tcx,
|
|
|
|
&lcx,
|
|
|
|
&id);
|
2016-01-20 18:19:20 -06:00
|
|
|
(control.after_analysis.callback)(state);
|
|
|
|
|
|
|
|
if control.after_analysis.stop == Compilation::Stop {
|
|
|
|
return Err(0usize);
|
|
|
|
}
|
|
|
|
}
|
2014-05-06 06:38:01 -05:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
result?;
|
2016-01-27 14:49:18 -06:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
if log_enabled!(::log::INFO) {
|
|
|
|
println!("Pre-trans");
|
|
|
|
tcx.print_debug_stats();
|
|
|
|
}
|
|
|
|
let trans = phase_4_translate_to_llvm(tcx,
|
2016-01-27 14:49:18 -06:00
|
|
|
mir_map.unwrap(),
|
2016-01-20 18:19:20 -06:00
|
|
|
analysis);
|
|
|
|
|
|
|
|
if log_enabled!(::log::INFO) {
|
|
|
|
println!("Post-trans");
|
|
|
|
tcx.print_debug_stats();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Discard interned strings as they are no longer required.
|
|
|
|
token::get_ident_interner().clear();
|
|
|
|
|
|
|
|
Ok((outputs, trans))
|
2016-03-22 22:01:37 -05:00
|
|
|
})??
|
2014-05-06 06:38:01 -05:00
|
|
|
};
|
2015-06-13 20:50:23 -05:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
let phase5_result = phase_5_run_llvm_passes(sess, &trans, &outputs);
|
2015-01-10 20:03:34 -06:00
|
|
|
|
|
|
|
controller_entry_point!(after_llvm,
|
2015-02-09 13:01:45 -06:00
|
|
|
sess,
|
2016-01-27 14:49:18 -06:00
|
|
|
CompileState::state_after_llvm(input, sess, outdir, &trans),
|
|
|
|
phase5_result);
|
2016-03-22 22:01:37 -05:00
|
|
|
phase5_result?;
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
phase_6_link_output(sess, &trans, &outputs);
|
2015-01-10 20:03:34 -06:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
Ok(())
|
2012-12-23 16:41:37 -06:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2014-11-24 19:06:06 -06:00
|
|
|
/// The name used for source code that doesn't originate in a file
|
|
|
|
/// (e.g. source from stdin or a string)
|
2014-05-22 18:57:53 -05:00
|
|
|
pub fn anon_src() -> String {
|
2014-05-25 05:17:19 -05:00
|
|
|
"<anon>".to_string()
|
2014-01-15 18:42:51 -06:00
|
|
|
}
|
2012-05-09 21:41:24 -05:00
|
|
|
|
2014-05-22 18:57:53 -05:00
|
|
|
pub fn source_name(input: &Input) -> String {
|
2013-04-17 11:15:37 -05:00
|
|
|
match *input {
|
2014-03-16 13:56:24 -05:00
|
|
|
// FIXME (#9639): This needs to handle non-utf8 paths
|
2015-02-26 23:00:43 -06:00
|
|
|
Input::File(ref ifile) => ifile.to_str().unwrap().to_string(),
|
2016-03-09 21:49:40 -06:00
|
|
|
Input::Str { ref name, .. } => name.clone(),
|
log: Introduce liblog, the old std::logging
This commit moves all logging out of the standard library into an external
crate. This crate is the new crate which is responsible for all logging macros
and logging implementation. A few reasons for this change are:
* The crate map has always been a bit of a code smell among rust programs. It
has difficulty being loaded on almost all platforms, and it's used almost
exclusively for logging and only logging. Removing the crate map is one of the
end goals of this movement.
* The compiler has a fair bit of special support for logging. It has the
__log_level() expression as well as generating a global word per module
specifying the log level. This is unfairly favoring the built-in logging
system, and is much better done purely in libraries instead of the compiler
itself.
* Initialization of logging is much easier to do if there is no reliance on a
magical crate map being available to set module log levels.
* If the logging library can be written outside of the standard library, there's
no reason that it shouldn't be. It's likely that we're not going to build the
highest quality logging library of all time, so third-party libraries should
be able to provide just as high-quality logging systems as the default one
provided in the rust distribution.
With a migration such as this, the change does not come for free. There are some
subtle changes in the behavior of liblog vs the previous logging macros:
* The core change of this migration is that there is no longer a physical
log-level per module. This concept is still emulated (it is quite useful), but
there is now only a global log level, not a local one. This global log level
is a reflection of the maximum of all log levels specified. The previously
generated logging code looked like:
if specified_level <= __module_log_level() {
println!(...)
}
The newly generated code looks like:
if specified_level <= ::log::LOG_LEVEL {
if ::log::module_enabled(module_path!()) {
println!(...)
}
}
Notably, the first layer of checking is still intended to be "super fast" in
that it's just a load of a global word and a compare. The second layer of
checking is executed to determine if the current module does indeed have
logging turned on.
This means that if any module has a debug log level turned on, all modules
with debug log levels get a little bit slower (they all do more expensive
dynamic checks to determine if they're turned on or not).
Semantically, this migration brings no change in this respect, but
runtime-wise, this will have a perf impact on some code.
* A `RUST_LOG=::help` directive will no longer print out a list of all modules
that can be logged. This is because the crate map will no longer specify the
log levels of all modules, so the list of modules is not known. Additionally,
warnings can no longer be provided if a malformed logging directive was
supplied.
The new "hello world" for logging looks like:
#[phase(syntax, link)]
extern crate log;
fn main() {
debug!("Hello, world!");
}
2014-03-09 00:11:44 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-10 20:03:34 -06:00
|
|
|
/// CompileController is used to customise compilation, it allows compilation to
|
|
|
|
/// be stopped and/or to call arbitrary code at various points in compilation.
|
|
|
|
/// It also allows for various flags to be set to influence what information gets
|
2015-02-04 22:00:02 -06:00
|
|
|
/// collected during compilation.
|
2015-01-10 20:03:34 -06:00
|
|
|
///
|
|
|
|
/// This is a somewhat higher level controller than a Session - the Session
|
|
|
|
/// controls what happens in each phase, whereas the CompileController controls
|
|
|
|
/// whether a phase is run at all and whether other code (from outside the
|
|
|
|
/// the compiler) is run between phases.
|
|
|
|
///
|
|
|
|
/// Note that if compilation is set to stop and a callback is provided for a
|
|
|
|
/// given entry point, the callback is called before compilation is stopped.
|
|
|
|
///
|
|
|
|
/// Expect more entry points to be added in the future.
|
|
|
|
pub struct CompileController<'a> {
|
|
|
|
pub after_parse: PhaseController<'a>,
|
|
|
|
pub after_expand: PhaseController<'a>,
|
2015-01-14 14:30:34 -06:00
|
|
|
pub after_write_deps: PhaseController<'a>,
|
2015-01-10 20:03:34 -06:00
|
|
|
pub after_analysis: PhaseController<'a>,
|
|
|
|
pub after_llvm: PhaseController<'a>,
|
|
|
|
|
|
|
|
pub make_glob_map: resolve::MakeGlobMap,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> CompileController<'a> {
|
|
|
|
pub fn basic() -> CompileController<'a> {
|
|
|
|
CompileController {
|
|
|
|
after_parse: PhaseController::basic(),
|
|
|
|
after_expand: PhaseController::basic(),
|
2015-11-10 14:48:44 -06:00
|
|
|
after_write_deps: PhaseController::basic(),
|
2015-01-10 20:03:34 -06:00
|
|
|
after_analysis: PhaseController::basic(),
|
|
|
|
after_llvm: PhaseController::basic(),
|
|
|
|
make_glob_map: resolve::MakeGlobMap::No,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub struct PhaseController<'a> {
|
2015-02-02 18:40:52 -06:00
|
|
|
pub stop: Compilation,
|
2016-01-27 14:49:18 -06:00
|
|
|
// If true then the compiler will try to run the callback even if the phase
|
|
|
|
// ends with an error. Note that this is not always possible.
|
|
|
|
pub run_callback_on_error: bool,
|
2015-01-10 20:03:34 -06:00
|
|
|
pub callback: Box<Fn(CompileState) -> () + 'a>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PhaseController<'a> {
|
|
|
|
pub fn basic() -> PhaseController<'a> {
|
|
|
|
PhaseController {
|
2015-02-02 18:40:52 -06:00
|
|
|
stop: Compilation::Continue,
|
2016-01-27 14:49:18 -06:00
|
|
|
run_callback_on_error: false,
|
2015-02-01 11:44:15 -06:00
|
|
|
callback: box |_| {},
|
2015-01-10 20:03:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// State that is passed to a callback. What state is available depends on when
|
|
|
|
/// during compilation the callback is made. See the various constructor methods
|
|
|
|
/// (`state_*`) in the impl to see which data is provided for any given entry point.
|
|
|
|
pub struct CompileState<'a, 'ast: 'a, 'tcx: 'a> {
|
|
|
|
pub input: &'a Input,
|
|
|
|
pub session: &'a Session,
|
|
|
|
pub cfg: Option<&'a ast::CrateConfig>,
|
|
|
|
pub krate: Option<&'a ast::Crate>,
|
|
|
|
pub crate_name: Option<&'a str>,
|
|
|
|
pub output_filenames: Option<&'a OutputFilenames>,
|
|
|
|
pub out_dir: Option<&'a Path>,
|
|
|
|
pub expanded_crate: Option<&'a ast::Crate>,
|
2015-07-31 02:04:06 -05:00
|
|
|
pub hir_crate: Option<&'a hir::Crate>,
|
|
|
|
pub ast_map: Option<&'a hir_map::Map<'ast>>,
|
2015-11-12 14:18:11 -06:00
|
|
|
pub mir_map: Option<&'a MirMap<'tcx>>,
|
2015-10-19 14:54:19 -05:00
|
|
|
pub analysis: Option<&'a ty::CrateAnalysis<'a>>,
|
2016-02-29 17:36:51 -06:00
|
|
|
pub tcx: Option<&'a TyCtxt<'tcx>>,
|
2015-09-29 22:17:37 -05:00
|
|
|
pub lcx: Option<&'a LoweringContext<'a>>,
|
2015-01-10 20:03:34 -06:00
|
|
|
pub trans: Option<&'a trans::CrateTranslation>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a, 'ast, 'tcx> CompileState<'a, 'ast, 'tcx> {
|
|
|
|
fn empty(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>)
|
2015-01-10 20:03:34 -06:00
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
|
|
|
CompileState {
|
|
|
|
input: input,
|
|
|
|
session: session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: out_dir.as_ref().map(|s| &**s),
|
2015-01-10 20:03:34 -06:00
|
|
|
cfg: None,
|
|
|
|
krate: None,
|
|
|
|
crate_name: None,
|
|
|
|
output_filenames: None,
|
|
|
|
expanded_crate: None,
|
2015-07-31 02:04:06 -05:00
|
|
|
hir_crate: None,
|
2015-01-10 20:03:34 -06:00
|
|
|
ast_map: None,
|
|
|
|
analysis: None,
|
2015-11-12 14:18:11 -06:00
|
|
|
mir_map: None,
|
2015-01-10 20:03:34 -06:00
|
|
|
tcx: None,
|
2015-09-24 23:03:28 -05:00
|
|
|
lcx: None,
|
2015-01-10 20:03:34 -06:00
|
|
|
trans: None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn state_after_parse(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>,
|
2015-01-10 20:03:34 -06:00
|
|
|
krate: &'a ast::Crate)
|
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
2015-11-10 14:48:44 -06:00
|
|
|
CompileState { krate: Some(krate), ..CompileState::empty(input, session, out_dir) }
|
2015-01-10 20:03:34 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
fn state_after_expand(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>,
|
2015-01-10 20:03:34 -06:00
|
|
|
expanded_crate: &'a ast::Crate,
|
|
|
|
crate_name: &'a str)
|
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
|
|
|
CompileState {
|
|
|
|
crate_name: Some(crate_name),
|
|
|
|
expanded_crate: Some(expanded_crate),
|
2015-11-10 14:48:44 -06:00
|
|
|
..CompileState::empty(input, session, out_dir)
|
2015-01-10 20:03:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-14 14:30:34 -06:00
|
|
|
fn state_after_write_deps(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>,
|
2015-12-24 14:30:27 -06:00
|
|
|
hir_map: &'a hir_map::Map<'ast>,
|
2015-07-31 02:04:06 -05:00
|
|
|
krate: &'a ast::Crate,
|
|
|
|
hir_crate: &'a hir::Crate,
|
2015-09-24 23:03:28 -05:00
|
|
|
crate_name: &'a str,
|
2015-09-29 22:17:37 -05:00
|
|
|
lcx: &'a LoweringContext<'a>)
|
2015-01-14 14:30:34 -06:00
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
|
|
|
CompileState {
|
|
|
|
crate_name: Some(crate_name),
|
2015-12-24 14:30:27 -06:00
|
|
|
ast_map: Some(hir_map),
|
2015-07-31 02:04:06 -05:00
|
|
|
krate: Some(krate),
|
|
|
|
hir_crate: Some(hir_crate),
|
2015-09-24 23:03:28 -05:00
|
|
|
lcx: Some(lcx),
|
2015-11-10 14:48:44 -06:00
|
|
|
..CompileState::empty(input, session, out_dir)
|
2015-01-14 14:30:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-10 20:03:34 -06:00
|
|
|
fn state_after_analysis(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>,
|
2015-12-25 10:17:45 -06:00
|
|
|
krate: Option<&'a ast::Crate>,
|
2015-07-31 02:04:06 -05:00
|
|
|
hir_crate: &'a hir::Crate,
|
2015-06-13 17:49:28 -05:00
|
|
|
analysis: &'a ty::CrateAnalysis,
|
2016-01-27 14:49:18 -06:00
|
|
|
mir_map: Option<&'a MirMap<'tcx>>,
|
2016-02-29 17:36:51 -06:00
|
|
|
tcx: &'a TyCtxt<'tcx>,
|
2015-10-19 14:54:19 -05:00
|
|
|
lcx: &'a LoweringContext<'a>,
|
|
|
|
crate_name: &'a str)
|
2015-01-10 20:03:34 -06:00
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
|
|
|
CompileState {
|
|
|
|
analysis: Some(analysis),
|
2016-01-27 14:49:18 -06:00
|
|
|
mir_map: mir_map,
|
2015-01-10 20:03:34 -06:00
|
|
|
tcx: Some(tcx),
|
2015-12-25 10:17:45 -06:00
|
|
|
krate: krate,
|
2015-07-31 02:04:06 -05:00
|
|
|
hir_crate: Some(hir_crate),
|
2015-09-24 23:03:28 -05:00
|
|
|
lcx: Some(lcx),
|
2015-10-19 14:54:19 -05:00
|
|
|
crate_name: Some(crate_name),
|
2015-11-10 14:48:44 -06:00
|
|
|
..CompileState::empty(input, session, out_dir)
|
2015-01-10 20:03:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
fn state_after_llvm(input: &'a Input,
|
|
|
|
session: &'a Session,
|
2015-02-26 23:00:43 -06:00
|
|
|
out_dir: &'a Option<PathBuf>,
|
2015-01-10 20:03:34 -06:00
|
|
|
trans: &'a trans::CrateTranslation)
|
|
|
|
-> CompileState<'a, 'ast, 'tcx> {
|
2015-11-10 14:48:44 -06:00
|
|
|
CompileState { trans: Some(trans), ..CompileState::empty(input, session, out_dir) }
|
2015-01-10 20:03:34 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-02-13 11:05:16 -06:00
|
|
|
pub fn phase_1_parse_input<'a>(sess: &'a Session,
|
|
|
|
cfg: ast::CrateConfig,
|
|
|
|
input: &Input)
|
|
|
|
-> PResult<'a, ast::Crate> {
|
2014-12-02 15:55:07 -06:00
|
|
|
// These may be left in an incoherent state after a previous compile.
|
|
|
|
// `clear_tables` and `get_ident_interner().clear()` can be used to free
|
|
|
|
// memory, but they do not restore the initial state.
|
|
|
|
syntax::ext::mtwt::reset_tables();
|
|
|
|
token::reset_ident_interner();
|
2016-03-25 12:17:04 -05:00
|
|
|
let continue_after_error = sess.opts.continue_parse_after_error;
|
|
|
|
sess.diagnostic().set_continue_after_error(continue_after_error);
|
2014-12-02 15:55:07 -06:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
let krate = time(sess.time_passes(), "parsing", || {
|
2013-07-27 01:49:38 -05:00
|
|
|
match *input {
|
2014-11-27 06:21:26 -06:00
|
|
|
Input::File(ref file) => {
|
2016-02-13 11:05:16 -06:00
|
|
|
parse::parse_crate_from_file(file, cfg.clone(), &sess.parse_sess)
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
2016-03-09 21:49:40 -06:00
|
|
|
Input::Str { ref input, ref name } => {
|
|
|
|
parse::parse_crate_from_source_str(name.clone(),
|
|
|
|
input.clone(),
|
2014-01-15 18:26:20 -06:00
|
|
|
cfg.clone(),
|
2014-03-09 09:54:34 -05:00
|
|
|
&sess.parse_sess)
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
|
|
|
}
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2014-02-19 01:27:49 -06:00
|
|
|
|
2016-03-25 12:17:04 -05:00
|
|
|
sess.diagnostic().set_continue_after_error(true);
|
|
|
|
|
2014-12-09 03:55:49 -06:00
|
|
|
if sess.opts.debugging_opts.ast_json_noexpand {
|
2014-12-12 12:59:41 -06:00
|
|
|
println!("{}", json::as_json(&krate));
|
2014-02-19 01:27:49 -06:00
|
|
|
}
|
|
|
|
|
2015-11-10 23:26:14 -06:00
|
|
|
if sess.opts.debugging_opts.input_stats {
|
|
|
|
println!("Lines of code: {}", sess.codemap().count_lines());
|
|
|
|
println!("Pre-expansion node count: {}", count_nodes(&krate));
|
|
|
|
}
|
|
|
|
|
2016-01-11 22:44:24 -06:00
|
|
|
if let Some(ref s) = sess.opts.debugging_opts.show_span {
|
2015-02-01 20:53:25 -06:00
|
|
|
syntax::show_span::run(sess.diagnostic(), s, &krate);
|
log: Introduce liblog, the old std::logging
This commit moves all logging out of the standard library into an external
crate. This crate is the new crate which is responsible for all logging macros
and logging implementation. A few reasons for this change are:
* The crate map has always been a bit of a code smell among rust programs. It
has difficulty being loaded on almost all platforms, and it's used almost
exclusively for logging and only logging. Removing the crate map is one of the
end goals of this movement.
* The compiler has a fair bit of special support for logging. It has the
__log_level() expression as well as generating a global word per module
specifying the log level. This is unfairly favoring the built-in logging
system, and is much better done purely in libraries instead of the compiler
itself.
* Initialization of logging is much easier to do if there is no reliance on a
magical crate map being available to set module log levels.
* If the logging library can be written outside of the standard library, there's
no reason that it shouldn't be. It's likely that we're not going to build the
highest quality logging library of all time, so third-party libraries should
be able to provide just as high-quality logging systems as the default one
provided in the rust distribution.
With a migration such as this, the change does not come for free. There are some
subtle changes in the behavior of liblog vs the previous logging macros:
* The core change of this migration is that there is no longer a physical
log-level per module. This concept is still emulated (it is quite useful), but
there is now only a global log level, not a local one. This global log level
is a reflection of the maximum of all log levels specified. The previously
generated logging code looked like:
if specified_level <= __module_log_level() {
println!(...)
}
The newly generated code looks like:
if specified_level <= ::log::LOG_LEVEL {
if ::log::module_enabled(module_path!()) {
println!(...)
}
}
Notably, the first layer of checking is still intended to be "super fast" in
that it's just a load of a global word and a compare. The second layer of
checking is executed to determine if the current module does indeed have
logging turned on.
This means that if any module has a debug log level turned on, all modules
with debug log levels get a little bit slower (they all do more expensive
dynamic checks to determine if they're turned on or not).
Semantically, this migration brings no change in this respect, but
runtime-wise, this will have a perf impact on some code.
* A `RUST_LOG=::help` directive will no longer print out a list of all modules
that can be logged. This is because the crate map will no longer specify the
log levels of all modules, so the list of modules is not known. Additionally,
warnings can no longer be provided if a malformed logging directive was
supplied.
The new "hello world" for logging looks like:
#[phase(syntax, link)]
extern crate log;
fn main() {
debug!("Hello, world!");
}
2014-03-09 00:11:44 -06:00
|
|
|
}
|
|
|
|
|
2016-02-13 11:05:16 -06:00
|
|
|
Ok(krate)
|
2012-01-17 09:42:45 -06:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2015-11-10 23:26:14 -06:00
|
|
|
fn count_nodes(krate: &ast::Crate) -> usize {
|
|
|
|
let mut counter = NodeCounter::new();
|
|
|
|
visit::walk_crate(&mut counter, krate);
|
|
|
|
counter.count
|
|
|
|
}
|
|
|
|
|
2013-01-22 19:19:13 -06:00
|
|
|
// For continuing compilation after a parsed crate has been
|
|
|
|
// modified
|
2013-05-28 17:31:32 -05:00
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
/// Run the "early phases" of the compiler: initial `cfg` processing,
|
2014-07-20 18:32:46 -05:00
|
|
|
/// loading compiler plugins (including those from `addl_plugins`),
|
2013-07-27 01:49:38 -05:00
|
|
|
/// syntax expansion, secondary `cfg` expansion, synthesis of a test
|
|
|
|
/// harness if one is to be provided and injection of a dependency on the
|
|
|
|
/// standard library and prelude.
|
2014-06-10 16:03:19 -05:00
|
|
|
///
|
|
|
|
/// Returns `None` if we're aborting after handling -W help.
|
2014-03-05 08:36:01 -06:00
|
|
|
pub fn phase_2_configure_and_expand(sess: &Session,
|
2015-11-21 13:39:05 -06:00
|
|
|
cstore: &CStore,
|
log: Introduce liblog, the old std::logging
This commit moves all logging out of the standard library into an external
crate. This crate is the new crate which is responsible for all logging macros
and logging implementation. A few reasons for this change are:
* The crate map has always been a bit of a code smell among rust programs. It
has difficulty being loaded on almost all platforms, and it's used almost
exclusively for logging and only logging. Removing the crate map is one of the
end goals of this movement.
* The compiler has a fair bit of special support for logging. It has the
__log_level() expression as well as generating a global word per module
specifying the log level. This is unfairly favoring the built-in logging
system, and is much better done purely in libraries instead of the compiler
itself.
* Initialization of logging is much easier to do if there is no reliance on a
magical crate map being available to set module log levels.
* If the logging library can be written outside of the standard library, there's
no reason that it shouldn't be. It's likely that we're not going to build the
highest quality logging library of all time, so third-party libraries should
be able to provide just as high-quality logging systems as the default one
provided in the rust distribution.
With a migration such as this, the change does not come for free. There are some
subtle changes in the behavior of liblog vs the previous logging macros:
* The core change of this migration is that there is no longer a physical
log-level per module. This concept is still emulated (it is quite useful), but
there is now only a global log level, not a local one. This global log level
is a reflection of the maximum of all log levels specified. The previously
generated logging code looked like:
if specified_level <= __module_log_level() {
println!(...)
}
The newly generated code looks like:
if specified_level <= ::log::LOG_LEVEL {
if ::log::module_enabled(module_path!()) {
println!(...)
}
}
Notably, the first layer of checking is still intended to be "super fast" in
that it's just a load of a global word and a compare. The second layer of
checking is executed to determine if the current module does indeed have
logging turned on.
This means that if any module has a debug log level turned on, all modules
with debug log levels get a little bit slower (they all do more expensive
dynamic checks to determine if they're turned on or not).
Semantically, this migration brings no change in this respect, but
runtime-wise, this will have a perf impact on some code.
* A `RUST_LOG=::help` directive will no longer print out a list of all modules
that can be logged. This is because the crate map will no longer specify the
log levels of all modules, so the list of modules is not known. Additionally,
warnings can no longer be provided if a malformed logging directive was
supplied.
The new "hello world" for logging looks like:
#[phase(syntax, link)]
extern crate log;
fn main() {
debug!("Hello, world!");
}
2014-03-09 00:11:44 -06:00
|
|
|
mut krate: ast::Crate,
|
2014-07-19 23:54:37 -05:00
|
|
|
crate_name: &str,
|
2014-12-09 11:25:37 -06:00
|
|
|
addl_plugins: Option<Vec<String>>)
|
2016-01-20 18:19:20 -06:00
|
|
|
-> Result<ast::Crate, usize> {
|
2012-05-17 23:53:49 -05:00
|
|
|
let time_passes = sess.time_passes();
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2015-05-14 02:54:05 -05:00
|
|
|
// strip before anything else because crate metadata may use #[cfg_attr]
|
|
|
|
// and so macros can depend on configuration variables, such as
|
2013-07-27 01:49:38 -05:00
|
|
|
//
|
2014-12-18 22:48:26 -06:00
|
|
|
// #[macro_use] #[cfg(foo)]
|
2013-07-27 01:49:38 -05:00
|
|
|
// mod bar { macro_rules! baz!(() => {{}}) }
|
|
|
|
//
|
|
|
|
// baz! should not use this definition unless foo is enabled.
|
2013-07-16 00:05:50 -05:00
|
|
|
|
2015-07-13 19:10:44 -05:00
|
|
|
let mut feature_gated_cfgs = vec![];
|
2016-03-22 22:01:37 -05:00
|
|
|
krate = time(time_passes, "configuration 1", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
sess.track_errors(|| {
|
2016-01-20 17:16:59 -06:00
|
|
|
syntax::config::strip_unconfigured_items(sess.diagnostic(),
|
|
|
|
krate,
|
|
|
|
&mut feature_gated_cfgs)
|
|
|
|
})
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2015-04-14 16:25:40 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
*sess.crate_types.borrow_mut() = collect_crate_types(sess, &krate.attrs);
|
2016-03-16 04:40:14 -05:00
|
|
|
sess.crate_disambiguator.set(token::intern(&compute_crate_disambiguator(sess)));
|
2015-05-14 02:54:05 -05:00
|
|
|
|
2015-06-25 12:07:01 -05:00
|
|
|
time(time_passes, "recursion limit", || {
|
2015-05-14 02:54:05 -05:00
|
|
|
middle::recursion_limit::update_recursion_limit(sess, &krate);
|
|
|
|
});
|
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
time(time_passes, "gated macro checking", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
sess.track_errors(|| {
|
2016-01-20 03:07:33 -06:00
|
|
|
let features =
|
|
|
|
syntax::feature_gate::check_crate_macros(sess.codemap(),
|
|
|
|
&sess.parse_sess.span_diagnostic,
|
|
|
|
&krate);
|
|
|
|
|
|
|
|
// these need to be set "early" so that expansion sees `quote` if enabled.
|
|
|
|
*sess.features.borrow_mut() = features;
|
2016-01-20 18:19:20 -06:00
|
|
|
})
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2014-12-23 23:44:13 -06:00
|
|
|
|
2013-06-21 22:20:00 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
krate = time(time_passes, "crate injection", || {
|
|
|
|
syntax::std_inject::maybe_inject_crates_ref(krate, sess.opts.alt_std_name.clone())
|
|
|
|
});
|
2014-11-04 16:59:42 -06:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
let macros = time(time_passes,
|
|
|
|
"macro loading",
|
2016-02-26 15:25:25 -06:00
|
|
|
|| macro_import::read_macro_defs(sess, &cstore, &krate, crate_name));
|
2015-02-11 21:53:10 -06:00
|
|
|
|
2014-07-19 23:54:37 -05:00
|
|
|
let mut addl_plugins = Some(addl_plugins);
|
2015-11-10 14:48:44 -06:00
|
|
|
let registrars = time(time_passes, "plugin loading", || {
|
2016-02-26 15:25:25 -06:00
|
|
|
plugin::load::load_plugins(sess,
|
|
|
|
&cstore,
|
|
|
|
&krate,
|
|
|
|
crate_name,
|
|
|
|
addl_plugins.take().unwrap())
|
2015-11-10 14:48:44 -06:00
|
|
|
});
|
2014-05-24 18:16:10 -05:00
|
|
|
|
2014-09-15 18:09:09 -05:00
|
|
|
let mut registry = Registry::new(sess, &krate);
|
2014-05-24 18:16:10 -05:00
|
|
|
|
2015-06-25 12:07:01 -05:00
|
|
|
time(time_passes, "plugin registration", || {
|
2014-09-10 19:55:42 -05:00
|
|
|
if sess.features.borrow().rustc_diagnostic_macros {
|
2014-07-01 11:39:41 -05:00
|
|
|
registry.register_macro("__diagnostic_used",
|
2015-11-10 14:48:44 -06:00
|
|
|
diagnostics::plugin::expand_diagnostic_used);
|
2014-07-01 11:39:41 -05:00
|
|
|
registry.register_macro("__register_diagnostic",
|
2015-11-10 14:48:44 -06:00
|
|
|
diagnostics::plugin::expand_register_diagnostic);
|
2014-07-01 11:39:41 -05:00
|
|
|
registry.register_macro("__build_diagnostic_array",
|
2015-11-10 14:48:44 -06:00
|
|
|
diagnostics::plugin::expand_build_diagnostic_array);
|
2014-07-01 11:39:41 -05:00
|
|
|
}
|
|
|
|
|
2015-01-31 19:03:04 -06:00
|
|
|
for registrar in registrars {
|
2015-01-02 20:26:00 -06:00
|
|
|
registry.args_hidden = Some(registrar.args);
|
|
|
|
(registrar.fun)(&mut registry);
|
2014-04-29 13:38:51 -05:00
|
|
|
}
|
2013-12-25 12:10:33 -06:00
|
|
|
});
|
2013-05-27 19:45:16 -05:00
|
|
|
|
2015-09-14 18:35:25 -05:00
|
|
|
let Registry { syntax_exts, early_lint_passes, late_lint_passes, lint_groups,
|
2016-02-05 02:35:54 -06:00
|
|
|
llvm_passes, attributes, mir_passes, .. } = registry;
|
2014-05-24 18:16:10 -05:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
sess.track_errors(|| {
|
2014-06-18 19:26:14 -05:00
|
|
|
let mut ls = sess.lint_store.borrow_mut();
|
2015-09-14 18:35:25 -05:00
|
|
|
for pass in early_lint_passes {
|
|
|
|
ls.register_early_pass(Some(sess), true, pass);
|
|
|
|
}
|
|
|
|
for pass in late_lint_passes {
|
|
|
|
ls.register_late_pass(Some(sess), true, pass);
|
2014-06-18 19:26:14 -05:00
|
|
|
}
|
2014-07-20 22:27:59 -05:00
|
|
|
|
2015-01-31 19:03:04 -06:00
|
|
|
for (name, to) in lint_groups {
|
2014-07-20 22:27:59 -05:00
|
|
|
ls.register_group(Some(sess), true, name, to);
|
|
|
|
}
|
2015-04-08 14:52:58 -05:00
|
|
|
|
|
|
|
*sess.plugin_llvm_passes.borrow_mut() = llvm_passes;
|
2016-02-26 10:05:50 -06:00
|
|
|
sess.mir_passes.borrow_mut().extend(mir_passes);
|
2015-05-06 11:38:36 -05:00
|
|
|
*sess.plugin_attributes.borrow_mut() = attributes.clone();
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2014-06-18 19:26:14 -05:00
|
|
|
|
|
|
|
// Lint plugins are registered; now we can process command line flags.
|
2014-06-10 16:03:19 -05:00
|
|
|
if sess.opts.describe_lints {
|
2016-02-08 16:42:39 -06:00
|
|
|
super::describe_lints(&sess.lint_store.borrow(), true);
|
2016-01-20 18:19:20 -06:00
|
|
|
return Err(0);
|
2014-06-10 16:03:19 -05:00
|
|
|
}
|
2016-03-22 22:01:37 -05:00
|
|
|
sess.track_errors(|| sess.lint_store.borrow_mut().process_command_line(sess))?;
|
2014-06-10 16:03:19 -05:00
|
|
|
|
2015-06-25 12:07:01 -05:00
|
|
|
krate = time(time_passes, "expansion", || {
|
|
|
|
// Windows dlls do not have rpaths, so they don't know how to find their
|
|
|
|
// dependencies. It's up to us to tell the system where to find all the
|
|
|
|
// dependent dlls. Note that this uses cfg!(windows) as opposed to
|
|
|
|
// targ_cfg because syntax extensions are always loaded for the host
|
|
|
|
// compiler, not for the target.
|
|
|
|
let mut _old_path = OsString::new();
|
|
|
|
if cfg!(windows) {
|
|
|
|
_old_path = env::var_os("PATH").unwrap_or(_old_path);
|
|
|
|
let mut new_path = sess.host_filesearch(PathKind::All)
|
|
|
|
.get_dylib_search_paths();
|
|
|
|
new_path.extend(env::split_paths(&_old_path));
|
|
|
|
env::set_var("PATH", &env::join_paths(new_path).unwrap());
|
2014-05-24 18:16:10 -05:00
|
|
|
}
|
2015-06-25 12:07:01 -05:00
|
|
|
let features = sess.features.borrow();
|
|
|
|
let cfg = syntax::ext::expand::ExpansionConfig {
|
|
|
|
crate_name: crate_name.to_string(),
|
|
|
|
features: Some(&features),
|
|
|
|
recursion_limit: sess.recursion_limit.get(),
|
|
|
|
trace_mac: sess.opts.debugging_opts.trace_macros,
|
|
|
|
};
|
2015-12-10 08:23:14 -06:00
|
|
|
let mut ecx = syntax::ext::base::ExtCtxt::new(&sess.parse_sess,
|
|
|
|
krate.config.clone(),
|
|
|
|
cfg,
|
|
|
|
&mut feature_gated_cfgs);
|
|
|
|
syntax_ext::register_builtins(&mut ecx.syntax_env);
|
|
|
|
let (ret, macro_names) = syntax::ext::expand::expand_crate(ecx,
|
|
|
|
macros,
|
|
|
|
syntax_exts,
|
|
|
|
krate);
|
2015-06-25 12:07:01 -05:00
|
|
|
if cfg!(windows) {
|
|
|
|
env::set_var("PATH", &_old_path);
|
|
|
|
}
|
2015-11-21 03:37:50 -06:00
|
|
|
*sess.available_macros.borrow_mut() = macro_names;
|
2015-06-25 12:07:01 -05:00
|
|
|
ret
|
|
|
|
});
|
2014-05-24 18:16:10 -05:00
|
|
|
|
2015-03-04 01:05:38 -06:00
|
|
|
// Needs to go *after* expansion to be able to check the results
|
|
|
|
// of macro expansion. This runs before #[cfg] to try to catch as
|
|
|
|
// much as possible (e.g. help the programmer avoid platform
|
|
|
|
// specific differences)
|
2016-03-22 22:01:37 -05:00
|
|
|
time(time_passes, "complete gated feature checking 1", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
sess.track_errors(|| {
|
2016-01-20 03:07:33 -06:00
|
|
|
let features = syntax::feature_gate::check_crate(sess.codemap(),
|
|
|
|
&sess.parse_sess.span_diagnostic,
|
|
|
|
&krate,
|
|
|
|
&attributes,
|
|
|
|
sess.opts.unstable_features);
|
|
|
|
*sess.features.borrow_mut() = features;
|
2016-01-20 18:19:20 -06:00
|
|
|
})
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2014-12-23 23:44:13 -06:00
|
|
|
|
2014-07-09 18:41:13 -05:00
|
|
|
// JBC: make CFG processing part of expansion to avoid this problem:
|
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
// strip again, in case expansion added anything with a #[cfg].
|
2016-03-22 22:01:37 -05:00
|
|
|
krate = sess.track_errors(|| {
|
2016-01-20 17:16:59 -06:00
|
|
|
let krate = time(time_passes, "configuration 2", || {
|
|
|
|
syntax::config::strip_unconfigured_items(sess.diagnostic(),
|
|
|
|
krate,
|
|
|
|
&mut feature_gated_cfgs)
|
|
|
|
});
|
2015-07-13 19:10:44 -05:00
|
|
|
|
2016-01-20 17:16:59 -06:00
|
|
|
time(time_passes, "gated configuration checking", || {
|
|
|
|
let features = sess.features.borrow();
|
|
|
|
feature_gated_cfgs.sort();
|
|
|
|
feature_gated_cfgs.dedup();
|
|
|
|
for cfg in &feature_gated_cfgs {
|
|
|
|
cfg.check_and_emit(sess.diagnostic(), &features, sess.codemap());
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
krate
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2013-05-27 19:45:16 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
krate = time(time_passes, "maybe building test harness", || {
|
|
|
|
syntax::test::modify_for_testing(&sess.parse_sess, &sess.opts.cfg, krate, sess.diagnostic())
|
|
|
|
});
|
2013-07-19 06:51:37 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
krate = time(time_passes,
|
|
|
|
"prelude injection",
|
|
|
|
|| syntax::std_inject::maybe_inject_prelude(&sess.parse_sess, krate));
|
2012-06-30 18:19:07 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"checking that all macro invocations are gone",
|
|
|
|
|| syntax::ext::expand::check_for_macros(&sess.parse_sess, &krate));
|
2014-09-07 12:09:06 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"checking for inline asm in case the target doesn't support it",
|
2016-01-21 03:52:37 -06:00
|
|
|
|| no_asm::check_crate(sess, &krate));
|
2015-08-20 17:47:21 -05:00
|
|
|
|
2015-03-04 01:05:38 -06:00
|
|
|
// One final feature gating of the true AST that gets compiled
|
|
|
|
// later, to make sure we've got everything (e.g. configuration
|
|
|
|
// can insert new attributes via `cfg_attr`)
|
2016-03-22 22:01:37 -05:00
|
|
|
time(time_passes, "complete gated feature checking 2", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
sess.track_errors(|| {
|
2016-01-20 03:07:33 -06:00
|
|
|
let features = syntax::feature_gate::check_crate(sess.codemap(),
|
|
|
|
&sess.parse_sess.span_diagnostic,
|
|
|
|
&krate,
|
|
|
|
&attributes,
|
|
|
|
sess.opts.unstable_features);
|
|
|
|
*sess.features.borrow_mut() = features;
|
2016-01-20 18:19:20 -06:00
|
|
|
})
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2015-03-04 01:05:38 -06:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
time(time_passes,
|
2016-03-22 17:58:45 -05:00
|
|
|
"const fn bodies and arguments",
|
|
|
|
|| const_fn::check_crate(sess, &krate))?;
|
2016-01-15 06:16:54 -06:00
|
|
|
|
2015-11-10 23:26:14 -06:00
|
|
|
if sess.opts.debugging_opts.input_stats {
|
|
|
|
println!("Post-expansion node count: {}", count_nodes(&krate));
|
|
|
|
}
|
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
Ok(krate)
|
2014-09-07 12:09:06 -05:00
|
|
|
}
|
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
pub fn assign_node_ids(sess: &Session, krate: ast::Crate) -> ast::Crate {
|
2014-09-07 12:09:06 -05:00
|
|
|
struct NodeIdAssigner<'a> {
|
2015-11-10 14:48:44 -06:00
|
|
|
sess: &'a Session,
|
2014-09-07 12:09:06 -05:00
|
|
|
}
|
|
|
|
|
2015-07-31 02:04:06 -05:00
|
|
|
impl<'a> Folder for NodeIdAssigner<'a> {
|
|
|
|
fn new_id(&mut self, old_id: ast::NodeId) -> ast::NodeId {
|
2014-09-07 12:09:06 -05:00
|
|
|
assert_eq!(old_id, ast::DUMMY_NODE_ID);
|
|
|
|
self.sess.next_node_id()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-31 02:04:06 -05:00
|
|
|
let krate = time(sess.time_passes(),
|
|
|
|
"assigning node ids",
|
|
|
|
|| NodeIdAssigner { sess: sess }.fold_crate(krate));
|
2014-02-19 01:27:49 -06:00
|
|
|
|
2014-12-09 03:55:49 -06:00
|
|
|
if sess.opts.debugging_opts.ast_json {
|
2015-07-31 02:04:06 -05:00
|
|
|
println!("{}", json::as_json(&krate));
|
2014-02-19 01:27:49 -06:00
|
|
|
}
|
|
|
|
|
2015-07-31 02:04:06 -05:00
|
|
|
krate
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn make_map<'ast>(sess: &Session,
|
2015-12-24 14:30:27 -06:00
|
|
|
forest: &'ast mut hir_map::Forest)
|
|
|
|
-> hir_map::Map<'ast> {
|
|
|
|
// Construct the HIR map
|
|
|
|
time(sess.time_passes(),
|
|
|
|
"indexing hir",
|
|
|
|
move || hir_map::map_crate(forest))
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
2012-01-26 17:20:29 -06:00
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
/// Run the resolution, typechecking, region checking and other
|
|
|
|
/// miscellaneous analysis passes on the crate. Return various
|
|
|
|
/// structures carrying the results of the analysis.
|
2015-09-27 21:00:15 -05:00
|
|
|
pub fn phase_3_run_analysis_passes<'tcx, F, R>(sess: &'tcx Session,
|
2015-11-21 13:39:05 -06:00
|
|
|
cstore: &CStore,
|
2015-12-24 14:30:27 -06:00
|
|
|
hir_map: hir_map::Map<'tcx>,
|
2015-06-13 20:50:23 -05:00
|
|
|
arenas: &'tcx ty::CtxtArenas<'tcx>,
|
2015-10-19 14:54:19 -05:00
|
|
|
name: &str,
|
2015-06-13 20:50:23 -05:00
|
|
|
make_glob_map: resolve::MakeGlobMap,
|
|
|
|
f: F)
|
2016-01-20 18:19:20 -06:00
|
|
|
-> Result<R, usize>
|
2016-02-29 17:36:51 -06:00
|
|
|
where F: FnOnce(&TyCtxt<'tcx>, Option<MirMap<'tcx>>, ty::CrateAnalysis, CompileResult) -> R
|
2015-06-13 20:50:23 -05:00
|
|
|
{
|
2016-01-27 14:49:18 -06:00
|
|
|
macro_rules! try_with_f {
|
|
|
|
($e: expr, ($t: expr, $m: expr, $a: expr)) => {
|
|
|
|
match $e {
|
|
|
|
Ok(x) => x,
|
|
|
|
Err(x) => {
|
|
|
|
f($t, $m, $a, Err(x));
|
|
|
|
return Err(x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
let time_passes = sess.time_passes();
|
2013-09-06 21:11:55 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"external crate/lib resolution",
|
2016-02-26 15:25:25 -06:00
|
|
|
|| LocalCrateReader::new(sess, cstore, &hir_map, name).read_crates());
|
2012-06-30 18:19:07 -05:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
let lang_items = time(time_passes, "language item collection", || {
|
2016-01-20 18:19:20 -06:00
|
|
|
sess.track_errors(|| {
|
2016-01-20 03:07:33 -06:00
|
|
|
middle::lang_items::collect_language_items(&sess, &hir_map)
|
|
|
|
})
|
2016-03-22 22:01:37 -05:00
|
|
|
})?;
|
2013-04-29 16:56:05 -05:00
|
|
|
|
2014-12-25 16:01:16 -06:00
|
|
|
let resolve::CrateMap {
|
2014-09-17 21:45:21 -05:00
|
|
|
def_map,
|
|
|
|
freevars,
|
2014-12-18 12:27:17 -06:00
|
|
|
export_map,
|
2014-09-17 21:45:21 -05:00
|
|
|
trait_map,
|
2014-11-23 03:29:41 -06:00
|
|
|
glob_map,
|
2015-11-10 14:48:44 -06:00
|
|
|
} = time(time_passes,
|
|
|
|
"resolution",
|
2015-12-24 14:30:27 -06:00
|
|
|
|| resolve::resolve_crate(sess, &hir_map, make_glob_map));
|
2012-06-30 18:19:07 -05:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
let mut analysis = ty::CrateAnalysis {
|
|
|
|
export_map: export_map,
|
|
|
|
access_levels: AccessLevels::default(),
|
|
|
|
reachable: NodeSet(),
|
|
|
|
name: name,
|
|
|
|
glob_map: glob_map,
|
|
|
|
};
|
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
let named_region_map = time(time_passes,
|
2016-03-22 17:58:45 -05:00
|
|
|
"lifetime resolution",
|
|
|
|
|| middle::resolve_lifetime::krate(sess,
|
|
|
|
&hir_map,
|
|
|
|
&def_map.borrow()))?;
|
2013-10-28 16:37:10 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"looking for entry point",
|
2015-12-24 14:30:27 -06:00
|
|
|
|| middle::entry::find_entry_point(sess, &hir_map));
|
2012-06-30 18:19:07 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
sess.plugin_registrar_fn.set(time(time_passes, "looking for plugin registrar", || {
|
2016-01-29 14:04:07 -06:00
|
|
|
plugin::build::find_plugin_registrar(sess.diagnostic(), &hir_map)
|
2015-11-10 14:48:44 -06:00
|
|
|
}));
|
2013-12-25 12:10:33 -06:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
let region_map = time(time_passes,
|
|
|
|
"region resolution",
|
2016-01-29 14:04:07 -06:00
|
|
|
|| middle::region::resolve_crate(sess, &hir_map));
|
2012-01-17 09:42:45 -06:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"loop checking",
|
2016-01-29 14:04:07 -06:00
|
|
|
|| loops::check_crate(sess, &hir_map));
|
2014-04-04 18:05:31 -05:00
|
|
|
|
2016-03-22 22:01:37 -05:00
|
|
|
time(time_passes,
|
2016-01-27 00:01:01 -06:00
|
|
|
"static item recursion checking",
|
2016-03-22 22:01:37 -05:00
|
|
|
|| static_recursion::check_crate(sess, &def_map.borrow(), &hir_map))?;
|
2016-01-29 14:04:07 -06:00
|
|
|
|
|
|
|
let index = stability::Index::new(&hir_map);
|
2014-09-14 19:21:25 -05:00
|
|
|
|
2016-02-29 17:36:51 -06:00
|
|
|
TyCtxt::create_and_enter(sess,
|
2015-06-25 15:42:17 -05:00
|
|
|
arenas,
|
|
|
|
def_map,
|
|
|
|
named_region_map,
|
2015-12-24 14:30:27 -06:00
|
|
|
hir_map,
|
2015-06-25 15:42:17 -05:00
|
|
|
freevars,
|
|
|
|
region_map,
|
|
|
|
lang_items,
|
2016-01-29 14:04:07 -06:00
|
|
|
index,
|
2016-02-14 11:30:38 -06:00
|
|
|
name,
|
2015-06-25 15:42:17 -05:00
|
|
|
|tcx| {
|
2016-01-20 18:19:20 -06:00
|
|
|
// passes are timed inside typeck
|
2016-01-27 14:49:18 -06:00
|
|
|
try_with_f!(typeck::check_crate(tcx, trait_map), (tcx, None, analysis));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"const checking",
|
2016-01-25 23:28:31 -06:00
|
|
|
|| consts::check_crate(tcx));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
analysis.access_levels =
|
2016-01-20 18:19:20 -06:00
|
|
|
time(time_passes, "privacy checking", || {
|
2016-03-05 23:46:24 -06:00
|
|
|
rustc_privacy::check_crate(tcx, &analysis.export_map)
|
2016-01-20 18:19:20 -06:00
|
|
|
});
|
|
|
|
|
|
|
|
// Do not move this check past lint
|
|
|
|
time(time_passes, "stability index", || {
|
2016-01-29 14:04:07 -06:00
|
|
|
tcx.stability.borrow_mut().build(tcx, &analysis.access_levels)
|
2016-01-20 18:19:20 -06:00
|
|
|
});
|
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"intrinsic checking",
|
|
|
|
|| middle::intrinsicck::check_crate(tcx));
|
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"effect checking",
|
|
|
|
|| middle::effect::check_crate(tcx));
|
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"match checking",
|
2016-03-30 06:43:36 -05:00
|
|
|
|| check_match::check_crate(tcx));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
2016-02-11 07:38:52 -06:00
|
|
|
// this must run before MIR dump, because
|
|
|
|
// "not all control paths return a value" is reported here.
|
|
|
|
//
|
|
|
|
// maybe move the check to a MIR pass?
|
|
|
|
time(time_passes,
|
|
|
|
"liveness checking",
|
|
|
|
|| middle::liveness::check_crate(tcx));
|
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"rvalue checking",
|
|
|
|
|| rvalues::check_crate(tcx));
|
|
|
|
|
2016-02-05 02:35:54 -06:00
|
|
|
let mut mir_map =
|
2016-01-20 18:19:20 -06:00
|
|
|
time(time_passes,
|
|
|
|
"MIR dump",
|
|
|
|
|| mir::mir_map::build_mir_for_crate(tcx));
|
|
|
|
|
2016-02-26 10:05:50 -06:00
|
|
|
time(time_passes, "MIR passes", || {
|
|
|
|
let mut passes = sess.mir_passes.borrow_mut();
|
|
|
|
// Push all the built-in passes.
|
|
|
|
passes.push_pass(box mir::transform::remove_dead_blocks::RemoveDeadBlocks);
|
|
|
|
passes.push_pass(box mir::transform::type_check::TypeckMir);
|
|
|
|
passes.push_pass(box mir::transform::simplify_cfg::SimplifyCfg);
|
|
|
|
// Late passes
|
|
|
|
passes.push_pass(box mir::transform::no_landing_pads::NoLandingPads);
|
|
|
|
passes.push_pass(box mir::transform::remove_dead_blocks::RemoveDeadBlocks);
|
|
|
|
passes.push_pass(box mir::transform::erase_regions::EraseRegions);
|
|
|
|
// And run everything.
|
|
|
|
passes.run_passes(tcx, &mut mir_map);
|
|
|
|
});
|
2016-02-05 02:35:54 -06:00
|
|
|
|
2016-01-20 18:19:20 -06:00
|
|
|
time(time_passes,
|
|
|
|
"borrow checking",
|
2016-01-25 07:34:34 -06:00
|
|
|
|| borrowck::check_crate(tcx, &mir_map));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
// Avoid overwhelming user with errors if type checking failed.
|
|
|
|
// I'm not sure how helpful this is, to be honest, but it avoids
|
|
|
|
// a
|
|
|
|
// lot of annoying errors in the compile-fail tests (basically,
|
|
|
|
// lint warnings and so on -- kindck used to do this abort, but
|
|
|
|
// kindck is gone now). -nmatsakis
|
2016-01-27 14:49:18 -06:00
|
|
|
if sess.err_count() > 0 {
|
|
|
|
return Ok(f(tcx, Some(mir_map), analysis, Err(sess.err_count())));
|
|
|
|
}
|
2016-01-20 18:19:20 -06:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
analysis.reachable =
|
2016-01-20 18:19:20 -06:00
|
|
|
time(time_passes,
|
|
|
|
"reachability checking",
|
2016-01-27 14:49:18 -06:00
|
|
|
|| reachable::find_reachable(tcx, &analysis.access_levels));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
time(time_passes, "death checking", || {
|
2016-01-27 14:49:18 -06:00
|
|
|
middle::dead::check_crate(tcx, &analysis.access_levels);
|
2016-01-20 18:19:20 -06:00
|
|
|
});
|
|
|
|
|
|
|
|
let ref lib_features_used =
|
|
|
|
time(time_passes,
|
|
|
|
"stability checking",
|
|
|
|
|| stability::check_unstable_api_usage(tcx));
|
|
|
|
|
|
|
|
time(time_passes, "unused lib feature checking", || {
|
|
|
|
stability::check_unused_or_stable_features(&tcx.sess,
|
|
|
|
lib_features_used)
|
|
|
|
});
|
|
|
|
|
|
|
|
time(time_passes,
|
|
|
|
"lint checking",
|
2016-01-27 14:49:18 -06:00
|
|
|
|| lint::check_crate(tcx, &analysis.access_levels));
|
2016-01-20 18:19:20 -06:00
|
|
|
|
|
|
|
// The above three passes generate errors w/o aborting
|
2016-01-27 14:49:18 -06:00
|
|
|
if sess.err_count() > 0 {
|
|
|
|
return Ok(f(tcx, Some(mir_map), analysis, Err(sess.err_count())));
|
|
|
|
}
|
|
|
|
|
|
|
|
Ok(f(tcx, Some(mir_map), analysis, Ok(())))
|
2016-01-20 18:19:20 -06:00
|
|
|
})
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
2013-06-14 00:38:17 -05:00
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
/// Run the translation phase to LLVM, after which the AST and analysis can
|
2016-02-29 17:36:51 -06:00
|
|
|
pub fn phase_4_translate_to_llvm<'tcx>(tcx: &TyCtxt<'tcx>,
|
2016-02-26 10:05:50 -06:00
|
|
|
mir_map: MirMap<'tcx>,
|
2015-10-21 16:20:00 -05:00
|
|
|
analysis: ty::CrateAnalysis)
|
|
|
|
-> trans::CrateTranslation {
|
2015-06-13 17:49:28 -05:00
|
|
|
let time_passes = tcx.sess.time_passes();
|
2014-05-02 02:59:27 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"resolving dependency formats",
|
|
|
|
|| dependency_format::calculate(&tcx.sess));
|
2014-05-02 02:59:27 -05:00
|
|
|
|
|
|
|
// Option dance to work around the lack of stack once closures.
|
2015-11-10 14:48:44 -06:00
|
|
|
time(time_passes,
|
|
|
|
"translation",
|
2015-11-16 11:41:16 -06:00
|
|
|
move || trans::trans_crate(tcx, &mir_map, analysis))
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Run LLVM itself, producing a bitcode file, assembly file or object file
|
|
|
|
/// as a side effect.
|
2014-03-05 08:36:01 -06:00
|
|
|
pub fn phase_5_run_llvm_passes(sess: &Session,
|
2014-11-27 06:21:26 -06:00
|
|
|
trans: &trans::CrateTranslation,
|
2016-01-20 18:19:20 -06:00
|
|
|
outputs: &OutputFilenames) -> CompileResult {
|
2014-02-06 21:57:09 -06:00
|
|
|
if sess.opts.cg.no_integrated_as {
|
2015-09-30 12:08:37 -05:00
|
|
|
let mut map = HashMap::new();
|
|
|
|
map.insert(OutputType::Assembly, None);
|
2015-11-10 14:48:44 -06:00
|
|
|
time(sess.time_passes(),
|
|
|
|
"LLVM passes",
|
|
|
|
|| write::run_passes(sess, trans, &map, outputs));
|
2013-03-15 03:32:39 -05:00
|
|
|
|
2014-08-11 12:33:58 -05:00
|
|
|
write::run_assembler(sess, outputs);
|
2013-08-19 17:21:30 -05:00
|
|
|
|
2013-12-08 22:13:10 -06:00
|
|
|
// Remove assembly source, unless --save-temps was specified
|
2014-02-06 21:57:09 -06:00
|
|
|
if !sess.opts.cg.save_temps {
|
2015-09-30 12:08:37 -05:00
|
|
|
fs::remove_file(&outputs.temp_path(OutputType::Assembly)).unwrap();
|
2013-08-19 17:21:30 -05:00
|
|
|
}
|
2013-03-15 03:32:39 -05:00
|
|
|
} else {
|
2015-11-10 14:48:44 -06:00
|
|
|
time(sess.time_passes(),
|
|
|
|
"LLVM passes",
|
|
|
|
|| write::run_passes(sess, trans, &sess.opts.output_types, outputs));
|
2013-03-15 03:32:39 -05:00
|
|
|
}
|
2014-09-27 03:33:36 -05:00
|
|
|
|
2016-01-27 14:49:18 -06:00
|
|
|
if sess.err_count() > 0 {
|
|
|
|
Err(sess.err_count())
|
|
|
|
} else {
|
|
|
|
Ok(())
|
|
|
|
}
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2013-07-27 01:49:38 -05:00
|
|
|
/// Run the linker on any artifacts that resulted from the LLVM run.
|
|
|
|
/// This should produce either a finished executable or library.
|
2014-03-05 08:36:01 -06:00
|
|
|
pub fn phase_6_link_output(sess: &Session,
|
2014-11-27 06:21:26 -06:00
|
|
|
trans: &trans::CrateTranslation,
|
2013-07-27 01:49:38 -05:00
|
|
|
outputs: &OutputFilenames) {
|
2015-11-10 14:48:44 -06:00
|
|
|
time(sess.time_passes(),
|
|
|
|
"linking",
|
|
|
|
|| link::link_binary(sess, trans, outputs, &trans.link.crate_name));
|
2013-12-26 13:55:10 -06:00
|
|
|
}
|
|
|
|
|
2014-10-01 06:47:38 -05:00
|
|
|
fn escape_dep_filename(filename: &str) -> String {
|
|
|
|
// Apparently clang and gcc *only* escape spaces:
|
|
|
|
// http://llvm.org/klaus/clang/commit/9d50634cfc268ecc9a7250226dd5ca0e945240d4
|
2015-11-10 14:49:12 -06:00
|
|
|
filename.replace(" ", "\\ ")
|
2014-10-01 06:47:38 -05:00
|
|
|
}
|
|
|
|
|
2015-09-30 12:08:37 -05:00
|
|
|
fn write_out_deps(sess: &Session, outputs: &OutputFilenames, id: &str) {
|
2014-03-04 12:02:49 -06:00
|
|
|
let mut out_filenames = Vec::new();
|
2015-09-30 12:08:37 -05:00
|
|
|
for output_type in sess.opts.output_types.keys() {
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
let file = outputs.path(*output_type);
|
|
|
|
match *output_type {
|
2015-09-30 12:08:37 -05:00
|
|
|
OutputType::Exe => {
|
2015-06-11 07:56:07 -05:00
|
|
|
for output in sess.crate_types.borrow().iter() {
|
2015-11-10 14:48:44 -06:00
|
|
|
let p = link::filename_for_input(sess, *output, id, outputs);
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
out_filenames.push(p);
|
|
|
|
}
|
|
|
|
}
|
2015-11-10 14:48:44 -06:00
|
|
|
_ => {
|
|
|
|
out_filenames.push(file);
|
|
|
|
}
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
}
|
|
|
|
}
|
2013-11-27 21:06:35 -06:00
|
|
|
|
2015-09-30 12:08:37 -05:00
|
|
|
// Write out dependency rules to the dep-info file if requested
|
|
|
|
if !sess.opts.output_types.contains_key(&OutputType::DepInfo) {
|
2015-11-10 14:48:44 -06:00
|
|
|
return;
|
2015-09-30 12:08:37 -05:00
|
|
|
}
|
|
|
|
let deps_filename = outputs.path(OutputType::DepInfo);
|
2013-12-26 13:55:10 -06:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
let result =
|
|
|
|
(|| -> io::Result<()> {
|
|
|
|
// Build a list of files used to compile the output and
|
|
|
|
// write Makefile-compatible dependency rules
|
|
|
|
let files: Vec<String> = sess.codemap()
|
|
|
|
.files
|
|
|
|
.borrow()
|
|
|
|
.iter()
|
|
|
|
.filter(|fmap| fmap.is_real_file())
|
|
|
|
.filter(|fmap| !fmap.is_imported())
|
|
|
|
.map(|fmap| escape_dep_filename(&fmap.name))
|
|
|
|
.collect();
|
2016-03-22 22:01:37 -05:00
|
|
|
let mut file = fs::File::create(&deps_filename)?;
|
2015-11-10 14:48:44 -06:00
|
|
|
for path in &out_filenames {
|
2016-03-22 22:01:37 -05:00
|
|
|
write!(file, "{}: {}\n\n", path.display(), files.join(" "))?;
|
2015-11-10 14:48:44 -06:00
|
|
|
}
|
2015-09-30 12:17:07 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
// Emit a fake target for each input file to the compilation. This
|
|
|
|
// prevents `make` from spitting out an error if a file is later
|
|
|
|
// deleted. For more info see #28735
|
|
|
|
for path in files {
|
2016-03-22 22:01:37 -05:00
|
|
|
writeln!(file, "{}:", path)?;
|
2015-11-10 14:48:44 -06:00
|
|
|
}
|
|
|
|
Ok(())
|
|
|
|
})();
|
2014-04-15 09:35:17 -05:00
|
|
|
|
|
|
|
match result {
|
|
|
|
Ok(()) => {}
|
|
|
|
Err(e) => {
|
2015-01-07 10:58:31 -06:00
|
|
|
sess.fatal(&format!("error writing dependencies to `{}`: {}",
|
2015-11-10 14:48:44 -06:00
|
|
|
deps_filename.display(),
|
|
|
|
e));
|
2014-04-15 09:35:17 -05:00
|
|
|
}
|
2013-07-27 01:49:38 -05:00
|
|
|
}
|
2013-01-22 19:19:13 -06:00
|
|
|
}
|
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
pub fn collect_crate_types(session: &Session, attrs: &[ast::Attribute]) -> Vec<config::CrateType> {
|
2014-05-23 00:29:13 -05:00
|
|
|
// Unconditionally collect crate types from attributes to make them used
|
2015-11-10 14:48:44 -06:00
|
|
|
let attr_types: Vec<config::CrateType> =
|
|
|
|
attrs.iter()
|
|
|
|
.filter_map(|a| {
|
|
|
|
if a.check_name("crate_type") {
|
|
|
|
match a.value_str() {
|
|
|
|
Some(ref n) if *n == "rlib" => {
|
|
|
|
Some(config::CrateTypeRlib)
|
|
|
|
}
|
|
|
|
Some(ref n) if *n == "dylib" => {
|
|
|
|
Some(config::CrateTypeDylib)
|
|
|
|
}
|
|
|
|
Some(ref n) if *n == "lib" => {
|
|
|
|
Some(config::default_lib_output())
|
|
|
|
}
|
|
|
|
Some(ref n) if *n == "staticlib" => {
|
|
|
|
Some(config::CrateTypeStaticlib)
|
|
|
|
}
|
|
|
|
Some(ref n) if *n == "bin" => Some(config::CrateTypeExecutable),
|
|
|
|
Some(_) => {
|
|
|
|
session.add_lint(lint::builtin::UNKNOWN_CRATE_TYPES,
|
|
|
|
ast::CRATE_NODE_ID,
|
|
|
|
a.span,
|
|
|
|
"invalid `crate_type` value".to_string());
|
|
|
|
None
|
|
|
|
}
|
|
|
|
_ => {
|
2015-12-20 15:00:43 -06:00
|
|
|
session.struct_span_err(a.span, "`crate_type` requires a value")
|
|
|
|
.note("for example: `#![crate_type=\"lib\"]`")
|
|
|
|
.emit();
|
2015-11-10 14:48:44 -06:00
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
})
|
|
|
|
.collect();
|
2014-05-23 00:29:13 -05:00
|
|
|
|
2014-05-06 06:38:01 -05:00
|
|
|
// If we're generating a test executable, then ignore all other output
|
|
|
|
// styles at all other locations
|
|
|
|
if session.opts.test {
|
2015-11-10 14:48:44 -06:00
|
|
|
return vec![config::CrateTypeExecutable];
|
2013-06-15 02:43:19 -05:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
|
2014-05-06 06:38:01 -05:00
|
|
|
// Only check command line flags if present. If no types are specified by
|
|
|
|
// command line, then reuse the empty `base` Vec to hold the types that
|
|
|
|
// will be found in crate attributes.
|
|
|
|
let mut base = session.opts.crate_types.clone();
|
2015-03-24 18:53:34 -05:00
|
|
|
if base.is_empty() {
|
2015-06-10 11:22:20 -05:00
|
|
|
base.extend(attr_types);
|
2015-03-24 18:53:34 -05:00
|
|
|
if base.is_empty() {
|
2014-06-11 02:48:17 -05:00
|
|
|
base.push(link::default_output_for_target(session));
|
2014-04-30 18:49:12 -05:00
|
|
|
}
|
2014-11-27 15:49:02 -06:00
|
|
|
base.sort();
|
2014-05-06 06:38:01 -05:00
|
|
|
base.dedup();
|
2012-03-12 12:19:35 -05:00
|
|
|
}
|
2014-06-11 02:48:17 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
base.into_iter()
|
|
|
|
.filter(|crate_type| {
|
|
|
|
let res = !link::invalid_output_for_target(session, *crate_type);
|
2014-06-11 02:48:17 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
if !res {
|
|
|
|
session.warn(&format!("dropping unsupported crate type `{}` for target `{}`",
|
|
|
|
*crate_type,
|
|
|
|
session.opts.target_triple));
|
|
|
|
}
|
2014-06-11 02:48:17 -05:00
|
|
|
|
2015-11-10 14:48:44 -06:00
|
|
|
res
|
|
|
|
})
|
|
|
|
.collect()
|
2011-12-20 04:17:13 -06:00
|
|
|
}
|
|
|
|
|
2016-02-12 07:41:30 -06:00
|
|
|
pub fn compute_crate_disambiguator(session: &Session) -> String {
|
|
|
|
let mut hasher = Sha256::new();
|
|
|
|
|
|
|
|
let mut metadata = session.opts.cg.metadata.clone();
|
|
|
|
// We don't want the crate_disambiguator to dependent on the order
|
|
|
|
// -C metadata arguments, so sort them:
|
|
|
|
metadata.sort();
|
|
|
|
// Every distinct -C metadata value is only incorporated once:
|
|
|
|
metadata.dedup();
|
|
|
|
|
|
|
|
hasher.input_str("metadata");
|
|
|
|
for s in &metadata {
|
|
|
|
// Also incorporate the length of a metadata string, so that we generate
|
|
|
|
// different values for `-Cmetadata=ab -Cmetadata=c` and
|
|
|
|
// `-Cmetadata=a -Cmetadata=bc`
|
|
|
|
hasher.input_str(&format!("{}", s.len())[..]);
|
|
|
|
hasher.input_str(&s[..]);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut hash = hasher.result_str();
|
|
|
|
|
|
|
|
// If this is an executable, add a special suffix, so that we don't get
|
|
|
|
// symbol conflicts when linking against a library of the same name.
|
|
|
|
if session.crate_types.borrow().contains(&config::CrateTypeExecutable) {
|
|
|
|
hash.push_str("-exe");
|
|
|
|
}
|
|
|
|
|
|
|
|
hash
|
2014-07-01 00:52:48 -05:00
|
|
|
}
|
|
|
|
|
2014-01-13 10:31:05 -06:00
|
|
|
pub fn build_output_filenames(input: &Input,
|
2015-02-26 23:00:43 -06:00
|
|
|
odir: &Option<PathBuf>,
|
|
|
|
ofile: &Option<PathBuf>,
|
2013-07-19 06:51:37 -05:00
|
|
|
attrs: &[ast::Attribute],
|
2014-03-05 08:36:01 -06:00
|
|
|
sess: &Session)
|
2015-11-10 14:48:44 -06:00
|
|
|
-> OutputFilenames {
|
2012-08-24 17:28:43 -05:00
|
|
|
match *ofile {
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
None => {
|
|
|
|
// "-" as input file will cause the parser to read from stdin so we
|
|
|
|
// have to make up a name
|
|
|
|
// We want to toss everything after the final '.'
|
|
|
|
let dirpath = match *odir {
|
|
|
|
Some(ref d) => d.clone(),
|
2015-11-10 14:48:44 -06:00
|
|
|
None => PathBuf::new(),
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
};
|
|
|
|
|
2014-06-06 15:21:18 -05:00
|
|
|
// If a crate name is present, we use it as the link name
|
2015-11-10 14:48:44 -06:00
|
|
|
let stem = sess.opts
|
|
|
|
.crate_name
|
|
|
|
.clone()
|
|
|
|
.or_else(|| attr::find_crate_name(attrs).map(|n| n.to_string()))
|
|
|
|
.unwrap_or(input.filestem());
|
2014-07-07 21:04:34 -05:00
|
|
|
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
OutputFilenames {
|
|
|
|
out_directory: dirpath,
|
|
|
|
out_filestem: stem,
|
|
|
|
single_output_file: None,
|
2014-07-15 11:13:58 -05:00
|
|
|
extra: sess.opts.cg.extra_filename.clone(),
|
2015-09-30 12:08:37 -05:00
|
|
|
outputs: sess.opts.output_types.clone(),
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
}
|
|
|
|
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
Some(ref out_file) => {
|
2015-11-10 14:48:44 -06:00
|
|
|
let unnamed_output_types = sess.opts
|
|
|
|
.output_types
|
|
|
|
.values()
|
2015-09-30 12:08:37 -05:00
|
|
|
.filter(|a| a.is_none())
|
|
|
|
.count();
|
|
|
|
let ofile = if unnamed_output_types > 1 {
|
2015-11-10 14:48:44 -06:00
|
|
|
sess.warn("ignoring specified output filename because multiple outputs were \
|
|
|
|
requested");
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(out_file.clone())
|
|
|
|
};
|
|
|
|
if *odir != None {
|
|
|
|
sess.warn("ignoring --out-dir flag due to -o flag.");
|
|
|
|
}
|
2015-03-08 20:10:33 -05:00
|
|
|
|
|
|
|
let cur_dir = Path::new("");
|
|
|
|
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
OutputFilenames {
|
2015-03-08 20:10:33 -05:00
|
|
|
out_directory: out_file.parent().unwrap_or(cur_dir).to_path_buf(),
|
2015-11-10 14:48:44 -06:00
|
|
|
out_filestem: out_file.file_stem()
|
|
|
|
.unwrap_or(OsStr::new(""))
|
|
|
|
.to_str()
|
|
|
|
.unwrap()
|
|
|
|
.to_string(),
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
single_output_file: ofile,
|
2014-07-15 11:13:58 -05:00
|
|
|
extra: sess.opts.cg.extra_filename.clone(),
|
2015-09-30 12:08:37 -05:00
|
|
|
outputs: sess.opts.output_types.clone(),
|
Redesign output flags for rustc
This commit removes the -c, --emit-llvm, -s, --rlib, --dylib, --staticlib,
--lib, and --bin flags from rustc, adding the following flags:
* --emit=[asm,ir,bc,obj,link]
* --crate-type=[dylib,rlib,staticlib,bin,lib]
The -o option has also been redefined to be used for *all* flavors of outputs.
This means that we no longer ignore it for libraries. The --out-dir remains the
same as before.
The new logic for files that rustc emits is as follows:
1. Output types are dictated by the --emit flag. The default value is
--emit=link, and this option can be passed multiple times and have all
options stacked on one another.
2. Crate types are dictated by the --crate-type flag and the #[crate_type]
attribute. The flags can be passed many times and stack with the crate
attribute.
3. If the -o flag is specified, and only one output type is specified, the
output will be emitted at this location. If more than one output type is
specified, then the filename of -o is ignored, and all output goes in the
directory that -o specifies. The -o option always ignores the --out-dir
option.
4. If the --out-dir flag is specified, all output goes in this directory.
5. If -o and --out-dir are both not present, all output goes in the current
directory of the process.
6. When multiple output types are specified, the filestem of all output is the
same as the name of the CrateId (derived from a crate attribute or from the
filestem of the crate file).
Closes #7791
Closes #11056
Closes #11667
2014-02-03 17:27:54 -06:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
}
|
2013-02-19 01:40:42 -06:00
|
|
|
}
|
2011-12-20 04:17:13 -06:00
|
|
|
}
|