1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -newgvn %s -S -o - | FileCheck %s
4 %struct.dipsy = type {}
5 %struct.fluttershy = type { %struct.dipsy* }
6 %struct.patatino = type {}
8 define void @tinkywinky() {
9 ; CHECK-LABEL: @tinkywinky(
11 ; CHECK-NEXT: br label [[BB90:%.*]]
13 ; CHECK-NEXT: br label [[BB90]]
15 ; CHECK-NEXT: store i8 undef, i8* null
16 ; CHECK-NEXT: br label [[BB138:%.*]]
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
32 %tmp139 = getelementptr inbounds %struct.patatino, %struct.patatino* %tmp136