summary refs log tree commit diff
path: root/src/librustc_mir/interpret
AgeCommit message (Expand)AuthorLines
2018-08-30Don't hash the ctfe memoryOliver Schneider-3/+3
2018-07-30Auto merge of #52805 - ljedrz:format_str_literal, r=petrochenkovbors-1/+1
2018-07-29Sanity-check all constantsOliver Schneider-110/+371
2018-07-28Don't format!() string literalsljedrz-1/+1
2018-07-27Use slices where a vector is not necessaryljedrz-1/+1
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-15/+21
2018-07-18Move the const casting code into its dedicated fileOliver Schneider-131/+145
2018-07-17Pull out a statement that all match arms are executingOliver Schneider-5/+4
2018-07-15CTFE: use binary_op to compare integer with match disriminantRalf Jung-4/+9
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-14/+6
2018-07-04Avoid overflow in step counterDylan MacKenzie-26/+27
2018-07-04Rename `bloom` to `hashes`Dylan MacKenzie-10/+10
2018-07-04Enable loop detector in step loopDylan MacKenzie-13/+35
2018-07-04Add an `InfiniteLoop` variant to `EvalErrorKind`Dylan MacKenzie-3/+3
2018-07-04Improve correctness of `Frame` and `Memory` equalityDylan MacKenzie-12/+12
2018-07-04Revert "Refactor EvalContext stack and heap into inner struct"Dylan MacKenzie-173/+131
2018-07-04Add miri infinite loop detectionDylan MacKenzie-14/+71
2018-07-04Implement Clone, Eq and Hash for the heap and stackDylan MacKenzie-8/+170
2018-07-04Refactor EvalContext stack and heap into inner structDylan MacKenzie-98/+110
2018-07-02Removed `uninitialized_statics` field from `Memory` struct in miri.Alexander Regueiro-93/+64
2018-07-01Auto merge of #51110 - alexreg:new-static-eval-rules, r=eddybbors-3/+7
2018-07-01Auto merge of #51833 - wesleywiser:faster_large_constant_arrays, r=oli-obkbors-25/+59
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-2/+5
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-28Rollup merge of #51839 - oli-obk:const_shift_overflow, r=nikomatsakisMark Rousskov-1/+2
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-56/+29
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-6/+6
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-9/+14
2018-06-28Address review commentsOliver Schneider-2/+2
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-14/+10
2018-06-27Don't use `ParamEnv::reveal_all()` if there is a real one availableOliver Schneider-1/+1
2018-06-27Detect overflows of non u32 shiftsOliver Schneider-1/+2
2018-06-26Speed up compilation of large constant arraysWesley Wiser-8/+30
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-2/+2
2018-06-05Properly report transitive errorsOliver Schneider-23/+8
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-107/+32
2018-06-04Simplify value field accessOliver Schneider-36/+27
2018-06-02Correctly access ScalarPair fields during const evalOliver Schneider-60/+34
2018-06-01Auto merge of #51225 - oli-obk:miri_oob_ptr, r=eddybbors-15/+30
2018-05-31Rename num -> bits and num -> out_valLinus Färnstrand-6/+6
2018-05-31Rename bytes -> bitsLinus Färnstrand-8/+8
2018-05-31Rewrite numeric_intrinsic without macroLinus Färnstrand-28/+11
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