1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3 define i8* @cat(i8* %s1, ...) nounwind {
5 br i1 undef, label %bb, label %bb3
11 store i8* undef, i8** undef, align 4
12 br i1 undef, label %bb5, label %bb6
21 br i1 undef, label %bb9, label %bb10
24 %0 = load i8** undef, align 4 ; <i8*> [#uses=0]
25 %1 = load i8** undef, align 4 ; <i8*> [#uses=0]
31 bb11: ; preds = %bb10, %bb9
37 bb12: ; preds = %bb11, %bb6
41 br i1 undef, label %bb8, label %bb13