[llvm] 571abde - [NFC][SimplifyCFG] Add few more fold-branch-to-common-dest tests
Roman Lebedev via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 5 17:41:40 PST 2022
Author: Roman Lebedev
Date: 2022-12-06T04:39:03+03:00
New Revision: 571abdefd174c1cd8883c5307e70d365184d6b83
URL: https://github.com/llvm/llvm-project/commit/571abdefd174c1cd8883c5307e70d365184d6b83
DIFF: https://github.com/llvm/llvm-project/commit/571abdefd174c1cd8883c5307e70d365184d6b83.diff
LOG: [NFC][SimplifyCFG] Add few more fold-branch-to-common-dest tests
Added:
Modified:
llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest-phis.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest-phis.ll b/llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest-phis.ll
index 808804d47db3..cbeefa9932ee 100644
--- a/llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest-phis.ll
+++ b/llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest-phis.ll
@@ -6,8 +6,8 @@ declare void @sideeffect1(i8)
declare void @sideeffect2(i8)
declare void @use1(i1)
-define void @incompatible_ivs_of_single_phi(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
-; ALL-LABEL: @incompatible_ivs_of_single_phi(
+define void @incompatible_ivs_of_single_phi.falsedest.falsedest(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.falsedest.falsedest(
; ALL-NEXT: pred:
; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; ALL-NEXT: br i1 [[C0]], label [[DISPATCH:%.*]], label [[FINAL_RIGHT:%.*]]
@@ -41,10 +41,119 @@ final_right:
ret void
}
-define void @incompatible_ivs_of_single_phi.invert_pred_cond(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
-; ALL-LABEL: @incompatible_ivs_of_single_phi.invert_pred_cond(
+define void @incompatible_ivs_of_single_phi.falsedest.falsedest.extrause(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.falsedest.falsedest.extrause(
; ALL-NEXT: pred:
-; ALL-NEXT: [[C0:%.*]] = icmp ne i8 [[V0:%.*]], 0
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
+; ALL-NEXT: call void @use1(i1 [[C0]])
+; ALL-NEXT: br i1 [[C0]], label [[DISPATCH:%.*]], label [[FINAL_RIGHT:%.*]]
+; ALL: dispatch:
+; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
+; ALL-NEXT: br i1 [[C1]], label [[FINAL_LEFT:%.*]], label [[FINAL_RIGHT]]
+; ALL: common.ret:
+; ALL-NEXT: ret void
+; ALL: final_left:
+; ALL-NEXT: [[FINAL_LEFT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_LEFT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect0(i8 [[FINAL_LEFT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET:%.*]]
+; ALL: final_right:
+; ALL-NEXT: [[FINAL_RIGHT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_RIGHT_FROM_PRED:%.*]], [[PRED:%.*]] ], [ [[IV_OF_FINAL_RIGHT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect1(i8 [[FINAL_RIGHT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET]]
+;
+pred:
+ %c0 = icmp eq i8 %v0, 0
+ call void @use1(i1 %c0)
+ br i1 %c0, label %dispatch, label %final_right
+dispatch:
+ %c1 = icmp eq i8 %v1, 0
+ br i1 %c1, label %final_left, label %final_right
+final_left:
+ %final_left.phi = phi i8 [ %iv.of.final_left.from.dispatch, %dispatch ]
+ call void @sideeffect0(i8 %final_left.phi)
+ ret void
+final_right:
+ %final_right.phi = phi i8 [ %iv.of.final_right.from.pred, %pred ], [ %iv.of.final_right.from.dispatch, %dispatch ]
+ call void @sideeffect1(i8 %final_right.phi)
+ ret void
+}
+
+define void @incompatible_ivs_of_single_phi.falsedest.truedest(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.falsedest.truedest(
+; ALL-NEXT: pred:
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
+; ALL-NEXT: br i1 [[C0]], label [[DISPATCH:%.*]], label [[FINAL_RIGHT:%.*]]
+; ALL: dispatch:
+; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
+; ALL-NEXT: br i1 [[C1]], label [[FINAL_RIGHT]], label [[FINAL_LEFT:%.*]]
+; ALL: common.ret:
+; ALL-NEXT: ret void
+; ALL: final_left:
+; ALL-NEXT: [[FINAL_LEFT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_LEFT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect0(i8 [[FINAL_LEFT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET:%.*]]
+; ALL: final_right:
+; ALL-NEXT: [[FINAL_RIGHT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_RIGHT_FROM_PRED:%.*]], [[PRED:%.*]] ], [ [[IV_OF_FINAL_RIGHT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect1(i8 [[FINAL_RIGHT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET]]
+;
+pred:
+ %c0 = icmp eq i8 %v0, 0
+ br i1 %c0, label %dispatch, label %final_right
+dispatch:
+ %c1 = icmp eq i8 %v1, 0
+ br i1 %c1, label %final_right, label %final_left
+final_left:
+ %final_left.phi = phi i8 [ %iv.of.final_left.from.dispatch, %dispatch ]
+ call void @sideeffect0(i8 %final_left.phi)
+ ret void
+final_right:
+ %final_right.phi = phi i8 [ %iv.of.final_right.from.pred, %pred ], [ %iv.of.final_right.from.dispatch, %dispatch ]
+ call void @sideeffect1(i8 %final_right.phi)
+ ret void
+}
+
+define void @incompatible_ivs_of_single_phi.falsedest.truedest.extrause(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.falsedest.truedest.extrause(
+; ALL-NEXT: pred:
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
+; ALL-NEXT: call void @use1(i1 [[C0]])
+; ALL-NEXT: br i1 [[C0]], label [[DISPATCH:%.*]], label [[FINAL_RIGHT:%.*]]
+; ALL: dispatch:
+; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
+; ALL-NEXT: br i1 [[C1]], label [[FINAL_RIGHT]], label [[FINAL_LEFT:%.*]]
+; ALL: common.ret:
+; ALL-NEXT: ret void
+; ALL: final_left:
+; ALL-NEXT: [[FINAL_LEFT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_LEFT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect0(i8 [[FINAL_LEFT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET:%.*]]
+; ALL: final_right:
+; ALL-NEXT: [[FINAL_RIGHT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_RIGHT_FROM_PRED:%.*]], [[PRED:%.*]] ], [ [[IV_OF_FINAL_RIGHT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect1(i8 [[FINAL_RIGHT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET]]
+;
+pred:
+ %c0 = icmp eq i8 %v0, 0
+ call void @use1(i1 %c0)
+ br i1 %c0, label %dispatch, label %final_right
+dispatch:
+ %c1 = icmp eq i8 %v1, 0
+ br i1 %c1, label %final_right, label %final_left
+final_left:
+ %final_left.phi = phi i8 [ %iv.of.final_left.from.dispatch, %dispatch ]
+ call void @sideeffect0(i8 %final_left.phi)
+ ret void
+final_right:
+ %final_right.phi = phi i8 [ %iv.of.final_right.from.pred, %pred ], [ %iv.of.final_right.from.dispatch, %dispatch ]
+ call void @sideeffect1(i8 %final_right.phi)
+ ret void
+}
+
+define void @incompatible_ivs_of_single_phi.truedest.falsedest(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.truedest.falsedest(
+; ALL-NEXT: pred:
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; ALL-NEXT: br i1 [[C0]], label [[FINAL_RIGHT:%.*]], label [[DISPATCH:%.*]]
; ALL: dispatch:
; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
@@ -61,7 +170,7 @@ define void @incompatible_ivs_of_single_phi.invert_pred_cond(i8 %v0, i8 %v1, i8
; ALL-NEXT: br label [[COMMON_RET]]
;
pred:
- %c0 = icmp ne i8 %v0, 0
+ %c0 = icmp eq i8 %v0, 0
br i1 %c0, label %final_right, label %dispatch
dispatch:
%c1 = icmp eq i8 %v1, 0
@@ -76,10 +185,10 @@ final_right:
ret void
}
-define void @incompatible_ivs_of_single_phi.invert_pred_cond.with_extra_use(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
-; ALL-LABEL: @incompatible_ivs_of_single_phi.invert_pred_cond.with_extra_use(
+define void @incompatible_ivs_of_single_phi.truedest.falsedest.extrause(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.truedest.falsedest.extrause(
; ALL-NEXT: pred:
-; ALL-NEXT: [[C0:%.*]] = icmp ne i8 [[V0:%.*]], 0
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
; ALL-NEXT: call void @use1(i1 [[C0]])
; ALL-NEXT: br i1 [[C0]], label [[FINAL_RIGHT:%.*]], label [[DISPATCH:%.*]]
; ALL: dispatch:
@@ -97,7 +206,7 @@ define void @incompatible_ivs_of_single_phi.invert_pred_cond.with_extra_use(i8 %
; ALL-NEXT: br label [[COMMON_RET]]
;
pred:
- %c0 = icmp ne i8 %v0, 0
+ %c0 = icmp eq i8 %v0, 0
call void @use1(i1 %c0)
br i1 %c0, label %final_right, label %dispatch
dispatch:
@@ -113,6 +222,80 @@ final_right:
ret void
}
+define void @incompatible_ivs_of_single_phi.truedest.truedest(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.truedest.truedest(
+; ALL-NEXT: pred:
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
+; ALL-NEXT: br i1 [[C0]], label [[FINAL_RIGHT:%.*]], label [[DISPATCH:%.*]]
+; ALL: dispatch:
+; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
+; ALL-NEXT: br i1 [[C1]], label [[FINAL_RIGHT]], label [[FINAL_LEFT:%.*]]
+; ALL: common.ret:
+; ALL-NEXT: ret void
+; ALL: final_left:
+; ALL-NEXT: [[FINAL_LEFT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_LEFT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect0(i8 [[FINAL_LEFT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET:%.*]]
+; ALL: final_right:
+; ALL-NEXT: [[FINAL_RIGHT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_RIGHT_FROM_PRED:%.*]], [[PRED:%.*]] ], [ [[IV_OF_FINAL_RIGHT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect1(i8 [[FINAL_RIGHT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET]]
+;
+pred:
+ %c0 = icmp eq i8 %v0, 0
+ br i1 %c0, label %final_right, label %dispatch
+dispatch:
+ %c1 = icmp eq i8 %v1, 0
+ br i1 %c1, label %final_right, label %final_left
+final_left:
+ %final_left.phi = phi i8 [ %iv.of.final_left.from.dispatch, %dispatch ]
+ call void @sideeffect0(i8 %final_left.phi)
+ ret void
+final_right:
+ %final_right.phi = phi i8 [ %iv.of.final_right.from.pred, %pred ], [ %iv.of.final_right.from.dispatch, %dispatch ]
+ call void @sideeffect1(i8 %final_right.phi)
+ ret void
+}
+
+define void @incompatible_ivs_of_single_phi.truedest.truedest.extrause(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, i8 %iv.of.final_right.from.pred, i8 %iv.of.final_right.from.dispatch) {
+; ALL-LABEL: @incompatible_ivs_of_single_phi.truedest.truedest.extrause(
+; ALL-NEXT: pred:
+; ALL-NEXT: [[C0:%.*]] = icmp eq i8 [[V0:%.*]], 0
+; ALL-NEXT: call void @use1(i1 [[C0]])
+; ALL-NEXT: br i1 [[C0]], label [[FINAL_RIGHT:%.*]], label [[DISPATCH:%.*]]
+; ALL: dispatch:
+; ALL-NEXT: [[C1:%.*]] = icmp eq i8 [[V1:%.*]], 0
+; ALL-NEXT: br i1 [[C1]], label [[FINAL_RIGHT]], label [[FINAL_LEFT:%.*]]
+; ALL: common.ret:
+; ALL-NEXT: ret void
+; ALL: final_left:
+; ALL-NEXT: [[FINAL_LEFT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_LEFT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect0(i8 [[FINAL_LEFT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET:%.*]]
+; ALL: final_right:
+; ALL-NEXT: [[FINAL_RIGHT_PHI:%.*]] = phi i8 [ [[IV_OF_FINAL_RIGHT_FROM_PRED:%.*]], [[PRED:%.*]] ], [ [[IV_OF_FINAL_RIGHT_FROM_DISPATCH:%.*]], [[DISPATCH]] ]
+; ALL-NEXT: call void @sideeffect1(i8 [[FINAL_RIGHT_PHI]])
+; ALL-NEXT: br label [[COMMON_RET]]
+;
+pred:
+ %c0 = icmp eq i8 %v0, 0
+ call void @use1(i1 %c0)
+ br i1 %c0, label %final_right, label %dispatch
+dispatch:
+ %c1 = icmp eq i8 %v1, 0
+ br i1 %c1, label %final_right, label %final_left
+final_left:
+ %final_left.phi = phi i8 [ %iv.of.final_left.from.dispatch, %dispatch ]
+ call void @sideeffect0(i8 %final_left.phi)
+ ret void
+final_right:
+ %final_right.phi = phi i8 [ %iv.of.final_right.from.pred, %pred ], [ %iv.of.final_right.from.dispatch, %dispatch ]
+ call void @sideeffect1(i8 %final_right.phi)
+ ret void
+}
+
+;; -----------------------------------------------------------------------------
+
define void @incompatible_ivs_of_single_phi.insertpos(i8 %v0, i8 %v1, i8 %iv.of.final_left.from.dispatch, ptr dereferenceable(1) %src0, ptr dereferenceable(1) %src1) {
; ALL-LABEL: @incompatible_ivs_of_single_phi.insertpos(
; ALL-NEXT: pred:
More information about the llvm-commits
mailing list