From 1ca7d1765a2415ec329d39bfdd990350c4fdddd0 Mon Sep 17 00:00:00 2001 From: Daniel Berlin Date: Sun, 19 Feb 2017 06:45:02 +0000 Subject: [PATCH] Re-add debugcounter.ll with Requires: Asserts so that it only triggers when asserts are on git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@295598 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Other/debugcounter.ll | 40 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 test/Other/debugcounter.ll diff --git a/test/Other/debugcounter.ll b/test/Other/debugcounter.ll new file mode 100644 index 00000000000..50c3f8c834f --- /dev/null +++ b/test/Other/debugcounter.ll @@ -0,0 +1,40 @@ +; REQUIRES: Asserts +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +;; Test that, with debug counters on, we don't rename the first info, only the second +; RUN: opt -debug-counter=predicateinfo-rename-skip=1,predicateinfo-rename-count=1 -print-predicateinfo -analyze < %s 2>&1 | FileCheck %s +define fastcc void @barney() { +; CHECK-LABEL: @barney( +; CHECK-NEXT: bb: +; CHECK-NEXT: br label [[BB22:%.*]] +; CHECK: bb22: +; CHECK-NEXT: [[TMP23:%.*]] = icmp eq i32 undef, 2 +; CHECK: [[TMP23_0:%.*]] = call i1 @llvm.ssa.copy.i1(i1 [[TMP23]]) +; CHECK-NEXT: br i1 [[TMP23]], label [[BB29:%.*]], label [[BB35:%.*]] +; CHECK: bb29: +; CHECK: [[TMP23_0_1:%.*]] = call i1 @llvm.ssa.copy.i1(i1 [[TMP23_0]]) +; CHECK-NEXT: br i1 [[TMP23]], label [[BB33:%.*]], label [[BB35]] +; CHECK: bb33: +; CHECK-NEXT: br i1 [[TMP23_0_1]], label [[BB35]], label [[BB35]] +; CHECK: bb35: +; CHECK-NEXT: unreachable +; +bb: + br label %bb22 +bb22: ; preds = %bb21 + %tmp23 = icmp eq i32 undef, 2 + br i1 %tmp23, label %bb29, label %bb35 + + +bb29: ; preds = %bb28 +;; We will not rename this one (we will still generate a copy of a copy for the next one) + br i1 %tmp23, label %bb33, label %bb35 + + +bb33: ; preds = %bb31 +;; We will rename this one + br i1 %tmp23, label %bb35, label %bb35 + +bb35: ; preds = %bb33, %bb29, %bb22 + unreachable +} + -- 2.50.1