1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -newgvn %s -S -o - | FileCheck %s
3
4%struct.dipsy = type {}
5%struct.fluttershy = type { %struct.dipsy* }
6%struct.patatino = type {}
7
8define void @tinkywinky() {
9; CHECK-LABEL: @tinkywinky(
10; CHECK-NEXT:  bb:
11; CHECK-NEXT:    br label [[BB90:%.*]]
12; CHECK:       bb90:
13; CHECK-NEXT:    br label [[BB90]]
14; CHECK:       bb138:
15; CHECK-NEXT:    store i8 undef, i8* null
16; CHECK-NEXT:    br label [[BB138:%.*]]
17;
18bb:
19  br label %bb90
20
21bb90:
22  %tmp = getelementptr inbounds %struct.fluttershy, %struct.fluttershy* undef, i64 0, i32 0
23  %tmp91 = bitcast %struct.dipsy** %tmp to %struct.patatino**
24  %tmp92 = load %struct.patatino*, %struct.patatino** %tmp91, align 8
25  %tmp99 = getelementptr inbounds %struct.patatino, %struct.patatino* %tmp92
26  %tmp134 = getelementptr inbounds %struct.fluttershy, %struct.fluttershy* undef, i64 0, i32 0
27  %tmp135 = bitcast %struct.dipsy** %tmp134 to %struct.patatino**
28  %tmp136 = load %struct.patatino*, %struct.patatino** %tmp135, align 8
29  br label %bb90
30
31bb138:
32  %tmp139 = getelementptr inbounds %struct.patatino, %struct.patatino* %tmp136
33  br label %bb138
34}
35