about summary refs log tree commit diff
path: root/tests/mir-opt/building
AgeCommit message (Expand)AuthorLines
2024-06-10Add `SingleUseConsts` mir-opt passScott McMurray-3/+3
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-1/+1
2024-06-03rustfmt `tests/mir-opt`.Nicholas Nethercote-24/+31
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-169/+190
2024-05-28Add custom mir support for `PtrMetadata`Scott McMurray-0/+23
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-1/+1
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-1/+1
2024-05-07Auto merge of #123332 - Nadrieril:testkind-never, r=matthewjasperbors-0/+155
2024-05-04Lower never patterns to Unreachable in mirNadrieril-17/+101
2024-05-04Add testsNadrieril-0/+71
2024-05-02Stabilize exclusive_rangeRoss Smyth-1/+0
2024-04-24Fix tests and blessGary Guo-3/+3
2024-04-20Add a non-shallow fake borrowNadrieril-7/+7
2024-04-20Rework fake borrow calculationNadrieril-46/+46
2024-04-19Correctly change type when adding adjustments on top of `NeverToAny`Maybe Waffle-1/+1
2024-04-19Add a test for `a == b` where `a: !, b: !`Maybe Waffle-0/+66
2024-04-08bless mir-opt testsOli Scherer-6/+6
2024-04-03More precise false edgesNadrieril-8/+8
2024-04-03Remove MIR unsafe checkMatthew Jasper-16/+4
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-1/+1
2024-03-30Add FileCheck directives to the new tests.Nadrieril-51/+42
2024-03-30Sort `Eq` candidates in the failure case tooNadrieril-45/+36
2024-03-30Add testNadrieril-0/+139
2024-03-30Regroup mir-opt tests of match buildingNadrieril-0/+299
2024-03-25In `pretty_print_type()`, print `async fn` futures' paths instead of spans.Kevin Reid-34/+34
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-1/+1
2024-03-13Rollup merge of #121908 - Nadrieril:dynamic-variant-collection, r=matthewjasperMatthias Krüger-18/+18
2024-03-10MIR printing: print the path of uneval'd const; refer to promoteds in a consi...Ralf Jung-2/+2
2024-03-02Allocate candidate vectors as we sort themNadrieril-22/+22
2024-03-02Use an enum instead of manually tracking indices for `target_blocks`Nadrieril-4/+4
2024-02-29Make the success arms of `if lhs || rhs` meet up in a separate blockZalathar-48/+56
2024-02-22[AUTO_GENERATED] Migrate compiletest to use `ui_test`-style `//@` directives许杰友 Jieyou Xu (Joe)-11/+11
2024-02-17Don't bother to save a blockNadrieril-180/+260
2024-02-12Start blocks eagerlyNadrieril-170/+225
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+2
2024-01-22Add Assume custom MIR.Camille GILLOT-0/+74
2024-01-07Merge dead bb pruning and unreachable bb deduplication.Camille GILLOT-5/+1
2024-01-04Rollup merge of #119325 - RalfJung:custom-mir, r=compiler-errorsMatthias Krüger-8/+8
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-2/+0
2023-12-26custom mir: make it clear what the return block isRalf Jung-8/+8
2023-12-11End locals' live range before suspending coroutineTomasz Miąsko-0/+7
2023-11-14Auto merge of #117330 - tmiasko:custom-mir-cleanup-blocks, r=cjgillotbors-4/+106
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-4/+106
2023-11-13Compute layout with spans for better cycle errors in coroutinesMichael Goulet-2/+2
2023-11-08update mir-opt testslcnr-4/+4
2023-10-31FileCheck while_storage.Camille GILLOT-0/+200
2023-10-24Use `PlaceMention` for match scrutinees.Camille GILLOT-8/+14
2023-10-20s/generator/coroutine/Oli Scherer-7/+7
2023-10-20s/Generator/Coroutine/Oli Scherer-8/+8
2023-10-19Allow to run filecheck in mir-opt tests.Camille GILLOT-46/+71