27 lines · plain
1; RUN: opt -disable-basic-aa -alias-set-saturation-threshold=2 -passes='loop-mssa(licm)' -S < %s | FileCheck %s2; REQUIRES: asserts3 4; CHECK-LABEL: @f1(i1 %arg)5define void @f1(i1 %arg) {6 %lc1.10 = alloca [3 x i16]7 br label %bb18 9bb1: ; preds = %bb6, %010 store i16 undef, ptr undef11 br label %bb212 13bb2: ; preds = %bb8, %bb114 %_tmp18.fca.0.load = load i16, ptr %lc1.1015 %_tmp18.fca.1.gep = getelementptr inbounds [3 x i16], ptr %lc1.10, i32 0, i32 116 %_tmp18.fca.1.load = load i16, ptr %_tmp18.fca.1.gep17 %_tmp18.fca.2.gep = getelementptr inbounds [3 x i16], ptr %lc1.10, i32 0, i32 218 %_tmp18.fca.2.load = load i16, ptr %_tmp18.fca.2.gep19 br label %bb820 21bb8: ; preds = %bb222 br i1 %arg, label %bb2, label %bb623 24bb6: ; preds = %bb825 br label %bb126}27