summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/step.rs
AgeCommit message (Expand)AuthorLines
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