Re: [rust-dev] Some questions about dead-code elimination pass

2013-11-24 Thread Alex Crichton
1. Is doing part (b) necessary? That is, does LLVM's optimization already eliminate unused code? I don't believe that it is from a final binary point of view. Unreachable functions will be flagged as internal, and LLVM can do whatever it wants with internal symbols. I would imagine that it

Re: [rust-dev] Some questions about dead-code elimination pass

2013-11-24 Thread Huon Wilson
On 24/11/13 20:15, Alex Crichton wrote: 3. My code also marks the function `load_argc_and_argv` in libstd/os.rs as dead when in fact it isn't. I would guess it's because that function is only used when compiling the rustc source code on Mac, whereas I'm compiling it on Linux. How do I modify my

[rust-dev] Idea for versioned language specifications with automatic conversions

2013-11-24 Thread Manuel
I had the following idea to approach language evolution: Problem: Languages try to be backward compatible by stabilizing, and only slowly deprecating old features. This results in a language which does not evolve. Some different takes about this: C++: adds new features but does not fix

Re: [rust-dev] Idea for versioned language specifications with automatic conversions

2013-11-24 Thread Matthieu Monrocq
Hi Manuel, I must say that on a conceptual point of view I like the approach, keeping one's libraries up to date is the only way to go, however I am afraid that you are glossing over certain details here: - you assume that the source code is available, this is a problem if I am using a 3rd party

Re: [rust-dev] Some questions about dead-code elimination pass

2013-11-24 Thread Corey Richardson
On Sat, Nov 23, 2013 at 10:44 PM, Kiet Tran ktt...@virginia.edu wrote: 1. Is doing part (b) necessary? That is, does LLVM's optimization already eliminate unused code? LLVM does, yes, but I'd still be interested in a perf comparison of us not translating the dead code compared to LLVM

[rust-dev] This Week in Rust

2013-11-24 Thread Corey Richardson
Welcome to another issue of *This Week in Rust*! # What's cooking on master? 47 PRs were merged this week. ## Breaking Changes - Non-ASCII identifiers are [feature gated](https://github.com/mozilla/rust/pull/10605), due to open questions about how it should be done. They aren't being

Re: [rust-dev] Idea for versioned language specifications with automatic conversions

2013-11-24 Thread Manuel
Hi Manuel, I must say that on a conceptual point of view I like the approach, keeping one's libraries up to date is the only way to go, however I am afraid that you are glossing over certain details here: - you assume that the source code is available, this is a problem if I am using a 3rd

Re: [rust-dev] Some questions about dead-code elimination pass

2013-11-24 Thread Benjamin Striegel
LLVM does, yes, but I'd still be interested in a perf comparison of us not translating the dead code compared to LLVM stripping it later. Clang does this, for example. But if the idea here is also to provide a dead-code warning during compilation, is it necessary to add this feature to the