about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/const_prop.rs
AgeCommit message (Expand)AuthorLines
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
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