test/Transforms/LICM/pr38513.ll

   1 ; RUN: opt -enable-mssa-loop-dependency=false -disable-basicaa -alias-set-saturation-threshold=2 -licm -S < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-LABEL: @f1()
   5 define void @f1() {
   6   %lc1.10 = alloca [3 x i16]
   7   br label %bb1
   8
   9 bb1:                                              ; preds = %bb6, %0
  10   store i16 undef, i16* undef
  11   br label %bb2
  12
  13 bb2:                                              ; 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
  22 bb8:                                              ; preds = %bb2
  23   br i1 undef, label %bb2, label %bb6
  24
  25 bb6:                                              ; preds = %bb8
  26   br label %bb1
  27 }