about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src
AgeCommit message (Expand)AuthorLines
2023-10-12coverage: Simplify adding BCB successors to the traversal worklistsZalathar-38/+39
2023-10-12coverage: Don't store loop backedges in the traversal contextZalathar-7/+10
2023-10-12coverage: Store a graph reference in the graph traversal structZalathar-17/+16
2023-10-12coverage: Use a `VecDeque` for loop traversal worklistsZalathar-31/+18
2023-10-12coverage: Rename `next_bcb` to just `bcb`Zalathar-9/+10
2023-10-12coverage: Simplify the detection of reloop edges to be given expressionsZalathar-82/+57
2023-10-11Rollup merge of #116315 - cjgillot:cpl-clean, r=petrochenkovMatthias Krüger-50/+11
2023-10-10Auto merge of #113915 - cjgillot:ssa-call, r=tmiaskobors-43/+71
2023-10-10Rollup merge of #116595 - RalfJung:mir-enable-passes, r=oli-obkMatthias Krüger-1/+5
2023-10-10Rollup merge of #116589 - Zalathar:successors, r=oli-obkMatthias Krüger-80/+38
2023-10-10add some comments explaining why MIR opts are marked as unsoundRalf Jung-1/+5
2023-10-10coverage: Unbox and simplify `bcb_filtered_successors`Zalathar-28/+24
2023-10-10coverage: Replace `ShortCircuitPreorder` with a single functionZalathar-55/+17
2023-10-10coverage: Remove enum `CoverageStatement`Zalathar-46/+17
2023-10-10coverage: Disconnect span extraction from `CoverageSpansGenerator`Zalathar-87/+85
2023-10-10coverage: Move initial MIR span extraction into a submoduleZalathar-185/+194
2023-10-09Rollup merge of #116549 - DaniPopes:miropts-let-chains, r=oli-obkMatthias Krüger-86/+43
2023-10-09Auto merge of #116533 - cjgillot:skip-trivial-mir, r=oli-obkbors-0/+9
2023-10-09Simplify some mir passes by using let chainsDaniPopes-86/+43
2023-10-08Also consider call and yield as MIR SSA.Camille GILLOT-43/+71
2023-10-08Auto merge of #116454 - tmiasko:small-dominators, r=cjgillotbors-64/+30
2023-10-08Do not run optimizations on trivial MIR.Camille GILLOT-0/+9
2023-10-06Preserve DebugInfo in DeadStoreElimination.Camille GILLOT-7/+15
2023-10-05Replace LocationExtended with DefLocation in SsaLocalsTomasz Miąsko-27/+11
2023-10-05Remove small dominators optimization from SsaLocalsTomasz Miąsko-41/+23
2023-10-05move subtyper change reveal_allouz-a-3/+9
2023-10-04Remove mir::LocalDecl::internal.Camille GILLOT-11/+7
2023-10-03Auto merge of #115301 - Zalathar:regions-vec, r=davidtwcobors-112/+115
2023-10-03coverage: Remove `next_id` methods from counter/expression IDsZalathar-2/+2
2023-10-03coverage: Remove code for making expression copies of BCB countersZalathar-14/+2
2023-10-03coverage: Store each BCB's code regions in one coverage statementZalathar-21/+28
2023-10-03coverage: Let each coverage statement hold a vector of code regionsZalathar-18/+17
2023-10-03coverage: Update comments/logs that referred to `CoverageSpan`Zalathar-20/+20
2023-10-03coverage: Encapsulate coverage spansZalathar-54/+63
2023-10-02have better explanation for `relate_types`ouz-a-7/+14
2023-10-02change is_subtype to relate_typesouz-a-3/+21
2023-10-02Add docs, remove code, change subtyper codeouz-a-9/+12
2023-10-02subtyping_projectionsouz-a-0/+59
2023-10-01Remove outdated comment.Camille GILLOT-2/+0
2023-10-01Rename lint pass.Camille GILLOT-7/+7
2023-10-01Do not check for impossible predicates in const-prop lint.Camille GILLOT-37/+0
2023-10-01Use DefKind to check for generator.Camille GILLOT-4/+4
2023-09-29Auto merge of #115759 - oli-obk:open_drop_from_non-ADT, r=lcnrbors-10/+25
2023-09-28Only visit reachable nodes in SsaLocals.Camille GILLOT-8/+4
2023-09-28Skip reinterning if nothing changedOli Scherer-0/+4
2023-09-28Strip `OpaqueCast` during `RevealAll`.Oli Scherer-0/+19
2023-09-28Remove unnecessary generator-check, which also fixes the issue within async f...Oli Scherer-5/+0
2023-09-28Unconditionally run `RevealAll` pass and run it earlierOli Scherer-5/+1
2023-09-28Some tracing cleanupsOli Scherer-0/+1
2023-09-28Rollup merge of #116211 - matthiaskrgr:clippy3, r=compiler-errorsMatthias Krüger-6/+3