summary refs log tree commit diff
path: root/src/librustc/mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
2018-07-04Derive Eq and Hash for types used in Miri's evaluatorDylan MacKenzie-1/+1
2018-07-01Auto merge of #51833 - wesleywiser:faster_large_constant_arrays, r=oli-obkbors-0/+3
2018-06-29Inline a few `UndefMask` methods.Wesley Wiser-0/+3
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-1/+1
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+4
2018-06-01Remove outdated AllocId decoding function.Michael Woerister-42/+1
2018-06-01Make const decoding from the incremental cache thread-safe.Michael Woerister-0/+169
2018-05-24Replace `ScalarKind` with `Primitive`Oliver Schneider-1/+1
2018-05-24Remove Pointer::zero in favor of Pointer::fromOliver Schneider-4/+7
2018-05-24Rename MemoryPointer to PointerOliver Schneider-9/+9
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-1/+1
2018-05-24Rename PrimVal to ScalarOliver Schneider-1/+1
2018-05-24Add constant for `Size::from_bytes(0)`Oliver Schneider-2/+6
2018-05-24implement Ord for OutlivesPredicate and other typestoidiu-4/+4
2018-05-22Use SortedMap instead of BTreeMap for relocations in MIRI.Michael Woerister-4/+34
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-22/+119
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-35/+36
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-4/+58
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-1/+1
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-6/+6
2018-04-30Remove the `rustc_const_math` crateOliver Schneider-1/+1
2018-04-14Get rid of redundant `HashSet`Oliver Schneider-1/+1
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-15/+6
2018-04-14Don't recurse into allocations, use a global table insteadOliver Schneider-28/+20
2018-03-20Encode/decode extern statics in metadata and incremental cacheOliver Schneider-0/+14
2018-03-16Cleanup metadata and incremental cache processing of constantsOliver Schneider-1/+81
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-1/+1
2018-03-08Simplify const prop checks through PlaceContextOliver Schneider-1/+1
2018-03-08Use Mutability enum instead of boolOliver Schneider-3/+6
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-0/+2
2018-03-08Fully use miri in transOliver Schneider-0/+3
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-4/+7
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-1/+1
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-4/+3
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-1/+1
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-22/+250
2017-12-06miri: don't use an associated constant for a Machine's own data.Eduard-Mihai Burtescu-1/+1
2017-12-06Update miri to rustc changesOliver Schneider-5/+5
2017-09-29Adjust imports to librustc::mir::interpretOliver Schneider-1/+1
2017-09-29Move miri base code to rustc::mir::interpretOliver Schneider-0/+42