about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2018-01-23Adds support for immovable generators. Move checking of invalid borrows ↵John Kåre Alsaker-0/+1
across suspension points to borrowck. Fixes #44197, #45259 and #45093.
2018-01-09Rollup merge of #47258 - rkruppe:struct-assert, r=eddybkennytm-1/+1
rustc::ty: Rename struct_variant to non_enum_variant r? @eddyb
2018-01-08rustc::ty: Rename `struct_variant` to `non_enum_variant`Robin Kruppe-1/+1
It is also intended for use with unions.
2018-01-07Try to fix a perf regression by updating logMalo Jaffré-2/+2
Upgrade `log` to `0.4` in multiple crates.
2018-01-07Rollup merge of #47205 - eddyb:alloc-id, r=oli-obkkennytm-54/+55
miri: use AllocId instead of u64. This makes @alexreg's miri allocation -> LLVM global translation more straight-forward. r? @oli-obk
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-54/+55
2018-01-04rustc: use {U,I}size instead of {U,I}s shorthands.Eduard-Mihai Burtescu-10/+10
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
The Abort Terminatorkind will cause an llvm.trap function call to be emitted. Signed-off-by: David Henningsson <diwic@ubuntu.com>
2017-12-18normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda-9/+3
Also remove `def_ty`, which was a footgun because it did not do the above.
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-191/+134
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-157/+111
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-171/+149
2017-12-17rustc: don't track whether layouts are "packed".Eduard-Mihai Burtescu-86/+49
2017-12-15Allow easily creating cheap eval context instancesOliver Schneider-57/+66
2017-12-14Move mir validation out of treeOliver Schneider-1480/+59
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+6794