[llvm-commits] [poolalloc] r156250 - in /poolalloc/trunk: lib/DSA/Local.cpp test/dsa/regression/2012-05-05.PtrToIntInfiniteLoop.ll

[Will Dietz]

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
+}