about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2023-11-28move write_aggregate into step file, and also extract write_repeat into separ...Ralf Jung-30/+71
2023-10-31Support enum variants in offset_of!George Bateman-1/+1
2023-10-25Evaluate computed values to constants.Camille GILLOT-1/+1
2023-10-15separate bounds-check from alignment checkRalf Jung-3/+0
2023-10-15place evaluation: require the original pointer to be aligned if an access hap...Ralf Jung-6/+4
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-1/+1
2023-09-11Return ImmTy in discriminant_for_variant.Camille GILLOT-1/+1
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-2/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-5/+2
2023-08-07Rollup merge of #114542 - RalfJung:const-prop-nonsense, r=compiler-errorsMatthias Krüger-1/+2
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-1/+1
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1
2023-08-06interpret: use ConstPropNonsense for more const-prop induced issuesRalf Jung-1/+2
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-2/+1
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-2/+1
2023-07-31fix alignment handling for Repeat expressionsRalf Jung-4/+4
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-1/+1
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-07-25interpret: make write functions generic over the place typeRalf Jung-1/+1
2023-07-25interpret: read_discriminant: only return VariantIdxRalf Jung-2/+3
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-2/+2
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-26/+4
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-3/+5
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