[llvm-commits] [poolalloc] r156250 - in /poolalloc/trunk: lib/DSA/Local.cpp test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll
Will Dietz
wdietz2 at illinois.edu
Sat May 5 23:37:53 PDT 2012
Author: wdietz2
Date: Sun May 6 01:37:53 2012
New Revision: 156250
URL: http://llvm.org/viewvc/llvm-project?rev=156250&view=rev
Log:
Local: When scanning PtrtoInt uses, use set to avoid infinite chains.
Add testcase demonstrating the issue.
Added:
poolalloc/trunk/test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll
Modified:
poolalloc/trunk/lib/DSA/Local.cpp
Modified: poolalloc/trunk/lib/DSA/Local.cpp
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/lib/DSA/Local.cpp?rev=156250&r1=156249&r2=156250&view=diff
==============================================================================
--- poolalloc/trunk/lib/DSA/Local.cpp (original)
+++ poolalloc/trunk/lib/DSA/Local.cpp Sun May 6 01:37:53 2012
@@ -572,7 +572,9 @@
}
if(I.getNumUses() == 1) {
Value *V = dyn_cast<Value>(*(I.use_begin()));
- while(V && V->getNumUses() == 1) {
+ DenseSet<Value *> Seen;
+ while(V && V->getNumUses() == 1 &&
+ Seen.insert(V).second) {
if(isa<LoadInst>(V))
break;
if(isa<StoreInst>(V))
Added: poolalloc/trunk/test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll
URL: http://llvm.org/viewvc/llvm-project/poolalloc/trunk/test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll?rev=156250&view=auto
==============================================================================
--- poolalloc/trunk/test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll (added)
+++ poolalloc/trunk/test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll Sun May 6 01:37:53 2012
@@ -0,0 +1,17 @@
+;RUN: dsaopt %s -dsa-local -disable-output
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @A() {
+entry:
+ %0 = alloca i32
+ %1 = ptrtoint i32* %0 to i64
+ br label %loop
+
+loop:
+ %2 = phi i64 [ %1, %entry ], [ %2, %loop ]
+ br label %loop
+
+ret:
+ ret void
+}
More information about the llvm-commits
mailing list