diff options
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 2 | ||||
| -rw-r--r-- | test/CodeGen/PowerPC/ashr-neg1.ll | 18 |
2 files changed, 19 insertions, 1 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 0bff21e7c3e..af5051650ee 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -3589,7 +3589,7 @@ ScalarEvolution::getSignedRange(const SCEV *S) { if (!U->getValue()->getType()->isIntegerTy() && !TD) return setSignedRange(U, ConservativeResult); unsigned NS = ComputeNumSignBits(U->getValue(), TD); - if (NS == 1) + if (NS <= 1) return setSignedRange(U, ConservativeResult); return setSignedRange(U, ConservativeResult.intersectWith( ConstantRange(APInt::getSignedMinValue(BitWidth).ashr(NS - 1), diff --git a/test/CodeGen/PowerPC/ashr-neg1.ll b/test/CodeGen/PowerPC/ashr-neg1.ll new file mode 100644 index 00000000000..28e74f4d298 --- /dev/null +++ b/test/CodeGen/PowerPC/ashr-neg1.ll @@ -0,0 +1,18 @@ +; RUN: llc -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 < %s +target triple = "powerpc64-unknown-linux-gnu" + +define void @autogen_SD30723(i32) { +BB: + br label %CF80 + +CF80: ; preds = %CF80, %BB + %B = ashr i32 %0, -1 + br i1 undef, label %CF80, label %CF84 + +CF84: ; preds = %CF84, %CF80 + %Cmp62 = icmp sge i32 undef, %B + br i1 %Cmp62, label %CF84, label %CF85 + +CF85: ; preds = %CF85, %CF84 + br label %CF85 +} |