about summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Collapse)AuthorLines
2018-05-31Make ctpop, cttz, ctlz and bswap const fnsLinus Färnstrand-3/+60
2018-05-31Update miri submoduleOliver Schneider-1/+1
2018-05-31ScalarPair for two element tuples was treated wrongly in closure callsOliver Schneider-12/+24
2018-05-31Pull a layout computation out of a loopOliver Schneider-1/+4
2018-05-31Don't invalidate one byte beyond the endOliver Schneider-1/+1
2018-05-31Don't store the discriminant with the enum's type sizeOliver Schneider-1/+1
2018-05-29Review feedback: update fixme comment to reflect reality.Felix S. Klock II-3/+2
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+5
(This is just the data structure changes and some boilerplate match code that followed from it; the actual emission of these statements comes in a follow-up commit.)
2018-05-24Rename `amt` variables to `shift`Oliver Schneider-10/+10
2018-05-24Remove dead codeOliver Schneider-3/+0
2018-05-24Remove `ty_to_primitive`Oliver Schneider-13/+12
2018-05-24Properly check defined bits rangeOliver Schneider-2/+2
2018-05-24Replace `ScalarKind` with `Primitive`Oliver Schneider-76/+9
2018-05-24Get rid of `scalar_size`Oliver Schneider-12/+13
2018-05-24Update outdated commentOliver Schneider-1/+1
2018-05-24primval -> scalar renameOliver Schneider-58/+58
2018-05-24Use the destination type size instead of the source type sizeOliver Schneider-1/+1
2018-05-24Use the target types bitsize instead of the source type'sOliver Schneider-6/+6
2018-05-24change `Value::Bytes` to `Value::Bits`Oliver Schneider-104/+220
2018-05-24Remove Pointer::zero in favor of Pointer::fromOliver Schneider-9/+5
2018-05-24Rename MemoryPointer to PointerOliver Schneider-48/+48
2018-05-24Eliminate the `Pointer` wrapper typeOliver Schneider-49/+48
2018-05-24Rename ByVal(Pair) to Scalar(Pair)Oliver Schneider-57/+57
2018-05-24Rename PrimVal to ScalarOliver Schneider-145/+145
2018-05-24Add constant for `Size::from_bytes(0)`Oliver Schneider-9/+9
2018-05-22Use SortedMap instead of BTreeMap for relocations in MIRI.Michael Woerister-21/+21
2018-05-22Auto merge of #50520 - Zoxc:alloc-misc, r=oli-obkbors-50/+54
Misc changes related to Miri allocations This builds on top of https://github.com/rust-lang/rust/pull/50249 r? @oli-obk
2018-05-22Introduce AllocType which indicates what AllocIds point toJohn Kåre Alsaker-47/+51
2018-05-22Get rid of literal_alloc_cacheJohn Kåre Alsaker-3/+3
2018-05-21Auto merge of #50812 - kennytm:fix-50756-miri-bad-float-behavior, r=oli-obkbors-7/+6
Fix issue #50811 (`NaN > NaN` was true). Fix #50811 Make sure the float comparison output is consistent with the expected behavior when NaN is involved. ---- Note: This PR is a **BREAKING CHANGE**. If you have used `>` or `>=` to compare floats, and make the result as the length of a fixed array type, like: ```rust use std::f64::NAN; let x: [u8; (NAN > NAN) as usize] = [1]; ``` then the code will no longer compile. Previously, all float comparison involving NaN will just return "Greater", i.e. `NAN > NAN` would wrongly return `true` during const evaluation. If you need to retain the old behavior (why), you may replace `a > b` with `a != a || b != b || a > b`.
2018-05-20Auto merge of #50841 - oli-obk:promote_errors_to_panics, r=eddybbors-10/+2
Don't lint numeric overflows in promoteds in release mode r? @eddyb mitigates #50814
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-132/+135
2018-05-19Keep statics' constant as ByRefOliver Schneider-20/+44
2018-05-19Go through an allocation when accessing fields of constantsOliver Schneider-18/+22
2018-05-19Reintroduce some sanity checksOliver Schneider-4/+7
2018-05-19Ensure that statics are always ByRefOliver Schneider-86/+59
2018-05-19Release mode overflows should not cause const eval to errorOliver Schneider-10/+2
2018-05-17Make sure the float comparison output is consistent with the expectedkennytm-7/+6
behavior when NaN is involved.
2018-05-13Fix conversion from Miri Value to ConstValueJohn Kåre Alsaker-56/+67
2018-05-11Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker-10/+69
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-177/+208
2018-05-10Auto merge of #50395 - Zoxc:small-tys, r=michaelwoeristerbors-14/+19
Optimize layout of TypeVariants This makes references to `Slice` use thin pointers by storing the slice length in the slice itself. `GeneratorInterior` is replaced by storing the movability of generators in `TyGenerator` and the interior witness is stored in `GeneratorSubsts` (which is just a wrapper around `&'tcx Substs`, like `ClosureSubsts`). Finally the fields of `TypeAndMut` is stored inline in `TyRef`. These changes combine to reduce `TypeVariants` from 48 bytes to 24 bytes on x86_64. r? @michaelwoerister
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-14/+19
2018-05-08Fix thinning pointers to extern types in miriOliver Schneider-1/+4
2018-05-06issue-49938: Reference tagged unions discr(iminant) as tagSamuel Wilson-4/+4
Refer https://github.com/rust-lang/rust/issues/49938 Previously tagged unions' tag was refered to as a discr(iminant). Here the changes use tag instead which is the correct terminology when refering to the memory representation of tagged unions.
2018-05-02Allow unaligned reads in constantsOliver Schneider-3/+1
2018-05-01Auto merge of #50198 - oli-obk:const_prop, r=eddybbors-41/+45
Remove some unused code
2018-05-01Removed direct field usage of RangeInclusive in rustc itself.kennytm-3/+3
2018-04-30Improve div by zero const eval errorsOliver Schneider-2/+6
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-4/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 17:46:13 +0000