1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt -S -newgvn %s | FileCheck %s 3 4 define 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 ; 14 entry: 15 br label %body 16 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 20 %or = or i64 %b2, 0 21 store i64 %or, i64* %b 22 br i1 undef, label %body, label %end 23 end: 24 br label %body 25 } 26
