about summary refs log tree commit diff
path: root/tests/mir-opt/reference_prop.rs
AgeCommit message (Collapse)AuthorLines
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-5/+5
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-19Run filecheck on reference_prop.rsCamille GILLOT-16/+318
2023-10-19Allow to run filecheck in mir-opt tests.Camille GILLOT-0/+1
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-5/+5
2023-05-13Add multiple borrow test.Camille GILLOT-0/+2
2023-05-13Do not ICE on deeply nested borrows.Camille GILLOT-0/+13
2023-05-13Iterate ReferencePropagation to fixpoint.Camille GILLOT-0/+72
2023-05-13Add mir-opt test.Camille GILLOT-0/+22
2023-05-13Implement references VarDebugInfo.Camille GILLOT-12/+12
2023-05-10Add test.Camille GILLOT-0/+27
2023-05-09Add needs-unwind.Camille GILLOT-0/+1
2023-05-09Separate test cases into bbs.Camille GILLOT-3/+30
2023-05-09Implement SSA-based reference propagation.Camille GILLOT-0/+428