1; RUN: opt -enable-mssa-loop-dependency=false -disable-basic-aa -alias-set-saturation-threshold=2 -licm -S < %s | FileCheck %s 2; REQUIRES: asserts 3 4; CHECK-LABEL: @f1() 5define void @f1() { 6 %lc1.10 = alloca [3 x i16] 7 br label %bb1 8 9bb1: ; preds = %bb6, %0 10 store i16 undef, i16* undef 11 br label %bb2 12 13bb2: ; preds = %bb8, %bb1 14 %_tmp18.fca.0.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 0 15 %_tmp18.fca.0.load = load i16, i16* %_tmp18.fca.0.gep 16 %_tmp18.fca.1.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 1 17 %_tmp18.fca.1.load = load i16, i16* %_tmp18.fca.1.gep 18 %_tmp18.fca.2.gep = getelementptr inbounds [3 x i16], [3 x i16]* %lc1.10, i32 0, i32 2 19 %_tmp18.fca.2.load = load i16, i16* %_tmp18.fca.2.gep 20 br label %bb8 21 22bb8: ; preds = %bb2 23 br i1 undef, label %bb2, label %bb6 24 25bb6: ; preds = %bb8 26 br label %bb1 27} 28