1; RUN: opt -gvn -disable-output < %s
2
3target 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-f128:128:128-n8:16:32:64"
4
5@nuls = external global [10 x i8]
6
7define fastcc void @p_ere() nounwind {
8entry:
9  br label %"<bb 5>"
10
11"<L18>.i":
12  br i1 undef, label %"<bb 3>.i30.i", label %doemit.exit51.i
13
14"<bb 3>.i30.i":
15  unreachable
16
17doemit.exit51.i:
18  br label %"<bb 53>.i"
19
20"<L19>.i":
21  br i1 undef, label %"<bb 3>.i55.i", label %doemit.exit76.i
22
23"<bb 3>.i55.i":
24  unreachable
25
26doemit.exit76.i:
27  br label %"<bb 53>.i"
28
29"<L98>.i":
30  store i8* getelementptr inbounds ([10 x i8]* @nuls, i64 0, i64 0), i8** undef, align 8
31  br label %"<bb 53>.i"
32
33"<L99>.i":
34  br label %"<bb 53>.i"
35
36"<L24>.i":
37  br i1 undef, label %"<bb 53>.i", label %"<bb 35>.i"
38
39"<bb 35>.i":
40  br label %"<bb 53>.i"
41
42"<L28>.i":
43  br label %"<bb 53>.i"
44
45"<L29>.i":
46  br label %"<bb 53>.i"
47
48"<L39>.i":
49  br label %"<bb 53>.i"
50
51"<bb 53>.i":
52  %wascaret_2.i = phi i32 [ 0, %"<L39>.i" ], [ 0, %"<L29>.i" ], [ 0, %"<L28>.i" ], [ 0, %"<bb 35>.i" ], [ 0, %"<L99>.i" ], [ 0, %"<L98>.i" ], [ 0, %doemit.exit76.i ], [ 1, %doemit.exit51.i ], [ 0, %"<L24>.i" ]
53  %D.5496_84.i = load i8** undef, align 8
54  br i1 undef, label %"<bb 54>.i", label %"<bb 5>"
55
56"<bb 54>.i":
57  br i1 undef, label %"<bb 5>", label %"<bb 58>.i"
58
59"<bb 58>.i":
60  br i1 undef, label %"<bb 64>.i", label %"<bb 59>.i"
61
62"<bb 59>.i":
63  br label %"<bb 64>.i"
64
65"<bb 64>.i":
66  switch i32 undef, label %"<bb 5>" [
67    i32 42, label %"<L54>.i"
68    i32 43, label %"<L55>.i"
69    i32 63, label %"<L56>.i"
70    i32 123, label %"<bb 5>.i258.i"
71  ]
72
73"<L54>.i":
74  br i1 undef, label %"<bb 3>.i105.i", label %doemit.exit127.i
75
76"<bb 3>.i105.i":
77  unreachable
78
79doemit.exit127.i:
80  unreachable
81
82"<L55>.i":
83  br i1 undef, label %"<bb 3>.i157.i", label %"<bb 5>"
84
85"<bb 3>.i157.i":
86  unreachable
87
88"<L56>.i":
89  br label %"<bb 5>"
90
91"<bb 5>.i258.i":
92  unreachable
93
94"<bb 5>":
95  switch i32 undef, label %"<L39>.i" [
96    i32 36, label %"<L19>.i"
97    i32 94, label %"<L18>.i"
98    i32 124, label %"<L98>.i"
99    i32 42, label %"<L99>.i"
100    i32 43, label %"<L99>.i"
101    i32 46, label %"<L24>.i"
102    i32 63, label %"<L99>.i"
103    i32 91, label %"<L28>.i"
104    i32 92, label %"<L29>.i"
105  ]
106}
107