Heuristic: If the number of operands in the alias are more than the number of
[llvm/stm8.git] / test / Analysis / BasicAA / underlying-value.ll
blob0671c82506810b5be48b3089a914aae9b21217ca
1 ; RUN: opt -basicaa -licm -S < %s
2 ; PR9931
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"
6 define void @func_20() nounwind {
7 entry:
8   br label %for.cond
10 for.cond:                                         ; preds = %for.cond2, %entry
11   br i1 undef, label %for.cond2, label %for.end22
13 for.cond2:                                        ; preds = %for.body5, %for.cond
14   br i1 false, label %for.body5, label %for.cond
16 for.body5:                                        ; preds = %for.cond2
17   %arrayidx = getelementptr inbounds [2 x i64]* undef, i32 0, i64 0
18   %tmp7 = load i64* %arrayidx, align 8
19   %arrayidx9 = getelementptr inbounds [2 x i64]* undef, i32 0, i64 undef
20   %tmp10 = load i64* %arrayidx9, align 8
21   br label %for.cond2
23 for.end22:                                        ; preds = %for.cond
24   ret void