[llvm] 72436b3 - [InstCombine] add more test for #134712 (NFC)

[Andreas Jonson via llvm-commits]

Author: Andreas Jonson
Date: 2025-04-10T21:28:49+02:00
New Revision: 72436b37bf4203ee43395c65cc179dc573f79251

URL: https://github.com/llvm/llvm-project/commit/72436b37bf4203ee43395c65cc179dc573f79251
DIFF: https://github.com/llvm/llvm-project/commit/72436b37bf4203ee43395c65cc179dc573f79251.diff

LOG: [InstCombine] add more test for #134712 (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/known-phi-br.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/known-phi-br.ll b/llvm/test/Transforms/InstCombine/known-phi-br.ll
index 1ad0ed42d8d34..e9463b2fc65cc 100644
--- a/llvm/test/Transforms/InstCombine/known-phi-br.ll
+++ b/llvm/test/Transforms/InstCombine/known-phi-br.ll
@@ -28,6 +28,48 @@ end:
   ret i64 %res
 }
 
+define i64 @limit_i64_eq_7_commuted(i64 %x) {
+; CHECK-LABEL: @limit_i64_eq_7_commuted(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[X:%.*]], 7
+; CHECK-NEXT:    br i1 [[CMP]], label [[END:%.*]], label [[BODY:%.*]]
+; CHECK:       body:
+; CHECK-NEXT:    br label [[BODY]]
+; CHECK:       end:
+; CHECK-NEXT:    [[RES:%.*]] = phi i64 [ [[X]], [[END]] ], [ 7, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    ret i64 [[RES]]
+;
+entry:
+  %cmp = icmp eq i64 %x, 7
+  br i1 %cmp, label %body, label %end
+body:
+  br label %end
+end:
+  %res = phi i64 [ %x, %body ], [ 7, %entry ]
+  ret i64 %res
+}
+
+define i64 @neg_limit_i64_eq_7(i64 %x) {
+; CHECK-LABEL: @neg_limit_i64_eq_7(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[X:%.*]], 7
+; CHECK-NEXT:    br i1 [[CMP]], label [[END:%.*]], label [[BODY:%.*]]
+; CHECK:       body:
+; CHECK-NEXT:    br label [[BODY]]
+; CHECK:       end:
+; CHECK-NEXT:    [[RES:%.*]] = phi i64 [ [[X]], [[ENTRY:%.*]] ], [ 7, [[END]] ]
+; CHECK-NEXT:    ret i64 [[RES]]
+;
+entry:
+  %cmp = icmp eq i64 %x, 7
+  br i1 %cmp, label %body, label %end
+body:
+  br label %end
+end:
+  %res = phi i64 [ %x, %entry ], [ 7, %body ]
+  ret i64 %res
+}
+
 ; %x either eq 255 or is set to 255
 define i64 @limit_i64_ne_255(i64 %x) {
 ; CHECK-LABEL: @limit_i64_ne_255(