1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -newgvn %s | FileCheck %s
4 define void @tinkywinky(i64* %b) {
5 ; CHECK-LABEL: @tinkywinky(
7 ; CHECK-NEXT: br label [[BODY:%.*]]
9 ; CHECK-NEXT: store i64 undef, i64* [[B:%.*]]
10 ; CHECK-NEXT: br i1 undef, label [[BODY]], label [[END:%.*]]
12 ; CHECK-NEXT: br label [[BODY]]
17 %d.1 = phi i64* [ undef, %entry ], [ %d.1, %body ], [ %b, %end ]
18 store i64 undef, i64* %d.1
19 %b2 = load i64, i64* %b
21 store i64 %or, i64* %b
22 br i1 undef, label %body, label %end