always back `ty::Const` by an `Allocation` - #58486

Closed

oli-obk wants to merge 23 commits into

rust-lang:masterfrom

oli-obk:import_miri_from_future

Commits on Feb 14, 2019

Setup `ty::Const` to allow `ConstValue::Scalar` to be backed by an allocation
oli-obk
committed
7c966de
Fiddle the corresponding allocation through all `RawConst` uses
oli-obk
committed
a5a5ef1
Make const eval not use the hacky `op_to_const` function
oli-obk
committed
f5fb34c

Commits on Feb 15, 2019

Fix equality check for constants
oli-obk
committed
db168bc
Promoteds always have a backing allocation
oli-obk
committed
9a63fc8
Fixup: statics are always backed by an allocation
oli-obk
committed
78c36b9
Update comment and make it truer by actually doing what it says
oli-obk
committed
785302d
Explain the `val` caching in `ty::Const`
oli-obk
committed
8b0dd6d
Remove a now-dead function argument
oli-obk
committed
6906379
Mark a function private that is unused anywhere else
oli-obk
committed
1b93eda
Fold an if on a match returning a bool directly into the match
oli-obk
committed
b3731ee
Synchronize StableHash with the updated PartialEq impl
oli-obk
committed
b0857a7
Don't create an intermediate place when reading discriminants
oli-obk
committed
1495b6b
Note to self
oli-obk
committed
92e4471
Insert satisfying `op_to_const` bbqing sound here.
oli-obk
committed
0075868
Make validity checking use `MPlaceTy` instead of `OpTy`
oli-obk
committed
a13cfdb
Eliminate another use of `lazy_const_to_op`
oli-obk
committed
981a79e
Simplify `raw_const_to_mplace`
oli-obk
committed
c07162c
Update a comment
oli-obk
committed
defa8d5
Another bad function bites the dust
oli-obk
committed
b653dc2
Update an outdated comment
oli-obk
committed
d3d145e
Keep MPlaceTy internals private
oli-obk
committed
1f718b0
Don't access the stack if not strictly necessary
oli-obk
committed
5ef183d