Auto merge of #32058 - pczarn:hashmap-initial-refactoring, r=apasel422

Basic refactoring of HashMap

Auto merge of #32204 - alexcrichton:redesign-char-encoding-types, r=aturon

std: Change `encode_utf{8,16}` to return iterators

Currently these have non-traditional APIs which take a buffer and report how
much was filled in, but they're not necessarily ergonomic to use. Returning an
iterator which *also* exposes an underlying slice shouldn't result in any
performance loss as it's just a lazy version of the same implementation, and
it's also much more ergonomic!

cc #27784

std: Change `encode_utf{8,16}` to return iterators

Currently these have non-traditional APIs which take a buffer and report how
much was filled in, but they're not necessarily ergonomic to use. Returning an
iterator which *also* exposes an underlying slice shouldn't result in any
performance loss as it's just a lazy version of the same implementation, and
it's also much more ergonomic!

cc #27784

Auto merge of #32156 - pnkfelix:borrowck-on-mir-move-analysis, r=nikomatsakis

Move analysis for MIR borrowck

This PR adds code for doing MIR-based gathering of the moves in a `fn` and the dataflow to determine where uninitialized locations flow to, analogous to how the same thing is done in `borrowck`.

It also adds a couple attributes to print out graphviz visualizations of the analyzed MIR that includes the dataflow analysis results.

cc @nikomatsakis

Add rustbuild dependency from `rustc_borrowck` upon `rustc_mir` crate.

Auto merge of #32341 - frewsxcv:compiletest-enum, r=nikomatsakis

Use enum for message kind in compiletest harness.

None

f clarification, docs

Auto merge of #32264 - GuillaumeGomez:lang_item, r=nikomatsakis

Lang item

Fixes #32033

Auto merge of #32388 - semarie:snapshot-openbsd, r=alexcrichton

register openbsd snapshot

Here openbsd version for latest snapshot.

The archive is at http://semarie.online.fr/rust/rust-stage0-2016-03-18-235d774-openbsd-x86_64-c5b6feda38138a12cd5c05574b585dadebbb5e87.tar.bz2

These segmentation fault starts to be annoying. @dhuseby do you think it would be possible to have a shell access to openbsd buildbot in order to try to investigating a bit the reason of them ?

r? @alexcrichton
Ref #32345

f Put and DerefMut

Auto merge of #32253 - durka:derive-31886, r=alexcrichton

derive: assume enum repr defaults to isize

derive: assume enum repr defaults to isize

Fixes #31886.

Spawned from #32139.

r? @alexcrichton

Auto merge of #32402 - steveklabnik:rollup, r=steveklabnik

Rollup of 6 pull requests

- Successful merges: #32322, #32339, #32340, #32373, #32376, #32397
- Failed merges:

Refactor 'kind' extraction to use `str::split_whitespace`.

Auto merge of #32062 - Marwes:unification_table_for_eq_relations, r=nikomatsakis

Improve time complexity of equality relations

This PR adds a `UnificationTable` to the `TypeVariableTable` type which is used store information about variable equality instead of just storing them in a vector for later processing. By using a `UnificationTable` equality relations can be resolved in O(n) (for all realistic values of n) rather than O(n!) which can give massive speedups in certain cases (see combine as an example).

Link to combine: https://github.com/Marwes/combine

f dead code

Improve time complexity of equality relations

This PR adds a `UnificationTable` to the `TypeVariableTable` type which
is used store information about variable equality instead of just
storing them in a vector for later processing. By using a
`UnificationTable` equality relations can be resolved in O(n) (for all
realistic values of n) rather than O(n!) which can give massive
speedups in certain cases (see combine as an example).

Link to combine: https://github.com/Marwes/combine

Auto merge of #32393 - dotdash:32389, r=eddyb

Fix tupling of fn args for rust-call ABI functions

Fixes #32389

assigning a (MIR) box into an lvalue allocates heap storage that will
need to be initialized. create a MoveOut to represent that deref'ed
`*lval` path.

remove uses of `RefCell` from move data builder.

Make `fn move_path_for` take `&mut self` instead of `&self`. This is a
precursor for a number of other simplifying changes (mostly removing
uses of `RefCell`).

Factor lookup method out of `fn move_path_for`.

dont create MovePathIndex's for individual statics.

Instead, create a single MovePathIndex that represents all statics.

(An alternative here would be to disallow representing statics at all.
I am hesitant to do that right now, in part because it could impose a
requirement that I thread checks for static data into the calling
code, either as pre- or post-invocation of `fn move_path_for`.)

Switch newtype Index wrappers to use NonZero instead of INVALID constants.

factor the wrapped Index newtype definitions into a macro.

Add `fn clear_bit` method on BitSlice trait for setting a bit to zero.

scaffolding for borrowck on MIR.

emit (via debug!) scary message from `fn borrowck_mir` until basic
prototype is in place.

Gather children of move paths and set their kill bits in
dataflow. (Each node has a link to the child that is first among its
siblings.)

Hooked in libgraphviz based rendering, including of borrowck dataflow
state.

doing this well required some refactoring of the code, so I cleaned it
up more generally (adding comments to explain what its trying to do
and how it is doing it).

Update: this newer version addresses most review comments (at least
the ones that were largely mechanical changes), but I left the more
interesting revisions to separate followup commits (in this same PR).

Expose attached attributes to `FnKind` abstraction so that I can look at them in borrowck.

Switch libgraphviz from type params to associated types for Node/Edge.

Rollup merge of #32397 - tclfs:patch-7, r=steveklabnik

docs: Make some changes in texts

In my understanding, the description is somehow inappropriate.

Rollup merge of #32376 - cyplo:cyplo_fix_E0368_documentation, r=steveklabnik

Documentation fix for E0368

Made the 'good' example compile.

I got to the [E0368 error page](https://doc.rust-lang.org/error-index.html#E0368) by following the link in the output of the
compiler. My understanding is that the first example is 'bad' and the
second one is 'good'. Following that logic, I pasted the second example
into the file and to my surprise it did not compile. This commit fixes
the example to make it paste-able.

On the other hand the docstring contained `compile_fail` flag, which might indicate that this was intentional.
I am also assuming here that the `Rust Compiler Error Index` page is generated from the file I changed.

Please let me know what do you think. Thanks a lot !

Rollup merge of #32373 - tclfs:patch-5, r=steveklabnik

docs: Correct an  improper description

In the example, we made a immutable borrow to `println!`, not a mutable one.

Rollup merge of #32340 - Digipom:master, r=steveklabnik

Update of the book; Error handling, section on custom error types: we…

… should also show the changes to the `cause` method.

When I started creating my own error type, I found that we also have to update the cause method, otherwise we have a missing match branch.

It would also be nice to elaborate on the relationship and difference between the description() and fmt() method, but that should be done by someone with more experience with them. :)

Rollup merge of #32339 - tclfs:patch-4, r=apasel422

docs: make some tiny modification about spelling

I think it would be better after modification.

Rollup merge of #32322 - GuillaumeGomez:cmp_doc, r=steveklabnik

Add doc examples

Fixes #29347

r? @steveklabnik

Auto merge of #32378 - petrochenkov:patch-1, r=alexcrichton

Correct Windows build instructions in README.md

http://mingw-w64.org/doku.php/download/mingw-builds now provides GCC 5.3 as a default version, but avoiding 5.x is exactly the reason why Mingw-builds are recommended instead of MSYS2's own mingw toolchain. One of the 4.9.x versions has to be manually chosen during installation.

r? @alexcrichton

docs: Make some changes in texts

In my understanding, the description is somehow inappropriate.

Fix tupling of fn args for rust-call ABI functions

Fixes #32389

Auto merge of #32369 - frewsxcv:librustc-driver-lib, r=alexcrichton

Minor cleanup for 'src/librustc_driver/lib.rs'

Reading through this file my first time. Cleaned up some stuff on the way.

Auto merge of #32054 - seanmonstar:impl-debug-core, r=alexcrichton

libcore: add Debug implementations to most missing types

Also adds `#![deny(missing_debug_implementations)]` to the core crate.

cc #31869

register openbsd snapshot

Auto merge of #32302 - sfackler:unix-socket, r=alexcrichton

Add unix socket support to the standard library

r? @alexcrichton

Add unix socket support to the standard library

Auto merge of #32344 - aturon:issue-32324, r=eddyb

Fix mis-uses of projection mode

A couple of places where we construct a fresh inference context were
incorrectly assuming that we were past coherence checking. This commit
corrects them to use `Topmost` rather than `AnyFinal` as the projection mode.

Fixes #32324

r? @nikomatsakis

Auto merge of #32345 - eddyb:snap-to-orbit, r=alexcrichton

Update snapshots to 2016-03-18 (235d774).

The new snapshots notably include @nikomatsakis' #32164 fix for the regionck error spew.
Also, `./configure --enable-orbit` *and/or* `make RUSTFLAGS="-Z orbit"` should work now (#32080).

Update snapshots to 2016-03-18 (235d774).

Fix mis-uses of projection mode

A couple of places where we construct a fresh inference context were
incorrectly assuming that we were past coherence checking. This commit
corrects them to use `Topmost` rather than `AnyFinal` as the projection mode.

Fixes #32324

Correct Windows build instructions in README.md

http://mingw-w64.org/doku.php/download/mingw-builds now provides GCC 5.x as a default version, but avoiding 5.x is exactly the reason why Mingw-builds is recommended instead of MSYS2's own mingw toolchain. One of the 4.9.x versions has to manually chosen during installation.

Auto merge of #32010 - devonhollowood:non-c-like-enum-repr, r=Aatch

Add tests for #26114

First step in fixing #26114

Documentation fix for E0368

Made the 'good' example compile.

I got to the E0368 error page by following the link in the output of the
compiler. My understanding is that the first example is 'bad' and the
second one is 'good'. Following that logic, I pasted the second example
into the file and to my surprise it did not compile. This commit fixes
the example to make it paste-able.

Auto merge of #32375 - phil-opp:patch-1, r=japaric

docs: The `data-layout` field is no longer required in custom targets

The `data-layout` field is no longer required. It was made optional in 958d5638254958ea42652de7444b63f2e67e7fe3.

The `os` field is always required.

Related to #31367

libcore: add Debug implementations to most missing types

The `data-layout` field is no longer required, but the `os` field is

The `data-layout` field  was made optional in 958d5638254958ea42652de7444b63f2e67e7fe3. The `os` field is always required.

Utilize `if..let` over single `match` branch.

Remove double-negative conditionals.

docs: Correct an  improper description

In the example, we made a immutable borrow to `println!`, not a mutable one.

Auto merge of #32367 - tiehuis:tiehuis-E0412-help, r=nagisa

Alter E0412 help message wording

The initial wording does not make sense due to an extra 'to'.

There are two potential candidates we can change this to:
 - 'you can import it into scope'
 - 'to import it into scope'

In keeping the changes minimal, we choose the first, as this is more in line with the grammar of the extended candidates help message.

Auto merge of #32361 - japaric:no-llvm-assertions-on-arm, r=alexcrichton

disable llvm assertions on ARM compilers

workaround for #32360

r? @alexcrichton

Update tests which reference E0421

Auto merge of #32358 - Manishearth:pr-32053, r=Manishearth

Add note if method is called on a function object

rebase of #32053

Replace unneeded owned `Vec` usage with `slice`.

Alter E0412 help message wording

The initial wording does not make sense due to an extra 'to'.

There are two potential candidates we can change this to:
 - 'you can import it into scope'
 - 'to import it into scope'

In keeping the changes minimal, we choose the first, as this is more in line with the grammar of the extended candidates help message.

Auto merge of #32306 - nikomatsakis:issue-32278, r=eddyb

create fewer region variables in coercions

Fixes #32278.

r? @eddyb

Auto merge of #32362 - bluss:float-fast-math, r=eddyb

Fix floating point fast-math intrinsics

The implementation did not handle the case where both operands were constants, which caused an llvm assertion:

```
rustc: //buildslave//rust-buildbot//slave//nightly-dist-rustc-musl-linux//build//src//llvm//include/llvm/Support/Casting.h:237:
typename llvm::cast_retty<X, Y*>::ret_type llvm::cast(Y*) [with X = llvm::Instruction; Y = llvm::Value; typename llvm::cast_retty<X, Y*>::ret_type = llvm::Instruction*]:
Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
```

Update float_math test to not use constants

Fix LLVMRustSetHasUnsafeAlgebra to only have effect on instructions

disable llvm assertions on ARM compilers

workaround for #32360

Auto merge of #32244 - Amanieu:compare_exchange_result, r=alexcrichton

Change compare_exchange to return a Result<T, T>

As per the discussion in #31767

I also changed the feature name from `extended_compare_and_swap` to `compare_exchange`.

r? @alexcrichton

Auto merge of #32314 - alexcrichton:ascii-fun, r=aturon

std: Revert addition of `into_ascii_*` methods

The addition of these methods in #31335 required adding impls of the trait for
the `String` and `Vec<T>` types. This unfortunately caused a regression (#32074)
in type inference for using these methods which the libs team has decided to not
push forward with. These methods were stabilized in #32020 which was intended to
get backported to beta, but the backport hasn't happened just yet. This commit
reverts both the addition and stabilization of these methods.

One proposed method of handling this, in #32076, was to move the methods to an
extra trait to avoid conflicts with type inference. After some discussion,
however, the libs team concluded that we probably want to reevaluate what we're
doing here, so discussion will continue on the tracking issue, #27809.

Closes #32074

Add Help and Suggestion to issue-29124 tests

Use last path segment for uncalled method note if span_to_segment fails

PR: #32053

Add test for issue 29124

Fix code review actions in PR #32053

Split `fileline_note` into a `file_line note` and `span_suggestion` as per
@Manishearth's suggestions.

Change nested `match`es to `if let`s.

Add note if method is called on a function object

Fixes issue #29124.

If method is called on a function type a note is generated to suggest
that the developer may have forgotten to call it.

e.g.

fn main() {
    let mut guess = String::new();
    std::io::stdin.read_line(&mut guess);
}

will generate the note:

note: called method on function type. did you mean `std::io::stdin().read_line(..)`?

Change compare_exchange to return a Result<T, T>

Auto merge of #32351 - eddyb:rollup, r=eddyb

Rollup of 14 pull requests

- Successful merges: #32265, #32269, #32271, #32288, #32308, #32316, #32319, #32321, #32327, #32329, #32332, #32337, #32342, #32347
- Failed merges:

Rollup merge of #32347 - Amanieu:volatile_fat_ptr, r=eddyb

Fix volatile stores of fat pointers

This was previously causing an LLVM assertion.

r? @eddyb

Rollup merge of #32342 - petevine:patch-1, r=alexcrichton

Use explicit -march flags in the i586 mk file

`-march` should definitely go last, after the environment `$C(XX)FLAGS`, or it's going to remain brittle.

This should fix cross-compilation issues on x86_64 (possibly x86 too on some newer distros) - it was far too assuming of me to expect you really had to want i586 using your own flags.

Rollup merge of #32337 - dotdash:llvm-aa-perf, r=alexcrichton

Update LLVM to include a backport to restore AA performance

cc #31435
r? @alexcrichton

Rollup merge of #32332 - jonas-schievink:issue32323, r=arielb1

liveness: substitute bound regions with free ones before normalizing the return type

Fixes #32323

r? @arielb1

Rollup merge of #32329 - sfackler:assert-recover-safe-pub, r=aturon

Make AssertRecoverSafe's field public

It's basically the very definition of a newtype, so we might as well
make things easy on people and let them construct and access it
directly.

r? @aturon

Rollup merge of #32327 - toddlucas:master, r=apasel422

Minor phrasing adjustment to book references-and-borrowing

Rollup merge of #32321 - alexcrichton:cross-to-netbsd, r=japaric

rustbuild: Fix cross to netbsd from Linux

Apparently the NetBSD compiler-rt builds into the linux directory as well.
I'm... detecting a trend!

Rollup merge of #32319 - benaryorg:patch-3, r=alexcrichton

documentation fix in RELEASES.md

f32 should probably be denoted as 0.0 as it might improve readability.

Rollup merge of #32316 - tclfs:patch-3, r=steveklabnik

docs: `let` introduces a statement

I changes *expression* to *statement* to make more accurate, because in Rust, `let` introduces a declaration statement.

Rollup merge of #32308 - bombless:patch-2, r=alexcrichton

Fix usability problem when browse document locally

You cannot use `history.replaceState` when you browse locally, it breaks the security policy of Chrome and perhaps other browsers.
Closes https://github.com/rust-lang/rust/issues/32307
Thank @crumblingstatue for the help!

Rollup merge of #32288 - tclfs:patch-2, r=apasel422

docs: One typo

I think it's a mistake of spelling.

Rollup merge of #32271 - frewsxcv:compiletest-ignored-help-note, r=nikomatsakis

Add comment about opt-in nature of compiletest note/help messages.

The opt-in functionality was proposed and discussed in
https://github.com/rust-lang/rust/issues/21195

Rollup merge of #32269 - richo:impl-totokens-p-implitem, r=nikomatsakis

syntax: impl ToTokens for P<ast::ImplItem>

I'm working on updating zinc for latest rust, and it appears that I need this impl[0].

More generally, I realise that libsyntax is "Whatever the compiler team needs to build a compiler", but should I just open a PR fleshing this out for all types?

https://github.com/hackndev/zinc/blob/master/ioreg/src/builder/setter.rs#L194-L197

Rollup merge of #32265 - tclfs:patch-1, r=alexcrichton

FreeBSD has already supported Cargo

Both Packages and Ports of FreeBSD have Cargo in present.

Auto merge of #32304 - pravic:fix-variadic-ffi-test, r=alexcrichton

test: Fix missing call of function pointer

Also an unused variable warning was here.

Auto merge of #32256 - bluss:float-fast-math, r=alexcrichton

Add intrinsics for float arithmetic with `fast` flag enabled

Add intrinsics for float arithmetic with `fast` flag enabled

`fast` a.k.a UnsafeAlgebra is the flag for enabling all "unsafe"
(according to llvm) float optimizations.

See LangRef for more information http://llvm.org/docs/LangRef.html#fast-math-flags

Providing these operations with less associativity rules (for example)
is useful to numerical applications.

For example, the summation loop:

    let sum = 0.;
    for element in data {
        sum += *element;
    }

Using the default floating point semantics, this loop expresses that the
floats must be added in a sequence, one after another. This constraint
is usually completely unintended, and it means that no auto-vectorization
is possible.

Fix volatile stores of fat pointers

Auto merge of #32050 - achanda:from-slice-v4, r=alexcrichton

Add an impl for From trait

Converts a u8 slice to a Ipv4Addr
More discussion on this here: https://github.com/rust-lang/rfcs/pull/1498#issuecomment-191921655

Use enum for message kind in compiletest harness.

Use explicit -march flags in the i586 mk file

`-march` should definitely go last, after the environment C(XX)FLAGS, or it's back to square one.
This fixes cross-compilation issues on x86_64.

add assertion and comment about mutability

Auto merge of #31977 - bluss:partial-eq-save, r=brson

derive: Avoid emitting provided PartialEq, PartialOrd methods for c-like enums

derive: Avoid emitting provided PartialEq, PartialOrd method for c-like enums

`ne` is completely symmetrical with the method `eq`, and we can save
rust code size and compilation time here if we only emit one of them
when possible.

One case where it's easy to recognize is when it's a C-like enum. Most
other cases can not omit ne, because any value field may have a custom
PartialEq implementation.

elide noop coercions

make suggestion stuff not swallow errors

The older code would sometimes swallow errors or fail to produce a
suggestion. The newer code does not. However, just printing everything
would produce a bunch of new and kind of annoying errors, so continue
to swallow `T: 'a` errors so long as there are other things to show.

add comment clarifying what edges are needed

fix coercion behavior for nested references