about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
2023-12-24Replace legacy ConstProp by GVN.Camille GILLOT-515/+11
2023-12-10remove redundant importssurechen-1/+0
2023-12-07compile-time evaluation: emit a lint when a write through an immutable pointe...Ralf Jung-1/+2
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-4/+1
2023-11-28ConstProp: Remove const when rvalue check fails.Alona Enraght-Moony-1/+6
2023-11-26merge `DefKind::Coroutine` into `DefKind::Closure`bohan-2/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-5/+5
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-2/+7
2023-10-13Format all the let chains in compilerMichael Goulet-2/+7
2023-09-26const-eval: make misalignment a hard errorRalf Jung-18/+3
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