Replace all const evaluation with miri#46882

Merged

bors merged 110 commits intorust-lang:masterfrom oli-obk:miri3

Mar 8, 2018

+6,638-7,166

Commits on Mar 8, 2018

Add a variant to ConstVal for storing miri results
oli-obk
committed
Add miri errors to the const eval error enum
oli-obk
committed
Produce instead of pointers
oli-obk
committed
Move librustc_const_eval to librustc_mir
oli-obk
committed
Resolve variant field access
oli-obk
committed
Nuke the entire ctfe from orbit, it's the only way to be sure
oli-obk
committed
Initial changes to librustc to support const trait fns.

Alexander Regueiro
authored and
oli-obk
committed
Prepare for using miri in trans

Alexander Regueiro
authored and
oli-obk
committed
Fully use miri in trans
oli-obk
committed
Evaluate 128 lowering lang items manually
oli-obk
committed
Implement on disk cache for AllocId
oli-obk
committed
Codegen tests
oli-obk
committed
Add tests for fixed issues
oli-obk
committed
Add InterpretInterner to StableHashingContext for AllocId serialization
oli-obk
committed
Print whether the stackframe is for a promoted
oli-obk
committed
Additional sanity assertion
oli-obk
committed
Enable const prop to also evaluate constants, not just literals
oli-obk
committed
More const eval sanity checks (invalid slice fat pointers)
oli-obk
committed
Allow writing mutable statics in miri by adding them to the Machine
oli-obk
committed
Allow tools (e.g. miri) to enable rust logging
oli-obk
committed
Don't borrow the interpret_interner for anything but a direct function call
oli-obk
committed
Hide the RefCell inside InterpretInterner
oli-obk
committed
Don't read from zero sized fields
oli-obk
committed
Wrap the miri ErrorKind in an Rc to reduce work in queries
oli-obk
committed
Add test for attempting to use array indexing for conditional const eval
oli-obk
committed
Add test for rust-lang#45044
oli-obk
committed
Destructure Rc wrapped ErrorKind in miri
oli-obk
committed
Rename ConstVal::to_u128 to to_raw_bits
oli-obk
committed
Nuke ConstInt and Const*size
oli-obk
committed
Use layout::Integer over manual *size resolving
oli-obk
committed
Rename simd shuffle function and adjust comment
oli-obk
committed
Stop emitting miri failed in error messages
oli-obk
committed
Prefer enum instead of magic numbers
oli-obk
committed
Use Mutability enum instead of bool
oli-obk
committed
Reduce noise in error reporting
oli-obk
committed
Move compare_const_vals out of eval
oli-obk
committed
Remove unused function
oli-obk
committed
Move lit_to_const to pattern and remove the now-empty eval module
oli-obk
committed
The const_eval module is no more
oli-obk
committed
only export the two check* functions from check_match
oli-obk
committed
Move the pattern checking code to hair
oli-obk
committed
Remove unused error variants and const eval types
oli-obk
committed
Explain the existance of is_binop_lang_item
oli-obk
committed
Accidental paste
oli-obk
committed
Simplify code around reading/writing ConstVals
oli-obk
committed
Add regression tests
oli-obk
committed
Report errors in statics during collecting instead of translating
oli-obk
committed
Don't use scary block reorderings
oli-obk
committed
Split const prop into its own pass
oli-obk
committed
Revert all changes to the instcombine pass
oli-obk
committed
Simplify const SIMD shuffle in trans
oli-obk
committed
Fix ICE in const prop
oli-obk
committed
Adjust tests to more aggressive const err linting
oli-obk
committed
Deduplicate code in rustdoc
oli-obk
committed
Remove the fragile const propagator and just do linting
oli-obk
committed
Adjust tests to changed const err lints
oli-obk
committed
Remove single field struct by just using the field
oli-obk
committed
Remove redundant warnings in rustc_trans

Oliver Schneider
authored and
oli-obk
committed
Merge const linting pass into const prop

Oliver Schneider
authored and
oli-obk
committed
Use IndexVec instead of FxHashMap

Oliver Schneider
authored and
oli-obk
committed
rustc_passes::consts -> rvalue_promotion
oli-obk
committed
Only report bitshift lints on bitshift ops
oli-obk
committed
Report const eval errors at the correct span
oli-obk
committed
Stabilize const_indexing feature
oli-obk
committed
Update tests
oli-obk
committed
Remove unused error E0020
oli-obk
committed
Figure out const propgatable locals in a single pass
oli-obk
committed
Move the resource limits to the session in preparation for attributes configuring them
oli-obk
committed
Simplify const prop checks through PlaceContext
oli-obk
committed
Rename OptimizationFinder and don't propagate any borrows
oli-obk
committed
Simplify const propagator by removing unused code paths
oli-obk
committed
Update tests
oli-obk
committed
Can only const prop temporaries
oli-obk
committed
Add regression test for const prop
oli-obk
committed
Compute the ParamEnv only once and use it to call tcx.const_eval
oli-obk
committed
Report all errors other than those about insufficient type information
oli-obk
committed
Update tests
oli-obk
committed
Add stack traces to miri errors
oli-obk
committed
Const eval error refactoring
oli-obk
committed
Tidy fix
oli-obk
committed
Reduce code duplication
oli-obk
committed
Add some documentation to pattern/const conversions
oli-obk
committed
Remove dead code
oli-obk
committed
Stage 2 doesn't see suggestion_approximate
oli-obk
committed
Unregress error spans in constant errors
oli-obk
committed
Typo
oli-obk
committed
Add a test for transmuting via unions in constants
oli-obk
committed
Update compile-fail tests
oli-obk
committed
Report a best guess span if no stack is available anymore
oli-obk
committed
Report tcx errors with the span of the currently evaluating statement
oli-obk
committed
Rebase fallout
oli-obk
committed
Add regression test
oli-obk
committed
Step limit is now terminator limit
oli-obk
committed
Const eval will oom together with rustc now
oli-obk
committed
Fix mozjs crater failure
oli-obk
committed
Don't use the undefined bytes of PrimVal::Bytes
oli-obk
committed
Deduplicate some code
oli-obk
committed
Decide signdedness on the layout instead of the type
oli-obk
committed
Adjust test which differs between 32 bit and 64 bit
oli-obk
committed
Address review comments
oli-obk
committed
Generator assertions are unconditionally triggered
oli-obk
committed
Remove unused error code
oli-obk
committed
Reuse Integer::from_attr
oli-obk
committed
Use clearer name for integer bit width helper function
oli-obk
committed
Regenerate tests
oli-obk
committed
Correct the shift overflow check in miri
oli-obk
committed
Unify the const folding errors
oli-obk
committed
simplify constant value pair field access
oli-obk
committed
Clean up the binary hex lint
oli-obk
committed
Don't derive traits on packed structs
oli-obk
committed