summary refs log tree commit diff
path: root/src/librustc/mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
2018-10-23fix typos in various placesMatthias Krüger-1/+1
2018-10-21Auto merge of #55125 - RalfJung:stacked-borrows, r=oli-obkbors-2/+6
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-2/+2
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-2/+2
2018-10-18add support for storing extra data in an allocationRalf Jung-2/+6
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-18/+46
2018-10-01Auto merge of #54693 - RalfJung:ctfe-scalar-pair-undef, r=oli-obkbors-1/+1
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-1/+1
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-2/+2
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-7/+14
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-7/+14
2018-09-03Document snapshot.rsBruno Dutra-0/+5
2018-09-03Make vaious allocation related types generic on the allocation idBruno Dutra-6/+6
2018-08-29audit the relocations code, and clean it up a littleRalf Jung-1/+3
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-1/+6
2018-08-27Miri Memory WorkRalf Jung-7/+9
2018-08-23Reflow and fixup commentsBernardo Meurer-1/+2
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22finally remove all traces of signs from memoryRalf Jung-12/+20
2018-08-22miri/CTFE refactorRalf Jung-3/+3
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-1/+1
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