summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/interpret/memory.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove dead codeOliver Schneider2018-05-241-3/+0
* Properly check defined bits rangeOliver Schneider2018-05-241-2/+2
* primval -> scalar renameOliver Schneider2018-05-241-4/+4
* change `Value::Bytes` to `Value::Bits`Oliver Schneider2018-05-241-15/+20
* Remove Pointer::zero in favor of Pointer::fromOliver Schneider2018-05-241-6/+3
* Rename MemoryPointer to PointerOliver Schneider2018-05-241-29/+29
* Eliminate the `Pointer` wrapper typeOliver Schneider2018-05-241-16/+16
* Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider2018-05-241-7/+7
* Rename PrimVal to ScalarOliver Schneider2018-05-241-17/+17
* Add constant for `Size::from_bytes(0)`Oliver Schneider2018-05-241-6/+6
* Use SortedMap instead of BTreeMap for relocations in MIRI.Michael Woerister2018-05-221-21/+21
* Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker2018-05-221-43/+45
* Get rid of literal_alloc_cacheJohn Kåre Alsaker2018-05-221-2/+2
* Use `Size` instead of `u64` in mir interpretationOliver Schneider2018-05-191-83/+86
* Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker2018-05-111-8/+42
* Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker2018-05-111-51/+18
* Make dump_{alloc,allocs,local}() no-ops when tracing is disabled.Nicholas Nethercote2018-04-261-0/+6
* Fix the miri toolOliver Schneider2018-04-231-3/+6
* Rollup merge of #49625 - bjorn3:miri_access_memory_kind, r=oli-obkkennytm2018-04-051-0/+4
|\
| * miri: add public alloc_kind accessorbjorn32018-04-041-0/+4
* | Replace uses of `Hash(Map|Set)` with `FxHash(Map|Set)` in miriOliver Schneider2018-03-231-8/+9
* | Address review commentsOliver Schneider2018-03-081-23/+9
* | Decide signdedness on the layout instead of the typeOliver Schneider2018-03-081-13/+1
* | Don't use the undefined bytes of PrimVal::BytesOliver Schneider2018-03-081-1/+4
* | Const eval will oom together with rustc nowOliver Schneider2018-03-081-17/+0
* | Report tcx errors with the span of the currently evaluating statementOliver Schneider2018-03-081-3/+4
* | Move the resource limits to the session in preparation for attributes configu...Oliver Schneider2018-03-081-2/+2
* | Use Mutability enum instead of boolOliver Schneider2018-03-081-2/+2
* | Hide the RefCell inside InterpretInternerOliver Schneider2018-03-081-14/+11
* | Don't borrow the interpret_interner for anything but a direct function callOliver Schneider2018-03-081-3/+2
* | Additional sanity assertionOliver Schneider2018-03-081-1/+3
* | Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider2018-03-081-3/+3
* | Fully use miri in transOliver Schneider2018-03-081-95/+49
* | typo: correct endianess to endianness (this also changes function names!)Matthias Krüger2018-02-111-16/+16
|/
* miri: use AllocId instead of u64.Eduard-Mihai Burtescu2018-01-051-42/+42
* miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu2017-12-171-121/+71
* miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu2017-12-171-10/+4
* miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu2017-12-171-34/+32
* Move mir validation out of treeOliver Schneider2017-12-141-401/+8
* Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider2017-12-121-0/+1534