Reduce the chance of accidentally calling functions in CTFE

previously miri had a check for const fn and other cases that
CTFE requires. Instead the function call is completely
processed inside the machine. This allows CTFE to have full
control over what is called and miri to not have useless
CTFE-checks in normal mode.

Move the `global_item` function to the `EvalContext`

Rename `const_eval::Evaluator` to `CompileTimeFunctionEvaluator`

Move more non-CTFE operations to the Machine

Split "new" miri crate into modules

Implement the first machine function

Split up miri into the librustc_mir and bin parts

Merge pull request #277 from RalfJung/nightly

fix for latest nightly

fix for latest nightly

Merge pull request #274 from RalfJung/packed2

make force_allocation handle packed ByValPair

remove some commented-out tracing

avoid anonymous bool

use Cell for memory's aligned flag to avoid infecting interfaces with 'fake' mutability

make force_allocation handle packed ByValPair

Merge pull request #272 from oli-obk/mir-validate

Mir validate

disable validation code so that it all compiles against current nightly

whitelist some more methods

Merge pull request #273 from RalfJung/ref

Test that &* of a dangling (and even unaligned) ptr is okay

move undef-check-on-release-validation out, to catch more cases

check mutable UnsafeCell; hack for AtomicBool::get_mut

more hacks to make test cases pass

Test that &* of a dangling (and even unaligned) ptr is okay

whitelist things so that more tests pass

suspend lvalues, not locks. refactor memory locking.

Due to this, we are back down to 88 tests

make LockInfo non-Copy

fix checks when releasing write locks (101)

we don't have to set the frame on every step

handle type of function definitions (98)

we need to normalize associated types also deep in the hierarchy (89)

Handle trait objects.  Only very superficial checking of the vtable for now. (88)

nits. also, rustc now emits released for drop. (72)

exempt UnsafeCell from checks (69)

move validation to its own file

we have to permit deallocation memory for which we hold a read lock (67)

fix handling univariant enums (62)

permit locking constant memory (60)

fn ptrs and never were accidentally disabled (55)

fix normalizing associated types. this brings us up to 52 passing tests!

handle array types

Re-do the way locking is done during verification

We now lock at the "leaves" on the types, rather than locking at references.
In particular, Validate for sth. of non-reference lvalue will also lock the "outer" memory.
Also change the way we release write locks, and some refactoring in the memory.

for references, validate alignment and handle ZSTs

validate TyClosure, TyTuple, TyNever

various small fixes and tracing

Also release locks on ReleaseValidation and EndRegion

fix release_lock_until to no longer remove inactive locks

avoid downcasting for enum variants without further fields

validate boxes

implement checking for ADTs

implement stub validity check for basic types (bool, int, float); acquire locks for references

implement acquiring and releasing locks

add locking data structures and lock checks

This brings back some of the memory range ideas that were deleted with the packed refactoring.

update for rustc changes: treat new MIR commands as NOP

Merge pull request #267 from RalfJung/cast

Fix ptr-int-casts

Pass `HasDataLayout` instead of the data layout itself

Use rustc traits instead of our own

move pointer truncation to a common method in memory.rs

Merge pull request #269 from oli-obk/cleanups

Remove unused `IntoValTyPair` hack

fix nits

refactor casting code to more clearly handle pointers

fix casting integers to pointers

Remove unused `IntoValTyPair` hack

Merge pull request #258 from oli-obk/upstream

Prep miri repository for rustc merger

Prep miri repository for rustc merger

Merge pull request #266 from RalfJung/align

Always test alignment in memory.rs

always test alignment in memory.rs

Merge pull request #265 from oli-obk/optimize_prime

Also test optimized MIR

Also test optimized MIR

Merge pull request #264 from oli-obk/paths

Reduce the usage of global paths

Reduce the usage of global paths

Merge pull request #260 from RalfJung/tests

Split up test suite

Merge pull request #262 from RalfJung/never

remove ad-hoc 'never' type check in read_lvalue

Move rustc tests from tests to a binary, since they are only run manually anyway

Merge pull request #259 from RalfJung/ref-validate

No longer check aligment and non-NULLness on `&`

remove ad-hoc 'never' type check in read_lvalue

add test for misaligned pointer loads

fix checking alignment of pointer loads

fix a warning

split up the test suite

enable test code that passes just fine

Don't pretend that casts to bool are a thing

No longer check aligment and non-NULLness on `&`

This breaks creating unaligned raw pointers via `&packed.field as *const _`, which needs to be legal.
Also it doesn't seem like LLVM still relies on this, see
* https://github.com/solson/miri/issues/244#issuecomment-315563640
* https://internals.rust-lang.org/t/rules-for-alignment-and-non-nullness-of-references/5430/16

We probably want to handle this invariant like the others that validation is concerned with, and only
check it on function boundaries for now.

Merge pull request #257 from oli-obk/cleanups

Export types and functions needed by priroda

Export types and functions needed by priroda

Merge pull request #254 from RalfJung/dangling

Remove reundant dangling checks in {r,d}eallocate

Merge pull request #255 from RalfJung/float

use libstd methods for floating-point <-> bytes conversion

use libstd methods for floating-point <-> bytes conversion

remove reundant dangling checks in {r,d}eallocate

Merge pull request #245 from oli-obk/funky_allocs

Ensure that it is not possible to explicitly free stack memory

Merge pull request #249 from RalfJung/lvalue

lvalue: refactoring to permit applying a mir projection to a miri lvalue

lvalue: refactoring to permit applying a mir projection to a miri lvalue

Add a comment explaining the static "local" during `deallocate_local`

Fix static mutation tests

Remove duplicate test

Use enum instead of boolean

Clarify documentation

Ensure that it is not possible to explicitly free stack memory

Merge pull request #247 from RalfJung/packed

Re-do packed memory accesses

packed structs: test unsize coercions

Merge pull request #243 from solson/magic_numbers

Get rid of magic numbers

use closures to ensure proper bracketing of unaligned accesses