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