summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-2/+8
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-2/+8
2023-04-21minor tweaksDrMeepster-1/+1
2023-04-21offset_ofDrMeepster-2/+5
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-3/+1
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-2/+2
2023-02-02Introduce write_aggregate.Camille GILLOT-19/+1
2023-02-02Interpret aggregates.Camille GILLOT-4/+16
2023-01-23Add back Machine::before_terminator(...) methodBryan Garza-0/+2
2023-01-23Replace terminator-based const eval limitBryan Garza-3/+1
2023-01-23Remove debugging-related codeBryan Garza-1/+0
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+5
2023-01-17Self review suggestionsMaybe Waffle-24/+24
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-25/+25
2022-12-06make retagging work even with 'unstable' placesRalf Jung-4/+35
2022-11-27interpret: get rid of run() functionRalf Jung-5/+0
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-3/+5
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-09-06Move CTFE handling of nondiverging intrinsics to intrinsics.rsOli Scherer-18/+2
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-11/+12
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+9
2022-08-31interpret: use new OpTy::len for Len rvalueRalf Jung-2/+2
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-07-12add new rval, pull deref earlyouz-a-0/+5
2022-07-06deduplicate some copy_op codeRalf Jung-3/+3
2022-07-04interpret: fix CheckedBinOp behavior when overflow checking is disabledRalf Jung-1/+3
2022-06-04use precise spans for recursive const evaluationRalf Jung-1/+0
2022-06-04Move statement_index increment out of statement() functionRalf Jung-9/+9
2022-06-02take back half-baked noaliasing check in AssignmentRalf Jung-0/+2
2022-04-14Remove some now-dead code that was only relevant before deaggregation.Oli Scherer-19/+3
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+5
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-2/+2
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-02-19rustc_const_eval: adopt let else in more placesest31-9/+6
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-2/+0
2022-01-03Rollup merge of #90102 - nbdd0121:box3, r=jonas-schievinkMatthias Krüger-5/+0
2021-12-22Store a `DefId` instead of an `AdtDef` in `AggregateKind::Adt`Aaron Hill-2/+2
2021-12-05allow for failure of subst_normalize_erasing_regions in const_evalb-naber-2/+3
2021-11-27Miri: fix alignment check in array initializationRalf Jung-1/+5
2021-11-20Revert "require full validity when determining the discriminant of a value"Ralf Jung-6/+0
2021-11-14require full validity when determining the discriminant of a valueRalf Jung-0/+6
2021-10-20Remove NullOp::BoxGary Guo-5/+0
2021-09-29CTFE: extra assertions for Aggregate rvalues; remove unnecessarily eager spec...Ralf Jung-7/+9
2021-09-29remove outdated commentRalf Jung-1/+0
2021-09-25Introduce `Rvalue::ShallowInitBox`Gary Guo-0/+6
2021-09-13Introduce NullOp::AlignOfGary Guo-3/+8
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+316
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 13:11:46 +0000