Skip to content

Commit

Permalink
Update LLVM to pick StackColoring improvement
Browse files Browse the repository at this point in the history
  • Loading branch information
arielb1 committed Jun 19, 2017
1 parent 5ce5126 commit 4f1da87
Show file tree
Hide file tree
Showing 3 changed files with 104 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/llvm
2 changes: 1 addition & 1 deletion src/rustllvm/llvm-rebuild-trigger
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# If this file is modified, then llvm will be (optionally) 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.
2017-06-18
2017-06-19
102 changes: 102 additions & 0 deletions src/test/run-pass/issue-40883.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,102 @@
// Copyright 2017 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.

// check that we don't have linear stack usage with multiple calls to `push`
// min-llvm-version 4.0

#![feature(test)]

extern crate test;
use std::mem;

fn meal() -> Big {
if test::black_box(false) {
panic!()
}
Big { drop_me: [
None, None, None, None, None, None, None, None,
None, None, None, None, None, None, None, None,
None, None, None, None, None, None, None, None,
None, None, None, None, None, None, None, None,
None, None, None, None, None, None, None, None,
None, None, None, None, None, None, None, None,
]}
}

pub struct Big {
drop_me: [Option<Box<u8>>; 48],
}

#[inline]
fn push(out: &mut Vec<Big>) {
out.push(meal());
}

#[inline(never)]
pub fn supersize_me(out: &mut Vec<Big>) {
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out); // 16 calls to `push`

verify_stack_usage(out);

push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out);
push(out); // 16 calls to `push`
}

#[inline(never)]
fn verify_stack_usage(before_ptr: *mut Vec<Big>) {
// to check stack usage, create locals before and after
// and check the difference in addresses between them.
let mut stack_var: Vec<Big> = vec![];
test::black_box(&mut stack_var);
let stack_usage = isize::abs(
(&mut stack_var as *mut _ as isize) -
(before_ptr as isize)) as usize;
// give space for 2 copies of `Big` + 128 "misc" bytes.
if stack_usage > mem::size_of::<Big>() * 2 + 128 {
panic!("used {} bytes of stack, but `struct Big` is only {} bytes",
stack_usage, mem::size_of::<Big>());
}

}

pub fn main() {
let mut v = vec![];
test::black_box(&mut v);
supersize_me(&mut v);
}

0 comments on commit 4f1da87

Please sign in to comment.