[llvm] [InstCombine] Add test to track BPI when condition was inverted (PR #86469)
Haohai Wen via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 18 01:54:00 PDT 2024
https://github.com/HaohaiWen updated https://github.com/llvm/llvm-project/pull/86469
>From e80e7433137f37fe6885faac1802be19acfbf3d3 Mon Sep 17 00:00:00 2001
From: Haohai Wen <haohai.wen at intel.com>
Date: Mon, 25 Mar 2024 15:03:30 +0800
Subject: [PATCH 1/2] [InstCombine] Add test to track BPI when condition was
inverted
InstCombine may invert branch condition and profile metadata. Branch
probability analysis should not be preserved in this case.
---
.../Transforms/InstCombine/abandon-bpi.ll | 36 +++++++++++++++++++
1 file changed, 36 insertions(+)
create mode 100644 llvm/test/Transforms/InstCombine/abandon-bpi.ll
diff --git a/llvm/test/Transforms/InstCombine/abandon-bpi.ll b/llvm/test/Transforms/InstCombine/abandon-bpi.ll
new file mode 100644
index 00000000000000..190a686c8f078b
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/abandon-bpi.ll
@@ -0,0 +1,36 @@
+; RUN: opt < %s -passes="print<branch-prob>,instcombine,print<branch-prob>" -S 2>&1 | FileCheck %s
+
+; CHECK: Printing analysis 'Branch Probability Analysis' for function 'invert_cond':
+; CHECK-NEXT: ---- Branch Probabilities ----
+; CHECK-NEXT: edge %entry -> %bb1 probability is 0x06186186 / 0x80000000 = 4.76%
+; CHECK-NEXT: edge %entry -> %bb2 probability is 0x79e79e7a / 0x80000000 = 95.24% [HOT edge]
+; CHECK-NEXT: Printing analysis 'Branch Probability Analysis' for function 'invert_cond':
+; CHECK-NEXT: ---- Branch Probabilities ----
+; CHECK-NEXT: edge %entry -> %bb2 probability is 0x06186186 / 0x80000000 = 4.76%
+; CHECK-NEXT: edge %entry -> %bb1 probability is 0x79e79e7a / 0x80000000 = 95.24% [HOT edge]
+
+define i32 @invert_cond(ptr %p) {
+; CHECK-LABEL: define i32 @invert_cond(
+; CHECK-SAME: ptr [[P:%.*]]) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[COND_NOT:%.*]] = icmp eq ptr [[P]], null
+; CHECK-NEXT: br i1 [[COND_NOT]], label [[BB2:%.*]], label [[BB1:%.*]], !prof [[PROF0:![0-9]+]]
+; CHECK: bb1:
+; CHECK-NEXT: ret i32 0
+; CHECK: bb2:
+; CHECK-NEXT: ret i32 1
+;
+entry:
+ %cond = icmp ne ptr %p, null
+ br i1 %cond, label %bb1, label %bb2, !prof !1
+
+bb1:
+ ret i32 0;
+
+bb2:
+ ret i32 1;
+}
+
+!1 = !{!"branch_weights", i32 1, i32 20}
+; CHECK: [[PROF0]] = !{!"branch_weights", i32 20, i32 1}
+
>From 2ce83767e168f31e8f286dc61513b387d87c7627 Mon Sep 17 00:00:00 2001
From: Haohai Wen <haohai.wen at intel.com>
Date: Thu, 18 Apr 2024 16:35:39 +0800
Subject: [PATCH 2/2] Rename test
---
.../test/Transforms/InstCombine/{abandon-bpi.ll => update-bpi.ll} | 0
1 file changed, 0 insertions(+), 0 deletions(-)
rename llvm/test/Transforms/InstCombine/{abandon-bpi.ll => update-bpi.ll} (100%)
diff --git a/llvm/test/Transforms/InstCombine/abandon-bpi.ll b/llvm/test/Transforms/InstCombine/update-bpi.ll
similarity index 100%
rename from llvm/test/Transforms/InstCombine/abandon-bpi.ll
rename to llvm/test/Transforms/InstCombine/update-bpi.ll
More information about the llvm-commits
mailing list