| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-11-14 | Custom MIR: Support cleanup blocks | Tomasz 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-19 | Allow to run filecheck in mir-opt tests. | Camille GILLOT | -0/+15 | |
| 2023-10-08 | Also consider call and yield as MIR SSA. | Camille GILLOT | -0/+88 | |
| 2023-08-19 | custom_mir: change Call() terminator syntax to something more readable | Ralf Jung | -6/+6 | |
| 2023-07-10 | Perform reference propagation earlier. | Camille GILLOT | -0/+2 | |
| 2023-07-07 | Rename `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-23 | Bless tests | Gary Guo | -33/+33 | |
| 2023-06-15 | Remove comments from mir-opt MIR dumps | Ben Kimock | -955/+817 | |
| 2023-06-12 | bless mir-opt | Pietro 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-12 | properly mark tests that require panic=abort | Pietro Albini | -11/+11 | |
| 2023-05-14 | Merge return place with other locals in CopyProp. | Camille GILLOT | -5/+7 | |
| 2023-05-10 | Use visit_assign to detect SSA locals. | Camille GILLOT | -0/+31 | |
| 2023-05-09 | Do not consider borrowed Freeze locals as SSA. | Camille GILLOT | -2/+1 | |
| 2023-04-06 | Ignore many tests on wasm32 | Gary Guo | -23/+34 | |
| 2023-02-27 | Do not grow `assignment_order` needlessly. | Camille GILLOT | -20/+87 | |
| 2023-02-27 | Special case deref projections in SsaVisitor. | Camille GILLOT | -0/+187 | |
| 2023-02-16 | Auto merge of #107449 - saethlin:enable-copyprop, r=oli-obk | bors | -0/+63 | |
| Enable CopyProp r? `@tmiasko` `@rustbot` label +A-mir-opt | ||||
| 2023-02-13 | Clearly document intentional UB in mir-opt tests | Ben Kimock | -0/+10 | |
| Co-authored-by: Jakob Degen <jakob.e.degen@gmail.com> | ||||
| 2023-02-12 | Fix UB in the test case | Ben Kimock | -3/+4 | |
| 2023-02-12 | Enable CopyProp by default, tune the impl a bit | Ben Kimock | -0/+62 | |
| 2023-02-04 | Turn projections into copies in CopyProp. | Camille GILLOT | -0/+65 | |
| 2023-02-02 | Bless tests. | Camille GILLOT | -3/+1 | |
| 2023-01-31 | Remove assignment. | Camille GILLOT | -78/+70 | |
| 2023-01-31 | Remove both StorageLive and StorageDead in CopyProp. | Camille GILLOT | -4/+2 | |
| 2023-01-31 | Add test. | Camille GILLOT | -0/+161 | |
| 2023-01-27 | Do not merge locals that have their address taken. | Camille GILLOT | -1/+76 | |
| 2023-01-27 | Discard raw pointers from SSA locals. | Camille GILLOT | -0/+41 | |
| 2023-01-27 | Only consider a local to be SSA if assignment dominates all uses. | Camille GILLOT | -0/+55 | |
| 2023-01-27 | Add tests. | Camille GILLOT | -0/+453 | |
