about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/value_analysis.rs
AgeCommit message (Expand)AuthorLines
2023-10-21Improve naming and comments.Camille GILLOT-17/+45
2023-10-21Implement JumpThreading pass.Camille GILLOT-18/+89
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-4/+8
2023-09-24Auto merge of #115794 - cjgillot:aggregate-no-box, r=davidtwcobors-1/+3
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-2/+2
2023-09-20Do not create a DerefLen place for `Box<[T]>`.Camille GILLOT-1/+3
2023-09-11Support non-scalar constants.Camille GILLOT-1/+26
2023-09-07Correct comment and assumption.Camille GILLOT-6/+5
2023-09-06Support array length.Camille GILLOT-0/+36
2023-09-05Support non-trivial scalars in ConstProp.Camille GILLOT-45/+29
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-1/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-16Make TerminatorEdge plural.Camille GILLOT-7/+7
2023-08-16Use TerminatorEdge for dataflow-const-prop.Camille GILLOT-18/+31
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-6/+6
2023-08-06cleanup misinformation regarding has_derefouz-a-1/+1
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-2/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+4
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-4/+4
2023-05-09Prevent stack overflow.Camille GILLOT-1/+2
2023-05-09Add a few comments.Camille GILLOT-6/+12
2023-05-09Do not flood on copy_nonoverlapping.Camille GILLOT-5/+7
2023-05-09Extract handle_set_discriminant.Camille GILLOT-2/+20
2023-05-09Trim the places that will not be used.Camille GILLOT-1/+10
2023-05-09Precompute values to flood.Camille GILLOT-19/+51
2023-05-09Create tracked places breadth first.Camille GILLOT-65/+49
2023-05-09Make HasTop and HasBottom consts.Camille GILLOT-18/+16
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-06Fix new usage of old apiGary Guo-1/+1
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-5/+5
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-3/+3
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+1
2023-03-08Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiaskoMatthias Krüger-1/+1
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-1/+1
2023-03-05Erase lifetimes in SROA.Camille GILLOT-4/+5
2023-02-15Rollup merge of #107411 - cjgillot:dataflow-discriminant, r=oli-obkDylan DPC-61/+214
2023-02-08Rollup merge of #107271 - Zeegomo:drop-rmw, r=oli-obkMatthias Krüger-3/+3
2023-02-06Rename assign_idx methods.Camille GILLOT-23/+32
2023-02-06Complete for_each_aliasing_place.Camille GILLOT-0/+7
2023-02-06Improve value_analysis API.Camille GILLOT-7/+18
2023-02-06Limit creation of tracked place directly.Camille GILLOT-4/+18
2023-02-06Handle discriminants in dataflow-const-prop.Camille GILLOT-31/+142
2023-02-06Only exclude locals if the place is not indirect.Camille GILLOT-9/+11
2023-02-06Remove redundant test.Camille GILLOT-2/+1
2023-02-05Run SROA to fixpoint.Camille GILLOT-1/+1
2023-02-05Simplify construction of replacement map.Camille GILLOT-1/+1
2023-01-30Treat Drop as a rmw operationGiacomo Pasini-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 09:46:45 +0000