summary refs log tree commit diff
path: root/src/librustc_mir/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-1/+1
2018-06-05Properly report transitive errorsOliver Schneider-11/+5
2018-05-31Update miri submoduleOliver Schneider-1/+1
2018-05-31Don't invalidate one byte beyond the endOliver Schneider-1/+1
2018-05-24Remove dead codeOliver Schneider-3/+0
2018-05-24Properly check defined bits rangeOliver Schneider-2/+2
2018-05-24primval -> scalar renameOliver Schneider-4/+4
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-15/+20
2018-05-24Remove Pointer::zero in favor of Pointer::fromOliver Schneider-6/+3
2018-05-24Rename MemoryPointer to PointerOliver Schneider-29/+29
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-16/+16
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-7/+7
2018-05-24Rename PrimVal to ScalarOliver Schneider-17/+17
2018-05-24Add constant for `Size::from_bytes(0)`Oliver Schneider-6/+6
2018-05-22Use SortedMap instead of BTreeMap for relocations in MIRI.Michael Woerister-21/+21
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-43/+45
2018-05-22Get rid of literal_alloc_cacheJohn Kåre Alsaker-2/+2
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-83/+86
2018-05-11Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker-8/+42
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-51/+18
2018-04-26Make dump_{alloc,allocs,local}() no-ops when tracing is disabled.Nicholas Nethercote-0/+6
2018-04-23Fix the miri toolOliver Schneider-3/+6
2018-04-05Rollup merge of #49625 - bjorn3:miri_access_memory_kind, r=oli-obkkennytm-0/+4
2018-04-04miri: add public alloc_kind accessorbjorn3-0/+4
2018-03-23Replace uses of `Hash(Map|Set)` with `FxHash(Map|Set)` in miriOliver Schneider-8/+9
2018-03-08Address review commentsOliver Schneider-23/+9
2018-03-08Decide signdedness on the layout instead of the typeOliver Schneider-13/+1
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-1/+4
2018-03-08Const eval will oom together with rustc nowOliver Schneider-17/+0
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-3/+4
2018-03-08Move the resource limits to the session in preparation for attributes configu...Oliver Schneider-2/+2
2018-03-08Use Mutability enum instead of boolOliver Schneider-2/+2
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-14/+11
2018-03-08Don't borrow the interpret_interner for anything but a direct function callOliver Schneider-3/+2
2018-03-08Additional sanity assertionOliver Schneider-1/+3
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-3/+3
2018-03-08Fully use miri in transOliver Schneider-95/+49
2018-02-11typo: correct endianess to endianness (this also changes function names!)Matthias Krüger-16/+16
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-42/+42
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-121/+71
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-10/+4
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-34/+32
2017-12-14Move mir validation out of treeOliver Schneider-401/+8
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+1534