diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-05-03 18:29:34 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-05-03 18:29:34 +0000 |
| commit | 23f314d04f12d206dfecbee7e1adfb5306271d93 (patch) | |
| tree | 4093cedab56ccaf0dcac94ea245e7b59d9b98a5c /llvm/lib/Transforms | |
| parent | c5b2d561e8d36ed35747be362a800dec04688042 (diff) | |
| download | bcm5719-llvm-23f314d04f12d206dfecbee7e1adfb5306271d93.tar.gz bcm5719-llvm-23f314d04f12d206dfecbee7e1adfb5306271d93.zip | |
Fix typos in comment
llvm-svn: 302063
Diffstat (limited to 'llvm/lib/Transforms')
| -rw-r--r-- | llvm/lib/Transforms/Scalar/GuardWidening.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/lib/Transforms/Scalar/GuardWidening.cpp b/llvm/lib/Transforms/Scalar/GuardWidening.cpp index 48eda09c463..198d2b2b024 100644 --- a/llvm/lib/Transforms/Scalar/GuardWidening.cpp +++ b/llvm/lib/Transforms/Scalar/GuardWidening.cpp @@ -613,16 +613,16 @@ bool GuardWideningImpl::combineRangeChecks( // We have a series of f+1 checks as: // // I+k_0 u< L ... Chk_0 - // I_k_1 u< L ... Chk_1 + // I+k_1 u< L ... Chk_1 // ... - // I_k_f u< L ... Chk_(f+1) + // I+k_f u< L ... Chk_f // - // with forall i in [0,f): k_f-k_i u< k_f-k_0 ... Precond_0 + // with forall i in [0,f]: k_f-k_i u< k_f-k_0 ... Precond_0 // k_f-k_0 u< INT_MIN+k_f ... Precond_1 // k_f != k_0 ... Precond_2 // // Claim: - // Chk_0 AND Chk_(f+1) implies all the other checks + // Chk_0 AND Chk_f implies all the other checks // // Informal proof sketch: // |
