6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-17 03:30:28 +00:00
Code Issues Projects Releases Wiki Activity

LSR crashes on an empty IVUsers list.

Browse Source 
rdar://9786536


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135644 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Andrew Trick 2011-07-21 00:40:04 +00:00
parent 36c62d3cbe
commit 37eb38d3f8
2 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Transforms/Scalar/LoopStrengthReduce.cpp
View File

@ -3740,6 +3740,9 @@ LSRInstance::LSRInstance(const TargetLowering *tli, Loop *l, Pass *P)
OptimizeShadowIV();
OptimizeLoopTermCond();
// If loop preparation eliminates all interesting IV users, bail.
if (IU.empty()) return;
// Start collecting data and preparing for the solver.
CollectInterestingTypesAndFactors();
CollectFixupsAndInitialFormulae();

24
test/Transforms/LoopStrengthReduce/2011-07-20-DoubleIV.ll Normal file
View File

@ -0,0 +1,24 @@
; RUN: opt < %s -loop-reduce -S | FileCheck %s
;
; Test LSR's OptimizeShadowIV. Handle a floating-point IV with a
; nonzero initial value.
; rdar://9786536
; First, make sure LSR doesn't crash on an empty IVUsers list.
; CHECK: @dummyIV
; CHECK-NOT: phi
; CHECK-NOT: sitofp
; CHECK: br
define void @dummyIV() nounwind {
entry:
br label %loop
loop:
%i.01 = phi i32 [ -39, %entry ], [ %inc, %loop ]
%conv7 = sitofp i32 %i.01 to double
%inc = add nsw i32 %i.01, 1
br i1 undef, label %loop, label %for.end
for.end:
unreachable
}