pub parse_only: bool,
pub no_trans: bool,
pub no_analysis: bool,
- pub debugging_opts: u64,
+ pub debugging_opts: DebuggingOptions,
/// Whether to write dependency files. It's (enabled, optional filename).
pub write_dependency_info: (bool, Option<Path>),
pub prints: Vec<PrintRequest>,
pub unstable_features: UnstableFeatures
}
-#[deriving(Clone, Copy)]
+#[derive(Clone, Copy)]
pub enum UnstableFeatures {
/// Hard errors for unstable features are active, as on
/// beta/stable channels.
parse_only: false,
no_trans: false,
no_analysis: false,
- debugging_opts: 0,
+ debugging_opts: basic_debugging_options(),
write_dependency_info: (false, None),
prints: Vec::new(),
cg: basic_codegen_options(),
EntryNone,
}
-#[derive(Copy, PartialEq, PartialOrd, Clone, Ord, Eq, Hash)]
+#[derive(Copy, PartialEq, PartialOrd, Clone, Ord, Eq, Hash, Show)]
pub enum CrateType {
CrateTypeExecutable,
CrateTypeDylib,
CrateTypeStaticlib,
}
-macro_rules! debugging_opts {
- ([ $opt:ident ] $cnt:expr ) => (
- pub const $opt: u64 = 1 << $cnt;
- );
- ([ $opt:ident, $($rest:ident),* ] $cnt:expr ) => (
- pub const $opt: u64 = 1 << $cnt;
- debugging_opts! { [ $($rest),* ] $cnt + 1 }
- )
-}
-
-debugging_opts! {
- [
- VERBOSE,
- TIME_PASSES,
- COUNT_LLVM_INSNS,
- TIME_LLVM_PASSES,
- TRANS_STATS,
- ASM_COMMENTS,
- NO_VERIFY,
- BORROWCK_STATS,
- NO_LANDING_PADS,
- DEBUG_LLVM,
- COUNT_TYPE_SIZES,
- META_STATS,
- GC,
- PRINT_LINK_ARGS,
- PRINT_LLVM_PASSES,
- AST_JSON,
- AST_JSON_NOEXPAND,
- LS,
- SAVE_ANALYSIS,
- PRINT_MOVE_FRAGMENTS,
- FLOWGRAPH_PRINT_LOANS,
- FLOWGRAPH_PRINT_MOVES,
- FLOWGRAPH_PRINT_ASSIGNS,
- FLOWGRAPH_PRINT_ALL,
- PRINT_REGION_GRAPH,
- PARSE_ONLY,
- NO_TRANS,
- NO_ANALYSIS,
- UNSTABLE_OPTIONS,
- PRINT_ENUM_SIZES
- ]
- 0
-}
-
-pub fn debugging_opts_map() -> Vec<(&'static str, &'static str, u64)> {
- vec![("verbose", "in general, enable more debug printouts", VERBOSE),
- ("time-passes", "measure time of each rustc pass", TIME_PASSES),
- ("count-llvm-insns", "count where LLVM \
- instrs originate", COUNT_LLVM_INSNS),
- ("time-llvm-passes", "measure time of each LLVM pass",
- TIME_LLVM_PASSES),
- ("trans-stats", "gather trans statistics", TRANS_STATS),
- ("asm-comments", "generate comments into the assembly (may change behavior)",
- ASM_COMMENTS),
- ("no-verify", "skip LLVM verification", NO_VERIFY),
- ("borrowck-stats", "gather borrowck statistics", BORROWCK_STATS),
- ("no-landing-pads", "omit landing pads for unwinding",
- NO_LANDING_PADS),
- ("debug-llvm", "enable debug output from LLVM", DEBUG_LLVM),
- ("count-type-sizes", "count the sizes of aggregate types",
- COUNT_TYPE_SIZES),
- ("meta-stats", "gather metadata statistics", META_STATS),
- ("print-link-args", "Print the arguments passed to the linker",
- PRINT_LINK_ARGS),
- ("gc", "Garbage collect shared data (experimental)", GC),
- ("print-llvm-passes",
- "Prints the llvm optimization passes being run",
- PRINT_LLVM_PASSES),
- ("ast-json", "Print the AST as JSON and halt", AST_JSON),
- ("ast-json-noexpand", "Print the pre-expansion AST as JSON and halt", AST_JSON_NOEXPAND),
- ("ls", "List the symbols defined by a library crate", LS),
- ("save-analysis", "Write syntax and type analysis information \
- in addition to normal output", SAVE_ANALYSIS),
- ("print-move-fragments", "Print out move-fragment data for every fn",
- PRINT_MOVE_FRAGMENTS),
- ("flowgraph-print-loans", "Include loan analysis data in \
- --pretty flowgraph output", FLOWGRAPH_PRINT_LOANS),
- ("flowgraph-print-moves", "Include move analysis data in \
- --pretty flowgraph output", FLOWGRAPH_PRINT_MOVES),
- ("flowgraph-print-assigns", "Include assignment analysis data in \
- --pretty flowgraph output", FLOWGRAPH_PRINT_ASSIGNS),
- ("flowgraph-print-all", "Include all dataflow analysis data in \
- --pretty flowgraph output", FLOWGRAPH_PRINT_ALL),
- ("print-region-graph", "Prints region inference graph. \
- Use with RUST_REGION_GRAPH=help for more info",
- PRINT_REGION_GRAPH),
- ("parse-only", "Parse only; do not compile, assemble, or link", PARSE_ONLY),
- ("no-trans", "Run all passes except translation; no output", NO_TRANS),
- ("no-analysis", "Parse and expand the source, but run no analysis and",
- NO_ANALYSIS),
- ("unstable-options", "Adds unstable command line options to rustc interface",
- UNSTABLE_OPTIONS),
- ("print-enum-sizes", "Print the size of enums and their variants", PRINT_ENUM_SIZES),
- ]
-}
#[derive(Clone)]
pub enum Passes {
}
}
-/// Declare a macro that will define all CodegenOptions fields and parsers all
+/// Declare a macro that will define all CodegenOptions/DebuggingOptions fields and parsers all
/// at once. The goal of this macro is to define an interface that can be
/// programmatically used by the option parser in order to initialize the struct
/// without hardcoding field names all over the place.
/// cgsetters module which is a bunch of generated code to parse an option into
/// its respective field in the struct. There are a few hand-written parsers for
/// parsing specific types of values in this module.
-macro_rules! cgoptions {
- ($($opt:ident : $t:ty = ($init:expr, $parse:ident, $desc:expr)),* ,) =>
+macro_rules! options {
+ ($struct_name:ident, $setter_name:ident, $defaultfn:ident,
+ $buildfn:ident, $prefix:expr, $outputname:expr,
+ $stat:ident, $mod_desc:ident, $mod_set:ident,
+ $($opt:ident : $t:ty = ($init:expr, $parse:ident, $desc:expr)),* ,) =>
(
#[derive(Clone)]
- pub struct CodegenOptions { $(pub $opt: $t),* }
+ #[allow(missing_copy_implementations)]
+ pub struct $struct_name { $(pub $opt: $t),* }
- pub fn basic_codegen_options() -> CodegenOptions {
- CodegenOptions { $($opt: $init),* }
+ pub fn $defaultfn() -> $struct_name {
+ $struct_name { $($opt: $init),* }
}
- pub type CodegenSetter = fn(&mut CodegenOptions, v: Option<&str>) -> bool;
- pub const CG_OPTIONS: &'static [(&'static str, CodegenSetter,
+ pub fn $buildfn(matches: &getopts::Matches) -> $struct_name
+ {
+ let mut op = $defaultfn();
+ for option in matches.opt_strs($prefix).into_iter() {
+ let mut iter = option.splitn(1, '=');
+ let key = iter.next().unwrap();
+ let value = iter.next();
+ let option_to_lookup = key.replace("-", "_");
+ let mut found = false;
+ for &(candidate, setter, opt_type_desc, _) in $stat.iter() {
+ if option_to_lookup != candidate { continue }
+ if !setter(&mut op, value) {
+ match (value, opt_type_desc) {
+ (Some(..), None) => {
+ early_error(&format!("{} option `{}` takes no \
+ value", $outputname, key)[])
+ }
+ (None, Some(type_desc)) => {
+ early_error(&format!("{0} option `{1}` requires \
+ {2} ({3} {1}=<value>)",
+ $outputname, key,
+ type_desc, $prefix)[])
+ }
+ (Some(value), Some(type_desc)) => {
+ early_error(&format!("incorrect value `{}` for {} \
+ option `{}` - {} was expected",
+ value, $outputname,
+ key, type_desc)[])
+ }
+ (None, None) => unreachable!()
+ }
+ }
+ found = true;
+ break;
+ }
+ if !found {
+ early_error(&format!("unknown codegen option: `{}`",
+ key)[]);
+ }
+ }
+ return op;
+ }
+
+ pub type $setter_name = fn(&mut $struct_name, v: Option<&str>) -> bool;
+ pub const $stat: &'static [(&'static str, $setter_name,
Option<&'static str>, &'static str)] =
- &[ $( (stringify!($opt), cgsetters::$opt, cg_type_descs::$parse, $desc) ),* ];
+ &[ $( (stringify!($opt), $mod_set::$opt, $mod_desc::$parse, $desc) ),* ];
- #[allow(non_upper_case_globals)]
- mod cg_type_descs {
+ #[allow(non_upper_case_globals, dead_code)]
+ mod $mod_desc {
pub const parse_bool: Option<&'static str> = None;
pub const parse_opt_bool: Option<&'static str> = None;
pub const parse_string: Option<&'static str> = Some("a string");
Some("a number");
}
- mod cgsetters {
- use super::{CodegenOptions, Passes, SomePasses, AllPasses};
+ #[allow(dead_code)]
+ mod $mod_set {
+ use super::{$struct_name, Passes, SomePasses, AllPasses};
$(
- pub fn $opt(cg: &mut CodegenOptions, v: Option<&str>) -> bool {
+ pub fn $opt(cg: &mut $struct_name, v: Option<&str>) -> bool {
$parse(&mut cg.$opt, v)
}
)*
}
) }
-cgoptions! {
+options! {CodegenOptions, CodegenSetter, basic_codegen_options,
+ build_codegen_options, "C", "codegen",
+ CG_OPTIONS, cg_type_desc, cgsetters,
ar: Option<String> = (None, parse_opt_string,
"tool to assemble archives with"),
linker: Option<String> = (None, parse_opt_string,
"Optimize with possible levels 0-3"),
}
-pub fn build_codegen_options(matches: &getopts::Matches) -> CodegenOptions
-{
- let mut cg = basic_codegen_options();
- for option in matches.opt_strs("C").into_iter() {
- let mut iter = option.splitn(1, '=');
- let key = iter.next().unwrap();
- let value = iter.next();
- let option_to_lookup = key.replace("-", "_");
- let mut found = false;
- for &(candidate, setter, opt_type_desc, _) in CG_OPTIONS.iter() {
- if option_to_lookup != candidate { continue }
- if !setter(&mut cg, value) {
- match (value, opt_type_desc) {
- (Some(..), None) => {
- early_error(&format!("codegen option `{}` takes no \
- value", key)[])
- }
- (None, Some(type_desc)) => {
- early_error(&format!("codegen option `{0}` requires \
- {1} (-C {0}=<value>)",
- key, type_desc)[])
- }
- (Some(value), Some(type_desc)) => {
- early_error(&format!("incorrect value `{}` for codegen \
- option `{}` - {} was expected",
- value, key, type_desc)[])
- }
- (None, None) => unreachable!()
- }
- }
- found = true;
- break;
- }
- if !found {
- early_error(&format!("unknown codegen option: `{}`",
- key)[]);
- }
- }
- return cg;
+
+options! {DebuggingOptions, DebuggingSetter, basic_debugging_options,
+ build_debugging_options, "Z", "debugging",
+ DB_OPTIONS, db_type_desc, dbsetters,
+ verbose: bool = (false, parse_bool,
+ "in general, enable more debug printouts"),
+ time_passes: bool = (false, parse_bool,
+ "measure time of each rustc pass"),
+ count_llvm_insns: bool = (false, parse_bool,
+ "count where LLVM instrs originate"),
+ time_llvm_passes: bool = (false, parse_bool,
+ "measure time of each LLVM pass"),
+ trans_stats: bool = (false, parse_bool,
+ "gather trans statistics"),
+ asm_comments: bool = (false, parse_bool,
+ "generate comments into the assembly (may change behavior)"),
+ no_verify: bool = (false, parse_bool,
+ "skip LLVM verification"),
+ borrowck_stats: bool = (false, parse_bool,
+ "gather borrowck statistics"),
+ no_landing_pads: bool = (false, parse_bool,
+ "omit landing pads for unwinding"),
+ debug_llvm: bool = (false, parse_bool,
+ "enable debug output from LLVM"),
+ count_type_sizes: bool = (false, parse_bool,
+ "count the sizes of aggregate types"),
+ meta_stats: bool = (false, parse_bool,
+ "gather metadata statistics"),
+ print_link_args: bool = (false, parse_bool,
+ "Print the arguments passed to the linker"),
+ gc: bool = (false, parse_bool,
+ "Garbage collect shared data (experimental)"),
+ print_llvm_passes: bool = (false, parse_bool,
+ "Prints the llvm optimization passes being run"),
+ ast_json: bool = (false, parse_bool,
+ "Print the AST as JSON and halt"),
+ ast_json_noexpand: bool = (false, parse_bool,
+ "Print the pre-expansion AST as JSON and halt"),
+ ls: bool = (false, parse_bool,
+ "List the symbols defined by a library crate"),
+ save_analysis: bool = (false, parse_bool,
+ "Write syntax and type analysis information in addition to normal output"),
+ print_move_fragments: bool = (false, parse_bool,
+ "Print out move-fragment data for every fn"),
+ flowgraph_print_loans: bool = (false, parse_bool,
+ "Include loan analysis data in --pretty flowgraph output"),
+ flowgraph_print_moves: bool = (false, parse_bool,
+ "Include move analysis data in --pretty flowgraph output"),
+ flowgraph_print_assigns: bool = (false, parse_bool,
+ "Include assignment analysis data in --pretty flowgraph output"),
+ flowgraph_print_all: bool = (false, parse_bool,
+ "Include all dataflow analysis data in --pretty flowgraph output"),
+ print_region_graph: bool = (false, parse_bool,
+ "Prints region inference graph. \
+ Use with RUST_REGION_GRAPH=help for more info"),
+ parse_only: bool = (false, parse_bool,
+ "Parse only; do not compile, assemble, or link"),
+ no_trans: bool = (false, parse_bool,
+ "Run all passes except translation; no output"),
+ no_analysis: bool = (false, parse_bool,
+ "Parse and expand the source, but run no analysis"),
+ extra_plugins: Vec<String> = (Vec::new(), parse_list,
+ "load extra plugins"),
+ unstable_options: bool = (false, parse_bool,
+ "Adds unstable command line options to rustc interface"),
+ print_enum_sizes: bool = (false, parse_bool,
+ "Print the size of enums and their variants"),
}
pub fn default_lib_output() -> CrateType {
opt::multi("", "extern", "Specify where an external rust library is \
located",
"NAME=PATH"),
- opt::opt("", "opt-level", "Optimize with possible levels 0-3", "LEVEL"),
opt::opt("", "sysroot", "Override the system root", "PATH"),
opt::multi("Z", "", "Set internal debugging options", "FLAG"),
opt::opt("", "color", "Configure coloring of output:
always = always colorize output;
never = never colorize output", "auto|always|never"),
- // DEPRECATED
- opt::flag("", "print-crate-name", "Output the crate name and exit"),
- opt::flag("", "print-file-name", "Output the file(s) that would be \
- written if compilation \
- continued and exit"),
- opt::opt("", "debuginfo", "Emit DWARF debug info to the objects created:
- 0 = no debug info,
- 1 = line-tables only (for stacktraces and breakpoints),
- 2 = full debug info with variable and type information \
- (same as -g)", "LEVEL"),
- opt::flag("", "no-trans", "Run all passes except translation; no output"),
- opt::flag("", "no-analysis", "Parse and expand the source, but run no \
- analysis and produce no output"),
- opt::flag("", "parse-only", "Parse only; do not compile, assemble, \
- or link"),
- opt::flagopt("", "pretty",
+ opt::flagopt_u("", "pretty",
"Pretty-print the input instead of compiling;
valid types are: `normal` (un-annotated source),
`expanded` (crates expanded),
`everybody_loops` (all function bodies replaced with `loop {}`).",
"TYPE"),
opt::opt_u("", "show-span", "Show spans for compiler debugging", "expr|pat|ty"),
- opt::flagopt("", "dep-info",
- "Output dependency info to <filename> after compiling, \
- in a format suitable for use by Makefiles", "FILENAME"),
]);
opts
}
}
}
- let mut debugging_opts = 0;
- let debug_flags = matches.opt_strs("Z");
- let debug_map = debugging_opts_map();
- for debug_flag in debug_flags.iter() {
- let mut this_bit = 0;
- for &(name, _, bit) in debug_map.iter() {
- if name == *debug_flag {
- this_bit = bit;
- break;
- }
- }
- if this_bit == 0 {
- early_error(&format!("unknown debug flag: {}",
- *debug_flag)[])
- }
- debugging_opts |= this_bit;
- }
+ let debugging_opts = build_debugging_options(matches);
- let parse_only = if matches.opt_present("parse-only") {
- // FIXME(acrichto) remove this eventually
- early_warn("--parse-only is deprecated in favor of -Z parse-only");
- true
- } else {
- debugging_opts & PARSE_ONLY != 0
- };
- let no_trans = if matches.opt_present("no-trans") {
- // FIXME(acrichto) remove this eventually
- early_warn("--no-trans is deprecated in favor of -Z no-trans");
- true
- } else {
- debugging_opts & NO_TRANS != 0
- };
- let no_analysis = if matches.opt_present("no-analysis") {
- // FIXME(acrichto) remove this eventually
- early_warn("--no-analysis is deprecated in favor of -Z no-analysis");
- true
- } else {
- debugging_opts & NO_ANALYSIS != 0
- };
+ let parse_only = debugging_opts.parse_only;
+ let no_trans = debugging_opts.no_trans;
+ let no_analysis = debugging_opts.no_analysis;
- if debugging_opts & DEBUG_LLVM != 0 {
+ if debugging_opts.debug_llvm {
unsafe { llvm::LLVMSetDebug(1); }
}
let mut output_types = Vec::new();
- if !parse_only && !no_trans {
+ if !debugging_opts.parse_only && !no_trans {
let unparsed_output_types = matches.opt_strs("emit");
for unparsed_output_type in unparsed_output_types.iter() {
for part in unparsed_output_type.split(',') {
host_triple().to_string());
let opt_level = {
if matches.opt_present("O") {
- if matches.opt_present("opt-level") {
- early_error("-O and --opt-level both provided");
- }
if cg.opt_level.is_some() {
early_error("-O and -C opt-level both provided");
}
Default
- } else if matches.opt_present("opt-level") {
- // FIXME(acrichto) remove this eventually
- early_warn("--opt-level=N is deprecated in favor of -C opt-level=N");
- match matches.opt_str("opt-level").as_ref().map(|s| s.as_slice()) {
- None |
- Some("0") => No,
- Some("1") => Less,
- Some("2") => Default,
- Some("3") => Aggressive,
- Some(arg) => {
- early_error(&format!("optimization level needs to be \
- between 0-3 (instead was `{}`)",
- arg)[]);
- }
- }
} else {
match cg.opt_level {
None => No,
}
}
};
- let gc = debugging_opts & GC != 0;
+ let gc = debugging_opts.gc;
let debuginfo = if matches.opt_present("g") {
- if matches.opt_present("debuginfo") {
- early_error("-g and --debuginfo both provided");
- }
if cg.debuginfo.is_some() {
early_error("-g and -C debuginfo both provided");
}
FullDebugInfo
- } else if matches.opt_present("debuginfo") {
- // FIXME(acrichto) remove this eventually
- early_warn("--debuginfo=N is deprecated in favor of -C debuginfo=N");
- match matches.opt_str("debuginfo").as_ref().map(|s| s.as_slice()) {
- Some("0") => NoDebugInfo,
- Some("1") => LimitedDebugInfo,
- None |
- Some("2") => FullDebugInfo,
- Some(arg) => {
- early_error(&format!("debug info level needs to be between \
- 0-2 (instead was `{}`)",
- arg)[]);
- }
- }
} else {
match cg.debuginfo {
None | Some(0) => NoDebugInfo,
let cfg = parse_cfgspecs(matches.opt_strs("cfg"));
let test = matches.opt_present("test");
- let write_dependency_info = if matches.opt_present("dep-info") {
- // FIXME(acrichto) remove this eventually
- early_warn("--dep-info has been deprecated in favor of --emit");
- (true, matches.opt_str("dep-info").map(|p| Path::new(p)))
- } else {
- (output_types.contains(&OutputTypeDepInfo), None)
- };
+ let write_dependency_info = (output_types.contains(&OutputTypeDepInfo), None);
- let mut prints = matches.opt_strs("print").into_iter().map(|s| {
+ let prints = matches.opt_strs("print").into_iter().map(|s| {
match s.as_slice() {
"crate-name" => PrintRequest::CrateName,
"file-names" => PrintRequest::FileNames,
}
}
}).collect::<Vec<_>>();
- if matches.opt_present("print-crate-name") {
- // FIXME(acrichto) remove this eventually
- early_warn("--print-crate-name has been deprecated in favor of \
- --print crate-name");
- prints.push(PrintRequest::CrateName);
- }
- if matches.opt_present("print-file-name") {
- // FIXME(acrichto) remove this eventually
- early_warn("--print-file-name has been deprecated in favor of \
- --print file-names");
- prints.push(PrintRequest::FileNames);
- }
if !cg.remark.is_empty() && debuginfo == NoDebugInfo {
early_warn("-C remark will not show source locations without \
return Ok(crate_types);
}
-impl fmt::Show for CrateType {
+impl fmt::Display for CrateType {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match *self {
CrateTypeExecutable => "bin".fmt(f),