47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; ModuleID = 'bugpoint-reduced-simplified.bc'3; RUN: opt < %s -passes=newgvn -S | FileCheck %s4source_filename = "bugpoint-output-e4c7d0f.bc"5 6; Make sure we still properly resolve phi cycles when they involve predicateinfo copies of phis.7define void @hoge(i1 %arg) local_unnamed_addr {8; CHECK-LABEL: @hoge(9; CHECK-NEXT: bb:10; CHECK-NEXT: br i1 %arg, label [[BB6:%.*]], label [[BB1:%.*]]11; CHECK: bb1:12; CHECK-NEXT: br label [[BB6]]13; CHECK: bb2:14; CHECK-NEXT: br i1 true, label [[BB3:%.*]], label [[BB6]]15; CHECK: bb3:16; CHECK-NEXT: br label [[BB4:%.*]]17; CHECK: bb4:18; CHECK-NEXT: br i1 %arg, label [[BB2:%.*]], label [[BB6]]19; CHECK: bb6:20; CHECK-NEXT: br label [[BB4]]21;22bb:23 br i1 %arg, label %bb6, label %bb124 25bb1: ; preds = %bb26 br label %bb627 28bb2: ; preds = %bb429 %tmp = icmp slt i8 %tmp5, 730 br i1 %tmp, label %bb3, label %bb631 32bb3: ; preds = %bb233 br label %bb434 35bb4: ; preds = %bb6, %bb336 %tmp5 = phi i8 [ %tmp5, %bb3 ], [ %tmp7, %bb6 ]37 br i1 %arg, label %bb2, label %bb638 39bb6: ; preds = %bb4, %bb2, %bb1, %bb40 %tmp7 = phi i8 [ %tmp5, %bb4 ], [ %tmp5, %bb2 ], [ 5, %bb1 ], [ undef, %bb ]41 br label %bb442}43 44!llvm.ident = !{!0}45 46!0 = !{!"clang version 6.0.0"}47