about summary refs log tree commit diff
path: root/tests/mir-opt/copy-prop
AgeCommit message (Collapse)AuthorLines
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-7/+7
Cleanup blocks are declared with `bb (cleanup) = { ... }`. `Call` and `Drop` terminators take an additional argument describing the unwind action, which is one of the following: * `UnwindContinue()` * `UnwindUnreachable()` * `UnwindTerminate(reason)`, where reason is `ReasonAbi` or `ReasonInCleanup` * `UnwindCleanup(block)` Also support unwind resume and unwind terminate terminators: * `UnwindResume()` * `UnwindTerminate(reason)`
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
It makes it sound like the `ExprKind` and `Rvalue` are supposed to represent all pointer related casts, when in reality their just used to share a some enum variants. Make it clear there these are only coercion to make it clear why only some pointer related "casts" are in the enum.
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
To reproduce the changes in this commit locally: - Run `./x test tidy` and remove all the output files not associated with a test file anymore, as reported by tidy. - Run `./x test tests/mir-opt --bless` to generate the new outputs.
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
Enable CopyProp r? `@tmiasko` `@rustbot` label +A-mir-opt
2023-02-13Clearly document intentional UB in mir-opt testsBen Kimock-0/+10
Co-authored-by: Jakob Degen <jakob.e.degen@gmail.com>
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
2023-01-27Discard raw pointers from SSA locals.Camille GILLOT-0/+41
2023-01-27Only consider a local to be SSA if assignment dominates all uses.Camille GILLOT-0/+55
2023-01-27Add tests.Camille GILLOT-0/+453