about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
2022-09-21Rollup merge of #102045 - RalfJung:const-prop-regression-fix, r=oli-obkDylan DPC-20/+20
2022-09-20Rollup merge of #102021 - lcnr:tyConst-fun, r=b-naber,BoxyUwUMichael Howell-1/+1
2022-09-20fix ConstProp handling of written_only_inside_own_block_localsRalf Jung-20/+20
2022-09-19ctfe, `const_to_op` only for mir constantslcnr-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-08-29Rollup merge of #100239 - RalfJung:const-prop-uninit, r=oli-obkDylan DPC-27/+29
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-1/+1
2022-08-27remove a now-useless machine hookRalf Jung-9/+0
2022-08-27remove an ineffective check in const_propRalf Jung-19/+30
2022-08-26make read_immediate error immediately on uninit, so ImmTy can carry initializ...Ralf Jung-27/+18
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-08-12Rollup merge of #100229 - RalfJung:extra-const-ub-checks, r=lcnrDylan DPC-0/+12
2022-08-09dont rely on old macro-in-trait-impl bugRalf Jung-0/+12
2022-08-09Add option to `mir::MutVisitor` to not invalidate CFG.Jakob Degen-1/+1
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-4/+2
2022-07-25removed CanConstProp + VisitorAïssata-2/+2
2022-07-25Lighten up const_prop_lint, reusing const_propAïssata-6/+6
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-6/+6
2022-07-18interpret: make some large types not CopyRalf Jung-1/+1
2022-07-12add new rval, pull deref earlyouz-a-0/+1
2022-07-09Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obkDylan DPC-3/+8
2022-07-09Auto merge of #98961 - zeevm:issue-98958-fix, r=oli-obkbors-11/+2
2022-07-07make a name less ambiguousRalf Jung-2/+2
2022-07-06fix a strange ConstProp ICERalf Jung-1/+5
2022-07-06interpret: remove LocalValue::Unallocated, add Operand::UninitRalf Jung-14/+20
2022-07-06fix ICE in ConstPropRalf Jung-3/+8
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-06enable on opt level 1Ze'ev Maor-1/+1
2022-07-05only enable ConstProp on opt level 2Ze'ev Maor-11/+2
2022-07-01cleanup mir visitor for `rustc::pass_by_value`lcnr-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-12/+5
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-14/+14
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+4
2022-05-14Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJungbors-1/+10
2022-05-13Rustc changes for permissive provenancecarbotaniuman-1/+10
2022-05-10Introduce EarlyBinderJack Huey-2/+4
2022-05-05give it a scary nameRalf Jung-3/+3
2022-05-04interpret: debug-check ScalarPair layout informationRalf Jung-2/+2
2022-04-22use references to avoid function callsSparrowLii-5/+13
2022-04-21access `local_decls` through `ecx`SparrowLii-23/+6
2022-04-11Add new `MutatatingUseContext`s for deinit and `SetDiscriminant`Jakob Degen-1/+3
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-2/+3
2022-04-05interp: pass TyCtxt to Machine methods that do not take InterpCxRalf Jung-0/+1
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-4/+1
2022-03-30Spellchecking compiler commentsYuri Astrakhan-1/+1
2022-03-23separate const prop lint from optimizationsCarl Scherer-177/+23
2022-03-21rename LocalState::Uninitialized to UnallocatedRalf Jung-4/+4
2022-03-16rustc_error: make ErrorReported impossible to constructmark-1/+1
2022-03-07Introduce `ConstAllocation`.Nicholas Nethercote-4/+4