; RUN: opt -S -passes='require<memoryssa>,loop-simplify,early-cse<memssa>' -earlycse-debug-hash -verify-memoryssa %s | FileCheck %s
; REQUIRES: asserts
target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: @func()
define void @func() {
br i1 undef, label %bb5, label %bb3
bb5: ; preds = %bb5, %0
store i16 undef, ptr undef
br i1 undef, label %bb5, label %bb3
bb3: ; preds = %bb5, %0
ret void
}