[llvm-bugs] [Bug 41530] New: D59541 causes incorrect pruning of defined bits when other bits are undefined.

[via llvm-bugs]

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

            Bug ID: 41530
           Summary: D59541 causes incorrect pruning of defined bits when
                    other bits are undefined.
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: release blocker
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: slandden at gmail.com
                CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org

git commit 07bbe5e2922ece39 causes this test to fail, returning undefined,
despite having a defined bit.

https://github.com/llvm-mirror/llvm/blob/master/test/Transforms/SimplifyCFG/switch-dead-default.ll#L160


define void @test8(i8 %a) {
; CHECK-LABEL: @test8(
; CHECK: switch i8
  %and = and i8 %a, 254
  %cmp = icmp eq i8 %and, undef
  call void @llvm.assume(i1 %cmp)
  switch i8 %a, label %default [i8 255, label %true
                                i8 254, label %false]
true:
  call void @foo(i32 1)
  ret void
false:
  call void @foo(i32 3)
  ret void
default:
  call void @foo(i32 2)
  ret void
}

-- 
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/20190418/1fb0f516/attachment-0001.html>