summary refs log tree commit diff
path: root/src/librustc_mir/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2018-07-30Auto merge of #52805 - ljedrz:format_str_literal, r=petrochenkovbors-1/+1
2018-07-29Sanity-check all constantsOliver Schneider-0/+1
2018-07-28Don't format!() string literalsljedrz-1/+1
2018-07-04Improve correctness of `Frame` and `Memory` equalityDylan MacKenzie-4/+2
2018-07-04Revert "Refactor EvalContext stack and heap into inner struct"Dylan MacKenzie-17/+3
2018-07-04Implement Clone, Eq and Hash for the heap and stackDylan MacKenzie-3/+79
2018-07-04Refactor EvalContext stack and heap into inner structDylan MacKenzie-2/+2
2018-07-02Removed `uninitialized_statics` field from `Memory` struct in miri.Alexander Regueiro-77/+47
2018-07-01Auto merge of #51110 - alexreg:new-static-eval-rules, r=eddybbors-1/+5
2018-07-01Auto merge of #51833 - wesleywiser:faster_large_constant_arrays, r=oli-obkbors-21/+51
2018-06-30Fixed bug with miri const evaluation where allocation is recursively borrowed.Alexander Regueiro-1/+2
2018-06-30Added miri error for evaluating foreign statics.Alexander Regueiro-0/+3
2018-06-30Copy undef_masks correctly for repeated bytesWesley Wiser-5/+9
2018-06-30Fix relocations to include repeated valuesWesley Wiser-7/+15
2018-06-29Optimize `copy_undef_mask()` to use one passWesley Wiser-17/+8
2018-06-29Optimize `copy_undef_mask()` by lifting some loop invariant operationsWesley Wiser-9/+18
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-6/+1
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-2/+2
2018-06-26Speed up compilation of large constant arraysWesley Wiser-4/+22
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