diff options
| author | Wojciech Matyjewicz <wmatyjewicz@fastmail.fm> | 2008-02-12 15:09:36 +0000 |
|---|---|---|
| committer | Wojciech Matyjewicz <wmatyjewicz@fastmail.fm> | 2008-02-12 15:09:36 +0000 |
| commit | 1d2c27b23eceec7b6a79e3f0b21d24068fbd50f3 (patch) | |
| tree | 29fa76676b4d9010f9106605730a3f97519ce080 /llvm/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll | |
| parent | 716c10c01e9f8105fa2759902ac6d70590cb366a (diff) | |
| download | bcm5719-llvm-1d2c27b23eceec7b6a79e3f0b21d24068fbd50f3.tar.gz bcm5719-llvm-1d2c27b23eceec7b6a79e3f0b21d24068fbd50f3.zip | |
Fix PR2002. Suppose n is the initial value for the induction
variable (with step 1) and m is its final value. Then, the correct trip
count is SMAX(m,n)-n. Previously, we used SMAX(0,m-n), but m-n may
overflow and can't in general be interpreted as signed.
Patch by Nick Lewycky.
llvm-svn: 47007
Diffstat (limited to 'llvm/test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll')
0 files changed, 0 insertions, 0 deletions
