| commit | 96fd76638b6be492c5e470c3b9d5ca12628be5a9 | [log] [tgz] |
|---|---|---|
| author | Chris Lattner <sabre@nondot.org> | Sat Apr 03 07:18:48 2010 +0000 |
| committer | Chris Lattner <sabre@nondot.org> | Sat Apr 03 07:18:48 2010 +0000 |
| tree | b9872bcf791c94a1e7bb1f4177a1a6805fb08b9c | |
| parent | bbb91498da1a4dc77332bf93d7c13060f0c63a70 [diff] |
add integer overflow check for the fp induction variable checker. Amusingly, we already had tests that we should have rejects because they would be miscompiled in the testsuite. The remaining issue with this is that we don't check that the branch causes us to exit the loop if it fails, so we don't actually know if we remain in bounds. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100284 91177308-0d34-0410-b5e6-96231b3b80d8