• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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