[llvm-bugs] [Bug 34935] New: Cyclic PHI nodes

[via llvm-bugs]

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

            Bug ID: 34935
           Summary: Cyclic PHI nodes
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Scalar Optimizations
          Assignee: davide at freebsd.org
          Reporter: davide at freebsd.org
                CC: dberlin at dberlin.org, llvm-bugs at lists.llvm.org

define void @patatino() {
bb:
  br label %bb1

bb1:
  %tmp = phi i1 [ undef, %bb ], [ %tmp3, %bb1 ]
  %tmp3 = and i1 %tmp, true
  br label %bb1
}


This is the bug that we think we defeated, many times, and instead, keeps
coming back.
NewGVN keeps moving instructions between classes and never reaches convergence.
Eventually we hit an assertion because we processed an instruction too many
times.

I'll take a stab at debugging it, but this is a FYI.

-- 
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/20171012/2cab5c51/attachment.html>