1 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
6 define i8* @cat(i8* %s1, ...) nounwind {
8 br i1 undef, label %bb, label %bb3
14 store i8* undef, i8** undef, align 4
15 br i1 undef, label %bb5, label %bb6
24 br i1 undef, label %bb9, label %bb10
27 %0 = load i8*, i8** undef, align 4 ; <i8*> [#uses=0]
28 %1 = load i8*, i8** undef, align 4 ; <i8*> [#uses=0]
34 bb11: ; preds = %bb10, %bb9
37 bb12: ; preds = %bb11, %bb6
38 br i1 undef, label %bb8, label %bb13