summary refs log tree commit diff
path: root/src/librustc_mir/const_eval.rs
AgeCommit message (Expand)AuthorLines
2019-02-16Make `may_normalize` explicit in the type systemOliver Scherer-34/+38
2019-02-16Make validity checking use `MPlaceTy` instead of `OpTy`Oliver Scherer-7/+5
2019-02-16Reuse the `Pointer` type instead of passing reassembling it at many use sitesOliver Scherer-1/+1
2019-02-16Burn some invariants we keep up into codeOliver Scherer-1/+1
2019-02-16Expose const -> op functions that don't allow violiting const eval invariantsOliver Scherer-2/+2
2019-02-13make bin_op and unary_op APIs consistently work on ImmTyRalf Jung-6/+5
2019-02-13make OpTy.op private, and ImmTy.imm public insteadRalf Jung-12/+3
2019-02-10rustc: doc commentsAlexander Regueiro-5/+5
2019-02-08librustc_mir => 2018Taiki Endo-1/+1
2019-01-27`ConstValue::ScalarPair` only needs to represent slicesOliver Scherer-6/+3
2019-01-25Rollup merge of #57734 - oli-obk:fixes_and_cleanups, r=pnkfelixMazdak Farrokhzad-13/+16
2019-01-22Span fixupOliver Scherer-6/+8
2019-01-22Get rid of the fake stack frameOliver Scherer-68/+12
2019-01-20const_eval: Predetermine the layout of all locals when pushing a stack frameBjörn Steinbrink-0/+1
2019-01-18Allow evaluating trivial drop glue in constantsOliver Scherer-13/+16
2019-01-13Rollup merge of #57351 - oli-obk:cheap_const_ops, r=RalfJungMazdak Farrokhzad-14/+36
2019-01-09Not seeing the forest because there are too many trees in the wayOliver Scherer-1/+1
2019-01-09Explain the arguments of the `mk_*_eval_cx` functionsOliver Scherer-0/+13
2019-01-09Document the `mk_*_eval_cx` functionsOliver Scherer-2/+10
2019-01-08Make `mk_eval_cx` private to const evalOliver Scherer-1/+1
2019-01-08Manually push a stack frame where no valid frame is neededOliver Scherer-35/+12
2019-01-05Don't actually create a full MIR stack frame when not neededOliver Scherer-3/+27
2019-01-01`<&'tcx ty::Const as Deref>::deref`Oliver Scherer-4/+4
2019-01-01`const_to_op` is now `lazy_const_to_op`Oliver Scherer-3/+3
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-5/+7
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Rollup merge of #56981 - RalfJung:miri-infallible-alloc, r=oli-obkkennytm-3/+3
2018-12-19miri: allocation is infallibleRalf Jung-3/+3
2018-12-17static eval: Do not ICE on layout size overflowDan Robertson-4/+8
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-4/+4
2018-11-25machine hooks for stack push and pop, frame machine dataRalf Jung-1/+20
2018-11-25pass MemoryExtra to find_foreign_static and adjust_static_allocation; they mi...Ralf Jung-4/+6
2018-11-25bring back MemoryExtraRalf Jung-0/+1
2018-11-22rustc_target: avoid using AbiAndPrefAlign where possible.Eduard-Mihai Burtescu-1/+1
2018-11-22rustc_target: separate out an individual Align from AbiAndPrefAlign.Eduard-Mihai Burtescu-1/+1
2018-11-19use RawConst in miriRalf Jung-4/+10
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-22/+24
2018-11-16CTFE: dynamically make sure we do not call non-const-fnRalf Jung-5/+11
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-1/+0
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-3/+3
2018-11-12Use IndexVec instead of `usize` in librustcOliver Scherer-1/+1
2018-11-07calling the ptr hooks no longer needs expensive preparation, remove the opt-outRalf Jung-1/+0
2018-11-05make ValueVisitor mut-polymorphicRalf Jung-1/+1
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-3/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-4/+4
2018-10-29Assert that promoteds don't fail to be evaluated for being too genericOliver Scherer-1/+5
2018-10-29Auto merge of #55270 - RalfJung:stacked-borrows-ng, r=oli-obkbors-20/+9
2018-10-28Auto merge of #54487 - RalfJung:ctfe-backtrace, r=oli-obkbors-7/+13
2018-10-28don't tag new memory inside memory.rs; add machine hook to tag new memoryRalf Jung-2/+11
2018-10-28rename env var to control ctfe backtraces, and make it usually show the backt...Ralf Jung-7/+13