summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2018-02-10Rollup merge of #48078 - alexcrichton:fix-required-const-and-proc-macro, r=eddybkennytm-0/+4
2018-02-08Disallow function pointers to #[rustc_args_required_const]Alex Crichton-0/+4
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+1
2018-02-05Rollup merge of #47892 - Badel2:const_type_id_of, r=oli-obkkennytm-0/+6
2018-02-01Turn `type_id` into a constant intrinsicBadel2-0/+6
2018-02-01rustc: prefer ParamEnvAnd and LayoutCx over tuples for LayoutOf.Eduard-Mihai Burtescu-1/+1
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-4/+4
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-0/+1
2018-01-09Rollup merge of #47258 - rkruppe:struct-assert, r=eddybkennytm-1/+1
2018-01-08rustc::ty: Rename `struct_variant` to `non_enum_variant`Robin Kruppe-1/+1
2018-01-07Try to fix a perf regression by updating logMalo Jaffré-2/+2
2018-01-07Rollup merge of #47205 - eddyb:alloc-id, r=oli-obkkennytm-54/+55
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
2017-12-18normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda-9/+3
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