| Issue |
168823
|
| Summary |
[DA] Conditions of Correctness
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
amehsan
|
The purpose of this issue is to document proofs of correctness for tests in dependence analysis. The goal is to make assumptions required for correctness explicit. Given the complexity of this analysis, I believe this will be useful.
I don't expect separate proofs for different tests. I expect proofs can be generalized. Also I will try to cover current implementation and potential extensions that we may need in the future to increase accuracy of the analysis.
I will update the issue gradually and I expect it to take a few weeks until completion.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
