Skip to content

Commit

Permalink
mk: Prepare for a new stage0 compiler
Browse files Browse the repository at this point in the history
This commit prepares the source for a new stage0 compiler, the 1.10.0 beta
compiler. These artifacts are hot off the bots and should be ready to go.
  • Loading branch information
alexcrichton committed May 31, 2016
1 parent 298730e commit fa45670
Show file tree
Hide file tree
Showing 12 changed files with 32 additions and 80 deletions.
5 changes: 3 additions & 2 deletions src/etc/get-stage0.py
Expand Up @@ -35,8 +35,9 @@ def main(argv):
filename = filename_base + '.tar.gz'
url = 'https://static.rust-lang.org/dist/' + date + '/' + filename
dst = dl_dir + '/' + filename
if not os.path.exists(dst):
bootstrap.get(url, dst)
if os.path.exists(dst):
os.unlink(dst)
bootstrap.get(url, dst)

stage0_dst = triple + '/stage0'
if os.path.exists(stage0_dst):
Expand Down
1 change: 0 additions & 1 deletion src/libcore/lib.rs
Expand Up @@ -43,7 +43,6 @@
// Since libcore defines many fundamental lang items, all tests live in a
// separate crate, libcoretest, to avoid bizarre issues.

#![cfg_attr(stage0, allow(unused_attributes))]
#![crate_name = "core"]
#![stable(feature = "core", since = "1.6.0")]
#![crate_type = "rlib"]
Expand Down
18 changes: 0 additions & 18 deletions src/libcore/num/int_macros.rs
Expand Up @@ -10,24 +10,6 @@

#![doc(hidden)]

#[cfg(stage0)]
macro_rules! int_module { ($T:ty, $bits:expr) => (

// FIXME(#11621): Should be deprecated once CTFE is implemented in favour of
// calling the `Bounded::min_value` function.
#[stable(feature = "rust1", since = "1.0.0")]
#[allow(missing_docs)]
pub const MIN: $T = (-1 as $T) << ($bits - 1);
// FIXME(#9837): Compute MIN like this so the high bits that shouldn't exist are 0.
// FIXME(#11621): Should be deprecated once CTFE is implemented in favour of
// calling the `Bounded::max_value` function.
#[stable(feature = "rust1", since = "1.0.0")]
#[allow(missing_docs)]
pub const MAX: $T = !MIN;

) }

#[cfg(not(stage0))]
macro_rules! int_module { ($T:ident, $bits:expr) => (

#[stable(feature = "rust1", since = "1.0.0")]
Expand Down
13 changes: 0 additions & 13 deletions src/libcore/num/uint_macros.rs
Expand Up @@ -10,19 +10,6 @@

#![doc(hidden)]

#[cfg(stage0)]
macro_rules! uint_module { ($T:ty, $bits:expr) => (

#[stable(feature = "rust1", since = "1.0.0")]
#[allow(missing_docs)]
pub const MIN: $T = 0 as $T;
#[stable(feature = "rust1", since = "1.0.0")]
#[allow(missing_docs)]
pub const MAX: $T = !0 as $T;

) }

#[cfg(not(stage0))]
macro_rules! uint_module { ($T:ident, $bits:expr) => (

#[stable(feature = "rust1", since = "1.0.0")]
Expand Down
28 changes: 14 additions & 14 deletions src/libcore/sync/atomic.rs
Expand Up @@ -88,13 +88,13 @@ use default::Default;
use fmt;

/// A boolean type which can be safely shared between threads.
#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
#[stable(feature = "rust1", since = "1.0.0")]
pub struct AtomicBool {
v: UnsafeCell<u8>,
}

#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
#[stable(feature = "rust1", since = "1.0.0")]
impl Default for AtomicBool {
fn default() -> Self {
Expand All @@ -103,29 +103,29 @@ impl Default for AtomicBool {
}

// Send is implicitly implemented for AtomicBool.
#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
#[stable(feature = "rust1", since = "1.0.0")]
unsafe impl Sync for AtomicBool {}

/// A raw pointer type which can be safely shared between threads.
#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
#[stable(feature = "rust1", since = "1.0.0")]
pub struct AtomicPtr<T> {
p: UnsafeCell<*mut T>,
}

#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
#[stable(feature = "rust1", since = "1.0.0")]
impl<T> Default for AtomicPtr<T> {
fn default() -> AtomicPtr<T> {
AtomicPtr::new(::ptr::null_mut())
}
}

#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
#[stable(feature = "rust1", since = "1.0.0")]
unsafe impl<T> Send for AtomicPtr<T> {}
#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
#[stable(feature = "rust1", since = "1.0.0")]
unsafe impl<T> Sync for AtomicPtr<T> {}

Expand Down Expand Up @@ -167,11 +167,11 @@ pub enum Ordering {
}

/// An `AtomicBool` initialized to `false`.
#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
#[stable(feature = "rust1", since = "1.0.0")]
pub const ATOMIC_BOOL_INIT: AtomicBool = AtomicBool::new(false);

#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
impl AtomicBool {
/// Creates a new `AtomicBool`.
///
Expand Down Expand Up @@ -508,7 +508,7 @@ impl AtomicBool {
}
}

#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
impl<T> AtomicPtr<T> {
/// Creates a new `AtomicPtr`.
///
Expand Down Expand Up @@ -1106,14 +1106,14 @@ atomic_int! {
unstable(feature = "integer_atomics", issue = "32976"),
u64 AtomicU64 ATOMIC_U64_INIT
}
#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
atomic_int!{
stable(feature = "rust1", since = "1.0.0"),
stable(feature = "extended_compare_and_swap", since = "1.10.0"),
stable(feature = "atomic_debug", since = "1.3.0"),
isize AtomicIsize ATOMIC_ISIZE_INIT
}
#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
atomic_int!{
stable(feature = "rust1", since = "1.0.0"),
stable(feature = "extended_compare_and_swap", since = "1.10.0"),
Expand Down Expand Up @@ -1311,15 +1311,15 @@ pub fn fence(order: Ordering) {
}


#[cfg(any(stage0, target_has_atomic = "8"))]
#[cfg(target_has_atomic = "8")]
#[stable(feature = "atomic_debug", since = "1.3.0")]
impl fmt::Debug for AtomicBool {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
f.debug_tuple("AtomicBool").field(&self.load(Ordering::SeqCst)).finish()
}
}

#[cfg(any(stage0, target_has_atomic = "ptr"))]
#[cfg(target_has_atomic = "ptr")]
#[stable(feature = "atomic_debug", since = "1.3.0")]
impl<T> fmt::Debug for AtomicPtr<T> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
Expand Down
5 changes: 2 additions & 3 deletions src/libpanic_abort/lib.rs
Expand Up @@ -25,8 +25,8 @@

#![feature(staged_api)]

#![cfg_attr(not(stage0), panic_runtime)]
#![cfg_attr(not(stage0), feature(panic_runtime))]
#![panic_runtime]
#![feature(panic_runtime)]
#![cfg_attr(unix, feature(libc))]
#![cfg_attr(windows, feature(core_intrinsics))]

Expand Down Expand Up @@ -93,7 +93,6 @@ pub unsafe extern fn __rust_start_panic(_data: usize, _vtable: usize) -> u32 {
// Essentially this symbol is just defined to get wired up to libcore/libstd
// binaries, but it should never be called as we don't link in an unwinding
// runtime at all.
#[cfg(not(stage0))]
pub mod personalities {

#[no_mangle]
Expand Down
4 changes: 2 additions & 2 deletions src/libpanic_unwind/lib.rs
Expand Up @@ -42,8 +42,8 @@
#![feature(unwind_attributes)]
#![cfg_attr(target_env = "msvc", feature(raw))]

#![cfg_attr(not(stage0), panic_runtime)]
#![cfg_attr(not(stage0), feature(panic_runtime))]
#![panic_runtime]
#![feature(panic_runtime)]

extern crate alloc;
extern crate libc;
Expand Down
10 changes: 1 addition & 9 deletions src/libpanic_unwind/seh.rs
Expand Up @@ -233,8 +233,7 @@ extern {
// an argument to the C++ personality function.
//
// Again, I'm not entirely sure what this is describing, it just seems to work.
#[cfg_attr(all(not(test), not(stage0)),
lang = "msvc_try_filter")]
#[cfg_attr(not(test), lang = "msvc_try_filter")]
static mut TYPE_DESCRIPTOR1: _TypeDescriptor = _TypeDescriptor {
pVFTable: &TYPE_INFO_VTABLE as *const _ as *const _,
spare: 0 as *mut _,
Expand Down Expand Up @@ -308,13 +307,6 @@ pub unsafe fn cleanup(payload: [u64; 2]) -> Box<Any + Send> {
})
}

#[lang = "msvc_try_filter"]
#[cfg(stage0)]
unsafe extern fn __rust_try_filter(_eh_ptrs: *mut u8,
_payload: *mut u8) -> i32 {
return 0
}

// This is required by the compiler to exist (e.g. it's a lang item), but
// it's never actually called by the compiler because __C_specific_handler
// or _except_handler3 is the personality function that is always used.
Expand Down
10 changes: 3 additions & 7 deletions src/libstd/lib.rs
Expand Up @@ -210,6 +210,8 @@
test(no_crate_inject, attr(deny(warnings))),
test(attr(allow(dead_code, deprecated, unused_variables, unused_mut))))]

#![needs_panic_runtime]

#![feature(alloc)]
#![feature(allow_internal_unstable)]
#![feature(asm)]
Expand Down Expand Up @@ -272,6 +274,7 @@
#![feature(zero_one)]
#![feature(question_mark)]
#![feature(try_from)]
#![feature(needs_panic_runtime)]

// Issue# 30592: Systematically use alloc_system during stage0 since jemalloc
// might be unavailable or disabled
Expand All @@ -284,13 +287,6 @@
#![allow(unused_features)] // std may use features in a platform-specific way
#![cfg_attr(not(stage0), deny(warnings))]

// FIXME(stage0): after a snapshot, move needs_panic_runtime up above and remove
// this `extern crate` declaration and feature(panic_unwind)
#![cfg_attr(not(stage0), needs_panic_runtime)]
#![cfg_attr(not(stage0), feature(needs_panic_runtime))]
#[cfg(stage0)]
extern crate panic_unwind as __please_just_link_me_dont_reference_me;

#[cfg(test)] extern crate test;

// We want to reexport a few macros from core but libcore has already been
Expand Down
3 changes: 0 additions & 3 deletions src/libstd/rt.rs
Expand Up @@ -27,9 +27,6 @@
// Reexport some of our utilities which are expected by other crates.
pub use panicking::{begin_panic, begin_panic_fmt};

#[cfg(stage0)]
pub use panicking::begin_panic as begin_unwind;

#[cfg(not(test))]
#[lang = "start"]
fn lang_start(main: *const u8, argc: isize, argv: *const *const u8) -> isize {
Expand Down
6 changes: 3 additions & 3 deletions src/stage0.txt
Expand Up @@ -12,6 +12,6 @@
# tarball for a stable release you'll likely see `1.x.0-$date` where `1.x.0` was
# released on `$date`

rustc: beta-2016-04-13
rustc_key: c2743eb4
cargo: nightly-2016-04-10
rustc: beta-2016-05-24
rustc_key: a4922355
cargo: nightly-2016-05-22
9 changes: 4 additions & 5 deletions src/tools/tidy/src/cargo.rs
Expand Up @@ -81,11 +81,10 @@ fn verify(tomlfile: &Path, libfile: &Path, bad: &mut bool) {
}

// This is intentional, this dependency just makes the crate available
// for others later on.
if krate == "alloc_jemalloc" && toml.contains("name = \"std\"") {
continue
}
if krate == "panic_abort" && toml.contains("name = \"std\"") {
// for others later on. Cover cases
let whitelisted = krate == "alloc_jemalloc";
let whitelisted = whitelisted || krate.starts_with("panic");
if toml.contains("name = \"std\"") && whitelisted {
continue
}

Expand Down

0 comments on commit fa45670

Please sign in to comment.