6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-01 15:11:24 +00:00
Code Issues Projects Releases Wiki Activity

The upper argument of ConstantRange is exclusive, not inclusive.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76492 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-07-20 22:34:18 +00:00
parent b3e7189353
commit 746f3b1a9b
2 changed files with 30 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Analysis/ScalarEvolution.cpp
View File

@ -2644,7 +2644,9 @@ ScalarEvolution::getUnsignedRange(const SCEV *S) {
APInt Mask = APInt::getAllOnesValue(BitWidth); APInt Mask = APInt::getAllOnesValue(BitWidth);
APInt Zeros(BitWidth, 0), Ones(BitWidth, 0); APInt Zeros(BitWidth, 0), Ones(BitWidth, 0);
ComputeMaskedBits(U->getValue(), Mask, Zeros, Ones, TD); ComputeMaskedBits(U->getValue(), Mask, Zeros, Ones, TD);
return ConstantRange(Ones, ~Zeros); if (Ones == ~Zeros + 1)
return FullSet;
return ConstantRange(Ones, ~Zeros + 1);
} }
return FullSet; return FullSet;

27
test/Transforms/IndVarSimplify/single-element-range.ll Normal file
View File

@ -0,0 +1,27 @@
; RUN: llvm-as < %s | opt -indvars
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64"
target triple = "armv6-apple-darwin10"
define arm_apcscc void @sqlite3_free_table(i8** %azResult) nounwind {
entry:
br i1 undef, label %return, label %bb
bb: ; preds = %entry
%0 = load i8** undef, align 4 ; <i8*> [#uses=2]
%1 = ptrtoint i8* %0 to i32 ; <i32> [#uses=1]
%2 = icmp sgt i8* %0, inttoptr (i32 1 to i8*) ; <i1> [#uses=1]
br i1 %2, label %bb1, label %bb5
bb1: ; preds = %bb1, %bb
%i.01 = phi i32 [ %3, %bb1 ], [ 1, %bb ] ; <i32> [#uses=1]
%3 = add i32 %i.01, 1 ; <i32> [#uses=2]
%4 = icmp slt i32 %3, %1 ; <i1> [#uses=1]
br i1 %4, label %bb1, label %bb5
bb5: ; preds = %bb1, %bb
ret void
return: ; preds = %entry
ret void
}