| ; 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, ptr undef |
| br label %bb2 |
| |
| bb2: ; preds = %bb8, %bb1 |
| %_tmp18.fca.0.load = load i16, ptr %lc1.10 |
| %_tmp18.fca.1.gep = getelementptr inbounds [3 x i16], ptr %lc1.10, i32 0, i32 1 |
| %_tmp18.fca.1.load = load i16, ptr %_tmp18.fca.1.gep |
| %_tmp18.fca.2.gep = getelementptr inbounds [3 x i16], ptr %lc1.10, i32 0, i32 2 |
| %_tmp18.fca.2.load = load i16, ptr %_tmp18.fca.2.gep |
| br label %bb8 |
| |
| bb8: ; preds = %bb2 |
| br i1 undef, label %bb2, label %bb6 |
| |
| bb6: ; preds = %bb8 |
| br label %bb1 |
| } |
