about summary refs log tree commit diff
path: root/tests/mir-opt/copy-prop
AgeCommit message (Expand)AuthorLines
2025-07-10Propagate from borrowed locals in CopyPropTomasz Miąsko-10/+11
2025-07-06Do not unify borrowed locals in CopyProp.Camille GILLOT-12/+246
2025-06-16Reason about borrowed classes in CopyProp.Camille GILLOT-4/+3
2025-06-16Add test.Camille GILLOT-0/+76
2025-01-27Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da...Michael Goulet-14/+10
2025-01-18Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav...Rémy Rakic-10/+14
2024-12-03Bounds-check with PtrMetadata instead of Len in MIRScott McMurray-14/+10
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-2/+2
2024-08-19Auto merge of #122551 - RayMuir:copy_fmt, r=saethlinbors-131/+131
2024-08-18Bless *all* the mir-opt testsScott McMurray-123/+123
2024-08-18Update mir-opt filechecksScott McMurray-8/+8
2024-08-18stabilize raw_ref_opRalf Jung-2/+0
2024-06-03rustfmt `tests/mir-opt`.Nicholas Nethercote-3/+7
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-32/+48
2024-05-03Auto merge of #123602 - cjgillot:gvn-borrowed, r=oli-obkbors-11/+166
2024-04-20Use newly exposed Freeze trait.Camille GILLOT-16/+18
2024-04-20Merge borrowed locals too.Camille GILLOT-6/+7
2024-04-20Add tests.Camille GILLOT-10/+162
2024-04-20mir-opt tests: rename unit-test -> test-mir-passRalf Jung-15/+15
2024-04-03Remove MIR unsafe checkMatthew Jasper-12/+4
2024-02-22[AUTO_GENERATED] Migrate compiletest to use `ui_test`-style `//@` directives许杰友 Jieyou Xu (Joe)-17/+17
2024-02-12Start blocks eagerlyNadrieril-10/+10
2024-01-04Fix validation and linting of injected MIRTomasz Miąsko-13/+13
2023-12-26custom mir: make it clear what the return block isRalf Jung-7/+7
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-7/+7
2023-10-19Allow to run filecheck in mir-opt tests.Camille GILLOT-0/+15
2023-10-08Also consider call and yield as MIR SSA.Camille GILLOT-0/+88
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-6/+6
2023-07-10Perform reference propagation earlier.Camille GILLOT-0/+2
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-2/+2
2023-06-23Bless testsGary Guo-33/+33
2023-06-15Remove comments from mir-opt MIR dumpsBen Kimock-955/+817
2023-06-12bless mir-optPietro Albini-0/+761
2023-06-12properly mark tests that require panic=abortPietro Albini-11/+11
2023-05-14Merge return place with other locals in CopyProp.Camille GILLOT-5/+7
2023-05-10Use visit_assign to detect SSA locals.Camille GILLOT-0/+31
2023-05-09Do not consider borrowed Freeze locals as SSA.Camille GILLOT-2/+1
2023-04-06Ignore many tests on wasm32Gary Guo-23/+34
2023-02-27Do not grow `assignment_order` needlessly.Camille GILLOT-20/+87
2023-02-27Special case deref projections in SsaVisitor.Camille GILLOT-0/+187
2023-02-16Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obkbors-0/+63
2023-02-13Clearly document intentional UB in mir-opt testsBen Kimock-0/+10
2023-02-12Fix UB in the test caseBen Kimock-3/+4
2023-02-12Enable CopyProp by default, tune the impl a bitBen Kimock-0/+62
2023-02-04Turn projections into copies in CopyProp.Camille GILLOT-0/+65
2023-02-02Bless tests.Camille GILLOT-3/+1
2023-01-31Remove assignment.Camille GILLOT-78/+70
2023-01-31Remove both StorageLive and StorageDead in CopyProp.Camille GILLOT-4/+2
2023-01-31Add test.Camille GILLOT-0/+161
2023-01-27Do not merge locals that have their address taken.Camille GILLOT-1/+76