blob: 0ed6ae1061ada370f1ab11dd0d67176dee524931 [file] [log] [blame]
; RUN: opt -disable-basic-aa -alias-set-saturation-threshold=2 -passes='loop-mssa(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
}