rustup to rustc 1.14.0-nightly (7c69b0d5a 2016-11-01)

Merge pull request #72 from bluss/rustup

rustup to rustc 1.14.0-nightly (3f4408347 2016-10-27)

rustup to rustc 1.14.0-nightly (3f4408347 2016-10-27)

Merge pull request #70 from plietar/patch-1

README.md: Fix logging environment variable name

README.md: Fix logging environment variable name

Merge pull request #69 from oli-obk/master

don't force allocations for most casts

don't force allocate for most Unsize casts

only Arc<T> -> Arc<Trait> unsize casts are left

don't force allocate for UnsafeFnPointer casts

don't force allocate for ReifyFnPointer casts

don't force allocate for Misc casts

Merge pull request #68 from oli-obk/master

priroda requirements + static impl

adjust some comments referencing locals

remove GlobalKind

preemptively change some assertions into errors

rename more [Ss]tatic* to [Gg]lobal*

rename statics/Constant/ConstantId/ConstantKind to [gG]lobal*

choose better function and argument names

constant ids are `Copy` now

Simplify PrimValKind and remove a horrible hack.

This takes the `AllocId` out of PrimValKind, replacing it with a
`relocation` field on `PrimVal`, which is closer to an earlier design
for `PrimVal` I discussed with @eddyb.

This commit prepares the code for removing the `PrimValKind` from
`PrimVal` and making them more pure bitbags. The only code dealing with
`PrimValKind` will be code making decisions like "what kind of operation
do I need to do on these bits", like operators and casting. Transmutes
of `PrimVal`s will become true no-ops, not even adjusting a `kind`
field.

This commit also removes my horrible `value_to_primval` hack that made
an allocation for every `ByVal` passed in, so it could use `read_value`
to get a `PrimVal` with the right kind. Now I just compute the
`PrimValKind` from the `Ty` and re-tag the `PrimVal`.

The code got slightly messier in some areas here, but I think a _lot_ of
code will simplify in obvious ways once I remove the `kind` field from
`PrimVal`.

Gosh, if my commit messages aren't turning into essays these days.

more priroda requirements

yield a miri error instead of panicking on uninitialized statics

don't allocate statics unless a reference to them is created

split eval_and_read_lvalue into two functions

add a 'tcx lifetime to Lvalue in preparation for statics

make some pieces public that are required by priroda

Represent PrimVals as "bitbags".

Now instead of holding a native type based on the tag, all PrimVals
store a u64 (the `bits`), along with a `kind` corresponding to the
variant as it would be in the old PrimVal representation.

This commit makes no major optimizations and attempts to not change any
behaviour. There will be commits to follow that make use of this
representation to eliminate unnecessary allocation hacks like in
`value_to_primval`.

A number of places could be even more cleaned up after this commit,
particularly in `cast.rs`.

Expand on "uninit" FIXME.

Fix local dump check.

Clean up read_value.

Dump local values on Lvalue creation.

Dump local values when they are read.

Add test for 39bb1254d.

Fix write_value of ByVal into a ByRef.

Previously, you could perform the following, if you assume we could make
`Cell<i32>` into a primitive. (Alternately, you could achieve this with
unsafe code):

    x = Cell::new(12);
    y = &x;

    // Miri locals array:
    //   x = ByRef(alloc123);
    //   y = ByVal(Ptr(alloc123));
    //
    // Miri allocations:
    //   alloc123: [12, 0, 0, 0]

    x.set(42);

    // Miri locals array:
    //   x = ByVal(I32(42));
    //   y = ByVal(Ptr(alloc123));
    //
    // Miri allocations:
    //   alloc123: [12, 0, 0, 0]

Notice how `y` still refers to the allocation that used to represent
`x`. But now `x` was changed to `42` and `y` is still looking at memory
containing `12`.

Now, instead, we keep `x` as a `ByRef` and write the `42` constant into
it.

Unit test to follow in the next commit.

Make locals debug printing configurable.

Optimize reads of field projections of ByValPairs.

This helps in the case of field projections of the results of checked
binary operations. E.g.:

    _1 = CheckedAdd(const 1i32, const 2i32);
    assert(!(_1.1: bool), "attempt to add with overflow" -> bb1

Previously, the `_1.1` field projection lvalue would force_allocate `_1`
so it could read the memory in the old-style way. Now checked math with
its assertions will not allocate at all.

The oom2.rs compile-fail test had to be re-written, because the old
version of it no longer allocates _at all_ (yay!), so it would hit the
stack depth limit instead, from recursion.

Make locals debug printing smarter.

Do not force_allocate checked binop destination.

Refactor writing ByValPair to pointers.

Deallocate primval conversion hack allocs.

It's a hack, sure, but it should learn some manners.

Do not force_allocate Deref base.

This makes `eval_lvalue` a bit less DRY for now, but it will be easier
to remove force_allocate in more places piecewise.

Do not force_allocate Ref destination.

Pass thin self ptr to virtual calls.

Do not force_allocate CEnum destination.

Do not force_allocate Box destination.

Refactor alloc_ptr.

Do not force_allocate SwitchInt discrs.

Do not pre-allocate local variables.

Thanks to the `Value` locals refactoring, now primitive locals (ints,
floats, chars, bools, and the like) will not require `Allocation`s at
all, and locals that are never initialized at all because of conditional
control flow won't be wasting memory.

Hold an Lvalue for the return pointer in a frame.

Previously ReturnPointer was just the first slot in the locals array,
which had type `Vec<Pointer>`. But after my recent refactoring, locals
is `Vec<Value>` and it became increasingly hacky to pull a pointer out
of the first slot to be the value. Besides, that hack wouldn't allow
ReturnPointer to ever be an `Lvalue::Local`, referring directly to a
local on a higher stack frame.

Now ReturnPointer has no presence in the locals array, instead being
upgraded to its own field on `Frame`.

This introduces a couple of new hacks, detailed by some of my FIXME
comments, so that I could get the tests passing again and commit. More
commits coming soon should clean up these hacks without much trouble,
and overall I feel that the code is converging on a cleaner, more
efficient design.

Update for changes in rustc.

Add support for local `Value`s in `Lvalue`.

The new `Lvalue` has an additional form, `Lvalue::Local`, with the old
form being `Lvalue::Ptr`. In an upcoming commit, we will start producing
the new form for locals, and enable reading and writing of primitive
locals without ever touching `Memory`.

Statics should be able to get a similar treatment, where primitive
statics can be stored and accessed without touching `Memory`.

Fix some long lines.

Implement atomic_{load,store}.

Refactor in preparation for `Value` locals.

Turning locals into `Vec<Value>` will allow writing `PrimVal` results
directly into the locals array without creating `memory::Allocation`s
for every local.

This will entail passing around a generalized kind of `Lvalue` instead
of `Pointer`s for the destinations of operations. Replacing `Pointer`
with `Lvalue` is mostly done with this commit, but expanding `Lvalue`
will come later.

This commit turns every local from `Pointer` into `Value::ByRef(ptr)`.
Locals which are `Value::ByVal(prim_val)` will come in a later commit.

`cargo update` to fix compiletest build.

Update for changes in rustc.

Merge pull request #67 from oli-obk/master

fix multi field enum variants and some intrinsics + rustup

rustup

bump compiletest

fix enum variants with multiple fields

remove some debug output

factor out shared code

fix intrinsics and implement more of them

Merge pull request #65 from oli-obk/master

small fixes

Reword inline assembly error.

allow tuple field indexing into anonymous tuples

don't panic on asm!

implement slice patterns

fix run-pass test error message parsing

run compile-fail tests after run-pass tests

it's annoying when debugging miri to have compile-fail tests fail due to some temporary
assertions or panics.

Merge pull request #64 from oli-obk/bugfixes

Bugfixes

we can get the Session from the TyCtxt

implement Arc<T> -> Arc<Trait> unsizing

don't abort on the first failed test

be able to find statics in other crates

print stacktrace when miri can't find the MIR for something

rustup

fix matching on chars

fixes #63

Merge pull request #60 from oli-obk/dst

some more cleanups getting rid of intermediate allocations and bad fat ptr assumptions

fix warnings

remove FIXME cleared up in the PR

typecheck `write_value` for `ByValPair`

reintroduce Lvalue and LvalueExtra

actually error on failing miri-pass tests

+ remove a test that never succeeded

refactor `Lvalue` and `PrimVal::{SlicePtr, VtablePtr}` into `Value::ByValPair`

remove `move_value`, which is a dupe of `write_value`

check `Pointer::to_int` for non-integer pointers

Merge remote-tracking branch 'origin/master' into dst

Merge pull request #59 from oli-obk/master

enable A<Struct> -> A<Trait> downcasting where `A<Trait>` is a fat pointer

refactor away `get_fat_ptr`

clean up get_fat_ptr usage in Unsize

implement "type_name" intrinsic

refactor away intermediate allocations, stage1

refactor away IntegerPtr

remove the ZST allocation and abort all zero byte writes/reads

make Memory::dump use `trace!` instead of `println!`

fully implement `size_of_val` and add various tests that now succeed

Merge branch 'master' of https://github.com/tsion/miri

Rename AbstractPtr to Ptr.

Update for changes in rustc.

Remove more eval_operand_to_ptr.