[llvm] 291924a - [InstCombine] Add test for PR58401 (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 17 06:37:06 PDT 2022
Author: Nikita Popov
Date: 2022-10-17T15:36:54+02:00
New Revision: 291924a6f9b921040c73ea10ff0c1da59f884e82
URL: https://github.com/llvm/llvm-project/commit/291924a6f9b921040c73ea10ff0c1da59f884e82
DIFF: https://github.com/llvm/llvm-project/commit/291924a6f9b921040c73ea10ff0c1da59f884e82.diff
LOG: [InstCombine] Add test for PR58401 (NFC)
Added:
Modified:
llvm/test/Transforms/InstCombine/phi.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/phi.ll b/llvm/test/Transforms/InstCombine/phi.ll
index eae609f4fbdf..f8c834e6a3d7 100644
--- a/llvm/test/Transforms/InstCombine/phi.ll
+++ b/llvm/test/Transforms/InstCombine/phi.ll
@@ -1317,6 +1317,7 @@ exit:
}
declare void @use(i32)
+declare i1 @get.i1()
define i32 @phi_op_self_simplify() {
; CHECK-LABEL: @phi_op_self_simplify(
@@ -1340,6 +1341,38 @@ loop:
br label %loop
}
+define i32 @phi_op_self_simplify_2(i32 %x) {
+; CHECK-LABEL: @phi_op_self_simplify_2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[X:%.*]], [[ENTRY:%.*]] ], [ [[OR:%.*]], [[LOOP]] ], [ 10, [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[OR]] = or i32 [[PHI]], 1
+; CHECK-NEXT: [[C1:%.*]] = call i1 @get.i1()
+; CHECK-NEXT: br i1 [[C1]], label [[LOOP_LATCH]], label [[LOOP]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[C2:%.*]] = call i1 @get.i1()
+; CHECK-NEXT: br i1 [[C2]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: ret i32 [[OR]]
+;
+entry:
+ br label %loop
+
+loop:
+ %phi = phi i32 [ %x, %entry ], [ %or, %loop ], [ 10, %loop.latch ]
+ %or = or i32 %phi, 1
+ %c1 = call i1 @get.i1()
+ br i1 %c1, label %loop.latch, label %loop
+
+loop.latch:
+ %c2 = call i1 @get.i1()
+ br i1 %c2, label %exit, label %loop
+
+exit:
+ ret i32 %or
+}
+
; Caused an infinite loop with D134954.
define i64 @inttoptr_of_phi(i1 %c, ptr %arg.ptr, ptr %arg.ptr2) {
; CHECK-LABEL: @inttoptr_of_phi(
More information about the llvm-commits
mailing list