Camille GILLOT
|
9fb1c73a73
|
Avoid shadowing.
|
2023-05-10 19:23:01 +00:00 |
|
Camille GILLOT
|
aeac555578
|
Do not see through copies of mutable pointers.
|
2023-05-10 19:22:57 +00:00 |
|
Camille GILLOT
|
d0d4e0237f
|
Iteratively replace pointers.
|
2023-05-10 19:22:54 +00:00 |
|
Camille GILLOT
|
a67bf08ed7
|
Only check storage liveness for direct projections.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3b4e1fe104
|
Do not check StorageLive dominates address-taking.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
0bd9bd6b8a
|
Explicit performance concern.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3c43b61b87
|
Do not consider borrowed Freeze locals as SSA.
|
2023-05-09 17:59:35 +00:00 |
|
Camille GILLOT
|
3490375570
|
Implement SSA-based reference propagation.
|
2023-05-09 17:59:34 +00:00 |
|