about summary refs log tree commit diff
path: root/src/test/mir-opt/issues
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-218/+0
2022-12-25Give the correct track-caller location with MIR inlining.Camille GILLOT-5/+5
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-5/+5
2022-11-26Rewrite dest prop.Jakob Degen-44/+31
This fixes a number of correctness issues from the previous version. Additionally, we use a new strategy which has much better performance charactersitics and also finds more opportunities to apply the optimization.
2022-11-02Ban dashes in miropt test file namesJakob Degen-68/+68
2022-08-23./x.py test --blessTomasz Miąsko-4/+0
2022-07-28bless mir opt testsNilstrieb-65/+65
2022-07-09tweak names and output and blessRalf Jung-5/+5
2022-06-14Only create scopes for if letXavier Denis-54/+52
2022-06-10Actually fixXavier Denis-59/+61
2022-06-10Revert "More minimal changes"Xavier Denis-4/+4
This reverts commit fe0dedcb06947317d41a8570b7fff7f8690dcbff.
2022-06-10More minimal changesXavier Denis-4/+4
2022-06-10Fix `SourceScope` for `if let` bindings.Xavier Denis-10/+10
2022-05-24Fix/bless tests broken by DSEJakob Degen-1/+0
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-7/+9
2022-05-06bless mir-optRalf Jung-1/+1
2022-04-11Fix tests broken by deaggregation changeJakob Degen-0/+2
2022-02-27Only create a single expansion for each inline integration.Camille GILLOT-34/+34
2022-02-22change `mir::Constant` in mir dumpslcnr-7/+4
2021-09-01Fix drop handling for `if let` expressionsMatthew Jasper-24/+24
MIR lowering for `if let` expressions is now more complicated now that `if let` exists in HIR. This PR adds a scope for the variables bound in an `if let` expression and then uses an approach similar to how we handle loops to ensure that we reliably drop the correct variables.
2021-08-25Fix debugger stepping behavior around `match` expressionsWesley Wiser-3/+3
Previously, we would set up the source lines for `match` expressions so that the code generated to perform the test of the scrutinee was matched to the line of the arm that required the test and then jump from the arm block to the "next" block was matched to all of the lines in the `match` expression. While that makes sense, it has the side effect of causing strange stepping behavior in debuggers. I've changed the source information so that all of the generated tests are sourced to `match {scrutinee}` and the jumps are sourced to the last line of the block they are inside. This resolves the weird stepping behavior in all debuggers and resolves some instances of "ambiguous symbol" errors in WinDbg preventing the user from setting breakpoints at `match` expressions.
2021-08-15Introduce hir::ExprKind::Let - Take 2Caio-9/+9
2021-07-27Update testsJacob Pratt-42/+40
2021-05-17mir-opt bless for Size field being removed from AllocationRalf Jung-2/+2
2021-03-19update testsmark-40/+39
2021-03-06Disable destination propagation on all mir-opt-levelsTomasz Miąsko-33/+46
2021-03-05Bump mir-opt-level from 2 to 3 in testsSantiago Pastorino-1/+1
2021-02-21Make MatchBranchSimplification clean up after itselfSimon Vandel Sillesen-37/+33
2021-01-15Add test for #59352Dániel Buga-0/+121
2020-09-04Add test for checking if-let or-patternskadmin-0/+108
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 01:53:05 +0000