MSVC builds of Rust additionally require an installation of Visual Studio 2013
(or later) so `rustc` can use its linker. Make sure to check the “C++ tools”
-option. In addition, `cmake` needs to be installed to build LLVM.
+option.
With these dependencies installed, the build takes two steps:
#### MSVC with rustbuild
-For those who don't want the hassle of MSYS or MinGW, you can invoke rustbuild
-directly. All you need are Python 2, CMake, and Git in your PATH (make sure you
-do __not__ use the ones from MSYS!). You'll also need Visual Studio 2013 or
-newer with the C++ tools. Then all you need to do is invoke the appropriate
-vcvars bat file and kick off rustbuild.
+The old build system, based on makefiles, is currently being rewritten into a
+Rust-based build system called rustbuild. This can be used to bootstrap the
+compiler on MSVC without needing to install MSYS or MinGW. All you need are
+[Python 2](https://www.python.org/downloads/),
+[CMake](https://cmake.org/download/), and
+[Git](https://git-scm.com/downloads) in your PATH (make sure you do not use the
+ones from MSYS if you have it installed). You'll also need Visual Studio 2013 or
+newer with the C++ tools. Then all you need to do is to kick off rustbuild.
-```bat
+```
+python .\src\bootstrap\bootstrap.py
+```
+
+Currently rustbuild only works with some known versions of Visual Studio. If you
+have a more recent version installed that a part of rustbuild doesn't understand
+then you may need to force rustbuild to use an older version. This can be done
+by manually calling the appropriate vcvars file before running the bootstrap.
+
+```
CALL "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\bin\amd64\vcvars64.bat"
python .\src\bootstrap\bootstrap.py
```
# no features by default
default = []
-# The “secure-password” feature depends on the bcrypt package.
-secure-password = ["bcrypt"]
+# Add feature "foo" here, then you can use it.
+# Our "foo" feature depends on nothing else.
+foo = []
```
When you do this, Cargo passes along a flag to `rustc`:
downloading Rust from the Internet.
We’ll be showing off a number of commands using a terminal, and those lines all
-start with `$`. We don't need to type in the `$`s, they are there to indicate
+start with `$`. You don't need to type in the `$`s, they are there to indicate
the start of each command. We’ll see many tutorials and examples around the web
that follow this convention: `$` for commands run as our regular user, and `#`
for commands we should be running as an administrator.
If you do, Rust has been installed successfully! Congrats!
If you don't and you're on Windows, check that Rust is in your %PATH% system
-variable. If it isn't, run the installer again, select "Change" on the "Change,
-repair, or remove installation" page and ensure "Add to PATH" is installed on
-the local hard drive.
+variable: `$ echo %PATH%`. If it isn't, run the installer again, select "Change"
+on the "Change, repair, or remove installation" page and ensure "Add to PATH" is
+installed on the local hard drive. If you need to configure your path manually,
+you can find the Rust executables in a directory like
+`"C:\Program Files\Rust stable GNU 1.x\bin"`.
Rust does not do its own linking, and so you’ll need to have a linker
installed. Doing so will depend on your specific system, consult its
```bash
$ dir
-main.exe main.rs
+main.exe
+main.rs
```
This shows we have two files: the source code, with an `.rs` extension, and the
do from here is run the `main` or `main.exe` file, like this:
```bash
-$ ./main # or main.exe on Windows
+$ ./main # or .\main.exe on Windows
```
If *main.rs* were your "Hello, world!" program, this would print `Hello,
asm!("xor %eax, %eax"
:
:
- : "{eax}"
+ : "eax"
);
# } }
```
# #![feature(asm)]
# #[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
# fn main() { unsafe {
-asm!("xor %eax, %eax" ::: "{eax}");
+asm!("xor %eax, %eax" ::: "eax");
# } }
```
# #[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
# fn main() { unsafe {
// Put the value 0x200 in eax
-asm!("mov $$0x200, %eax" : /* no outputs */ : /* no inputs */ : "{eax}");
+asm!("mov $$0x200, %eax" : /* no outputs */ : /* no inputs */ : "eax");
# } }
```
#![allow(deprecated)]
-//! Thread-local reference-counted boxes (the `Rc<T>` type).
+//! Unsynchronized reference-counted boxes (the `Rc<T>` type) which are usable
+//! only within a single thread.
//!
//! The `Rc<T>` type provides shared ownership of an immutable value.
//! Destruction is deterministic, and will occur as soon as the last owner is
/// Basic usage:
///
/// ```
-/// let numbers = vec![1, 2, 3];
+/// let numbers = vec![1, 2, 3, 4, 5, 6];
///
/// let mut iter = numbers.iter();
///
/// assert_eq!(Some(&1), iter.next());
-/// assert_eq!(Some(&3), iter.next_back());
-/// assert_eq!(Some(&2), iter.next_back());
+/// assert_eq!(Some(&6), iter.next_back());
+/// assert_eq!(Some(&5), iter.next_back());
+/// assert_eq!(Some(&2), iter.next());
+/// assert_eq!(Some(&3), iter.next());
+/// assert_eq!(Some(&4), iter.next());
/// assert_eq!(None, iter.next());
/// assert_eq!(None, iter.next_back());
/// ```
/// Basic usage:
///
/// ```
- /// let numbers = vec![1, 2, 3];
+ /// let numbers = vec![1, 2, 3, 4, 5, 6];
///
/// let mut iter = numbers.iter();
///
/// assert_eq!(Some(&1), iter.next());
- /// assert_eq!(Some(&3), iter.next_back());
- /// assert_eq!(Some(&2), iter.next_back());
+ /// assert_eq!(Some(&6), iter.next_back());
+ /// assert_eq!(Some(&5), iter.next_back());
+ /// assert_eq!(Some(&2), iter.next());
+ /// assert_eq!(Some(&3), iter.next());
+ /// assert_eq!(Some(&4), iter.next());
/// assert_eq!(None, iter.next());
/// assert_eq!(None, iter.next_back());
/// ```
pub outputs: HashMap<OutputType, Option<PathBuf>>,
}
+/// Codegen unit names generated by the numbered naming scheme will contain this
+/// marker right before the index of the codegen unit.
+pub const NUMBERED_CODEGEN_UNIT_MARKER: &'static str = ".cgu-";
+
impl OutputFilenames {
pub fn path(&self, flavor: OutputType) -> PathBuf {
self.outputs.get(&flavor).and_then(|p| p.to_owned())
.or_else(|| self.single_output_file.clone())
- .unwrap_or_else(|| self.temp_path(flavor))
+ .unwrap_or_else(|| self.temp_path(flavor, None))
}
- pub fn temp_path(&self, flavor: OutputType) -> PathBuf {
+ /// Get the path where a compilation artifact of the given type for the
+ /// given codegen unit should be placed on disk. If codegen_unit_name is
+ /// None, a path distinct from those of any codegen unit will be generated.
+ pub fn temp_path(&self,
+ flavor: OutputType,
+ codegen_unit_name: Option<&str>)
+ -> PathBuf {
+ let extension = match flavor {
+ OutputType::Bitcode => "bc",
+ OutputType::Assembly => "s",
+ OutputType::LlvmAssembly => "ll",
+ OutputType::Object => "o",
+ OutputType::DepInfo => "d",
+ OutputType::Exe => "",
+ };
+
+ self.temp_path_ext(extension, codegen_unit_name)
+ }
+
+ /// Like temp_path, but also supports things where there is no corresponding
+ /// OutputType, like no-opt-bitcode or lto-bitcode.
+ pub fn temp_path_ext(&self,
+ ext: &str,
+ codegen_unit_name: Option<&str>)
+ -> PathBuf {
let base = self.out_directory.join(&self.filestem());
- match flavor {
- OutputType::Bitcode => base.with_extension("bc"),
- OutputType::Assembly => base.with_extension("s"),
- OutputType::LlvmAssembly => base.with_extension("ll"),
- OutputType::Object => base.with_extension("o"),
- OutputType::DepInfo => base.with_extension("d"),
- OutputType::Exe => base,
+
+ let mut extension = String::new();
+
+ if let Some(codegen_unit_name) = codegen_unit_name {
+ if codegen_unit_name.contains(NUMBERED_CODEGEN_UNIT_MARKER) {
+ // If we use the numbered naming scheme for modules, we don't want
+ // the files to look like <crate-name><extra>.<crate-name>.<index>.<ext>
+ // but simply <crate-name><extra>.<index>.<ext>
+ let marker_offset = codegen_unit_name.rfind(NUMBERED_CODEGEN_UNIT_MARKER)
+ .unwrap();
+ let index_offset = marker_offset + NUMBERED_CODEGEN_UNIT_MARKER.len();
+ extension.push_str(&codegen_unit_name[index_offset .. ]);
+ } else {
+ extension.push_str(codegen_unit_name);
+ };
+ }
+
+ if !ext.is_empty() {
+ if !extension.is_empty() {
+ extension.push_str(".");
+ }
+
+ extension.push_str(ext);
}
+
+ let path = base.with_extension(&extension[..]);
+ path
}
pub fn with_extension(&self, extension: &str) -> PathBuf {
// Remove assembly source, unless --save-temps was specified
if !sess.opts.cg.save_temps {
- fs::remove_file(&outputs.temp_path(OutputType::Assembly)).unwrap();
+ fs::remove_file(&outputs.temp_path(OutputType::Assembly, None)).unwrap();
}
} else {
time(sess.time_passes(),
///
/// I will do my best to describe this structure, but these
/// comments are reverse-engineered and may be inaccurate. -NDM
+#[derive(Clone)]
pub struct FnType {
/// The LLVM types of each argument.
pub args: Vec<ArgType>,
// Remove the temporary object file and metadata if we aren't saving temps
if !sess.opts.cg.save_temps {
- for obj in object_filenames(sess, outputs) {
+ for obj in object_filenames(trans, outputs) {
remove(sess, &obj);
}
remove(sess, &outputs.with_extension("metadata.o"));
crate_type: config::CrateType,
outputs: &OutputFilenames,
crate_name: &str) -> PathBuf {
- let objects = object_filenames(sess, outputs);
+ let objects = object_filenames(trans, outputs);
let default_filename = filename_for_input(sess, crate_type, crate_name,
outputs);
let out_filename = outputs.outputs.get(&OutputType::Exe)
out_filename
}
-fn object_filenames(sess: &Session, outputs: &OutputFilenames) -> Vec<PathBuf> {
- (0..sess.opts.cg.codegen_units).map(|i| {
- let ext = format!("{}.o", i);
- outputs.temp_path(OutputType::Object).with_extension(&ext)
+fn object_filenames(trans: &CrateTranslation,
+ outputs: &OutputFilenames)
+ -> Vec<PathBuf> {
+ trans.modules.iter().map(|module| {
+ outputs.temp_path(OutputType::Object, Some(&module.name[..]))
}).collect()
}
ab.add_file(&bc_deflated_filename);
// See the bottom of back::write::run_passes for an explanation
- // of when we do and don't keep .0.bc files around.
+ // of when we do and don't keep .#module-name#.bc files around.
let user_wants_numbered_bitcode =
sess.opts.output_types.contains_key(&OutputType::Bitcode) &&
sess.opts.cg.codegen_units > 1;
use flate;
use std::ffi::CString;
+use std::path::Path;
pub fn run(sess: &session::Session, llmod: ModuleRef,
tm: TargetMachineRef, reachable: &[String],
config: &ModuleConfig,
- name_extra: &str,
- output_names: &config::OutputFilenames) {
+ temp_no_opt_bc_filename: &Path) {
if sess.opts.cg.prefer_dynamic {
sess.struct_err("cannot prefer dynamic linking when performing LTO")
.note("only 'staticlib', 'bin', and 'cdylib' outputs are \
}
if sess.opts.cg.save_temps {
- let path = output_names.with_extension(&format!("{}.no-opt.lto.bc", name_extra));
- let cstr = path2cstr(&path);
+ let cstr = path2cstr(temp_no_opt_bc_filename);
unsafe {
llvm::LLVMWriteBitcodeToFile(llmod, cstr.as_ptr());
}
}
}
+pub fn exported_name_from_type_and_prefix<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>,
+ t: ty::Ty<'tcx>,
+ prefix: &str)
+ -> String {
+ let empty_def_path = DefPath {
+ data: vec![],
+ krate: cstore::LOCAL_CRATE,
+ };
+ let hash = get_symbol_hash(scx, &empty_def_path, t, &[]);
+ let path = [token::intern_and_get_ident(prefix)];
+ mangle(path.iter().cloned(), Some(&hash[..]))
+}
+
/// Only symbols that are invisible outside their compilation unit should use a
/// name generated by this function.
pub fn internal_name_from_type_and_suffix<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
unsafe fn optimize_and_codegen(cgcx: &CodegenContext,
mtrans: ModuleTranslation,
config: ModuleConfig,
- name_extra: String,
output_names: OutputFilenames) {
- let ModuleTranslation { llmod, llcx } = mtrans;
+ let llmod = mtrans.llmod;
+ let llcx = mtrans.llcx;
let tm = config.tm;
// llcx doesn't outlive this function, so we can put this on the stack.
llvm::LLVMSetInlineAsmDiagnosticHandler(llcx, inline_asm_handler, fv);
llvm::LLVMContextSetDiagnosticHandler(llcx, diagnostic_handler, fv);
+ let module_name = Some(&mtrans.name[..]);
+
if config.emit_no_opt_bc {
- let ext = format!("{}.no-opt.bc", name_extra);
- let out = output_names.with_extension(&ext);
+ let out = output_names.temp_path_ext("no-opt.bc", module_name);
let out = path2cstr(&out);
llvm::LLVMWriteBitcodeToFile(llmod, out.as_ptr());
}
match cgcx.lto_ctxt {
Some((sess, reachable)) if sess.lto() => {
- time(sess.time_passes(), "all lto passes", ||
- lto::run(sess, llmod, tm, reachable, &config,
- &name_extra, &output_names));
-
+ time(sess.time_passes(), "all lto passes", || {
+ let temp_no_opt_bc_filename =
+ output_names.temp_path_ext("no-opt.lto.bc", module_name);
+ lto::run(sess,
+ llmod,
+ tm,
+ reachable,
+ &config,
+ &temp_no_opt_bc_filename);
+ });
if config.emit_lto_bc {
- let name = format!("{}.lto.bc", name_extra);
- let out = output_names.with_extension(&name);
+ let out = output_names.temp_path_ext("lto.bc", module_name);
let out = path2cstr(&out);
llvm::LLVMWriteBitcodeToFile(llmod, out.as_ptr());
}
let write_obj = config.emit_obj && !config.obj_is_bitcode;
let copy_bc_to_obj = config.emit_obj && config.obj_is_bitcode;
- let bc_out = output_names.with_extension(&format!("{}.bc", name_extra));
- let obj_out = output_names.with_extension(&format!("{}.o", name_extra));
+ let bc_out = output_names.temp_path(OutputType::Bitcode, module_name);
+ let obj_out = output_names.temp_path(OutputType::Object, module_name);
if write_bc {
let bc_out_c = path2cstr(&bc_out);
time(config.time_passes, &format!("codegen passes [{}]", cgcx.worker), || {
if config.emit_ir {
- let ext = format!("{}.ll", name_extra);
- let out = output_names.with_extension(&ext);
+ let out = output_names.temp_path(OutputType::LlvmAssembly, module_name);
let out = path2cstr(&out);
with_codegen(tm, llmod, config.no_builtins, |cpm| {
llvm::LLVMRustPrintModule(cpm, llmod, out.as_ptr());
}
if config.emit_asm {
- let path = output_names.with_extension(&format!("{}.s", name_extra));
+ let path = output_names.temp_path(OutputType::Assembly, module_name);
// We can't use the same module for asm and binary output, because that triggers
// various errors like invalid IR or broken binaries, so we might have to clone the
{
let work = build_work_item(sess,
- trans.metadata_module,
+ trans.metadata_module.clone(),
metadata_config.clone(),
- crate_output.clone(),
- "metadata".to_string());
+ crate_output.clone());
work_items.push(work);
}
- for (index, mtrans) in trans.modules.iter().enumerate() {
+ for mtrans in trans.modules.iter() {
let work = build_work_item(sess,
- *mtrans,
+ mtrans.clone(),
modules_config.clone(),
- crate_output.clone(),
- format!("{}", index));
+ crate_output.clone());
work_items.push(work);
}
// Process the work items, optionally using worker threads.
- if sess.opts.cg.codegen_units == 1 {
+ // NOTE: This code is not really adapted to incremental compilation where
+ // the compiler decides the number of codegen units (and will
+ // potentially create hundreds of them).
+ let num_workers = work_items.len() - 1;
+ if num_workers == 1 {
run_work_singlethreaded(sess, &trans.reachable, work_items);
} else {
- run_work_multithreaded(sess, work_items, sess.opts.cg.codegen_units);
+ run_work_multithreaded(sess, work_items, num_workers);
}
// All codegen is finished.
}
};
- let copy_if_one_unit = |ext: &str,
- output_type: OutputType,
+ let copy_if_one_unit = |output_type: OutputType,
keep_numbered: bool| {
- if sess.opts.cg.codegen_units == 1 {
+ if trans.modules.len() == 1 {
// 1) Only one codegen unit. In this case it's no difficulty
// to copy `foo.0.x` to `foo.x`.
- copy_gracefully(&crate_output.with_extension(ext),
+ let module_name = Some(&(trans.modules[0].name)[..]);
+ let path = crate_output.temp_path(output_type, module_name);
+ copy_gracefully(&path,
&crate_output.path(output_type));
if !sess.opts.cg.save_temps && !keep_numbered {
- // The user just wants `foo.x`, not `foo.0.x`.
- remove(sess, &crate_output.with_extension(ext));
+ // The user just wants `foo.x`, not `foo.#module-name#.x`.
+ remove(sess, &path);
}
- } else if crate_output.outputs.contains_key(&output_type) {
- // 2) Multiple codegen units, with `--emit foo=some_name`. We have
- // no good solution for this case, so warn the user.
- sess.warn(&format!("ignoring emit path because multiple .{} files \
- were produced", ext));
- } else if crate_output.single_output_file.is_some() {
- // 3) Multiple codegen units, with `-o some_name`. We have
- // no good solution for this case, so warn the user.
- sess.warn(&format!("ignoring -o because multiple .{} files \
- were produced", ext));
} else {
- // 4) Multiple codegen units, but no explicit name. We
- // just leave the `foo.0.x` files in place.
- // (We don't have to do any work in this case.)
+ let ext = crate_output.temp_path(output_type, None)
+ .extension()
+ .unwrap()
+ .to_str()
+ .unwrap()
+ .to_owned();
+
+ if crate_output.outputs.contains_key(&output_type) {
+ // 2) Multiple codegen units, with `--emit foo=some_name`. We have
+ // no good solution for this case, so warn the user.
+ sess.warn(&format!("ignoring emit path because multiple .{} files \
+ were produced", ext));
+ } else if crate_output.single_output_file.is_some() {
+ // 3) Multiple codegen units, with `-o some_name`. We have
+ // no good solution for this case, so warn the user.
+ sess.warn(&format!("ignoring -o because multiple .{} files \
+ were produced", ext));
+ } else {
+ // 4) Multiple codegen units, but no explicit name. We
+ // just leave the `foo.0.x` files in place.
+ // (We don't have to do any work in this case.)
+ }
}
};
// Copy to .bc, but always keep the .0.bc. There is a later
// check to figure out if we should delete .0.bc files, or keep
// them for making an rlib.
- copy_if_one_unit("0.bc", OutputType::Bitcode, true);
+ copy_if_one_unit(OutputType::Bitcode, true);
}
OutputType::LlvmAssembly => {
- copy_if_one_unit("0.ll", OutputType::LlvmAssembly, false);
+ copy_if_one_unit(OutputType::LlvmAssembly, false);
}
OutputType::Assembly => {
- copy_if_one_unit("0.s", OutputType::Assembly, false);
+ copy_if_one_unit(OutputType::Assembly, false);
}
OutputType::Object => {
user_wants_objects = true;
- copy_if_one_unit("0.o", OutputType::Object, true);
+ copy_if_one_unit(OutputType::Object, true);
}
OutputType::Exe |
OutputType::DepInfo => {}
// Clean up unwanted temporary files.
// We create the following files by default:
- // - crate.0.bc
- // - crate.0.o
+ // - crate.#module-name#.bc
+ // - crate.#module-name#.o
// - crate.metadata.bc
// - crate.metadata.o
// - crate.o (linked from crate.##.o)
- // - crate.bc (copied from crate.0.bc)
+ // - crate.bc (copied from crate.##.bc)
// We may create additional files if requested by the user (through
// `-C save-temps` or `--emit=` flags).
if !sess.opts.cg.save_temps {
- // Remove the temporary .0.o objects. If the user didn't
+ // Remove the temporary .#module-name#.o objects. If the user didn't
// explicitly request bitcode (with --emit=bc), and the bitcode is not
- // needed for building an rlib, then we must remove .0.bc as well.
+ // needed for building an rlib, then we must remove .#module-name#.bc as
+ // well.
- // Specific rules for keeping .0.bc:
+ // Specific rules for keeping .#module-name#.bc:
// - If we're building an rlib (`needs_crate_bitcode`), then keep
// it.
// - If the user requested bitcode (`user_wants_bitcode`), and
// codegen_units > 1, then keep it.
// - If the user requested bitcode but codegen_units == 1, then we
- // can toss .0.bc because we copied it to .bc earlier.
+ // can toss .#module-name#.bc because we copied it to .bc earlier.
// - If we're not building an rlib and the user didn't request
- // bitcode, then delete .0.bc.
+ // bitcode, then delete .#module-name#.bc.
// If you change how this works, also update back::link::link_rlib,
- // where .0.bc files are (maybe) deleted after making an rlib.
+ // where .#module-name#.bc files are (maybe) deleted after making an
+ // rlib.
let keep_numbered_bitcode = needs_crate_bitcode ||
(user_wants_bitcode && sess.opts.cg.codegen_units > 1);
let keep_numbered_objects = needs_crate_object ||
(user_wants_objects && sess.opts.cg.codegen_units > 1);
- for i in 0..trans.modules.len() {
+ for module_name in trans.modules.iter().map(|m| Some(&m.name[..])) {
if modules_config.emit_obj && !keep_numbered_objects {
- let ext = format!("{}.o", i);
- remove(sess, &crate_output.with_extension(&ext));
+ let path = crate_output.temp_path(OutputType::Object, module_name);
+ remove(sess, &path);
}
if modules_config.emit_bc && !keep_numbered_bitcode {
- let ext = format!("{}.bc", i);
- remove(sess, &crate_output.with_extension(&ext));
+ let path = crate_output.temp_path(OutputType::Bitcode, module_name);
+ remove(sess, &path);
}
}
if metadata_config.emit_bc && !user_wants_bitcode {
- remove(sess, &crate_output.with_extension("metadata.bc"));
+ let path = crate_output.temp_path(OutputType::Bitcode,
+ Some(&trans.metadata_module.name[..]));
+ remove(sess, &path);
}
}
struct WorkItem {
mtrans: ModuleTranslation,
config: ModuleConfig,
- output_names: OutputFilenames,
- name_extra: String
+ output_names: OutputFilenames
}
fn build_work_item(sess: &Session,
mtrans: ModuleTranslation,
config: ModuleConfig,
- output_names: OutputFilenames,
- name_extra: String)
+ output_names: OutputFilenames)
-> WorkItem
{
let mut config = config;
config.tm = create_target_machine(sess);
- WorkItem { mtrans: mtrans, config: config, output_names: output_names,
- name_extra: name_extra }
+ WorkItem {
+ mtrans: mtrans,
+ config: config,
+ output_names: output_names
+ }
}
fn execute_work_item(cgcx: &CodegenContext,
work_item: WorkItem) {
unsafe {
- optimize_and_codegen(cgcx, work_item.mtrans, work_item.config,
- work_item.name_extra, work_item.output_names);
+ optimize_and_codegen(cgcx,
+ work_item.mtrans,
+ work_item.config,
+ work_item.output_names);
}
}
fn run_work_multithreaded(sess: &Session,
work_items: Vec<WorkItem>,
num_workers: usize) {
+ assert!(num_workers > 0);
+
// Run some workers to process the work items.
let work_items_arc = Arc::new(Mutex::new(work_items));
let mut diag_emitter = SharedEmitter::new();
let (pname, mut cmd, _) = get_linker(sess);
cmd.arg("-c").arg("-o").arg(&outputs.path(OutputType::Object))
- .arg(&outputs.temp_path(OutputType::Assembly));
+ .arg(&outputs.temp_path(OutputType::Assembly, None));
debug!("{:?}", cmd);
match cmd.output() {
#![allow(non_camel_case_types)]
-pub use self::ValueOrigin::*;
-
use super::CrateTranslation;
use super::ModuleTranslation;
use cleanup::{self, CleanupMethods, DropHint};
use closure;
use common::{Block, C_bool, C_bytes_in_context, C_i32, C_int, C_uint, C_integral};
-use collector::{self, TransItemState, TransItemCollectionMode};
+use collector::{self, TransItemCollectionMode};
use common::{C_null, C_struct_in_context, C_u64, C_u8, C_undef};
use common::{CrateContext, DropFlagHintsMap, Field, FunctionContext};
use common::{Result, NodeIdAndSpan, VariantInfo};
use declare;
use expr;
use glue;
+use inline;
use machine;
use machine::{llalign_of_min, llsize_of, llsize_of_real};
use meth;
use mir;
use monomorphize::{self, Instance};
use partitioning::{self, PartitioningStrategy, CodegenUnit};
+use symbol_map::SymbolMap;
use symbol_names_test;
use trans_item::TransItem;
use tvec;
use std::ffi::{CStr, CString};
use std::cell::{Cell, RefCell};
use std::collections::{HashMap, HashSet};
+use std::rc::Rc;
use std::str;
use std::{i8, i16, i32, i64};
use syntax_pos::{Span, DUMMY_SP};
closure_env: closure::ClosureEnv) {
ccx.stats().n_closures.set(ccx.stats().n_closures.get() + 1);
- if collector::collecting_debug_information(ccx.shared()) {
- ccx.record_translation_item_as_generated(TransItem::Fn(instance));
- }
-
let _icx = push_ctxt("trans_closure");
if !ccx.sess().no_landing_pads() {
attributes::emit_uwtable(llfndecl, true);
fcx.finish(bcx, fn_cleanup_debug_loc.debug_loc());
}
-/// Creates an LLVM function corresponding to a source language function.
-pub fn trans_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
- decl: &hir::FnDecl,
- body: &hir::Block,
- llfndecl: ValueRef,
- param_substs: &'tcx Substs<'tcx>,
- id: ast::NodeId) {
- let _s = StatRecorder::new(ccx, ccx.tcx().node_path_str(id));
- debug!("trans_fn(param_substs={:?})", param_substs);
- let _icx = push_ctxt("trans_fn");
- let def_id = if let Some(&def_id) = ccx.external_srcs().borrow().get(&id) {
- def_id
- } else {
- ccx.tcx().map.local_def_id(id)
- };
- let fn_ty = ccx.tcx().lookup_item_type(def_id).ty;
- let fn_ty = monomorphize::apply_param_substs(ccx.tcx(), param_substs, &fn_ty);
+pub fn trans_instance<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, instance: Instance<'tcx>) {
+ let instance = inline::maybe_inline_instance(ccx, instance);
+
+ let fn_node_id = ccx.tcx().map.as_local_node_id(instance.def).unwrap();
+
+ let _s = StatRecorder::new(ccx, ccx.tcx().node_path_str(fn_node_id));
+ debug!("trans_instance(instance={:?})", instance);
+ let _icx = push_ctxt("trans_instance");
+
+ let item = ccx.tcx().map.find(fn_node_id).unwrap();
+
+ let fn_ty = ccx.tcx().lookup_item_type(instance.def).ty;
+ let fn_ty = ccx.tcx().erase_regions(&fn_ty);
+ let fn_ty = monomorphize::apply_param_substs(ccx.tcx(), instance.substs, &fn_ty);
+
let sig = ccx.tcx().erase_late_bound_regions(fn_ty.fn_sig());
let sig = ccx.tcx().normalize_associated_type(&sig);
let abi = fn_ty.fn_abi();
- trans_closure(ccx,
- decl,
- body,
- llfndecl,
- Instance::new(def_id, param_substs),
- id,
- &sig,
- abi,
- closure::ClosureEnv::NotClosure);
+
+ let lldecl = match ccx.instances().borrow().get(&instance) {
+ Some(&val) => val,
+ None => bug!("Instance `{:?}` not already declared", instance)
+ };
+
+ match item {
+ hir_map::NodeItem(&hir::Item {
+ node: hir::ItemFn(ref decl, _, _, _, _, ref body), ..
+ }) |
+ hir_map::NodeTraitItem(&hir::TraitItem {
+ node: hir::MethodTraitItem(
+ hir::MethodSig { ref decl, .. }, Some(ref body)), ..
+ }) |
+ hir_map::NodeImplItem(&hir::ImplItem {
+ node: hir::ImplItemKind::Method(
+ hir::MethodSig { ref decl, .. }, ref body), ..
+ }) => {
+ trans_closure(ccx, decl, body, lldecl, instance,
+ fn_node_id, &sig, abi, closure::ClosureEnv::NotClosure);
+ }
+ _ => bug!("Instance is a {:?}?", item)
+ }
}
pub fn trans_named_tuple_constructor<'blk, 'tcx>(mut bcx: Block<'blk, 'tcx>,
}
}
-
-/// Enum describing the origin of an LLVM `Value`, for linkage purposes.
-#[derive(Copy, Clone)]
-pub enum ValueOrigin {
- /// The LLVM `Value` is in this context because the corresponding item was
- /// assigned to the current compilation unit.
- OriginalTranslation,
- /// The `Value`'s corresponding item was assigned to some other compilation
- /// unit, but the `Value` was translated in this context anyway because the
- /// item is marked `#[inline]`.
- InlinedCopy,
-}
-
-/// Set the appropriate linkage for an LLVM `ValueRef` (function or global).
-/// If the `llval` is the direct translation of a specific Rust item, `id`
-/// should be set to the `NodeId` of that item. (This mapping should be
-/// 1-to-1, so monomorphizations and drop/visit glue should have `id` set to
-/// `None`.) `llval_origin` indicates whether `llval` is the translation of an
-/// item assigned to `ccx`'s compilation unit or an inlined copy of an item
-/// assigned to a different compilation unit.
-pub fn update_linkage(ccx: &CrateContext,
- llval: ValueRef,
- id: Option<ast::NodeId>,
- llval_origin: ValueOrigin) {
- match llval_origin {
- InlinedCopy => {
- // `llval` is a translation of an item defined in a separate
- // compilation unit. This only makes sense if there are at least
- // two compilation units.
- assert!(ccx.sess().opts.cg.codegen_units > 1 ||
- ccx.sess().opts.debugging_opts.incremental.is_some());
- // `llval` is a copy of something defined elsewhere, so use
- // `AvailableExternallyLinkage` to avoid duplicating code in the
- // output.
- llvm::SetLinkage(llval, llvm::AvailableExternallyLinkage);
- return;
- },
- OriginalTranslation => {},
- }
-
- if let Some(id) = id {
- let item = ccx.tcx().map.get(id);
- if let hir_map::NodeItem(i) = item {
- if let Some(name) = attr::first_attr_value_str_by_name(&i.attrs, "linkage") {
- if let Some(linkage) = llvm_linkage_by_name(&name) {
- llvm::SetLinkage(llval, linkage);
- } else {
- ccx.sess().span_fatal(i.span, "invalid linkage specified");
- }
- return;
- }
- }
- }
-
- let (is_reachable, is_generic) = if let Some(id) = id {
- (ccx.reachable().contains(&id), false)
- } else {
- (false, true)
- };
-
- // We need external linkage for items reachable from other translation units, this include
- // other codegen units in case of parallel compilations.
- if is_reachable || ccx.sess().opts.cg.codegen_units > 1 {
- if is_generic {
- // This only happens with multiple codegen units, in which case we need to use weak_odr
- // linkage because other crates might expose the same symbol. We cannot use
- // linkonce_odr here because the symbol might then get dropped before the other codegen
- // units get to link it.
- llvm::SetUniqueComdat(ccx.llmod(), llval);
- llvm::SetLinkage(llval, llvm::WeakODRLinkage);
- } else {
- llvm::SetLinkage(llval, llvm::ExternalLinkage);
- }
- } else {
- llvm::SetLinkage(llval, llvm::InternalLinkage);
- }
-}
-
-fn set_global_section(ccx: &CrateContext, llval: ValueRef, i: &hir::Item) {
- if let Some(sect) = attr::first_attr_value_str_by_name(&i.attrs, "link_section") {
+pub fn set_link_section(ccx: &CrateContext,
+ llval: ValueRef,
+ attrs: &[ast::Attribute]) {
+ if let Some(sect) = attr::first_attr_value_str_by_name(attrs, "link_section") {
if contains_null(§) {
ccx.sess().fatal(&format!("Illegal null byte in link_section value: `{}`", §));
}
}
}
-pub fn trans_item(ccx: &CrateContext, item: &hir::Item) {
+fn trans_item(ccx: &CrateContext, item: &hir::Item) {
let _icx = push_ctxt("trans_item");
- let tcx = ccx.tcx();
- let from_external = ccx.external_srcs().borrow().contains_key(&item.id);
-
match item.node {
- hir::ItemFn(ref decl, _, _, _, ref generics, ref body) => {
- if !generics.is_type_parameterized() {
- let trans_everywhere = attr::requests_inline(&item.attrs);
- // Ignore `trans_everywhere` for cross-crate inlined items
- // (`from_external`). `trans_item` will be called once for each
- // compilation unit that references the item, so it will still get
- // translated everywhere it's needed.
- for (ref ccx, is_origin) in ccx.maybe_iter(!from_external && trans_everywhere) {
- let def_id = tcx.map.local_def_id(item.id);
- let empty_substs = ccx.empty_substs_for_def_id(def_id);
- let llfn = Callee::def(ccx, def_id, empty_substs).reify(ccx).val;
- trans_fn(ccx, &decl, &body, llfn, empty_substs, item.id);
- set_global_section(ccx, llfn, item);
- update_linkage(ccx,
- llfn,
- Some(item.id),
- if is_origin {
- OriginalTranslation
- } else {
- InlinedCopy
- });
-
- if is_entry_fn(ccx.sess(), item.id) {
- create_entry_wrapper(ccx, item.span, llfn);
- // check for the #[rustc_error] annotation, which forces an
- // error in trans. This is used to write compile-fail tests
- // that actually test that compilation succeeds without
- // reporting an error.
- if tcx.has_attr(def_id, "rustc_error") {
- tcx.sess.span_fatal(item.span, "compilation successful");
- }
- }
- }
- }
- }
- hir::ItemImpl(_, _, ref generics, _, _, ref impl_items) => {
- // Both here and below with generic methods, be sure to recurse and look for
- // items that we need to translate.
- if !generics.ty_params.is_empty() {
- return;
- }
-
- for impl_item in impl_items {
- if let hir::ImplItemKind::Method(ref sig, ref body) = impl_item.node {
- if sig.generics.ty_params.is_empty() {
- let trans_everywhere = attr::requests_inline(&impl_item.attrs);
- for (ref ccx, is_origin) in ccx.maybe_iter(trans_everywhere) {
- let def_id = tcx.map.local_def_id(impl_item.id);
- let empty_substs = ccx.empty_substs_for_def_id(def_id);
- let llfn = Callee::def(ccx, def_id, empty_substs).reify(ccx).val;
- trans_fn(ccx, &sig.decl, body, llfn, empty_substs, impl_item.id);
- update_linkage(ccx, llfn, Some(impl_item.id),
- if is_origin {
- OriginalTranslation
- } else {
- InlinedCopy
- });
- }
- }
- }
- }
- }
hir::ItemEnum(ref enum_definition, ref gens) => {
if gens.ty_params.is_empty() {
// sizes only make sense for non-generic types
enum_variant_size_lint(ccx, enum_definition, item.span, item.id);
}
}
- hir::ItemStatic(_, m, ref expr) => {
- let g = match consts::trans_static(ccx, m, expr, item.id, &item.attrs) {
- Ok(g) => g,
- Err(err) => ccx.tcx().sess.span_fatal(expr.span, &err.description()),
- };
- set_global_section(ccx, g, item);
- update_linkage(ccx, g, Some(item.id), OriginalTranslation);
+ hir::ItemFn(..) |
+ hir::ItemImpl(..) |
+ hir::ItemStatic(..) => {
+ // Don't do anything here. Translation has been moved to
+ // being "collector-driven".
}
_ => {}
}
}
-pub fn is_entry_fn(sess: &Session, node_id: ast::NodeId) -> bool {
- match *sess.entry_fn.borrow() {
- Some((entry_id, _)) => node_id == entry_id,
- None => false,
+/// Create the `main` function which will initialise the rust runtime and call
+/// users’ main function.
+pub fn maybe_create_entry_wrapper(ccx: &CrateContext) {
+ let (main_def_id, span) = match *ccx.sess().entry_fn.borrow() {
+ Some((id, span)) => {
+ (ccx.tcx().map.local_def_id(id), span)
+ }
+ None => return,
+ };
+
+ // check for the #[rustc_error] annotation, which forces an
+ // error in trans. This is used to write compile-fail tests
+ // that actually test that compilation succeeds without
+ // reporting an error.
+ if ccx.tcx().has_attr(main_def_id, "rustc_error") {
+ ccx.tcx().sess.span_fatal(span, "compilation successful");
+ }
+
+ let instance = Instance::mono(ccx.shared(), main_def_id);
+
+ if !ccx.codegen_unit().items.contains_key(&TransItem::Fn(instance)) {
+ // We want to create the wrapper in the same codegen unit as Rust's main
+ // function.
+ return;
}
-}
-/// Create the `main` function which will initialise the rust runtime and call users’ main
-/// function.
-pub fn create_entry_wrapper(ccx: &CrateContext, sp: Span, main_llfn: ValueRef) {
+ let main_llfn = Callee::def(ccx, main_def_id, instance.substs).reify(ccx).val;
+
let et = ccx.sess().entry_type.get().unwrap();
match et {
config::EntryMain => {
- create_entry_fn(ccx, sp, main_llfn, true);
+ create_entry_fn(ccx, span, main_llfn, true);
}
- config::EntryStart => create_entry_fn(ccx, sp, main_llfn, false),
+ config::EntryStart => create_entry_fn(ccx, span, main_llfn, false),
config::EntryNone => {} // Do nothing.
}
let linkage = llvm::LLVMGetLinkage(val);
// We only care about external declarations (not definitions)
// and available_externally definitions.
- if !(linkage == llvm::ExternalLinkage as c_uint &&
- llvm::LLVMIsDeclaration(val) != 0) &&
- !(linkage == llvm::AvailableExternallyLinkage as c_uint) {
- continue;
+ let is_available_externally = linkage == llvm::AvailableExternallyLinkage as c_uint;
+ let is_decl = llvm::LLVMIsDeclaration(val) != 0;
+
+ if is_decl || is_available_externally {
+ let name = CStr::from_ptr(llvm::LLVMGetValueName(val))
+ .to_bytes()
+ .to_vec();
+ declared.insert(name);
}
- let name = CStr::from_ptr(llvm::LLVMGetValueName(val))
- .to_bytes()
- .to_vec();
- declared.insert(name);
}
}
for ccx in cx.iter() {
for val in iter_globals(ccx.llmod()).chain(iter_functions(ccx.llmod())) {
let linkage = llvm::LLVMGetLinkage(val);
+
+ let is_external = linkage == llvm::ExternalLinkage as c_uint;
+ let is_weak_odr = linkage == llvm::WeakODRLinkage as c_uint;
+ let is_decl = llvm::LLVMIsDeclaration(val) != 0;
+
// We only care about external definitions.
- if !((linkage == llvm::ExternalLinkage as c_uint ||
- linkage == llvm::WeakODRLinkage as c_uint) &&
- llvm::LLVMIsDeclaration(val) == 0) {
- continue;
- }
+ if (is_external || is_weak_odr) && !is_decl {
+
+ let name = CStr::from_ptr(llvm::LLVMGetValueName(val))
+ .to_bytes()
+ .to_vec();
+
+ let is_declared = declared.contains(&name);
+ let reachable = reachable.contains(str::from_utf8(&name).unwrap());
+
+ if !is_declared && !reachable {
+ llvm::SetLinkage(val, llvm::InternalLinkage);
+ llvm::SetDLLStorageClass(val, llvm::DefaultStorageClass);
+ llvm::UnsetComdat(val);
+ }
- let name = CStr::from_ptr(llvm::LLVMGetValueName(val))
- .to_bytes()
- .to_vec();
- if !declared.contains(&name) &&
- !reachable.contains(str::from_utf8(&name).unwrap()) {
- llvm::SetLinkage(val, llvm::InternalLinkage);
- llvm::SetDLLStorageClass(val, llvm::DefaultStorageClass);
- llvm::UnsetComdat(val);
}
}
}
///
/// This list is later used by linkers to determine the set of symbols needed to
/// be exposed from a dynamic library and it's also encoded into the metadata.
-pub fn filter_reachable_ids(scx: &SharedCrateContext) -> NodeSet {
- scx.reachable().iter().map(|x| *x).filter(|&id| {
+pub fn filter_reachable_ids(tcx: TyCtxt, reachable: NodeSet) -> NodeSet {
+ reachable.into_iter().filter(|&id| {
// Next, we want to ignore some FFI functions that are not exposed from
// this crate. Reachable FFI functions can be lumped into two
// categories:
//
// As a result, if this id is an FFI item (foreign item) then we only
// let it through if it's included statically.
- match scx.tcx().map.get(id) {
+ match tcx.map.get(id) {
hir_map::NodeForeignItem(..) => {
- scx.sess().cstore.is_statically_included_foreign_item(id)
+ tcx.sess.cstore.is_statically_included_foreign_item(id)
}
// Only consider nodes that actually have exported symbols.
node: hir::ItemFn(..), .. }) |
hir_map::NodeImplItem(&hir::ImplItem {
node: hir::ImplItemKind::Method(..), .. }) => {
- let def_id = scx.tcx().map.local_def_id(id);
- let scheme = scx.tcx().lookup_item_type(def_id);
+ let def_id = tcx.map.local_def_id(id);
+ let scheme = tcx.lookup_item_type(def_id);
scheme.generics.types.is_empty()
}
let krate = tcx.map.krate();
let ty::CrateAnalysis { export_map, reachable, name, .. } = analysis;
+ let reachable = filter_reachable_ids(tcx, reachable);
let check_overflow = if let Some(v) = tcx.sess.opts.debugging_opts.force_overflow_checks {
v
reachable,
check_overflow,
check_dropflag);
-
- let reachable_symbol_ids = filter_reachable_ids(&shared_ccx);
-
// Translate the metadata.
let metadata = time(tcx.sess.time_passes(), "write metadata", || {
- write_metadata(&shared_ccx, &reachable_symbol_ids)
+ write_metadata(&shared_ccx, shared_ccx.reachable())
});
let metadata_module = ModuleTranslation {
+ name: "metadata".to_string(),
llcx: shared_ccx.metadata_llcx(),
llmod: shared_ccx.metadata_llmod(),
};
let no_builtins = attr::contains_name(&krate.attrs, "no_builtins");
- let codegen_units = collect_and_partition_translation_items(&shared_ccx);
+ // Run the translation item collector and partition the collected items into
+ // codegen units.
+ let (codegen_units, symbol_map) = collect_and_partition_translation_items(&shared_ccx);
let codegen_unit_count = codegen_units.len();
- assert!(tcx.sess.opts.cg.codegen_units == codegen_unit_count ||
- tcx.sess.opts.debugging_opts.incremental.is_some());
- let crate_context_list = CrateContextList::new(&shared_ccx, codegen_units);
+ let symbol_map = Rc::new(symbol_map);
+ let crate_context_list = CrateContextList::new(&shared_ccx,
+ codegen_units,
+ symbol_map.clone());
let modules = crate_context_list.iter()
- .map(|ccx| ModuleTranslation { llcx: ccx.llcx(), llmod: ccx.llmod() })
+ .map(|ccx| ModuleTranslation {
+ name: String::from(&ccx.codegen_unit().name[..]),
+ llcx: ccx.llcx(),
+ llmod: ccx.llmod()
+ })
.collect();
// Skip crate items and just output metadata in -Z no-trans mode.
};
}
- {
- let ccx = crate_context_list.get_ccx(0);
+ // Instantiate translation items without filling out definitions yet...
+ for ccx in crate_context_list.iter() {
+ let trans_items = ccx.codegen_unit()
+ .items_in_deterministic_order(tcx, &symbol_map);
- // Translate all items. See `TransModVisitor` for
- // details on why we walk in this particular way.
- {
- let _icx = push_ctxt("text");
- intravisit::walk_mod(&mut TransItemsWithinModVisitor { ccx: &ccx }, &krate.module);
- krate.visit_all_items(&mut TransModVisitor { ccx: &ccx });
+ for (trans_item, linkage) in trans_items {
+ trans_item.predefine(&ccx, linkage);
}
-
- collector::print_collection_results(ccx.shared());
-
- symbol_names_test::report_symbol_names(&ccx);
}
+ // ... and now that we have everything pre-defined, fill out those definitions.
for ccx in crate_context_list.iter() {
- if ccx.sess().opts.debuginfo != NoDebugInfo {
- debuginfo::finalize(&ccx);
+ let trans_items = ccx.codegen_unit()
+ .items_in_deterministic_order(tcx, &symbol_map);
+
+ for (trans_item, _) in trans_items {
+ trans_item.define(&ccx);
}
+
+ // If this codegen unit contains the main function, also create the
+ // wrapper here
+ maybe_create_entry_wrapper(&ccx);
+
+ // Run replace-all-uses-with for statics that need it
for &(old_g, new_g) in ccx.statics_to_rauw().borrow().iter() {
unsafe {
let bitcast = llvm::LLVMConstPointerCast(new_g, llvm::LLVMTypeOf(old_g));
llvm::LLVMDeleteGlobal(old_g);
}
}
+
+ // Finalize debuginfo
+ if ccx.sess().opts.debuginfo != NoDebugInfo {
+ debuginfo::finalize(&ccx);
+ }
+ }
+
+ symbol_names_test::report_symbol_names(&shared_ccx);
+
+ {
+ let ccx = crate_context_list.get_ccx(0);
+
+ // FIXME: #34018
+ // At this point, we only walk the HIR for running
+ // enum_variant_size_lint(). This should arguably be moved somewhere
+ // else.
+ {
+ intravisit::walk_mod(&mut TransItemsWithinModVisitor { ccx: &ccx }, &krate.module);
+ krate.visit_all_items(&mut TransModVisitor { ccx: &ccx });
+ }
}
if shared_ccx.sess().trans_stats() {
println!("n_null_glues: {}", stats.n_null_glues.get());
println!("n_real_glues: {}", stats.n_real_glues.get());
+ println!("n_fallback_instantiations: {}", stats.n_fallback_instantiations.get());
+
println!("n_fns: {}", stats.n_fns.get());
println!("n_monos: {}", stats.n_monos.get());
println!("n_inlines: {}", stats.n_inlines.get());
}
}
}
+
if shared_ccx.sess().count_llvm_insns() {
for (k, v) in shared_ccx.stats().llvm_insns.borrow().iter() {
println!("{:7} {}", *v, *k);
}
let sess = shared_ccx.sess();
- let mut reachable_symbols = reachable_symbol_ids.iter().map(|&id| {
+ let mut reachable_symbols = shared_ccx.reachable().iter().map(|&id| {
let def_id = shared_ccx.tcx().map.local_def_id(id);
- Instance::mono(&shared_ccx, def_id).symbol_name(&shared_ccx)
+ symbol_for_def_id(def_id, &shared_ccx, &symbol_map)
}).collect::<Vec<_>>();
+
if sess.entry_fn.borrow().is_some() {
reachable_symbols.push("main".to_string());
}
reachable_symbols.extend(syms.into_iter().filter(|did| {
sess.cstore.is_extern_item(shared_ccx.tcx(), *did)
}).map(|did| {
- Instance::mono(&shared_ccx, did).symbol_name(&shared_ccx)
+ symbol_for_def_id(did, &shared_ccx, &symbol_map)
}));
}
}
let linker_info = LinkerInfo::new(&shared_ccx, &reachable_symbols);
+
CrateTranslation {
modules: modules,
metadata_module: metadata_module,
}
fn collect_and_partition_translation_items<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>)
- -> Vec<CodegenUnit<'tcx>> {
+ -> (Vec<CodegenUnit<'tcx>>, SymbolMap<'tcx>) {
let time_passes = scx.sess().time_passes();
let collection_mode = match scx.sess().opts.debugging_opts.print_trans_items {
None => TransItemCollectionMode::Lazy
};
- let (items, inlining_map) = time(time_passes, "translation item collection", || {
- collector::collect_crate_translation_items(&scx, collection_mode)
+ let (items, inlining_map) =
+ time(time_passes, "translation item collection", || {
+ collector::collect_crate_translation_items(&scx, collection_mode)
});
+ let symbol_map = SymbolMap::build(scx, items.iter().cloned());
+
let strategy = if scx.sess().opts.debugging_opts.incremental.is_some() {
PartitioningStrategy::PerModule
} else {
partitioning::partition(scx.tcx(),
items.iter().cloned(),
strategy,
- &inlining_map)
+ &inlining_map,
+ scx.reachable())
});
+ assert!(scx.tcx().sess.opts.cg.codegen_units == codegen_units.len() ||
+ scx.tcx().sess.opts.debugging_opts.incremental.is_some());
+
+ {
+ let mut ccx_map = scx.translation_items().borrow_mut();
+
+ for trans_item in items.iter().cloned() {
+ ccx_map.insert(trans_item);
+ }
+ }
+
if scx.sess().opts.debugging_opts.print_trans_items.is_some() {
let mut item_to_cgus = HashMap::new();
for item in item_keys {
println!("TRANS_ITEM {}", item);
}
+ }
- let mut ccx_map = scx.translation_items().borrow_mut();
+ (codegen_units, symbol_map)
+}
- for cgi in items {
- ccx_map.insert(cgi, TransItemState::PredictedButNotGenerated);
+fn symbol_for_def_id<'a, 'tcx>(def_id: DefId,
+ scx: &SharedCrateContext<'a, 'tcx>,
+ symbol_map: &SymbolMap<'tcx>)
+ -> String {
+ // Just try to look things up in the symbol map. If nothing's there, we
+ // recompute.
+ if let Some(node_id) = scx.tcx().map.as_local_node_id(def_id) {
+ if let Some(sym) = symbol_map.get(TransItem::Static(node_id)) {
+ return sym.to_owned();
}
}
- codegen_units
+ let instance = Instance::mono(scx, def_id);
+
+ symbol_map.get(TransItem::Fn(instance))
+ .map(str::to_owned)
+ .unwrap_or_else(|| instance.symbol_name(scx))
}
use machine::llalign_of_min;
use meth;
use monomorphize::{self, Instance};
+use trans_item::TransItem;
use type_::Type;
use type_of;
use value::Value;
let tcx = ccx.tcx();
// Normalize the type for better caching.
- let bare_fn_ty = tcx.erase_regions(&bare_fn_ty);
+ let bare_fn_ty = tcx.normalize_associated_type(&bare_fn_ty);
// If this is an impl of `Fn` or `FnMut` trait, the receiver is `&self`.
let is_by_ref = match closure_kind {
// Should be either intra-crate or inlined.
assert_eq!(def_id.krate, LOCAL_CRATE);
- let substs = tcx.mk_substs(substs.clone().erase_regions());
+ let substs = tcx.normalize_associated_type(&substs);
let (val, fn_ty) = monomorphize::monomorphic_fn(ccx, def_id, substs);
let fn_ptr_ty = match fn_ty.sty {
ty::TyFnDef(_, _, fty) => {
// reference. It also occurs when testing libcore and in some
// other weird situations. Annoying.
- let sym = instance.symbol_name(ccx.shared());
+ let sym = ccx.symbol_map().get_or_compute(ccx.shared(),
+ TransItem::Fn(instance));
+
let llptrty = type_of::type_of(ccx, fn_ptr_ty);
let llfn = if let Some(llfn) = declare::get_declared_value(ccx, &sym) {
if let Some(span) = local_item {
if declare::get_defined_value(ccx, &sym).is_some() {
ccx.sess().span_fatal(span,
- &format!("symbol `{}` is already defined", sym));
+ &format!("symbol `{}` is already defined", &sym));
}
}
use arena::TypedArena;
use back::symbol_names;
-use llvm::{ValueRef, get_param, get_params};
+use llvm::{self, ValueRef, get_param, get_params};
use rustc::hir::def_id::DefId;
use abi::{Abi, FnType};
use adt;
variadic: false
})
}));
- let llfn = declare::define_internal_fn(ccx, &symbol, function_type);
+ let llfn = declare::declare_fn(ccx, &symbol, function_type);
// set an inline hint for all closures
attributes::inline(llfn, attributes::InlineAttr::Hint);
id, closure_def_id, closure_substs);
let llfn = get_or_create_closure_declaration(ccx, closure_def_id, closure_substs);
+ llvm::SetLinkage(llfn, llvm::WeakODRLinkage);
+ llvm::SetUniqueComdat(ccx.llmod(), llfn);
// Get the type of this closure. Use the current `param_substs` as
// the closure substitutions. This makes sense because the closure
// Create the by-value helper.
let function_name =
symbol_names::internal_name_from_type_and_suffix(ccx, llonce_fn_ty, "once_shim");
- let lloncefn = declare::define_internal_fn(ccx, &function_name, llonce_fn_ty);
+ let lloncefn = declare::declare_fn(ccx, &function_name, llonce_fn_ty);
attributes::set_frame_pointer_elimination(ccx, lloncefn);
let (block_arena, fcx): (TypedArena<_>, FunctionContext);
use syntax::abi::Abi;
use errors;
use syntax_pos::DUMMY_SP;
+use syntax::ast::NodeId;
use base::custom_coerce_unsize_info;
use context::SharedCrateContext;
use common::{fulfill_obligation, normalize_and_test_predicates, type_is_sized};
|| format!("Could not find MIR for static: {:?}", def_id));
let empty_substs = scx.empty_substs_for_def_id(def_id);
- let mut visitor = MirNeighborCollector {
+ let visitor = MirNeighborCollector {
scx: scx,
mir: &mir,
output: &mut neighbors,
param_substs: empty_substs
};
- visitor.visit_mir(&mir);
- for promoted in &mir.promoted {
- visitor.visit_mir(promoted);
- }
+ visit_mir_and_promoted(visitor, &mir);
}
TransItem::Fn(instance) => {
// Keep track of the monomorphization recursion depth
let mir = errors::expect(scx.sess().diagnostic(), scx.get_mir(instance.def),
|| format!("Could not find MIR for function: {}", instance));
- let mut visitor = MirNeighborCollector {
+ let visitor = MirNeighborCollector {
scx: scx,
mir: &mir,
output: &mut neighbors,
param_substs: instance.substs
};
- visitor.visit_mir(&mir);
- for promoted in &mir.promoted {
- visitor.visit_mir(promoted);
- }
+ visit_mir_and_promoted(visitor, &mir);
}
}
match *rvalue {
mir::Rvalue::Aggregate(mir::AggregateKind::Closure(def_id,
ref substs), _) => {
- assert!(can_have_local_instance(self.scx.tcx(), def_id));
- let trans_item = create_fn_trans_item(self.scx.tcx(),
- def_id,
- substs.func_substs,
- self.param_substs);
- self.output.push(trans_item);
+ let mir = errors::expect(self.scx.sess().diagnostic(),
+ self.scx.get_mir(def_id),
+ || {
+ format!("Could not find MIR for closure: {:?}", def_id)
+ });
+
+ let concrete_substs = monomorphize::apply_param_substs(self.scx.tcx(),
+ self.param_substs,
+ &substs.func_substs);
+ let concrete_substs = self.scx.tcx().erase_regions(&concrete_substs);
+
+ let visitor = MirNeighborCollector {
+ scx: self.scx,
+ mir: &mir,
+ output: self.output,
+ param_substs: concrete_substs
+ };
+
+ visit_mir_and_promoted(visitor, &mir);
}
// When doing an cast from a regular pointer to a fat pointer, we
// have to instantiate all methods of the trait being cast to, so we
let operand_ty = monomorphize::apply_param_substs(tcx,
self.param_substs,
&mt.ty);
- self.output.push(TransItem::DropGlue(DropGlueKind::Ty(operand_ty)));
+ let ty = glue::get_drop_glue_type(tcx, operand_ty);
+ self.output.push(TransItem::DropGlue(DropGlueKind::Ty(ty)));
} else {
bug!("Has the drop_in_place() intrinsic's signature changed?")
}
hir::ItemTy(..) |
hir::ItemDefaultImpl(..) |
hir::ItemTrait(..) |
- hir::ItemConst(..) |
hir::ItemMod(..) => {
// Nothing to do, just keep recursing...
}
self.scx.tcx().map.local_def_id(item.id)));
self.output.push(TransItem::Static(item.id));
}
- hir::ItemFn(_, _, constness, _, ref generics, _) => {
- if !generics.is_type_parameterized() &&
- constness == hir::Constness::NotConst {
+ hir::ItemConst(..) => {
+ debug!("RootCollector: ItemConst({})",
+ def_id_to_string(self.scx.tcx(),
+ self.scx.tcx().map.local_def_id(item.id)));
+ add_roots_for_const_item(self.scx, item.id, self.output);
+ }
+ hir::ItemFn(_, _, _, _, ref generics, _) => {
+ if !generics.is_type_parameterized() {
let def_id = self.scx.tcx().map.local_def_id(item.id);
debug!("RootCollector: ItemFn({})",
match ii.node {
hir::ImplItemKind::Method(hir::MethodSig {
ref generics,
- constness,
..
- }, _) if constness == hir::Constness::NotConst => {
+ }, _) => {
let hir_map = &self.scx.tcx().map;
let parent_node_id = hir_map.get_parent_node(ii.id);
let is_impl_generic = match hir_map.expect_item(parent_node_id) {
}
}
-#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
-pub enum TransItemState {
- PredictedAndGenerated,
- PredictedButNotGenerated,
- NotPredictedButGenerated,
-}
+// There are no translation items for constants themselves but their
+// initializers might still contain something that produces translation items,
+// such as cast that introduce a new vtable.
+fn add_roots_for_const_item<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>,
+ const_item_node_id: NodeId,
+ output: &mut Vec<TransItem<'tcx>>)
+{
+ let def_id = scx.tcx().map.local_def_id(const_item_node_id);
+
+ // Scan the MIR in order to find function calls, closures, and
+ // drop-glue
+ let mir = errors::expect(scx.sess().diagnostic(), scx.get_mir(def_id),
+ || format!("Could not find MIR for const: {:?}", def_id));
+
+ let empty_substs = scx.empty_substs_for_def_id(def_id);
+ let visitor = MirNeighborCollector {
+ scx: scx,
+ mir: &mir,
+ output: output,
+ param_substs: empty_substs
+ };
-pub fn collecting_debug_information(scx: &SharedCrateContext) -> bool {
- return cfg!(debug_assertions) &&
- scx.sess().opts.debugging_opts.print_trans_items.is_some();
+ visit_mir_and_promoted(visitor, &mir);
}
-pub fn print_collection_results<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>) {
- use std::hash::{Hash, SipHasher, Hasher};
-
- if !collecting_debug_information(scx) {
- return;
- }
-
- fn hash<T: Hash>(t: &T) -> u64 {
- let mut s = SipHasher::new();
- t.hash(&mut s);
- s.finish()
- }
-
- let trans_items = scx.translation_items().borrow();
-
- {
- // Check for duplicate item keys
- let mut item_keys = FnvHashMap();
-
- for (item, item_state) in trans_items.iter() {
- let k = item.to_string(scx.tcx());
-
- if item_keys.contains_key(&k) {
- let prev: (TransItem, TransItemState) = item_keys[&k];
- debug!("DUPLICATE KEY: {}", k);
- debug!(" (1) {:?}, {:?}, hash: {}, raw: {}",
- prev.0,
- prev.1,
- hash(&prev.0),
- prev.0.to_raw_string());
-
- debug!(" (2) {:?}, {:?}, hash: {}, raw: {}",
- *item,
- *item_state,
- hash(item),
- item.to_raw_string());
- } else {
- item_keys.insert(k, (*item, *item_state));
- }
- }
- }
-
- let mut predicted_but_not_generated = FnvHashSet();
- let mut not_predicted_but_generated = FnvHashSet();
- let mut predicted = FnvHashSet();
- let mut generated = FnvHashSet();
-
- for (item, item_state) in trans_items.iter() {
- let item_key = item.to_string(scx.tcx());
-
- match *item_state {
- TransItemState::PredictedAndGenerated => {
- predicted.insert(item_key.clone());
- generated.insert(item_key);
- }
- TransItemState::PredictedButNotGenerated => {
- predicted_but_not_generated.insert(item_key.clone());
- predicted.insert(item_key);
- }
- TransItemState::NotPredictedButGenerated => {
- not_predicted_but_generated.insert(item_key.clone());
- generated.insert(item_key);
- }
- }
- }
-
- debug!("Total number of translation items predicted: {}", predicted.len());
- debug!("Total number of translation items generated: {}", generated.len());
- debug!("Total number of translation items predicted but not generated: {}",
- predicted_but_not_generated.len());
- debug!("Total number of translation items not predicted but generated: {}",
- not_predicted_but_generated.len());
-
- if generated.len() > 0 {
- debug!("Failed to predict {}% of translation items",
- (100 * not_predicted_but_generated.len()) / generated.len());
- }
- if generated.len() > 0 {
- debug!("Predict {}% too many translation items",
- (100 * predicted_but_not_generated.len()) / generated.len());
- }
-
- debug!("");
- debug!("Not predicted but generated:");
- debug!("============================");
- for item in not_predicted_but_generated {
- debug!(" - {}", item);
- }
-
- debug!("");
- debug!("Predicted but not generated:");
- debug!("============================");
- for item in predicted_but_not_generated {
- debug!(" - {}", item);
+fn visit_mir_and_promoted<'tcx, V: MirVisitor<'tcx>>(mut visitor: V, mir: &mir::Mir<'tcx>) {
+ visitor.visit_mir(&mir);
+ for promoted in &mir.promoted {
+ visitor.visit_mir(promoted);
}
}
use {abi, adt, closure, debuginfo, expr, machine};
use base::{self, push_ctxt};
use callee::Callee;
-use collector;
use trans_item::TransItem;
use common::{type_is_sized, C_nil, const_get_elt};
use common::{CrateContext, C_integral, C_floating, C_bool, C_str_slice, C_bytes, val_ty};
return Datum::new(g, ty, Lvalue::new("static"));
}
- let sym = instance.symbol_name(ccx.shared());
-
let g = if let Some(id) = ccx.tcx().map.as_local_node_id(def_id) {
+
let llty = type_of::type_of(ccx, ty);
- match ccx.tcx().map.get(id) {
+ let (g, attrs) = match ccx.tcx().map.get(id) {
hir_map::NodeItem(&hir::Item {
- span, node: hir::ItemStatic(..), ..
+ ref attrs, span, node: hir::ItemStatic(..), ..
}) => {
- // If this static came from an external crate, then
- // we need to get the symbol from metadata instead of
- // using the current crate's name/version
- // information in the hash of the symbol
- debug!("making {}", sym);
-
- // Create the global before evaluating the initializer;
- // this is necessary to allow recursive statics.
- declare::define_global(ccx, &sym, llty).unwrap_or_else(|| {
- ccx.sess().span_fatal(span,
- &format!("symbol `{}` is already defined", sym))
- })
+ let sym = ccx.symbol_map()
+ .get(TransItem::Static(id))
+ .expect("Local statics should always be in the SymbolMap");
+ // Make sure that this is never executed for something inlined.
+ assert!(!ccx.external_srcs().borrow().contains_key(&id));
+
+ let defined_in_current_codegen_unit = ccx.codegen_unit()
+ .items
+ .contains_key(&TransItem::Static(id));
+ if defined_in_current_codegen_unit {
+ if declare::get_declared_value(ccx, sym).is_none() {
+ span_bug!(span, "trans: Static not properly pre-defined?");
+ }
+ } else {
+ if declare::get_declared_value(ccx, sym).is_some() {
+ span_bug!(span, "trans: Conflicting symbol names for static?");
+ }
+ }
+
+ let g = declare::define_global(ccx, sym, llty).unwrap();
+
+ (g, attrs)
}
hir_map::NodeForeignItem(&hir::ForeignItem {
ref attrs, span, node: hir::ForeignItemStatic(..), ..
}) => {
+ let sym = instance.symbol_name(ccx.shared());
let g = if let Some(name) =
attr::first_attr_value_str_by_name(&attrs, "linkage") {
// If this is a static with a linkage specified, then we need to handle
real_name.push_str(&sym);
let g2 = declare::define_global(ccx, &real_name, llty).unwrap_or_else(||{
ccx.sess().span_fatal(span,
- &format!("symbol `{}` is already defined", sym))
+ &format!("symbol `{}` is already defined", &sym))
});
llvm::SetLinkage(g2, llvm::InternalLinkage);
llvm::LLVMSetInitializer(g2, g1);
declare::declare_global(ccx, &sym, llty)
};
- for attr in attrs {
- if attr.check_name("thread_local") {
- llvm::set_thread_local(g, true);
- }
- }
-
- g
+ (g, attrs)
}
item => bug!("get_static: expected static, found {:?}", item)
+ };
+
+ for attr in attrs {
+ if attr.check_name("thread_local") {
+ llvm::set_thread_local(g, true);
+ }
}
+
+ g
} else {
+ let sym = instance.symbol_name(ccx.shared());
+
// FIXME(nagisa): perhaps the map of externs could be offloaded to llvm somehow?
// FIXME(nagisa): investigate whether it can be changed into define_global
let g = declare::declare_global(ccx, &sym, type_of::type_of(ccx, ty));
id: ast::NodeId,
attrs: &[ast::Attribute])
-> Result<ValueRef, ConstEvalErr> {
-
- if collector::collecting_debug_information(ccx.shared()) {
- ccx.record_translation_item_as_generated(TransItem::Static(id));
- }
-
unsafe {
let _icx = push_ctxt("trans_static");
let def_id = ccx.tcx().map.local_def_id(id);
"thread_local") {
llvm::set_thread_local(g, true);
}
+
+ base::set_link_section(ccx, g, attrs);
+
Ok(g)
}
}
use monomorphize::Instance;
use partitioning::CodegenUnit;
-use collector::TransItemState;
use trans_item::TransItem;
use type_::{Type, TypeNames};
use rustc::ty::subst::{Substs, VecPerParamSpace};
use rustc::ty::{self, Ty, TyCtxt};
use session::config::NoDebugInfo;
use session::Session;
+use symbol_map::SymbolMap;
use util::sha2::Sha256;
use util::nodemap::{NodeMap, NodeSet, DefIdMap, FnvHashMap, FnvHashSet};
use std::str;
use syntax::ast;
use syntax::parse::token::InternedString;
+use abi::FnType;
pub struct Stats {
pub n_glues_created: Cell<usize>,
pub n_null_glues: Cell<usize>,
pub n_real_glues: Cell<usize>,
+ pub n_fallback_instantiations: Cell<usize>,
pub n_fns: Cell<usize>,
pub n_monos: Cell<usize>,
pub n_inlines: Cell<usize>,
mir_map: &'a MirMap<'tcx>,
mir_cache: RefCell<DefIdMap<Rc<mir::Mir<'tcx>>>>,
- available_monomorphizations: RefCell<FnvHashSet<String>>,
- available_drop_glues: RefCell<FnvHashMap<DropGlueKind<'tcx>, String>>,
use_dll_storage_attrs: bool,
- translation_items: RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>>,
+ translation_items: RefCell<FnvHashSet<TransItem<'tcx>>>,
trait_cache: RefCell<DepTrackingMap<TraitSelectionCache<'tcx>>>,
}
codegen_unit: CodegenUnit<'tcx>,
needs_unwind_cleanup_cache: RefCell<FnvHashMap<Ty<'tcx>, bool>>,
fn_pointer_shims: RefCell<FnvHashMap<Ty<'tcx>, ValueRef>>,
- drop_glues: RefCell<FnvHashMap<DropGlueKind<'tcx>, ValueRef>>,
+ drop_glues: RefCell<FnvHashMap<DropGlueKind<'tcx>, (ValueRef, FnType)>>,
/// Track mapping of external ids to local items imported for inlining
external: RefCell<DefIdMap<Option<ast::NodeId>>>,
/// Backwards version of the `external` map (inlined items to where they
/// Depth of the current type-of computation - used to bail out
type_of_depth: Cell<usize>,
+
+ symbol_map: Rc<SymbolMap<'tcx>>,
}
// Implement DepTrackingMapConfig for `trait_cache`
impl<'a, 'tcx: 'a> CrateContextList<'a, 'tcx> {
pub fn new(shared_ccx: &'a SharedCrateContext<'a, 'tcx>,
- codegen_units: Vec<CodegenUnit<'tcx>>)
+ codegen_units: Vec<CodegenUnit<'tcx>>,
+ symbol_map: Rc<SymbolMap<'tcx>>)
-> CrateContextList<'a, 'tcx> {
CrateContextList {
shared: shared_ccx,
local_ccxs: codegen_units.into_iter().map(|codegen_unit| {
- LocalCrateContext::new(shared_ccx, codegen_unit)
+ LocalCrateContext::new(shared_ccx, codegen_unit, symbol_map.clone())
}).collect()
}
}
n_glues_created: Cell::new(0),
n_null_glues: Cell::new(0),
n_real_glues: Cell::new(0),
+ n_fallback_instantiations: Cell::new(0),
n_fns: Cell::new(0),
n_monos: Cell::new(0),
n_inlines: Cell::new(0),
},
check_overflow: check_overflow,
check_drop_flag_for_sanity: check_drop_flag_for_sanity,
- available_monomorphizations: RefCell::new(FnvHashSet()),
- available_drop_glues: RefCell::new(FnvHashMap()),
use_dll_storage_attrs: use_dll_storage_attrs,
- translation_items: RefCell::new(FnvHashMap()),
+ translation_items: RefCell::new(FnvHashSet()),
trait_cache: RefCell::new(DepTrackingMap::new(tcx.dep_graph.clone())),
}
}
}
}
- pub fn translation_items(&self) -> &RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>> {
+ pub fn translation_items(&self) -> &RefCell<FnvHashSet<TransItem<'tcx>>> {
&self.translation_items
}
impl<'tcx> LocalCrateContext<'tcx> {
fn new<'a>(shared: &SharedCrateContext<'a, 'tcx>,
- codegen_unit: CodegenUnit<'tcx>)
+ codegen_unit: CodegenUnit<'tcx>,
+ symbol_map: Rc<SymbolMap<'tcx>>)
-> LocalCrateContext<'tcx> {
unsafe {
// Append ".rs" to LLVM module identifier.
intrinsics: RefCell::new(FnvHashMap()),
n_llvm_insns: Cell::new(0),
type_of_depth: Cell::new(0),
+ symbol_map: symbol_map,
};
let (int_type, opaque_vec_type, str_slice_ty, mut local_ccx) = {
&self.local().fn_pointer_shims
}
- pub fn drop_glues<'a>(&'a self) -> &'a RefCell<FnvHashMap<DropGlueKind<'tcx>, ValueRef>> {
+ pub fn drop_glues<'a>(&'a self)
+ -> &'a RefCell<FnvHashMap<DropGlueKind<'tcx>, (ValueRef, FnType)>> {
&self.local().drop_glues
}
&self.shared.stats
}
- pub fn available_monomorphizations<'a>(&'a self) -> &'a RefCell<FnvHashSet<String>> {
- &self.shared.available_monomorphizations
- }
-
- pub fn available_drop_glues(&self) -> &RefCell<FnvHashMap<DropGlueKind<'tcx>, String>> {
- &self.shared.available_drop_glues
- }
-
pub fn int_type(&self) -> Type {
self.local().int_type
}
self.shared.get_mir(def_id)
}
- pub fn translation_items(&self) -> &RefCell<FnvHashMap<TransItem<'tcx>, TransItemState>> {
- &self.shared.translation_items
+ pub fn symbol_map(&self) -> &SymbolMap<'tcx> {
+ &*self.local().symbol_map
}
- pub fn record_translation_item_as_generated(&self, cgi: TransItem<'tcx>) {
- if self.sess().opts.debugging_opts.print_trans_items.is_none() {
- return;
- }
-
- let mut codegen_items = self.translation_items().borrow_mut();
-
- if codegen_items.contains_key(&cgi) {
- codegen_items.insert(cgi, TransItemState::PredictedAndGenerated);
- } else {
- codegen_items.insert(cgi, TransItemState::NotPredictedButGenerated);
- }
+ pub fn translation_items(&self) -> &RefCell<FnvHashSet<TransItem<'tcx>>> {
+ &self.shared.translation_items
}
/// Given the def-id of some item that has no type parameters, make
}
}
-
/// Declare a Rust function with an intention to define it.
///
/// Use this function when you intend to define a function. This function will
/// return panic if the name already has a definition associated with it. This
/// can happen with #[no_mangle] or #[export_name], for example.
-pub fn define_internal_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
- name: &str,
- fn_type: ty::Ty<'tcx>) -> ValueRef {
+pub fn define_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
+ name: &str,
+ fn_type: ty::Ty<'tcx>) -> ValueRef {
if get_defined_value(ccx, name).is_some() {
ccx.sess().fatal(&format!("symbol `{}` already defined", name))
} else {
- let llfn = declare_fn(ccx, name, fn_type);
- llvm::SetLinkage(llfn, llvm::InternalLinkage);
- llfn
+ declare_fn(ccx, name, fn_type)
}
}
+/// Declare a Rust function with an intention to define it.
+///
+/// Use this function when you intend to define a function. This function will
+/// return panic if the name already has a definition associated with it. This
+/// can happen with #[no_mangle] or #[export_name], for example.
+pub fn define_internal_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
+ name: &str,
+ fn_type: ty::Ty<'tcx>) -> ValueRef {
+ let llfn = define_fn(ccx, name, fn_type);
+ llvm::SetLinkage(llfn, llvm::InternalLinkage);
+ llfn
+}
+
/// Get declared value by name.
pub fn get_declared_value(ccx: &CrateContext, name: &str) -> Option<ValueRef> {
}
// refinement types would obviate the need for this
+#[derive(Clone, Copy)]
enum lazy_binop_ty {
lazy_and,
lazy_or,
}
+
fn trans_lazy_binop<'blk, 'tcx>(bcx: Block<'blk, 'tcx>,
binop_expr: &hir::Expr,
op: lazy_binop_ty,
return immediate_rvalue_bcx(past_lhs, lhs, binop_ty).to_expr_datumblock();
}
+ // If the rhs can never be reached, don't generate code for it.
+ if let Some(cond_val) = const_to_opt_uint(lhs) {
+ match (cond_val, op) {
+ (0, lazy_and) |
+ (1, lazy_or) => {
+ return immediate_rvalue_bcx(past_lhs, lhs, binop_ty).to_expr_datumblock();
+ }
+ _ => { /* continue */ }
+ }
+ }
+
let join = fcx.new_id_block("join", binop_expr.id);
let before_rhs = fcx.new_id_block("before_rhs", b.id);
use std;
-use attributes;
-use back::symbol_names;
use llvm;
use llvm::{ValueRef, get_param};
use middle::lang_items::ExchangeFreeFnLangItem;
use rustc::ty::subst::{Substs};
use rustc::traits;
use rustc::ty::{self, Ty, TyCtxt, TypeFoldable};
-use abi::{Abi, FnType};
use adt;
use adt::GetDtorType; // for tcx.dtor_type()
use base::*;
use callee::{Callee, ArgVals};
use cleanup;
use cleanup::CleanupMethods;
-use collector;
use common::*;
use debuginfo::DebugLoc;
-use declare;
use expr;
use machine::*;
use monomorphize;
fn get_drop_glue_core<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
g: DropGlueKind<'tcx>) -> ValueRef {
- debug!("make drop glue for {:?}", g);
let g = g.map_ty(|t| get_drop_glue_type(ccx.tcx(), t));
- debug!("drop glue type {:?}", g);
match ccx.drop_glues().borrow().get(&g) {
- Some(&glue) => return glue,
- _ => { }
+ Some(&(glue, _)) => return glue,
+ None => {
+ debug!("Could not find drop glue for {:?} -- {} -- {}. \
+ Falling back to on-demand instantiation.",
+ g,
+ TransItem::DropGlue(g).to_raw_string(),
+ ccx.codegen_unit().name);
+
+ ccx.stats().n_fallback_instantiations.set(ccx.stats()
+ .n_fallback_instantiations
+ .get() + 1);
+ }
}
- let t = g.ty();
- let tcx = ccx.tcx();
- let sig = ty::FnSig {
- inputs: vec![tcx.mk_mut_ptr(tcx.types.i8)],
- output: ty::FnOutput::FnConverging(tcx.mk_nil()),
- variadic: false,
- };
- // Create a FnType for fn(*mut i8) and substitute the real type in
- // later - that prevents FnType from splitting fat pointers up.
- let mut fn_ty = FnType::new(ccx, Abi::Rust, &sig, &[]);
- fn_ty.args[0].original_ty = type_of(ccx, t).ptr_to();
- let llfnty = fn_ty.llvm_type(ccx);
-
- // To avoid infinite recursion, don't `make_drop_glue` until after we've
- // added the entry to the `drop_glues` cache.
- if let Some(old_sym) = ccx.available_drop_glues().borrow().get(&g) {
- let llfn = declare::declare_cfn(ccx, &old_sym, llfnty);
- ccx.drop_glues().borrow_mut().insert(g, llfn);
- return llfn;
- };
+ // FIXME: #34151
+ // Normally, getting here would indicate a bug in trans::collector,
+ // since it seems to have missed a translation item. When we are
+ // translating with non-MIR-based trans, however, the results of the
+ // collector are not entirely reliable since it bases its analysis
+ // on MIR. Thus, we'll instantiate the missing function on demand in
+ // this codegen unit, so that things keep working.
- let suffix = match g {
- DropGlueKind::Ty(_) => "drop",
- DropGlueKind::TyContents(_) => "drop_contents",
- };
+ TransItem::DropGlue(g).predefine(ccx, llvm::InternalLinkage);
+ TransItem::DropGlue(g).define(ccx);
- let fn_nm = symbol_names::internal_name_from_type_and_suffix(ccx, t, suffix);
- assert!(declare::get_defined_value(ccx, &fn_nm).is_none());
- let llfn = declare::declare_cfn(ccx, &fn_nm, llfnty);
- attributes::set_frame_pointer_elimination(ccx, llfn);
- ccx.available_drop_glues().borrow_mut().insert(g, fn_nm);
- ccx.drop_glues().borrow_mut().insert(g, llfn);
+ // Now that we made sure that the glue function is in ccx.drop_glues,
+ // give it another try
+ get_drop_glue_core(ccx, g)
+}
- let _s = StatRecorder::new(ccx, format!("drop {:?}", t));
+pub fn implement_drop_glue<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
+ g: DropGlueKind<'tcx>) {
+ let tcx = ccx.tcx();
+ assert_eq!(g.ty(), get_drop_glue_type(tcx, g.ty()));
+ let (llfn, fn_ty) = ccx.drop_glues().borrow().get(&g).unwrap().clone();
let (arena, fcx): (TypedArena<_>, FunctionContext);
arena = TypedArena::new();
let bcx = fcx.init(false, None);
- update_linkage(ccx, llfn, None, OriginalTranslation);
-
ccx.stats().n_glues_created.set(ccx.stats().n_glues_created.get() + 1);
// All glue functions take values passed *by alias*; this is a
// requirement since in many contexts glue is invoked indirectly and
let bcx = make_drop_glue(bcx, get_param(llfn, 0), g);
fcx.finish(bcx, DebugLoc::None);
-
- llfn
}
+
fn trans_struct_drop_flag<'blk, 'tcx>(mut bcx: Block<'blk, 'tcx>,
t: Ty<'tcx>,
struct_data: ValueRef)
fn make_drop_glue<'blk, 'tcx>(bcx: Block<'blk, 'tcx>, v0: ValueRef, g: DropGlueKind<'tcx>)
-> Block<'blk, 'tcx> {
- if collector::collecting_debug_information(bcx.ccx().shared()) {
- bcx.ccx()
- .record_translation_item_as_generated(TransItem::DropGlue(g));
- }
-
let t = g.ty();
let skip_dtor = match g { DropGlueKind::Ty(_) => false, DropGlueKind::TyContents(_) => true };
// option. This file may not be copied, modified, or distributed
// except according to those terms.
-use llvm::{AvailableExternallyLinkage, InternalLinkage, SetLinkage};
use middle::cstore::{FoundAst, InlinedItem};
use rustc::hir::def_id::DefId;
-use rustc::ty::subst::Substs;
-use base::{push_ctxt, trans_item, trans_fn};
-use callee::Callee;
+use base::push_ctxt;
use common::*;
+use monomorphize::Instance;
use rustc::dep_graph::DepNode;
use rustc::hir;
ccx.external_srcs().borrow_mut().insert(item.id, fn_id);
ccx.stats().n_inlines.set(ccx.stats().n_inlines.get() + 1);
- trans_item(ccx, item);
-
- if let hir::ItemFn(_, _, _, _, ref generics, _) = item.node {
- // Generics have no symbol, so they can't be given any linkage.
- if !generics.is_type_parameterized() {
- let linkage = if ccx.sess().opts.cg.codegen_units == 1 {
- // We could use AvailableExternallyLinkage here,
- // but InternalLinkage allows LLVM to optimize more
- // aggressively (at the cost of sometimes
- // duplicating code).
- InternalLinkage
- } else {
- // With multiple compilation units, duplicated code
- // is more of a problem. Also, `codegen_units > 1`
- // means the user is okay with losing some
- // performance.
- AvailableExternallyLinkage
- };
- let empty_substs = tcx.mk_substs(Substs::empty());
- let def_id = tcx.map.local_def_id(item.id);
- let llfn = Callee::def(ccx, def_id, empty_substs).reify(ccx).val;
- SetLinkage(llfn, linkage);
- }
- }
item.id
}
// don't.
trait_item.id
}
- FoundAst::Found(&InlinedItem::ImplItem(impl_did, ref impl_item)) => {
+ FoundAst::Found(&InlinedItem::ImplItem(_, ref impl_item)) => {
ccx.external().borrow_mut().insert(fn_id, Some(impl_item.id));
ccx.external_srcs().borrow_mut().insert(impl_item.id, fn_id);
ccx.stats().n_inlines.set(ccx.stats().n_inlines.get() + 1);
- // Translate monomorphic impl methods immediately.
- if let hir::ImplItemKind::Method(ref sig, ref body) = impl_item.node {
- let impl_tpt = tcx.lookup_item_type(impl_did);
- if impl_tpt.generics.types.is_empty() &&
- sig.generics.ty_params.is_empty() {
- let def_id = tcx.map.local_def_id(impl_item.id);
- let empty_substs = ccx.empty_substs_for_def_id(def_id);
- let llfn = Callee::def(ccx, def_id, empty_substs).reify(ccx).val;
- trans_fn(ccx,
- &sig.decl,
- body,
- llfn,
- empty_substs,
- impl_item.id);
- // See linkage comments on items.
- if ccx.sess().opts.cg.codegen_units == 1 {
- SetLinkage(llfn, InternalLinkage);
- } else {
- SetLinkage(llfn, AvailableExternallyLinkage);
- }
- }
- }
-
impl_item.id
}
};
pub fn maybe_instantiate_inline(ccx: &CrateContext, fn_id: DefId) -> DefId {
get_local_instance(ccx, fn_id).unwrap_or(fn_id)
}
+
+pub fn maybe_inline_instance<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
+ instance: Instance<'tcx>) -> Instance<'tcx> {
+ let def_id = maybe_instantiate_inline(ccx, instance.def);
+ Instance {
+ def: def_id,
+ substs: instance.substs
+ }
+}
mod mir;
mod monomorphize;
mod partitioning;
+mod symbol_map;
mod symbol_names_test;
mod trans_item;
mod tvec;
mod type_of;
mod value;
-#[derive(Copy, Clone)]
+#[derive(Clone)]
pub struct ModuleTranslation {
+ pub name: String,
pub llcx: llvm::ContextRef,
pub llmod: llvm::ModuleRef,
}
(OperandValue::Pair(a, b),
&mir::ProjectionElem::Field(ref f, ty)) => {
let llval = [a, b][f.index()];
- return OperandRef {
+ let op = OperandRef {
val: OperandValue::Immediate(llval),
ty: bcx.monomorphize(&ty)
};
+
+ // Handle nested pairs.
+ return op.unpack_if_pair(bcx);
}
_ => {}
}
use rustc::ty::{self, Ty, TypeFoldable, TyCtxt};
use attributes;
use base::{push_ctxt};
-use base::trans_fn;
use base;
use common::*;
use declare;
use rustc::hir;
-use syntax::attr;
use errors;
use std::fmt;
+use trans_item::TransItem;
pub fn monomorphic_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
fn_id: DefId,
psubsts: &'tcx subst::Substs<'tcx>)
-> (ValueRef, Ty<'tcx>) {
debug!("monomorphic_fn(fn_id={:?}, real_substs={:?})", fn_id, psubsts);
-
assert!(!psubsts.types.needs_infer() && !psubsts.types.has_param_types());
let _icx = push_ctxt("monomorphic_fn");
if let Some(&val) = ccx.instances().borrow().get(&instance) {
debug!("leaving monomorphic fn {:?}", instance);
return (val, mono_ty);
+ } else {
+ assert!(!ccx.codegen_unit().items.contains_key(&TransItem::Fn(instance)));
}
debug!("monomorphic_fn({:?})", instance);
monomorphizing.insert(fn_id, depth + 1);
}
- let symbol = instance.symbol_name(ccx.shared());
+ let symbol = ccx.symbol_map().get_or_compute(ccx.shared(),
+ TransItem::Fn(instance));
- debug!("monomorphize_fn mangled to {}", symbol);
+ debug!("monomorphize_fn mangled to {}", &symbol);
assert!(declare::get_defined_value(ccx, &symbol).is_none());
// FIXME(nagisa): perhaps needs a more fine grained selection?
});
match map_node {
hir_map::NodeItem(&hir::Item {
- ref attrs, node: hir::ItemFn(ref decl, _, _, _, _, ref body), ..
- }) |
- hir_map::NodeTraitItem(&hir::TraitItem {
- ref attrs, node: hir::MethodTraitItem(
- hir::MethodSig { ref decl, .. }, Some(ref body)), ..
+ ref attrs,
+ node: hir::ItemFn(..), ..
}) |
hir_map::NodeImplItem(&hir::ImplItem {
ref attrs, node: hir::ImplItemKind::Method(
- hir::MethodSig { ref decl, .. }, ref body), ..
+ hir::MethodSig { .. }, _), ..
+ }) |
+ hir_map::NodeTraitItem(&hir::TraitItem {
+ ref attrs, node: hir::MethodTraitItem(
+ hir::MethodSig { .. }, Some(_)), ..
}) => {
- attributes::from_fn_attrs(ccx, attrs, lldecl);
-
- let is_first = !ccx.available_monomorphizations().borrow()
- .contains(&symbol);
- if is_first {
- ccx.available_monomorphizations().borrow_mut().insert(symbol.clone());
- }
+ let trans_item = TransItem::Fn(instance);
- let trans_everywhere = attr::requests_inline(attrs);
- if trans_everywhere || is_first {
- let origin = if is_first { base::OriginalTranslation } else { base::InlinedCopy };
- base::update_linkage(ccx, lldecl, None, origin);
- trans_fn(ccx, decl, body, lldecl, psubsts, fn_node_id);
- } else {
- // We marked the value as using internal linkage earlier, but that is illegal for
- // declarations, so switch back to external linkage.
+ if ccx.shared().translation_items().borrow().contains(&trans_item) {
+ attributes::from_fn_attrs(ccx, attrs, lldecl);
llvm::SetLinkage(lldecl, llvm::ExternalLinkage);
+ } else {
+ // FIXME: #34151
+ // Normally, getting here would indicate a bug in trans::collector,
+ // since it seems to have missed a translation item. When we are
+ // translating with non-MIR based trans, however, the results of
+ // the collector are not entirely reliable since it bases its
+ // analysis on MIR. Thus, we'll instantiate the missing function
+ // privately in this codegen unit, so that things keep working.
+ ccx.stats().n_fallback_instantiations.set(ccx.stats()
+ .n_fallback_instantiations
+ .get() + 1);
+ trans_item.predefine(ccx, llvm::InternalLinkage);
+ trans_item.define(ccx);
}
}
use monomorphize;
use rustc::hir::def_id::DefId;
use rustc::hir::map::DefPathData;
+use rustc::session::config::NUMBERED_CODEGEN_UNIT_MARKER;
use rustc::ty::TyCtxt;
use rustc::ty::item_path::characteristic_def_id_of_type;
+use std::cmp::Ordering;
+use symbol_map::SymbolMap;
+use syntax::ast::NodeId;
use syntax::parse::token::{self, InternedString};
use trans_item::TransItem;
-use util::nodemap::{FnvHashMap, FnvHashSet};
-
-pub struct CodegenUnit<'tcx> {
- pub name: InternedString,
- pub items: FnvHashMap<TransItem<'tcx>, llvm::Linkage>,
-}
+use util::nodemap::{FnvHashMap, FnvHashSet, NodeSet};
pub enum PartitioningStrategy {
/// Generate one codegen unit per source-level module.
FixedUnitCount(usize)
}
+pub struct CodegenUnit<'tcx> {
+ pub name: InternedString,
+ pub items: FnvHashMap<TransItem<'tcx>, llvm::Linkage>,
+}
+
+impl<'tcx> CodegenUnit<'tcx> {
+ pub fn items_in_deterministic_order(&self,
+ tcx: TyCtxt,
+ symbol_map: &SymbolMap)
+ -> Vec<(TransItem<'tcx>, llvm::Linkage)> {
+ let mut items: Vec<(TransItem<'tcx>, llvm::Linkage)> =
+ self.items.iter().map(|(item, linkage)| (*item, *linkage)).collect();
+
+ // The codegen tests rely on items being process in the same order as
+ // they appear in the file, so for local items, we sort by node_id first
+ items.sort_by(|&(trans_item1, _), &(trans_item2, _)| {
+ let node_id1 = local_node_id(tcx, trans_item1);
+ let node_id2 = local_node_id(tcx, trans_item2);
+
+ match (node_id1, node_id2) {
+ (None, None) => {
+ let symbol_name1 = symbol_map.get(trans_item1).unwrap();
+ let symbol_name2 = symbol_map.get(trans_item2).unwrap();
+ symbol_name1.cmp(symbol_name2)
+ }
+ // In the following two cases we can avoid looking up the symbol
+ (None, Some(_)) => Ordering::Less,
+ (Some(_), None) => Ordering::Greater,
+ (Some(node_id1), Some(node_id2)) => {
+ let ordering = node_id1.cmp(&node_id2);
+
+ if ordering != Ordering::Equal {
+ return ordering;
+ }
+
+ let symbol_name1 = symbol_map.get(trans_item1).unwrap();
+ let symbol_name2 = symbol_map.get(trans_item2).unwrap();
+ symbol_name1.cmp(symbol_name2)
+ }
+ }
+ });
+
+ return items;
+
+ fn local_node_id(tcx: TyCtxt, trans_item: TransItem) -> Option<NodeId> {
+ match trans_item {
+ TransItem::Fn(instance) => {
+ tcx.map.as_local_node_id(instance.def)
+ }
+ TransItem::Static(node_id) => Some(node_id),
+ TransItem::DropGlue(_) => None,
+ }
+ }
+ }
+}
+
+
// Anything we can't find a proper codegen unit for goes into this.
const FALLBACK_CODEGEN_UNIT: &'static str = "__rustc_fallback_codegen_unit";
pub fn partition<'a, 'tcx, I>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
trans_items: I,
strategy: PartitioningStrategy,
- inlining_map: &InliningMap<'tcx>)
+ inlining_map: &InliningMap<'tcx>,
+ reachable: &NodeSet)
-> Vec<CodegenUnit<'tcx>>
where I: Iterator<Item = TransItem<'tcx>>
{
+ if let PartitioningStrategy::FixedUnitCount(1) = strategy {
+ // If there is only a single codegen-unit, we can use a very simple
+ // scheme and don't have to bother with doing much analysis.
+ return vec![single_codegen_unit(tcx, trans_items, reachable)];
+ }
+
// In the first step, we place all regular translation items into their
// respective 'home' codegen unit. Regular translation items are all
// functions and statics defined in the local crate.
- let mut initial_partitioning = place_root_translation_items(tcx, trans_items);
+ let mut initial_partitioning = place_root_translation_items(tcx,
+ trans_items,
+ reachable);
+
+ debug_dump(tcx, "INITIAL PARTITONING:", initial_partitioning.codegen_units.iter());
// If the partitioning should produce a fixed count of codegen units, merge
// until that count is reached.
if let PartitioningStrategy::FixedUnitCount(count) = strategy {
merge_codegen_units(&mut initial_partitioning, count, &tcx.crate_name[..]);
+
+ debug_dump(tcx, "POST MERGING:", initial_partitioning.codegen_units.iter());
}
// In the next step, we use the inlining map to determine which addtional
// local functions the definition of which is marked with #[inline].
let post_inlining = place_inlined_translation_items(initial_partitioning,
inlining_map);
- post_inlining.0
+
+ debug_dump(tcx, "POST INLINING:", post_inlining.0.iter());
+
+ // Finally, sort by codegen unit name, so that we get deterministic results
+ let mut result = post_inlining.0;
+ result.sort_by(|cgu1, cgu2| {
+ (&cgu1.name[..]).cmp(&cgu2.name[..])
+ });
+
+ result
}
struct PreInliningPartitioning<'tcx> {
struct PostInliningPartitioning<'tcx>(Vec<CodegenUnit<'tcx>>);
fn place_root_translation_items<'a, 'tcx, I>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
- trans_items: I)
+ trans_items: I,
+ _reachable: &NodeSet)
-> PreInliningPartitioning<'tcx>
where I: Iterator<Item = TransItem<'tcx>>
{
let mut codegen_units = FnvHashMap();
for trans_item in trans_items {
- let is_root = match trans_item {
- TransItem::Static(..) => true,
- TransItem::DropGlue(..) => false,
- TransItem::Fn(_) => !trans_item.is_from_extern_crate(),
- };
+ let is_root = !trans_item.is_instantiated_only_on_demand();
if is_root {
let characteristic_def_id = characteristic_def_id_of_trans_item(tcx, trans_item);
- let is_volatile = trans_item.is_lazily_instantiated();
+ let is_volatile = trans_item.is_generic_fn();
let codegen_unit_name = match characteristic_def_id {
Some(def_id) => compute_codegen_unit_name(tcx, def_id, is_volatile),
TransItem::Static(..) => llvm::ExternalLinkage,
TransItem::DropGlue(..) => unreachable!(),
// Is there any benefit to using ExternalLinkage?:
- TransItem::Fn(..) => llvm::WeakODRLinkage,
+ TransItem::Fn(ref instance) => {
+ if instance.substs.types.is_empty() {
+ // This is a non-generic functions, we always
+ // make it visible externally on the chance that
+ // it might be used in another codegen unit.
+ llvm::ExternalLinkage
+ } else {
+ // In the current setup, generic functions cannot
+ // be roots.
+ unreachable!()
+ }
+ }
}
}
};
// translation items in a given unit. This could be improved on.
while codegen_units.len() > target_cgu_count {
// Sort small cgus to the back
- codegen_units.as_mut_slice().sort_by_key(|cgu| -(cgu.items.len() as i64));
+ codegen_units.sort_by_key(|cgu| -(cgu.items.len() as i64));
let smallest = codegen_units.pop().unwrap();
let second_smallest = codegen_units.last_mut().unwrap();
items: FnvHashMap()
});
}
-
- fn numbered_codegen_unit_name(crate_name: &str, index: usize) -> InternedString {
- token::intern_and_get_ident(&format!("{}.{}", crate_name, index)[..])
- }
}
fn place_inlined_translation_items<'tcx>(initial_partitioning: PreInliningPartitioning<'tcx>,
if let Some(linkage) = codegen_unit.items.get(&trans_item) {
// This is a root, just copy it over
new_codegen_unit.items.insert(trans_item, *linkage);
+ } else if initial_partitioning.roots.contains(&trans_item) {
+ // This item will be instantiated in some other codegen unit,
+ // so we just add it here with AvailableExternallyLinkage
+ // FIXME(mw): I have not seen it happening yet but having
+ // available_externally here could potentially lead
+ // to the same problem with exception handling tables
+ // as in the case below.
+ new_codegen_unit.items.insert(trans_item,
+ llvm::AvailableExternallyLinkage);
+ } else if trans_item.is_from_extern_crate() && !trans_item.is_generic_fn() {
+ // FIXME(mw): It would be nice if we could mark these as
+ // `AvailableExternallyLinkage`, since they should have
+ // been instantiated in the extern crate. But this
+ // sometimes leads to crashes on Windows because LLVM
+ // does not handle exception handling table instantiation
+ // reliably in that case.
+ new_codegen_unit.items.insert(trans_item, llvm::InternalLinkage);
} else {
- if initial_partitioning.roots.contains(&trans_item) {
- // This item will be instantiated in some other codegen unit,
- // so we just add it here with AvailableExternallyLinkage
- new_codegen_unit.items.insert(trans_item,
- llvm::AvailableExternallyLinkage);
- } else {
- // We can't be sure if this will also be instantiated
- // somewhere else, so we add an instance here with
- // LinkOnceODRLinkage. That way the item can be discarded if
- // it's not needed (inlined) after all.
- new_codegen_unit.items.insert(trans_item,
- llvm::LinkOnceODRLinkage);
- }
+ assert!(trans_item.is_instantiated_only_on_demand());
+ // We can't be sure if this will also be instantiated
+ // somewhere else, so we add an instance here with
+ // InternalLinkage so we don't get any conflicts.
+ new_codegen_unit.items.insert(trans_item,
+ llvm::InternalLinkage);
}
}
return token::intern_and_get_ident(&mod_path[..]);
}
+
+fn single_codegen_unit<'a, 'tcx, I>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
+ trans_items: I,
+ reachable: &NodeSet)
+ -> CodegenUnit<'tcx>
+ where I: Iterator<Item = TransItem<'tcx>>
+{
+ let mut items = FnvHashMap();
+
+ for trans_item in trans_items {
+ let linkage = trans_item.explicit_linkage(tcx).unwrap_or_else(|| {
+ match trans_item {
+ TransItem::Static(node_id) => {
+ if reachable.contains(&node_id) {
+ llvm::ExternalLinkage
+ } else {
+ llvm::PrivateLinkage
+ }
+ }
+ TransItem::DropGlue(_) => {
+ llvm::InternalLinkage
+ }
+ TransItem::Fn(instance) => {
+ if trans_item.is_generic_fn() {
+ // FIXME(mw): Assigning internal linkage to all
+ // monomorphizations is potentially a waste of space
+ // since monomorphizations could be shared between
+ // crates. The main reason for making them internal is
+ // a limitation in MingW's binutils that cannot deal
+ // with COFF object that have more than 2^15 sections,
+ // which is something that can happen for large programs
+ // when every function gets put into its own COMDAT
+ // section.
+ llvm::InternalLinkage
+ } else if trans_item.is_from_extern_crate() {
+ // FIXME(mw): It would be nice if we could mark these as
+ // `AvailableExternallyLinkage`, since they should have
+ // been instantiated in the extern crate. But this
+ // sometimes leads to crashes on Windows because LLVM
+ // does not handle exception handling table instantiation
+ // reliably in that case.
+ llvm::InternalLinkage
+ } else if reachable.contains(&tcx.map
+ .as_local_node_id(instance.def)
+ .unwrap()) {
+ llvm::ExternalLinkage
+ } else {
+ // Functions that are not visible outside this crate can
+ // be marked as internal.
+ llvm::InternalLinkage
+ }
+ }
+ }
+ });
+
+ items.insert(trans_item, linkage);
+ }
+
+ CodegenUnit {
+ name: numbered_codegen_unit_name(&tcx.crate_name[..], 0),
+ items: items
+ }
+}
+
+fn numbered_codegen_unit_name(crate_name: &str, index: usize) -> InternedString {
+ token::intern_and_get_ident(&format!("{}{}{}",
+ crate_name,
+ NUMBERED_CODEGEN_UNIT_MARKER,
+ index)[..])
+}
+
+fn debug_dump<'a, 'b, 'tcx, I>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
+ label: &str,
+ cgus: I)
+ where I: Iterator<Item=&'b CodegenUnit<'tcx>>,
+ 'tcx: 'a + 'b
+{
+ if cfg!(debug_assertions) {
+ debug!("{}", label);
+ for cgu in cgus {
+ debug!("CodegenUnit {}:", cgu.name);
+
+ for (trans_item, linkage) in &cgu.items {
+ debug!(" - {} [{:?}]", trans_item.to_string(tcx), linkage);
+ }
+
+ debug!("");
+ }
+ }
+}
--- /dev/null
+// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
+// 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.
+
+use context::SharedCrateContext;
+use monomorphize::Instance;
+use rustc::ty::TyCtxt;
+use std::borrow::Cow;
+use syntax::codemap::Span;
+use trans_item::TransItem;
+use util::nodemap::FnvHashMap;
+
+// In the SymbolMap we collect the symbol names of all translation items of
+// the current crate. This map exists as a performance optimization. Symbol
+// names of translation items are deterministic and fully defined by the item.
+// Thus they could also always be recomputed if needed.
+
+pub struct SymbolMap<'tcx> {
+ index: FnvHashMap<TransItem<'tcx>, (usize, usize)>,
+ arena: String,
+}
+
+impl<'tcx> SymbolMap<'tcx> {
+
+ pub fn build<'a, I>(scx: &SharedCrateContext<'a, 'tcx>,
+ trans_items: I)
+ -> SymbolMap<'tcx>
+ where I: Iterator<Item=TransItem<'tcx>>
+ {
+ // Check for duplicate symbol names
+ let mut symbols: Vec<_> = trans_items.map(|trans_item| {
+ (trans_item, trans_item.compute_symbol_name(scx))
+ }).collect();
+
+ (&mut symbols[..]).sort_by(|&(_, ref sym1), &(_, ref sym2)|{
+ sym1.cmp(sym2)
+ });
+
+ for pair in (&symbols[..]).windows(2) {
+ let sym1 = &pair[0].1;
+ let sym2 = &pair[1].1;
+
+ if *sym1 == *sym2 {
+ let trans_item1 = pair[0].0;
+ let trans_item2 = pair[1].0;
+
+ let span1 = get_span(scx.tcx(), trans_item1);
+ let span2 = get_span(scx.tcx(), trans_item2);
+
+ // Deterministically select one of the spans for error reporting
+ let span = match (span1, span2) {
+ (Some(span1), Some(span2)) => {
+ Some(if span1.lo.0 > span2.lo.0 {
+ span1
+ } else {
+ span2
+ })
+ }
+ (Some(span), None) |
+ (None, Some(span)) => Some(span),
+ _ => None
+ };
+
+ let error_message = format!("symbol `{}` is already defined", sym1);
+
+ if let Some(span) = span {
+ scx.sess().span_fatal(span, &error_message)
+ } else {
+ scx.sess().fatal(&error_message)
+ }
+ }
+ }
+
+ let mut symbol_map = SymbolMap {
+ index: FnvHashMap(),
+ arena: String::with_capacity(1024),
+ };
+
+ for (trans_item, symbol) in symbols {
+ let start_index = symbol_map.arena.len();
+ symbol_map.arena.push_str(&symbol[..]);
+ let end_index = symbol_map.arena.len();
+ let prev_entry = symbol_map.index.insert(trans_item,
+ (start_index, end_index));
+ if prev_entry.is_some() {
+ bug!("TransItem encountered twice?")
+ }
+ }
+
+ fn get_span<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
+ trans_item: TransItem<'tcx>) -> Option<Span> {
+ match trans_item {
+ TransItem::Fn(Instance { def, .. }) => {
+ tcx.map.as_local_node_id(def)
+ }
+ TransItem::Static(node_id) => Some(node_id),
+ TransItem::DropGlue(_) => None,
+ }.map(|node_id| {
+ tcx.map.span(node_id)
+ })
+ }
+
+ symbol_map
+ }
+
+ pub fn get(&self, trans_item: TransItem<'tcx>) -> Option<&str> {
+ self.index.get(&trans_item).map(|&(start_index, end_index)| {
+ &self.arena[start_index .. end_index]
+ })
+ }
+
+ pub fn get_or_compute<'map, 'scx>(&'map self,
+ scx: &SharedCrateContext<'scx, 'tcx>,
+ trans_item: TransItem<'tcx>)
+ -> Cow<'map, str> {
+ if let Some(sym) = self.get(trans_item) {
+ Cow::from(sym)
+ } else {
+ Cow::from(trans_item.compute_symbol_name(scx))
+ }
+ }
+}
use syntax::ast;
use syntax::attr::AttrMetaMethods;
-use common::CrateContext;
+use common::SharedCrateContext;
use monomorphize::Instance;
const SYMBOL_NAME: &'static str = "rustc_symbol_name";
const ITEM_PATH: &'static str = "rustc_item_path";
-pub fn report_symbol_names(ccx: &CrateContext) {
+pub fn report_symbol_names(scx: &SharedCrateContext) {
// if the `rustc_attrs` feature is not enabled, then the
// attributes we are interested in cannot be present anyway, so
// skip the walk.
- let tcx = ccx.tcx();
+ let tcx = scx.tcx();
if !tcx.sess.features.borrow().rustc_attrs {
return;
}
let _ignore = tcx.dep_graph.in_ignore();
- let mut visitor = SymbolNamesTest { ccx: ccx };
+ let mut visitor = SymbolNamesTest { scx: scx };
tcx.map.krate().visit_all_items(&mut visitor);
}
struct SymbolNamesTest<'a, 'tcx:'a> {
- ccx: &'a CrateContext<'a, 'tcx>,
+ scx: &'a SharedCrateContext<'a, 'tcx>,
}
impl<'a, 'tcx> SymbolNamesTest<'a, 'tcx> {
fn process_attrs(&mut self,
node_id: ast::NodeId) {
- let tcx = self.ccx.tcx();
+ let tcx = self.scx.tcx();
let def_id = tcx.map.local_def_id(node_id);
for attr in tcx.get_attrs(def_id).iter() {
if attr.check_name(SYMBOL_NAME) {
// for now, can only use on monomorphic names
- let instance = Instance::mono(self.ccx.shared(), def_id);
- let name = instance.symbol_name(self.ccx.shared());
+ let instance = Instance::mono(self.scx, def_id);
+ let name = instance.symbol_name(self.scx);
tcx.sess.span_err(attr.span, &format!("symbol-name({})", name));
} else if attr.check_name(ITEM_PATH) {
let path = tcx.item_path_str(def_id);
//! item-path. This is used for unit testing the code that generates
//! paths etc in all kinds of annoying scenarios.
-use base::llvm_linkage_by_name;
+use attributes;
+use base;
+use consts;
+use context::{CrateContext, SharedCrateContext};
+use declare;
use glue::DropGlueKind;
use llvm;
-use monomorphize::Instance;
+use monomorphize::{self, Instance};
+use inline;
use rustc::hir;
+use rustc::hir::map as hir_map;
use rustc::hir::def_id::DefId;
-use rustc::ty::{self, Ty, TyCtxt};
+use rustc::ty::{self, Ty, TyCtxt, TypeFoldable};
use rustc::ty::subst;
use std::hash::{Hash, Hasher};
use syntax::ast::{self, NodeId};
-use syntax::attr;
+use syntax::{attr,errors};
use syntax::parse::token;
+use type_of;
+use glue;
+use abi::{Abi, FnType};
+use back::symbol_names;
#[derive(PartialEq, Eq, Clone, Copy, Debug)]
pub enum TransItem<'tcx> {
}
}
+impl<'a, 'tcx> TransItem<'tcx> {
+
+ pub fn define(&self, ccx: &CrateContext<'a, 'tcx>) {
+
+ debug!("BEGIN IMPLEMENTING '{} ({})' in cgu {}",
+ self.to_string(ccx.tcx()),
+ self.to_raw_string(),
+ ccx.codegen_unit().name);
+
+ match *self {
+ TransItem::Static(node_id) => {
+ let item = ccx.tcx().map.expect_item(node_id);
+ if let hir::ItemStatic(_, m, ref expr) = item.node {
+ match consts::trans_static(&ccx, m, expr, item.id, &item.attrs) {
+ Ok(_) => { /* Cool, everything's alright. */ },
+ Err(err) => ccx.tcx().sess.span_fatal(expr.span, &err.description()),
+ };
+ } else {
+ span_bug!(item.span, "Mismatch between hir::Item type and TransItem type")
+ }
+ }
+ TransItem::Fn(instance) => {
+ base::trans_instance(&ccx, instance);
+ }
+ TransItem::DropGlue(dg) => {
+ glue::implement_drop_glue(&ccx, dg);
+ }
+ }
+
+ debug!("END IMPLEMENTING '{} ({})' in cgu {}",
+ self.to_string(ccx.tcx()),
+ self.to_raw_string(),
+ ccx.codegen_unit().name);
+ }
+
+ pub fn predefine(&self,
+ ccx: &CrateContext<'a, 'tcx>,
+ linkage: llvm::Linkage) {
+ debug!("BEGIN PREDEFINING '{} ({})' in cgu {}",
+ self.to_string(ccx.tcx()),
+ self.to_raw_string(),
+ ccx.codegen_unit().name);
+
+ let symbol_name = ccx.symbol_map()
+ .get_or_compute(ccx.shared(), *self);
+
+ debug!("symbol {}", &symbol_name);
+
+ match *self {
+ TransItem::Static(node_id) => {
+ TransItem::predefine_static(ccx, node_id, linkage, &symbol_name);
+ }
+ TransItem::Fn(instance) => {
+ TransItem::predefine_fn(ccx, instance, linkage, &symbol_name);
+ }
+ TransItem::DropGlue(dg) => {
+ TransItem::predefine_drop_glue(ccx, dg, linkage, &symbol_name);
+ }
+ }
+
+ debug!("END PREDEFINING '{} ({})' in cgu {}",
+ self.to_string(ccx.tcx()),
+ self.to_raw_string(),
+ ccx.codegen_unit().name);
+ }
+
+ fn predefine_static(ccx: &CrateContext<'a, 'tcx>,
+ node_id: ast::NodeId,
+ linkage: llvm::Linkage,
+ symbol_name: &str) {
+ let def_id = ccx.tcx().map.local_def_id(node_id);
+ let ty = ccx.tcx().lookup_item_type(def_id).ty;
+ let llty = type_of::type_of(ccx, ty);
+
+ match ccx.tcx().map.get(node_id) {
+ hir::map::NodeItem(&hir::Item {
+ span, node: hir::ItemStatic(..), ..
+ }) => {
+ let g = declare::define_global(ccx, symbol_name, llty).unwrap_or_else(|| {
+ ccx.sess().span_fatal(span,
+ &format!("symbol `{}` is already defined", symbol_name))
+ });
+
+ llvm::SetLinkage(g, linkage);
+ }
+
+ item => bug!("predefine_static: expected static, found {:?}", item)
+ }
+ }
+
+ fn predefine_fn(ccx: &CrateContext<'a, 'tcx>,
+ instance: Instance<'tcx>,
+ linkage: llvm::Linkage,
+ symbol_name: &str) {
+ assert!(!instance.substs.types.needs_infer() &&
+ !instance.substs.types.has_param_types());
+
+ let instance = inline::maybe_inline_instance(ccx, instance);
+
+ let item_ty = ccx.tcx().lookup_item_type(instance.def).ty;
+ let item_ty = ccx.tcx().erase_regions(&item_ty);
+ let mono_ty = monomorphize::apply_param_substs(ccx.tcx(), instance.substs, &item_ty);
+
+ let fn_node_id = ccx.tcx().map.as_local_node_id(instance.def).unwrap();
+ let map_node = errors::expect(
+ ccx.sess().diagnostic(),
+ ccx.tcx().map.find(fn_node_id),
+ || {
+ format!("while instantiating `{}`, couldn't find it in \
+ the item map (may have attempted to monomorphize \
+ an item defined in a different crate?)",
+ instance)
+ });
+
+ match map_node {
+ hir_map::NodeItem(&hir::Item {
+ ref attrs, node: hir::ItemFn(..), ..
+ }) |
+ hir_map::NodeTraitItem(&hir::TraitItem {
+ ref attrs, node: hir::MethodTraitItem(..), ..
+ }) |
+ hir_map::NodeImplItem(&hir::ImplItem {
+ ref attrs, node: hir::ImplItemKind::Method(..), ..
+ }) => {
+ let lldecl = declare::declare_fn(ccx, symbol_name, mono_ty);
+ llvm::SetLinkage(lldecl, linkage);
+ base::set_link_section(ccx, lldecl, attrs);
+ if linkage == llvm::LinkOnceODRLinkage ||
+ linkage == llvm::WeakODRLinkage {
+ llvm::SetUniqueComdat(ccx.llmod(), lldecl);
+ }
+
+ attributes::from_fn_attrs(ccx, attrs, lldecl);
+ ccx.instances().borrow_mut().insert(instance, lldecl);
+ }
+ _ => bug!("Invalid item for TransItem::Fn: `{:?}`", map_node)
+ };
+
+ }
+
+ fn predefine_drop_glue(ccx: &CrateContext<'a, 'tcx>,
+ dg: glue::DropGlueKind<'tcx>,
+ linkage: llvm::Linkage,
+ symbol_name: &str) {
+ let tcx = ccx.tcx();
+ assert_eq!(dg.ty(), glue::get_drop_glue_type(tcx, dg.ty()));
+ let t = dg.ty();
+
+ let sig = ty::FnSig {
+ inputs: vec![tcx.mk_mut_ptr(tcx.types.i8)],
+ output: ty::FnOutput::FnConverging(tcx.mk_nil()),
+ variadic: false,
+ };
+
+ // Create a FnType for fn(*mut i8) and substitute the real type in
+ // later - that prevents FnType from splitting fat pointers up.
+ let mut fn_ty = FnType::new(ccx, Abi::Rust, &sig, &[]);
+ fn_ty.args[0].original_ty = type_of::type_of(ccx, t).ptr_to();
+ let llfnty = fn_ty.llvm_type(ccx);
+
+ assert!(declare::get_defined_value(ccx, symbol_name).is_none());
+ let llfn = declare::declare_cfn(ccx, symbol_name, llfnty);
+ llvm::SetLinkage(llfn, linkage);
+ if linkage == llvm::LinkOnceODRLinkage ||
+ linkage == llvm::WeakODRLinkage {
+ llvm::SetUniqueComdat(ccx.llmod(), llfn);
+ }
+ attributes::set_frame_pointer_elimination(ccx, llfn);
+ ccx.drop_glues().borrow_mut().insert(dg, (llfn, fn_ty));
+ }
+
+ pub fn compute_symbol_name(&self,
+ scx: &SharedCrateContext<'a, 'tcx>) -> String {
+ match *self {
+ TransItem::Fn(instance) => instance.symbol_name(scx),
+ TransItem::Static(node_id) => {
+ let def_id = scx.tcx().map.local_def_id(node_id);
+ Instance::mono(scx, def_id).symbol_name(scx)
+ }
+ TransItem::DropGlue(dg) => {
+ let prefix = match dg {
+ DropGlueKind::Ty(_) => "drop",
+ DropGlueKind::TyContents(_) => "drop_contents",
+ };
+ symbol_names::exported_name_from_type_and_prefix(scx, dg.ty(), prefix)
+ }
+ }
+ }
+
+ pub fn requests_inline(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> bool {
+ match *self {
+ TransItem::Fn(ref instance) => {
+ !instance.substs.types.is_empty() || {
+ let attributes = tcx.get_attrs(instance.def);
+ attr::requests_inline(&attributes[..])
+ }
+ }
+ TransItem::DropGlue(..) => true,
+ TransItem::Static(..) => false,
+ }
+ }
+
+ pub fn is_from_extern_crate(&self) -> bool {
+ match *self {
+ TransItem::Fn(ref instance) => !instance.def.is_local(),
+ TransItem::DropGlue(..) |
+ TransItem::Static(..) => false,
+ }
+ }
+
+ pub fn is_instantiated_only_on_demand(&self) -> bool {
+ match *self {
+ TransItem::Fn(ref instance) => !instance.def.is_local() ||
+ !instance.substs.types.is_empty(),
+ TransItem::DropGlue(..) => true,
+ TransItem::Static(..) => false,
+ }
+ }
+
+ pub fn is_generic_fn(&self) -> bool {
+ match *self {
+ TransItem::Fn(ref instance) => !instance.substs.types.is_empty(),
+ TransItem::DropGlue(..) |
+ TransItem::Static(..) => false,
+ }
+ }
+
+ pub fn explicit_linkage(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> Option<llvm::Linkage> {
+ let def_id = match *self {
+ TransItem::Fn(ref instance) => instance.def,
+ TransItem::Static(node_id) => tcx.map.local_def_id(node_id),
+ TransItem::DropGlue(..) => return None,
+ };
+
+ let attributes = tcx.get_attrs(def_id);
+ if let Some(name) = attr::first_attr_value_str_by_name(&attributes, "linkage") {
+ if let Some(linkage) = base::llvm_linkage_by_name(&name) {
+ Some(linkage)
+ } else {
+ let span = tcx.map.span_if_local(def_id);
+ if let Some(span) = span {
+ tcx.sess.span_fatal(span, "invalid linkage specified")
+ } else {
+ tcx.sess.fatal(&format!("invalid linkage specified: {}", name))
+ }
+ }
+ } else {
+ None
+ }
+ }
+
+ pub fn to_string(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> String {
+ let hir_map = &tcx.map;
+
+ return match *self {
+ TransItem::DropGlue(dg) => {
+ let mut s = String::with_capacity(32);
+ match dg {
+ DropGlueKind::Ty(_) => s.push_str("drop-glue "),
+ DropGlueKind::TyContents(_) => s.push_str("drop-glue-contents "),
+ };
+ push_unique_type_name(tcx, dg.ty(), &mut s);
+ s
+ }
+ TransItem::Fn(instance) => {
+ to_string_internal(tcx, "fn ", instance)
+ },
+ TransItem::Static(node_id) => {
+ let def_id = hir_map.local_def_id(node_id);
+ let instance = Instance::new(def_id,
+ tcx.mk_substs(subst::Substs::empty()));
+ to_string_internal(tcx, "static ", instance)
+ },
+ };
+
+ fn to_string_internal<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
+ prefix: &str,
+ instance: Instance<'tcx>)
+ -> String {
+ let mut result = String::with_capacity(32);
+ result.push_str(prefix);
+ push_instance_as_string(tcx, instance, &mut result);
+ result
+ }
+ }
+
+ pub fn to_raw_string(&self) -> String {
+ match *self {
+ TransItem::DropGlue(dg) => {
+ let prefix = match dg {
+ DropGlueKind::Ty(_) => "Ty",
+ DropGlueKind::TyContents(_) => "TyContents",
+ };
+ format!("DropGlue({}: {})", prefix, dg.ty() as *const _ as usize)
+ }
+ TransItem::Fn(instance) => {
+ format!("Fn({:?}, {})",
+ instance.def,
+ instance.substs as *const _ as usize)
+ }
+ TransItem::Static(id) => {
+ format!("Static({:?})", id)
+ }
+ }
+ }
+}
+
+
//=-----------------------------------------------------------------------------
// TransItem String Keys
//=-----------------------------------------------------------------------------
push_unique_type_name(tcx, ty, &mut output);
output
}
-
-impl<'tcx> TransItem<'tcx> {
-
- pub fn requests_inline<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> bool {
- match *self {
- TransItem::Fn(ref instance) => {
- let attributes = tcx.get_attrs(instance.def);
- attr::requests_inline(&attributes[..])
- }
- TransItem::DropGlue(..) => true,
- TransItem::Static(..) => false,
- }
- }
-
- pub fn is_from_extern_crate(&self) -> bool {
- match *self {
- TransItem::Fn(ref instance) => !instance.def.is_local(),
- TransItem::DropGlue(..) |
- TransItem::Static(..) => false,
- }
- }
-
- pub fn is_lazily_instantiated(&self) -> bool {
- match *self {
- TransItem::Fn(ref instance) => !instance.substs.types.is_empty(),
- TransItem::DropGlue(..) => true,
- TransItem::Static(..) => false,
- }
- }
-
- pub fn explicit_linkage<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> Option<llvm::Linkage> {
- let def_id = match *self {
- TransItem::Fn(ref instance) => instance.def,
- TransItem::Static(node_id) => tcx.map.local_def_id(node_id),
- TransItem::DropGlue(..) => return None,
- };
-
- let attributes = tcx.get_attrs(def_id);
- if let Some(name) = attr::first_attr_value_str_by_name(&attributes, "linkage") {
- if let Some(linkage) = llvm_linkage_by_name(&name) {
- Some(linkage)
- } else {
- let span = tcx.map.span_if_local(def_id);
- if let Some(span) = span {
- tcx.sess.span_fatal(span, "invalid linkage specified")
- } else {
- tcx.sess.fatal(&format!("invalid linkage specified: {}", name))
- }
- }
- } else {
- None
- }
- }
-
- pub fn to_string<'a>(&self, tcx: TyCtxt<'a, 'tcx, 'tcx>) -> String {
- let hir_map = &tcx.map;
-
- return match *self {
- TransItem::DropGlue(dg) => {
- let mut s = String::with_capacity(32);
- match dg {
- DropGlueKind::Ty(_) => s.push_str("drop-glue "),
- DropGlueKind::TyContents(_) => s.push_str("drop-glue-contents "),
- };
- push_unique_type_name(tcx, dg.ty(), &mut s);
- s
- }
- TransItem::Fn(instance) => {
- to_string_internal(tcx, "fn ", instance)
- },
- TransItem::Static(node_id) => {
- let def_id = hir_map.local_def_id(node_id);
- let empty_substs = tcx.mk_substs(subst::Substs::empty());
- let instance = Instance::new(def_id, empty_substs);
- to_string_internal(tcx, "static ", instance)
- },
- };
-
- fn to_string_internal<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
- prefix: &str,
- instance: Instance<'tcx>)
- -> String {
- let mut result = String::with_capacity(32);
- result.push_str(prefix);
- push_instance_as_string(tcx, instance, &mut result);
- result
- }
- }
-
- pub fn to_raw_string(&self) -> String {
- match *self {
- TransItem::DropGlue(dg) => {
- format!("DropGlue({})", dg.ty() as *const _ as usize)
- }
- TransItem::Fn(instance) => {
- format!("Fn({:?}, {})",
- instance.def,
- instance.substs as *const _ as usize)
- }
- TransItem::Static(id) => {
- format!("Static({:?})", id)
- }
- }
- }
-}
}
/// Creates a new instance of an `Error` from a particular OS error code.
+ ///
+ /// # Examples
+ ///
+ /// On Linux:
+ ///
+ /// ```
+ /// # if cfg!(target_os = "linux") {
+ /// use std::io;
+ ///
+ /// let error = io::Error::from_raw_os_error(98);
+ /// assert_eq!(error.kind(), io::ErrorKind::AddrInUse);
+ /// # }
+ /// ```
+ ///
+ /// On Windows:
+ ///
+ /// ```
+ /// # if cfg!(windows) {
+ /// use std::io;
+ ///
+ /// let error = io::Error::from_raw_os_error(10048);
+ /// assert_eq!(error.kind(), io::ErrorKind::AddrInUse);
+ /// # }
+ /// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn from_raw_os_error(code: i32) -> Error {
Error { repr: Repr::Os(code) }
/// The final component of the path, if it is a normal file.
///
- /// If the path terminates in `.`, `..`, or consists solely of a root of
- /// prefix, `file_name` will return `None`.
+ /// If the path terminates in `..`, `file_name` will return `None`.
///
/// # Examples
///
///
/// assert_eq!(Some(os_str), path.file_name());
/// ```
+ ///
+ /// # Other examples
+ ///
+ /// ```
+ /// use std::path::Path;
+ /// use std::ffi::OsStr;
+ ///
+ /// assert_eq!(Some(OsStr::new("foo.txt")), Path::new("foo.txt/.").file_name());
+ /// assert_eq!(Some(OsStr::new("foo.txt")), Path::new("foo.txt/.//").file_name());
+ /// assert_eq!(None, Path::new("foo.txt/..").file_name());
+ /// ```
#[stable(feature = "rust1", since = "1.0.0")]
pub fn file_name(&self) -> Option<&OsStr> {
self.components().next_back().and_then(|p| {
init();
let c_host = CString::new(host)?;
+ let hints = c::addrinfo {
+ ai_flags: 0,
+ ai_family: 0,
+ ai_socktype: c::SOCK_STREAM,
+ ai_protocol: 0,
+ ai_addrlen: 0,
+ ai_addr: ptr::null_mut(),
+ ai_canonname: ptr::null_mut(),
+ ai_next: ptr::null_mut()
+ };
let mut res = ptr::null_mut();
unsafe {
- cvt_gai(c::getaddrinfo(c_host.as_ptr(), ptr::null(), ptr::null(),
+ cvt_gai(c::getaddrinfo(c_host.as_ptr(), ptr::null(), &hints,
&mut res))?;
Ok(LookupHost { original: res, cur: res })
}
.finish()
}
}
+
+#[cfg(test)]
+mod tests {
+ use prelude::v1::*;
+
+ use super::*;
+ use collections::HashMap;
+
+ #[test]
+ fn no_lookup_host_duplicates() {
+ let mut addrs = HashMap::new();
+ let lh = match lookup_host("localhost") {
+ Ok(lh) => lh,
+ Err(e) => panic!("couldn't resolve `localhost': {}", e)
+ };
+ let _na = lh.map(|sa| *addrs.entry(sa).or_insert(0) += 1).count();
+ assert!(addrs.values().filter(|&&v| v > 1).count() == 0);
+ }
+}
}
}
- /// Check for erroneous `ident { }`; if matches, signal error and
- /// recover (without consuming any expected input token). Returns
- /// true if and only if input was consumed for recovery.
- pub fn check_for_erroneous_unit_struct_expecting(&mut self,
- expected: &[token::Token])
- -> bool {
- if self.token == token::OpenDelim(token::Brace)
- && expected.iter().all(|t| *t != token::OpenDelim(token::Brace))
- && self.look_ahead(1, |t| *t == token::CloseDelim(token::Brace)) {
- // matched; signal non-fatal error and recover.
- let span = self.span;
- self.span_err(span, "unit-like struct construction is written with no trailing `{ }`");
- self.eat(&token::OpenDelim(token::Brace));
- self.eat(&token::CloseDelim(token::Brace));
- true
- } else {
- false
- }
- }
-
- /// Commit to parsing a complete expression `e` expected to be
- /// followed by some token from the set edible + inedible. Recover
- /// from anticipated input errors, discarding erroneous characters.
- pub fn commit_expr(&mut self, e: &Expr, edible: &[token::Token],
- inedible: &[token::Token]) -> PResult<'a, ()> {
- debug!("commit_expr {:?}", e);
- if let ExprKind::Path(..) = e.node {
- // might be unit-struct construction; check for recoverableinput error.
- let expected = edible.iter()
- .cloned()
- .chain(inedible.iter().cloned())
- .collect::<Vec<_>>();
- self.check_for_erroneous_unit_struct_expecting(&expected[..]);
- }
- self.expect_one_of(edible, inedible)
- }
-
- pub fn commit_expr_expecting(&mut self, e: &Expr, edible: token::Token) -> PResult<'a, ()> {
- self.commit_expr(e, &[edible], &[])
- }
-
- /// Commit to parsing a complete statement `s`, which expects to be
- /// followed by some token from the set edible + inedible. Check
- /// for recoverable input errors, discarding erroneous characters.
- pub fn commit_stmt(&mut self, edible: &[token::Token],
- inedible: &[token::Token]) -> PResult<'a, ()> {
- if self.last_token
- .as_ref()
- .map_or(false, |t| t.is_ident() || t.is_path()) {
- let expected = edible.iter()
- .cloned()
- .chain(inedible.iter().cloned())
- .collect::<Vec<_>>();
- self.check_for_erroneous_unit_struct_expecting(&expected);
- }
- self.expect_one_of(edible, inedible)
- }
-
/// returns the span of expr, if it was not interpolated or the span of the interpolated token
fn interpolated_or_expr_span(&self,
expr: PResult<'a, P<Expr>>)
let default = if self.check(&token::Eq) {
self.bump();
let expr = self.parse_expr()?;
- self.commit_expr_expecting(&expr, token::Semi)?;
+ self.expect(&token::Semi)?;
Some(expr)
} else {
self.expect(&token::Semi)?;
let mut trailing_comma = false;
while self.token != token::CloseDelim(token::Paren) {
es.push(self.parse_expr()?);
- self.commit_expr(&es.last().unwrap(), &[],
- &[token::Comma, token::CloseDelim(token::Paren)])?;
+ self.expect_one_of(&[], &[token::Comma, token::CloseDelim(token::Paren)])?;
if self.check(&token::Comma) {
trailing_comma = true;
}
}
- match self.commit_expr(&fields.last().unwrap().expr,
- &[token::Comma],
- &[token::CloseDelim(token::Brace)]) {
+ match self.expect_one_of(&[token::Comma],
+ &[token::CloseDelim(token::Brace)]) {
Ok(()) => {}
Err(mut e) => {
e.emit();
self.bump();
let ix = self.parse_expr()?;
hi = self.span.hi;
- self.commit_expr_expecting(&ix, token::CloseDelim(token::Bracket))?;
+ self.expect(&token::CloseDelim(token::Bracket))?;
let index = self.mk_index(e, ix);
e = self.mk_expr(lo, hi, index, ThinVec::new())
}
let lo = self.last_span.lo;
let discriminant = self.parse_expr_res(Restrictions::RESTRICTION_NO_STRUCT_LITERAL,
None)?;
- if let Err(mut e) = self.commit_expr_expecting(&discriminant,
- token::OpenDelim(token::Brace)) {
+ if let Err(mut e) = self.expect(&token::OpenDelim(token::Brace)) {
if self.token == token::Token::Semi {
e.span_note(match_span, "did you mean to remove this `match` keyword?");
}
&& self.token != token::CloseDelim(token::Brace);
if require_comma {
- self.commit_expr(&expr, &[token::Comma], &[token::CloseDelim(token::Brace)])?;
+ self.expect_one_of(&[token::Comma], &[token::CloseDelim(token::Brace)])?;
} else {
self.eat(&token::Comma);
}
_ => { // all other kinds of statements:
let mut hi = span.hi;
if classify::stmt_ends_with_semi(&node) {
- self.commit_stmt(&[token::Semi], &[])?;
+ self.expect(&token::Semi)?;
hi = self.last_span.hi;
}
if classify::expr_requires_semi_to_be_stmt(&e) {
// Just check for errors and recover; do not eat semicolon yet.
if let Err(mut e) =
- self.commit_stmt(&[], &[token::Semi, token::CloseDelim(token::Brace)])
+ self.expect_one_of(&[], &[token::Semi, token::CloseDelim(token::Brace)])
{
e.emit();
self.recover_stmt();
let typ = self.parse_ty_sum()?;
self.expect(&token::Eq)?;
let expr = self.parse_expr()?;
- self.commit_expr_expecting(&expr, token::Semi)?;
+ self.expect(&token::Semi)?;
(name, ast::ImplItemKind::Const(typ, expr))
} else {
let (name, inner_attrs, node) = self.parse_impl_method(&vis)?;
let ty = self.parse_ty_sum()?;
self.expect(&token::Eq)?;
let e = self.parse_expr()?;
- self.commit_expr_expecting(&e, token::Semi)?;
+ self.expect(&token::Semi)?;
let item = match m {
Some(m) => ItemKind::Static(ty, m, e),
None => ItemKind::Const(ty, e),
if OPTIONS.iter().any(|&opt| s == opt) {
cx.span_warn(p.last_span, "expected a clobber, found an option");
+ } else if s.starts_with("{") || s.ends_with("}") {
+ cx.span_err(p.last_span, "clobber should not be surrounded by braces");
}
+
clobs.push(s);
}
}
-Subproject commit 80ad955b60b3ac02d0462a4a65fcea597d0ebfb1
+Subproject commit 7ca76af03bb04659562890d6b4f223fffe0d748f
# If this file is modified, then llvm will be forcibly cleaned and then rebuilt.
# The actual contents of this file do not matter, but to trigger a change on the
# build bots then the contents should be changed so git updates the mtime.
-2016-04-28
+2016-06-23
// option. This file may not be copied, modified, or distributed
// except according to those terms.
+// In the current version of the collector that still has to support
+// legacy-trans, closures do not generate their own TransItems, so we are
+// ignoring this test until MIR trans has taken over completely
+// ignore-test
+
// ignore-tidy-linelength
// compile-flags:-Zprint-trans-items=eager
// option. This file may not be copied, modified, or distributed
// except according to those terms.
+// In the current version of the collector that still has to support
+// legacy-trans, closures do not generate their own TransItems, so we are
+// ignoring this test until MIR trans has taken over completely
+// ignore-test
+
// ignore-tidy-linelength
// compile-flags:-Zprint-trans-items=eager
// aux-build:cgu_extern_drop_glue.rs
extern crate cgu_extern_drop_glue;
-//~ TRANS_ITEM drop-glue cgu_extern_drop_glue::Struct[0] @@ extern_drop_glue[OnceODR] extern_drop_glue-mod1[OnceODR]
-//~ TRANS_ITEM drop-glue-contents cgu_extern_drop_glue::Struct[0] @@ extern_drop_glue[OnceODR] extern_drop_glue-mod1[OnceODR]
+//~ TRANS_ITEM drop-glue cgu_extern_drop_glue::Struct[0] @@ extern_drop_glue[Internal] extern_drop_glue-mod1[Internal]
+//~ TRANS_ITEM drop-glue-contents cgu_extern_drop_glue::Struct[0] @@ extern_drop_glue[Internal] extern_drop_glue-mod1[Internal]
struct LocalStruct(cgu_extern_drop_glue::Struct);
-//~ TRANS_ITEM fn extern_drop_glue::user[0] @@ extern_drop_glue[WeakODR]
+//~ TRANS_ITEM fn extern_drop_glue::user[0] @@ extern_drop_glue[External]
fn user()
{
- //~ TRANS_ITEM drop-glue extern_drop_glue::LocalStruct[0] @@ extern_drop_glue[OnceODR]
+ //~ TRANS_ITEM drop-glue extern_drop_glue::LocalStruct[0] @@ extern_drop_glue[Internal]
let _ = LocalStruct(cgu_extern_drop_glue::Struct(0));
}
struct LocalStruct(cgu_extern_drop_glue::Struct);
- //~ TRANS_ITEM fn extern_drop_glue::mod1[0]::user[0] @@ extern_drop_glue-mod1[WeakODR]
+ //~ TRANS_ITEM fn extern_drop_glue::mod1[0]::user[0] @@ extern_drop_glue-mod1[External]
fn user()
{
- //~ TRANS_ITEM drop-glue extern_drop_glue::mod1[0]::LocalStruct[0] @@ extern_drop_glue-mod1[OnceODR]
+ //~ TRANS_ITEM drop-glue extern_drop_glue::mod1[0]::LocalStruct[0] @@ extern_drop_glue-mod1[Internal]
let _ = LocalStruct(cgu_extern_drop_glue::Struct(0));
}
}
// aux-build:cgu_generic_function.rs
extern crate cgu_generic_function;
-//~ TRANS_ITEM fn extern_generic::user[0] @@ extern_generic[WeakODR]
+//~ TRANS_ITEM fn extern_generic::user[0] @@ extern_generic[External]
fn user() {
let _ = cgu_generic_function::foo("abc");
}
mod mod1 {
use cgu_generic_function;
- //~ TRANS_ITEM fn extern_generic::mod1[0]::user[0] @@ extern_generic-mod1[WeakODR]
+ //~ TRANS_ITEM fn extern_generic::mod1[0]::user[0] @@ extern_generic-mod1[External]
fn user() {
let _ = cgu_generic_function::foo("abc");
}
mod mod1 {
use cgu_generic_function;
- //~ TRANS_ITEM fn extern_generic::mod1[0]::mod1[0]::user[0] @@ extern_generic-mod1-mod1[WeakODR]
+ //~ TRANS_ITEM fn extern_generic::mod1[0]::mod1[0]::user[0] @@ extern_generic-mod1-mod1[External]
fn user() {
let _ = cgu_generic_function::foo("abc");
}
mod mod2 {
use cgu_generic_function;
- //~ TRANS_ITEM fn extern_generic::mod2[0]::user[0] @@ extern_generic-mod2[WeakODR]
+ //~ TRANS_ITEM fn extern_generic::mod2[0]::user[0] @@ extern_generic-mod2[External]
fn user() {
let _ = cgu_generic_function::foo("abc");
}
}
mod mod3 {
- //~ TRANS_ITEM fn extern_generic::mod3[0]::non_user[0] @@ extern_generic-mod3[WeakODR]
+ //~ TRANS_ITEM fn extern_generic::mod3[0]::non_user[0] @@ extern_generic-mod3[External]
fn non_user() {}
}
// Make sure the two generic functions from the extern crate get instantiated
// privately in every module they are use in.
-//~ TRANS_ITEM fn cgu_generic_function::foo[0]<&str> @@ extern_generic[OnceODR] extern_generic-mod1[OnceODR] extern_generic-mod2[OnceODR] extern_generic-mod1-mod1[OnceODR]
-//~ TRANS_ITEM fn cgu_generic_function::bar[0]<&str> @@ extern_generic[OnceODR] extern_generic-mod1[OnceODR] extern_generic-mod2[OnceODR] extern_generic-mod1-mod1[OnceODR]
+//~ TRANS_ITEM fn cgu_generic_function::foo[0]<&str> @@ extern_generic[Internal] extern_generic-mod1[Internal] extern_generic-mod2[Internal] extern_generic-mod1-mod1[Internal]
+//~ TRANS_ITEM fn cgu_generic_function::bar[0]<&str> @@ extern_generic[Internal] extern_generic-mod1[Internal] extern_generic-mod2[Internal] extern_generic-mod1-mod1[Internal]
//~ TRANS_ITEM drop-glue i8
// This test makes sure that items inlined from external crates are privately
// instantiated in every codegen unit they are used in.
-//~ TRANS_ITEM fn cgu_explicit_inlining::inlined[0] @@ inlining_from_extern_crate[OnceODR] inlining_from_extern_crate-mod1[OnceODR]
-//~ TRANS_ITEM fn cgu_explicit_inlining::always_inlined[0] @@ inlining_from_extern_crate[OnceODR] inlining_from_extern_crate-mod2[OnceODR]
+//~ TRANS_ITEM fn cgu_explicit_inlining::inlined[0] @@ inlining_from_extern_crate[Internal] inlining_from_extern_crate-mod1[Internal]
+//~ TRANS_ITEM fn cgu_explicit_inlining::always_inlined[0] @@ inlining_from_extern_crate[Internal] inlining_from_extern_crate-mod2[Internal]
-//~ TRANS_ITEM fn inlining_from_extern_crate::user[0] @@ inlining_from_extern_crate[WeakODR]
+//~ TRANS_ITEM fn inlining_from_extern_crate::user[0] @@ inlining_from_extern_crate[External]
pub fn user()
{
cgu_explicit_inlining::inlined();
mod mod1 {
use cgu_explicit_inlining;
- //~ TRANS_ITEM fn inlining_from_extern_crate::mod1[0]::user[0] @@ inlining_from_extern_crate-mod1[WeakODR]
+ //~ TRANS_ITEM fn inlining_from_extern_crate::mod1[0]::user[0] @@ inlining_from_extern_crate-mod1[External]
pub fn user()
{
cgu_explicit_inlining::inlined();
mod mod2 {
use cgu_explicit_inlining;
- //~ TRANS_ITEM fn inlining_from_extern_crate::mod2[0]::user[0] @@ inlining_from_extern_crate-mod2[WeakODR]
+ //~ TRANS_ITEM fn inlining_from_extern_crate::mod2[0]::user[0] @@ inlining_from_extern_crate-mod2[External]
pub fn user()
{
cgu_explicit_inlining::always_inlined();
#![allow(dead_code)]
#![crate_type="lib"]
-//~ TRANS_ITEM drop-glue local_drop_glue::Struct[0] @@ local_drop_glue[OnceODR] local_drop_glue-mod1[OnceODR]
-//~ TRANS_ITEM drop-glue-contents local_drop_glue::Struct[0] @@ local_drop_glue[OnceODR] local_drop_glue-mod1[OnceODR]
+//~ TRANS_ITEM drop-glue local_drop_glue::Struct[0] @@ local_drop_glue[Internal] local_drop_glue-mod1[Internal]
+//~ TRANS_ITEM drop-glue-contents local_drop_glue::Struct[0] @@ local_drop_glue[Internal] local_drop_glue-mod1[Internal]
struct Struct {
_a: u32
}
impl Drop for Struct {
- //~ TRANS_ITEM fn local_drop_glue::{{impl}}[0]::drop[0] @@ local_drop_glue[WeakODR]
+ //~ TRANS_ITEM fn local_drop_glue::{{impl}}[0]::drop[0] @@ local_drop_glue[External]
fn drop(&mut self) {}
}
-//~ TRANS_ITEM drop-glue local_drop_glue::Outer[0] @@ local_drop_glue[OnceODR]
+//~ TRANS_ITEM drop-glue local_drop_glue::Outer[0] @@ local_drop_glue[Internal]
struct Outer {
_a: Struct
}
-//~ TRANS_ITEM fn local_drop_glue::user[0] @@ local_drop_glue[WeakODR]
+//~ TRANS_ITEM fn local_drop_glue::user[0] @@ local_drop_glue[External]
fn user()
{
let _ = Outer {
{
use super::Struct;
- //~ TRANS_ITEM drop-glue local_drop_glue::mod1[0]::Struct2[0] @@ local_drop_glue-mod1[OnceODR]
+ //~ TRANS_ITEM drop-glue local_drop_glue::mod1[0]::Struct2[0] @@ local_drop_glue-mod1[Internal]
struct Struct2 {
_a: Struct,
- //~ TRANS_ITEM drop-glue (u32, local_drop_glue::Struct[0]) @@ local_drop_glue-mod1[OnceODR]
+ //~ TRANS_ITEM drop-glue (u32, local_drop_glue::Struct[0]) @@ local_drop_glue-mod1[Internal]
_b: (u32, Struct),
}
- //~ TRANS_ITEM fn local_drop_glue::mod1[0]::user[0] @@ local_drop_glue-mod1[WeakODR]
+ //~ TRANS_ITEM fn local_drop_glue::mod1[0]::user[0] @@ local_drop_glue-mod1[External]
fn user()
{
let _ = Struct2 {
#![allow(dead_code)]
#![crate_type="lib"]
-// Used in different modules/codegen units but always instantiated in the same
-// codegen unit.
-
-//~ TRANS_ITEM fn local_generic::generic[0]<u32> @@ local_generic.volatile[WeakODR]
-//~ TRANS_ITEM fn local_generic::generic[0]<u64> @@ local_generic.volatile[WeakODR]
-//~ TRANS_ITEM fn local_generic::generic[0]<char> @@ local_generic.volatile[WeakODR]
-//~ TRANS_ITEM fn local_generic::generic[0]<&str> @@ local_generic.volatile[WeakODR]
+//~ TRANS_ITEM fn local_generic::generic[0]<u32> @@ local_generic[Internal]
+//~ TRANS_ITEM fn local_generic::generic[0]<u64> @@ local_generic-mod1[Internal]
+//~ TRANS_ITEM fn local_generic::generic[0]<char> @@ local_generic-mod1-mod1[Internal]
+//~ TRANS_ITEM fn local_generic::generic[0]<&str> @@ local_generic-mod2[Internal]
pub fn generic<T>(x: T) -> T { x }
-//~ TRANS_ITEM fn local_generic::user[0] @@ local_generic[WeakODR]
+//~ TRANS_ITEM fn local_generic::user[0] @@ local_generic[External]
fn user() {
let _ = generic(0u32);
}
mod mod1 {
pub use super::generic;
- //~ TRANS_ITEM fn local_generic::mod1[0]::user[0] @@ local_generic-mod1[WeakODR]
+ //~ TRANS_ITEM fn local_generic::mod1[0]::user[0] @@ local_generic-mod1[External]
fn user() {
let _ = generic(0u64);
}
mod mod1 {
use super::generic;
- //~ TRANS_ITEM fn local_generic::mod1[0]::mod1[0]::user[0] @@ local_generic-mod1-mod1[WeakODR]
+ //~ TRANS_ITEM fn local_generic::mod1[0]::mod1[0]::user[0] @@ local_generic-mod1-mod1[External]
fn user() {
let _ = generic('c');
}
mod mod2 {
use super::generic;
- //~ TRANS_ITEM fn local_generic::mod2[0]::user[0] @@ local_generic-mod2[WeakODR]
+ //~ TRANS_ITEM fn local_generic::mod2[0]::user[0] @@ local_generic-mod2[External]
fn user() {
let _ = generic("abc");
}
mod inline {
// Important: This function should show up in all codegen units where it is inlined
- //~ TRANS_ITEM fn local_inlining::inline[0]::inlined_function[0] @@ local_inlining-inline[WeakODR] local_inlining-user1[Available] local_inlining-user2[Available]
+ //~ TRANS_ITEM fn local_inlining::inline[0]::inlined_function[0] @@ local_inlining-inline[External] local_inlining-user1[Available] local_inlining-user2[Available]
#[inline(always)]
pub fn inlined_function()
{
mod user1 {
use super::inline;
- //~ TRANS_ITEM fn local_inlining::user1[0]::foo[0] @@ local_inlining-user1[WeakODR]
+ //~ TRANS_ITEM fn local_inlining::user1[0]::foo[0] @@ local_inlining-user1[External]
fn foo() {
inline::inlined_function();
}
mod user2 {
use super::inline;
- //~ TRANS_ITEM fn local_inlining::user2[0]::bar[0] @@ local_inlining-user2[WeakODR]
+ //~ TRANS_ITEM fn local_inlining::user2[0]::bar[0] @@ local_inlining-user2[External]
fn bar() {
inline::inlined_function();
}
mod non_user {
- //~ TRANS_ITEM fn local_inlining::non_user[0]::baz[0] @@ local_inlining-non_user[WeakODR]
+ //~ TRANS_ITEM fn local_inlining::non_user[0]::baz[0] @@ local_inlining-non_user[External]
fn baz() {
}
mod inline {
- //~ TRANS_ITEM fn local_transitive_inlining::inline[0]::inlined_function[0] @@ local_transitive_inlining-inline[WeakODR] local_transitive_inlining-direct_user[Available] local_transitive_inlining-indirect_user[Available]
+ //~ TRANS_ITEM fn local_transitive_inlining::inline[0]::inlined_function[0] @@ local_transitive_inlining-inline[External] local_transitive_inlining-direct_user[Available] local_transitive_inlining-indirect_user[Available]
#[inline(always)]
pub fn inlined_function()
{
mod direct_user {
use super::inline;
- //~ TRANS_ITEM fn local_transitive_inlining::direct_user[0]::foo[0] @@ local_transitive_inlining-direct_user[WeakODR] local_transitive_inlining-indirect_user[Available]
+ //~ TRANS_ITEM fn local_transitive_inlining::direct_user[0]::foo[0] @@ local_transitive_inlining-direct_user[External] local_transitive_inlining-indirect_user[Available]
#[inline(always)]
pub fn foo() {
inline::inlined_function();
mod indirect_user {
use super::direct_user;
- //~ TRANS_ITEM fn local_transitive_inlining::indirect_user[0]::bar[0] @@ local_transitive_inlining-indirect_user[WeakODR]
+ //~ TRANS_ITEM fn local_transitive_inlining::indirect_user[0]::bar[0] @@ local_transitive_inlining-indirect_user[External]
fn bar() {
direct_user::foo();
}
mod non_user {
- //~ TRANS_ITEM fn local_transitive_inlining::non_user[0]::baz[0] @@ local_transitive_inlining-non_user[WeakODR]
+ //~ TRANS_ITEM fn local_transitive_inlining::non_user[0]::baz[0] @@ local_transitive_inlining-non_user[External]
fn baz() {
}
// option. This file may not be copied, modified, or distributed
// except according to those terms.
+// Currently, all generic functions are instantiated in each codegen unit that
+// uses them, even those not marked with #[inline], so this test does not make
+// much sense at the moment.
+// ignore-test
+
// ignore-tidy-linelength
// We specify -Z incremental here because we want to test the partitioning for
// incremental compilation
// Even though the impl is in `mod1`, the methods should end up in the
// parent module, since that is where their self-type is.
impl SomeType {
- //~ TRANS_ITEM fn methods_are_with_self_type::mod1[0]::{{impl}}[0]::method[0] @@ methods_are_with_self_type[WeakODR]
+ //~ TRANS_ITEM fn methods_are_with_self_type::mod1[0]::{{impl}}[0]::method[0] @@ methods_are_with_self_type[External]
fn method(&self) {}
- //~ TRANS_ITEM fn methods_are_with_self_type::mod1[0]::{{impl}}[0]::associated_fn[0] @@ methods_are_with_self_type[WeakODR]
+ //~ TRANS_ITEM fn methods_are_with_self_type::mod1[0]::{{impl}}[0]::associated_fn[0] @@ methods_are_with_self_type[External]
fn associated_fn() {}
}
#![allow(dead_code)]
#![crate_type="lib"]
-//~ TRANS_ITEM fn regular_modules::foo[0] @@ regular_modules[WeakODR]
+//~ TRANS_ITEM fn regular_modules::foo[0] @@ regular_modules[External]
fn foo() {}
-//~ TRANS_ITEM fn regular_modules::bar[0] @@ regular_modules[WeakODR]
+//~ TRANS_ITEM fn regular_modules::bar[0] @@ regular_modules[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::BAZ[0] @@ regular_modules[External]
mod mod1 {
- //~ TRANS_ITEM fn regular_modules::mod1[0]::foo[0] @@ regular_modules-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::foo[0] @@ regular_modules-mod1[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod1[0]::bar[0] @@ regular_modules-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::bar[0] @@ regular_modules-mod1[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod1[0]::BAZ[0] @@ regular_modules-mod1[External]
static BAZ: u64 = 0;
mod mod1 {
- //~ TRANS_ITEM fn regular_modules::mod1[0]::mod1[0]::foo[0] @@ regular_modules-mod1-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::mod1[0]::foo[0] @@ regular_modules-mod1-mod1[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod1[0]::mod1[0]::bar[0] @@ regular_modules-mod1-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::mod1[0]::bar[0] @@ regular_modules-mod1-mod1[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod1[0]::mod1[0]::BAZ[0] @@ regular_modules-mod1-mod1[External]
static BAZ: u64 = 0;
}
mod mod2 {
- //~ TRANS_ITEM fn regular_modules::mod1[0]::mod2[0]::foo[0] @@ regular_modules-mod1-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::mod2[0]::foo[0] @@ regular_modules-mod1-mod2[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod1[0]::mod2[0]::bar[0] @@ regular_modules-mod1-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod1[0]::mod2[0]::bar[0] @@ regular_modules-mod1-mod2[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod1[0]::mod2[0]::BAZ[0] @@ regular_modules-mod1-mod2[External]
static BAZ: u64 = 0;
mod mod2 {
- //~ TRANS_ITEM fn regular_modules::mod2[0]::foo[0] @@ regular_modules-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::foo[0] @@ regular_modules-mod2[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod2[0]::bar[0] @@ regular_modules-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::bar[0] @@ regular_modules-mod2[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod2[0]::BAZ[0] @@ regular_modules-mod2[External]
static BAZ: u64 = 0;
mod mod1 {
- //~ TRANS_ITEM fn regular_modules::mod2[0]::mod1[0]::foo[0] @@ regular_modules-mod2-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::mod1[0]::foo[0] @@ regular_modules-mod2-mod1[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod2[0]::mod1[0]::bar[0] @@ regular_modules-mod2-mod1[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::mod1[0]::bar[0] @@ regular_modules-mod2-mod1[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod2[0]::mod1[0]::BAZ[0] @@ regular_modules-mod2-mod1[External]
static BAZ: u64 = 0;
}
mod mod2 {
- //~ TRANS_ITEM fn regular_modules::mod2[0]::mod2[0]::foo[0] @@ regular_modules-mod2-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::mod2[0]::foo[0] @@ regular_modules-mod2-mod2[External]
fn foo() {}
- //~ TRANS_ITEM fn regular_modules::mod2[0]::mod2[0]::bar[0] @@ regular_modules-mod2-mod2[WeakODR]
+ //~ TRANS_ITEM fn regular_modules::mod2[0]::mod2[0]::bar[0] @@ regular_modules-mod2-mod2[External]
fn bar() {}
//~ TRANS_ITEM static regular_modules::mod2[0]::mod2[0]::BAZ[0] @@ regular_modules-mod2-mod2[External]
static BAZ: u64 = 0;
//~ TRANS_ITEM static statics::BAR[0] @@ statics[External]
static BAR: u32 = 0;
-//~ TRANS_ITEM fn statics::function[0] @@ statics[WeakODR]
+//~ TRANS_ITEM fn statics::function[0] @@ statics[External]
fn function() {
//~ TRANS_ITEM static statics::function[0]::FOO[0] @@ statics[External]
static FOO: u32 = 0;
//~ TRANS_ITEM static statics::mod1[0]::BAR[0] @@ statics-mod1[External]
static BAR: u32 = 0;
- //~ TRANS_ITEM fn statics::mod1[0]::function[0] @@ statics-mod1[WeakODR]
+ //~ TRANS_ITEM fn statics::mod1[0]::function[0] @@ statics-mod1[External]
fn function() {
//~ TRANS_ITEM static statics::mod1[0]::function[0]::FOO[0] @@ statics-mod1[External]
static FOO: u32 = 0;
// that's one new drop call per call to possibly_unwinding(), and finally 3 drop calls for the
// regular function exit. We used to have problems with quadratic growths of drop calls in such
// functions.
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK: call{{.*}}SomeUniqueName{{.*}}drop
-// CHECK-NOT: call{{.*}}SomeUniqueName{{.*}}drop
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK: call{{.*}}drop{{.*}}SomeUniqueName
+// CHECK-NOT: call{{.*}}drop{{.*}}SomeUniqueName
// The next line checks for the } that ends the function definition
// CHECK-LABEL: {{^[}]}}
let _s = SomeUniqueName;
--- /dev/null
+// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
+// 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.
+
+// ignore-android
+// ignore-arm
+// ignore-aarch64
+
+#![feature(asm, rustc_attrs)]
+
+#[cfg(any(target_arch = "x86",
+ target_arch = "x86_64"))]
+#[rustc_error]
+pub fn main() {
+ unsafe {
+ // clobber formatted as register input/output
+ asm!("xor %eax, %eax" : : : "{eax}");
+ //~^ ERROR clobber should not be surrounded by braces
+ }
+}
id(ignored_pair_named())
}
+#[rustc_mir]
+fn test_fn_nested_pair(x: &((f32, f32), u32)) -> (f32, f32) {
+ let y = *x;
+ let z = y.0;
+ (z.0, z.1)
+}
+
fn main() {
assert_eq!(test1(1, (2, 3), &[4, 5, 6]), (1, (2, 3), &[4, 5, 6][..]));
assert_eq!(test2(98), 98);
assert_eq!(test_fn_ignored_pair_0(), ());
assert_eq!(test_fn_ignored_pair_named(), (Foo, Foo));
+ assert_eq!(test_fn_nested_pair(&((1.0, 2.0), 0)), (1.0, 2.0));
}
projects / rust.git / commitdiff