about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-3/+3
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-1/+1
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-0/+9
2023-03-23Rollup merge of #109435 - oli-obk:🇨🇭🥚_copy_op, r=RalfJungDylan DPC-1/+1
2023-03-21Add a layout argument to `enforce_validity`.Oli Scherer-1/+1
2023-03-19Prefer if cfg!.Camille GILLOT-6/+7
2023-03-19Only clear locals that are known to be written to.Camille GILLOT-9/+32
2023-03-12Auto merge of #108872 - cjgillot:simp-const-prop, r=oli-obkbors-169/+100
2023-03-08Remove useless parameter to operand_from_scalar.Camille GILLOT-14/+5
2023-03-08Make comment more explicit.Camille GILLOT-1/+2
2023-03-08Separate checking rvalue from evaluation.Camille GILLOT-59/+57
2023-03-08Recurse into statement before applying its effect.Camille GILLOT-2/+4
2023-03-08Refactor tracking of writes.Camille GILLOT-48/+34
2023-03-08Remove OnlyPropagateInto.Camille GILLOT-29/+6
2023-03-08Only assign value in remove_const.Camille GILLOT-8/+4
2023-03-08Do not track span in ConstProp.Camille GILLOT-30/+9
2023-03-08Simplify visit_statement.Camille GILLOT-6/+7
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-1/+0
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