1; RUN: opt -S -memoryssa -loop-simplify -early-cse-memssa -earlycse-debug-hash -verify-memoryssa %s | FileCheck %s 2; RUN: opt -S -memoryssa -loop-simplify -early-cse-memssa -enable-mssa-loop-dependency -verify-memoryssa %s | FileCheck %s 3; REQUIRES: asserts 4target triple = "x86_64-unknown-linux-gnu" 5 6; CHECK-LABEL: @func() 7define void @func() { 8 br i1 undef, label %bb5, label %bb3 9 10bb5: ; preds = %bb5, %0 11 store i16 undef, i16* undef 12 br i1 undef, label %bb5, label %bb3 13 14bb3: ; preds = %bb5, %0 15 ret void 16} 17