[llvm-bugs] [Bug 28014] New: Infinite loop in DSE with infinite loop

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=28014

            Bug ID: 28014
           Summary: Infinite loop in DSE with infinite loop
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: eli.friedman at gmail.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Testcase:

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

define void @f(i32* nocapture %x, i32* noalias %y) {
entry:
  %0 = bitcast i32* %x to i8*
  br label %while.body

while.body:
  tail call void @free(i8* %0) #2
  store volatile i32 10, i32* %y, align 4
  br label %z

z:
  br label %while.body
}

; Function Attrs: nounwind
declare void @free(i8* nocapture)


Hangs opt -dse.  Fun. (Artificial; not sure if you can get into this situation
with the default pass pipeline.)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160606/ad40cfcb/attachment.html>