about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
2023-09-21Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obkbors-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-4/+4
2023-09-20interpret: more consistently use ImmTy in operators and castsRalf Jung-1/+1
2023-09-19move ConstValue into mirRalf Jung-2/+2
2023-09-14cleanup op_to_const a bit; rename ConstValue::ByRef → IndirectRalf Jung-2/+2
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-3/+3
2023-09-12Do not fetch type to check generator.Camille GILLOT-1/+1
2023-09-12Do not clone body for ConstProp.Camille GILLOT-25/+8
2023-09-12Reuse CollectAndPatch for normal ConstProp.Camille GILLOT-53/+27
2023-09-12Introduce Machine::POST_MONO_CHECKS.Camille GILLOT-0/+3
2023-09-11Reuse throw_machine_stop_str! macro.Camille GILLOT-23/+21
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-11/+13
2023-08-30move marking-locals-live out of push_stack_frame, so it happens with argument...Ralf Jung-0/+10
2023-08-20interpret: have assert_* intrinsics call the panic machinery instead of a dir...Ralf Jung-0/+4
2023-07-20Inline should_const_prop.Camille GILLOT-20/+4
2023-07-20Remove visit_terminator.Camille GILLOT-65/+0
2023-07-20Propagate ScalarPair for any type.Camille GILLOT-34/+16
2023-07-20Also propagate ScalarPair operands.Camille GILLOT-84/+59
2023-07-20Always propagate into operands.Camille GILLOT-6/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-5/+5
2023-07-11miri: protect Move() function arguments during the callRalf Jung-3/+3
2023-06-14make const-prop use cached RPORémy Rakic-2/+2
2023-06-02Auto merge of #111677 - fee1-dead-contrib:rustc_const_eval-translatable, r=ol...bors-2/+14
2023-06-01Auto merge of #112040 - cjgillot:separate-const-switch, r=oli-obkbors-14/+24
2023-06-01fix diagnostic messageDeadbeef-1/+2
2023-06-01improve debug message by eagerly translatingDeadbeef-1/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-2/+13
2023-05-31Document handling of StorageDead.Camille GILLOT-0/+15
2023-05-29unique borrows are mutating useslcnr-1/+0
2023-05-29Visit bodies in RPO for const-prop.Camille GILLOT-7/+8
2023-05-29Stop marking locals as dead in ConstProp.Camille GILLOT-7/+1
2023-05-07Propagate PlaceElem::Index.Camille GILLOT-0/+18
2023-05-04Reject borrows of projections in ConstProp.Camille GILLOT-5/+15
2023-05-04Rollup merge of #110826 - cjgillot:place-mention-use, r=JakobDegen,lcnrMatthias Krüger-0/+1
2023-05-02Auto merge of #109521 - tmiasko:const-prop-validation, r=wesleywiserbors-25/+3
2023-04-29Make PlaceMention a non-mutating use.Camille GILLOT-0/+1
2023-04-27Auto merge of #110882 - BoxyUwU:rename-some-ty-flags, r=compiler-errorsbors-2/+2
2023-04-27rename `needs_subst` to `has_param`Boxy-2/+2
2023-04-27Auto merge of #110728 - cjgillot:no-false-optes, r=oli-obkbors-37/+0
2023-04-27Remove workaround for CastKind::Transmute from const propTomasz Miąsko-10/+0
2023-04-27Don't validate constants before propagationTomasz Miąsko-15/+3
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-23Do not bother optimizing impossible functions.Camille GILLOT-37/+0
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-15Remove useless methods in visit.Camille GILLOT-6/+0
2023-04-15Only enable ConstProp at mir-opt-level >= 2.Camille GILLOT-1/+1
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-4/+1
2023-04-06Make elaborator genericMichael Goulet-4/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-3/+3