about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-20Remove use_ecx.Camille GILLOT-60/+37
2023-02-20Merge if-let and match.Camille GILLOT-67/+63
2023-02-20Move state fixup into a different method.Camille GILLOT-6/+6
2023-02-18Remove overflow checks from ConstProp.Camille GILLOT-96/+15
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-01-30Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`sMaybe Waffle-1/+1
2023-01-30Use `Mutability::{is_mut, is_not}`Maybe Waffle-2/+1
2023-01-01Always take advantage of arithmetic identitiesBen Kimock-5/+1
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-2/+2
2022-12-15Move alignment failure error reporting to machineOli Scherer-1/+12
2022-12-15Make alignment checks a future incompat lintOli Scherer-2/+3
2022-11-18review feedbackRalf Jung-3/+3
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-2/+4
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-1/+2
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-1/+1
2022-11-14assert that we are (de)seiralizing ProvenanceMap correctlyRalf Jung-1/+1
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
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