about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir
AgeCommit message (Expand)AuthorLines
2023-09-14always evaluate ConstantKind::Ty through valtreesRalf Jung-16/+12
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-7/+8
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-9/+15
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-11/+16
2023-09-13rustc_middle: add `Scalar::from_i8` and `Scalar::from_i16` and use them in MiriEduardo Sánchez Muñoz-0/+10
2023-09-13Rollup merge of #115736 - Zoxc:time-cleanup, r=wesleywiserMatthias Krüger-0/+37
2023-09-13Generate MIR pass names for profiling on the fly and pass the body DefId as a...John Kåre Alsaker-0/+37
2023-09-13restore the old logic adjusting ty::UnevaluatedConst before evaluationRalf Jung-4/+5
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-53/+31
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-41/+58
2023-09-12Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obkbors-7/+12
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-12/+18
2023-09-09give extra context to ABI mismatch errorsRalf Jung-7/+12
2023-09-08Auto merge of #115612 - cjgillot:const-prop-int, r=oli-obkbors-1/+8
2023-09-06Support array length.Camille GILLOT-0/+7
2023-09-05Do not assert in try_to_int.Camille GILLOT-1/+1
2023-09-05Refactor how MIR represents composite debuginfo.Camille GILLOT-57/+37
2023-09-05Refactor projection debug.Camille GILLOT-55/+69
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-09-01Use `OnceLock` for `SingleCache`John Kåre Alsaker-6/+6
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-0/+2
2023-08-24make MIR less verboseRalf Jung-4/+13
2023-08-24cache the terminate block with the last reason that we sawRalf Jung-13/+9
2023-08-24document more things as needing to stay in syncRalf Jung-3/+16
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-38/+98
2023-08-20Auto merge of #114993 - RalfJung:panic-nounwind, r=fee1-deadbors-64/+49
2023-08-20sync printing of MIR terminators with their new names (and dedup some to-str ...Ralf Jung-44/+27
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-24/+26
2023-08-20coverage: Give the instrumentor its own counter type, separate from MIRZalathar-15/+0
2023-08-17Revert "Implement references VarDebugInfo."Camille GILLOT-12/+2
2023-08-16Make TerminatorEdge plural.Camille GILLOT-13/+13
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-0/+106
2023-08-10Rollup merge of #114622 - petrochenkov:noplugin, r=oli-obkMichael Goulet-2/+2
2023-08-09Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obkMatthias Krüger-0/+3
2023-08-09Convert Const to Allocation in smirouz-a-0/+3
2023-08-09rustc: Move `stable_crate_id` from `Session` to `GlobalCtxt`Vadim Petrochenkov-2/+2
2023-08-08interpret: remove incomplete protection against invalid where clausesRalf Jung-2/+0
2023-08-06Rollup merge of #114505 - ouz-a:cleanup_mir, r=RalfJungMatthias Krüger-11/+17
2023-08-06cleanup misinformation regarding has_derefouz-a-11/+17
2023-08-03Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obkMatthias Krüger-60/+77
2023-08-03Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726Matthias Krüger-2/+2
2023-08-02const validation: point at where we found a pointer but expected an integerRalf Jung-60/+77
2023-08-02avoid 'miri' when refering to the shared interpreterRalf Jung-2/+2
2023-08-02Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obkbors-2/+2
2023-08-01properly track why we checked whether a pointer is in-boundsRalf Jung-2/+2
2023-08-01Make coverage counter IDs count up from 0, not 1Zalathar-13/+13
2023-08-01Make coverage expression IDs count up from 0, not down from `u32::MAX`Zalathar-11/+15
2023-08-01Replace `ExpressionOperandId` with enum `Operand`Zalathar-48/+26
2023-08-01Add some line comments to enum `CoverageKind`Zalathar-0/+4
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-163/+145