test/Other/debugcounter-predicateinfo.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; REQUIRES: asserts
   3 ; RUN: opt -debug-counter=predicateinfo-rename-skip=1,predicateinfo-rename-count=1 -print-predicateinfo -analyze  < %s 2>&1 | FileCheck %s
   4 ;; Test that, with debug counters on, we don't rename the first info, only the second
   5 define 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, 2
  11 ; CHECK:         [[TMP23_0:%.*]] = call i1 @llvm.ssa.copy.{{.+}}(i1 [[TMP23]])
  12 ; CHECK-NEXT:    br i1 [[TMP23]], label [[BB29:%.*]], label [[BB35:%.*]]
  13 ; CHECK:       bb29:
  14 ; CHECK:         [[TMP23_0_1:%.*]] = call i1 @llvm.ssa.copy.{{.+}}(i1 [[TMP23_0]])
  15 ; 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:    unreachable
  20 ;
  21 bb:
  22   br label %bb22
  23 bb22:                                             ; preds = %bb21
  24   %tmp23 = icmp eq i32 undef, 2
  25   br i1 %tmp23, label %bb29, label %bb35
  26
  27
  28 bb29:                                             ; preds = %bb28
  29 ;; 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 %bb35
  31
  32
  33 bb33:                                             ; preds = %bb31
  34 ;; We will rename this one
  35   br i1 %tmp23, label %bb35, label %bb35
  36
  37 bb35:                                             ; preds = %bb33, %bb29, %bb22
  38   unreachable
  39 }