40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; REQUIRES: asserts3; RUN: opt -debug-counter=predicateinfo-rename=1 -passes=print-predicateinfo < %s 2>&1 | FileCheck %s4;; Test that, with debug counters on, we don't rename the first info, only the second5define fastcc void @barney() {6; CHECK-LABEL: @barney(7; CHECK-NEXT: bb:8; CHECK-NEXT: br label [[BB22:%.*]]9; CHECK: bb22:10; CHECK-NEXT: [[TMP23:%.*]] = icmp eq i32 undef, 211; CHECK: [[TMP23_0:%.*]] = bitcast i1 [[TMP23]] to i112; CHECK-NEXT: br i1 [[TMP23]], label [[BB29:%.*]], label [[BB35:%.*]]13; CHECK: bb29:14; CHECK: [[TMP23_0_1:%.*]] = bitcast i1 [[TMP23_0]] to i115; CHECK-NEXT: br i1 [[TMP23]], label [[BB33:%.*]], label [[BB35]]16; CHECK: bb33:17; CHECK-NEXT: br i1 [[TMP23_0_1]], label [[BB35]], label [[BB35]]18; CHECK: bb35:19; CHECK-NEXT: unreachable20;21bb:22 br label %bb2223bb22: ; preds = %bb2124 %tmp23 = icmp eq i32 undef, 225 br i1 %tmp23, label %bb29, label %bb3526 27 28bb29: ; preds = %bb2829;; We will not rename this one (we will still generate a copy of a copy for the next one)30 br i1 %tmp23, label %bb33, label %bb3531 32 33bb33: ; preds = %bb3134;; We will rename this one35 br i1 %tmp23, label %bb35, label %bb3536 37bb35: ; preds = %bb33, %bb29, %bb2238 unreachable39}40