test/Analysis/BasicAA/underlying-value.ll

   1 ; RUN: opt -basicaa -licm -S < %s
   2 ; PR9931
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   5
   6 define void @func_20() nounwind {
   7 entry:
   8   br label %for.cond
   9
  10 for.cond:                                         ; preds = %for.cond2, %entry
  11   br i1 undef, label %for.cond2, label %for.end22
  12
  13 for.cond2:                                        ; preds = %for.body5, %for.cond
  14   br i1 false, label %for.body5, label %for.cond
  15
  16 for.body5:                                        ; preds = %for.cond2
  17   %arrayidx = getelementptr inbounds [2 x i64], [2 x i64]* undef, i32 0, i64 0
  18   %tmp7 = load i64, i64* %arrayidx, align 8
  19   %arrayidx9 = getelementptr inbounds [2 x i64], [2 x i64]* undef, i32 0, i64 undef
  20   %tmp10 = load i64, i64* %arrayidx9, align 8
  21   br label %for.cond2
  22
  23 for.end22:                                        ; preds = %for.cond
  24   ret void
  25 }