about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
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
2023-04-06Refactor unwind from Option to a new enumGary Guo-1/+1
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