about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-14/+14
2019-11-21Rollup merge of #66468 - RalfJung:simd-cleanup, r=oli-obkMazdak Farrokhzad-20/+11
Cleanup Miri SIMD intrinsics r? @oli-obk @eddyb Cc @gnzlbg
2019-11-19Revert expansion of impl HashStable for Frame.Camille GILLOT-20/+12
2019-11-19Derive HashStable in librustc_mir.Camille GILLOT-57/+35
2019-11-16ICE on invalid MIRRalf Jung-4/+1
2019-11-16make simd_size return a u64Ralf Jung-2/+1
2019-11-16rename and move read_vector_tyRalf Jung-21/+11
2019-11-16re-add miri intrinsic ABI checkRalf Jung-0/+5
2019-11-14Auto merge of #66233 - cjgillot:constkind, r=oli-obkbors-14/+12
Split ConstValue into two enums Hello, Issue #59210 appeared abandoned, so I gave it a go. Some further cleanup and refactoring may be mandated. I did not test beyond `x.py check`, since my home computer dies compiling librustc. Fixes #59210
2019-11-12Rename in librustc_mir.Camille GILLOT-14/+12
2019-11-11UpdateAaron Hill-1/+1
2019-11-11Return Ok(false) instead of throwing when handling a diverging intrinsicAaron Hill-3/+2
2019-11-11Fix rebase falloutAaron Hill-1/+1
2019-11-11Rename toAaron Hill-2/+3
2019-11-11Fix debug assertionAaron Hill-1/+2
2019-11-11Remove trampoline, pass `ret` and `unwind` when handling intrinsicsAaron Hill-15/+9
2019-11-11Some code cleanupAaron Hill-28/+23
2019-11-11Make doc comment more accurateAaron Hill-1/+4
2019-11-11Add miri trampoline, fix handling of intrinsic returnAaron Hill-1/+10
2019-11-11Fix unwinding logicAaron Hill-2/+8
2019-11-11Some cleanupAaron Hill-27/+30
2019-11-11Add doc commentAaron Hill-0/+13
2019-11-11A few minor tweaksAaron Hill-1/+1
2019-11-11avoid the loop in unwinding stack poppingRalf Jung-107/+85
2019-11-11Remove old intrinsic checkAaron Hill-5/+0
2019-11-11Fix incorrect unwrap of destAaron Hill-6/+0
2019-11-11Formatting improvementsAaron Hill-2/+2
Co-Authored-By: Oliver Scherer <github35764891676564198441@oli-obk.de>
2019-11-11Add hooks for Miri panic unwindingAaron Hill-55/+204
This commits adds in some additional hooks to allow Miri to properly handle panic unwinding. None of this should have any impact on CTFE mode
2019-11-10Merge hir::Mutability into ast::Mutability.Camille GILLOT-7/+7
2019-11-10Rollup merge of #65831 - matthewjasper:array-ptr-cast, r=oli-obkYuki Okushi-1/+3
Don't cast directly from &[T; N] to *const T Split out from #64588 r? @oli-obk
2019-11-08Rollup merge of #66154 - RalfJung:to_usize, r=oli-obkMazdak Farrokhzad-7/+7
miri: Rename to_{u,i}size to to_machine_{u,i}size Having a function `to_usize` that does not return a (host) usize is somewhat confusing, so let's rename it. r? @oli-obk
2019-11-08miri: Rename to_{u,i}size to to_machine_{u,i}sizeRalf Jung-7/+7
Having a function `to_usize` that does not return a usize is somewhat confusing
2019-11-08rename Memory::get methods to get_raw to indicate their unchecked natureRalf Jung-43/+46
2019-11-07Rollup merge of #66147 - RalfJung:no-scalar-ptr, r=oli-obkYuki Okushi-66/+36
Miri: Refactor to_scalar_ptr out of existence `to_scalar_ptr` is somewhat subtle as it just throws away the 2nd component of a `ScalarPair` if there is one -- without any check if this is truly a pointer or so. And indeed we used it wrong on two occasions! So I fixed those two, and then refactored things such that everyone calls `ref_to_mplace` instead (which they did anyway, I just moved up the calls), which is the only place that should interpret a `ScalarPair` as a wide ptr -- and it checks the type first. Thus we can remove `to_scalar_ptr` and `to_meta`. r? @oli-obk
2019-11-06improve a commentRalf Jung-1/+1
2019-11-06remvoe to_scalar_ptr and use ref_to_mplace everywhereRalf Jung-62/+30
2019-11-06miri cast: avoid unnecessary to_scalar_ptrRalf Jung-3/+5
2019-11-06Rollup merge of #65973 - eddyb:caller-location-panic, r=petrochenkovMazdak Farrokhzad-1/+2
caller_location: point to macro invocation sites, like file!/line!, and use in core::panic!. The main change here is to `core::panic!`, trying to fix this remaining regression: https://github.com/rust-lang/rust/pull/65927#issuecomment-547625147 However, in order for `caller_location` to be usable from macros the same way `file!()`/`line!()` are, it needs to have the same behavior (of extracting the macro invocation site `Span` and using that). Arguably we would've had to do this at some point anyway, if we want to use `#[track_caller]` to replace the `file!()`/`line!()` uses from macros, but I'm not sure the RFC mentions this at all. r? @petrochenkov cc @anp @nnethercote
2019-11-06Rollup merge of #65776 - nnethercote:rename-LocalInternedString-and-more, ↵Mazdak Farrokhzad-1/+1
r=estebank Rename `LocalInternedString` and more This PR renames `LocalInternedString` as `SymbolStr`, removes an unnecessary `impl` from it, improves comments, and cleans up some `SymbolStr` uses. r? @estebank
2019-11-06Rollup merge of #66081 - RalfJung:ptr-offset, r=zackmdavisMazdak Farrokhzad-6/+13
let caller of check_ptr_access_align control the error message This is needed for https://github.com/rust-lang/miri/pull/1031
2019-11-05expand comment explaining integer exceptionRalf Jung-2/+4
2019-11-04Miri: ptr_offset_from: support offset_from with twice the same non-null integerRalf Jung-3/+20
2019-11-04Miri: offset_from: do int-to-ptr casts when neededRalf Jung-2/+2
2019-11-04let caller of check_ptr_access_align control the error messageRalf Jung-6/+13
2019-11-02Auto merge of #63810 - oli-obk:const_offset_from, r=RalfJung,nikicbors-1/+50
Make <*const/mut T>::offset_from `const fn` This reenables offset_of cc @mjbshaw after https://github.com/rust-lang/rust/pull/63075 broke it
2019-11-02Simplify various `Symbol` use points.Nicholas Nethercote-1/+1
Including removing a bunch of unnecessary `.as_str()` calls, and a bunch of unnecessary sigils.
2019-10-30caller_location: point to macro invocation sites, like file!/line!.Eduard-Mihai Burtescu-1/+2
2019-10-30Fix an incorrect docstring for Immediate in librustc_mir/interpret.Edd Barrett-1/+1
2019-10-27Always use consteval to codegen caller_location.Adam Perry-22/+22
2019-10-27Implementation of const caller_location.Adam Perry-1/+64