; RUN: llc < %s -march=x86-64 | grep testb | |
; Make sure dagcombine doesn't eliminate the comparison due | |
; to an off-by-one bug with ComputeMaskedBits information. | |
declare void @qux() | |
define void @foo(i32 %a) { | |
%t0 = lshr i32 %a, 23 | |
br label %next | |
next: | |
%t1 = and i32 %t0, 256 | |
%t2 = icmp eq i32 %t1, 0 | |
br i1 %t2, label %true, label %false | |
true: | |
call void @qux() | |
ret void | |
false: | |
ret void | |
} |