[llvm-bugs] [Bug 36411] New: [PowerPC]verification error after If-converter

[via llvm-bugs]

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

            Bug ID: 36411
           Summary: [PowerPC]verification error after If-converter
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: PowerPC
          Assignee: unassignedbugs at nondot.org
          Reporter: junbuml at codeaurora.org
                CC: llvm-bugs at lists.llvm.org

While working on some experiment patch, observed an error from
-verify-machineinstrs in PPC after If-Converter. It should be easily
reproducible :  llc -verify-machineinstrs < test.ll


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-v128:128:128-n32:64"
target triple = "powerpc64-unknown-linux-gnu"

define i32 @test(i32 %v, i32* %S) nounwind {
entry:
  br i1 undef, label %Exit, label %Header

Header:
  %call = call i32 @f1()
  switch i32 %call, label %BB0[
    i32 -5, label %BB0
    i32 -16, label %BB0
    i32 -25, label %Exit.loopexit
  ]

BB0:
  br i1 false, label %Exit, label %Header

Exit.loopexit:
  br label %Exit

Exit:
  %p = phi i32[0, %entry], [1, %BB0], [2, %Exit.loopexit]
  ret i32 %p
}

declare i32 @f1() nounwind

-- 
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/20180216/33ae2717/attachment-0001.html>