; RUN: opt -enable-mssa-loop-dependency=false -disable-basicaa -alias-set-saturation-threshold=2 -licm -S < %s | FileCheck %s
; REQUIRES: asserts

; CHECK-LABEL: @f1()
define void @f1() {
  %lc1.10 = alloca [3 x i16]
  br label %bb1

bb1:                                              ; preds = %bb6, %0
  store i16 undef, i16* undef
  br label %bb2

bb2:                                              ; preds = %bb8, %bb1
  %_tmp18.fca.0.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 0
  %_tmp18.fca.0.load = load i16, i16* %_tmp18.fca.0.gep
  %_tmp18.fca.1.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 1
  %_tmp18.fca.1.load = load i16, i16* %_tmp18.fca.1.gep
  %_tmp18.fca.2.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 2
  %_tmp18.fca.2.load = load i16, i16* %_tmp18.fca.2.gep
  br label %bb8

bb8:                                              ; preds = %bb2
  br i1 undef, label %bb2, label %bb6

bb6:                                              ; preds = %bb8
  br label %bb1
}