summary refs log tree commit diff
path: root/src/librustc_mir/interpret/terminator
AgeCommit message (Expand)AuthorLines
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-18normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda-3/+1
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-1/+3
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-9/+10
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-6/+5
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+503