; RUN: llc -mtriple aarch64 -o /dev/null %s
; This used to fail with:
; Assertion `N1.getOpcode() != ISD::DELETED_NODE &&
; "Operand is DELETED_NODE!"' failed.
; Just make sure we do not crash here.
define void @test_fold_freeze_over_select_cc(i15 %a, ptr %p1, ptr %p2) {
entry:
%a2 = add nsw i15 %a, 1
%sext = sext i15 %a2 to i32
%ashr = ashr i32 %sext, 31
%lshr = lshr i32 %ashr, 7
; Setup an already frozen input to ctlz.
%freeze = freeze i32 %lshr
%ctlz = call i32 @llvm.ctlz.i32(i32 %freeze, i1 true)
store i32 %ctlz, ptr %p1, align 1
; Here is another ctlz, which is used by a frozen select.
; DAGCombiner::visitFREEZE will to try to fold the freeze over a SELECT_CC,
; and when dealing with the condition operand the other SELECT_CC operands
; will be replaced/simplified as well. So the SELECT_CC is mutated while
; freezing the "maybe poison operands". This needs to be handled by
; DAGCombiner::visitFREEZE, as it can't store the list of SDValues that
; should be frozen in a separate data structure that isn't updated when the
; SELECT_CC is mutated.
%ctlz1 = call i32 @llvm.ctlz.i32(i32 %lshr, i1 true)
%icmp = icmp ne i32 %lshr, 0
%select = select i1 %icmp, i32 %ctlz1, i32 0
%freeze1 = freeze i32 %select
store i32 %freeze1, ptr %p2, align 1
ret void
}