1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -newgvn %s | FileCheck %s 3 4define void @tinkywinky(i64* %b) { 5; CHECK-LABEL: @tinkywinky( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: br label [[BODY:%.*]] 8; CHECK: body: 9; CHECK-NEXT: store i64 undef, i64* [[B:%.*]] 10; CHECK-NEXT: br i1 undef, label [[BODY]], label [[END:%.*]] 11; CHECK: end: 12; CHECK-NEXT: br label [[BODY]] 13; 14entry: 15 br label %body 16body: 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 20 %or = or i64 %b2, 0 21 store i64 %or, i64* %b 22 br i1 undef, label %body, label %end 23end: 24 br label %body 25} 26