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: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected]
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._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
