[llvm] 0c97ac0 - [InstCombine] Regenerate some old bool math tests to use FileCheck and UTC scripts

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 10 09:59:42 PDT 2024


Author: Simon Pilgrim
Date: 2024-06-10T17:59:25+01:00
New Revision: 0c97ac0a46d0c29fbe5168adcd32e1f25336096d

URL: https://github.com/llvm/llvm-project/commit/0c97ac0a46d0c29fbe5168adcd32e1f25336096d
DIFF: https://github.com/llvm/llvm-project/commit/0c97ac0a46d0c29fbe5168adcd32e1f25336096d.diff

LOG: [InstCombine] Regenerate some old bool math tests to use FileCheck and UTC scripts

Don't use %a and %A in the same test as FileCheck doesn't like it.

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/2008-05-31-AddBool.ll
    llvm/test/Transforms/InstCombine/2008-05-31-Bools.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/2008-05-31-AddBool.ll b/llvm/test/Transforms/InstCombine/2008-05-31-AddBool.ll
index 9bc02603a2699..707c34be50124 100644
--- a/llvm/test/Transforms/InstCombine/2008-05-31-AddBool.ll
+++ b/llvm/test/Transforms/InstCombine/2008-05-31-AddBool.ll
@@ -1,9 +1,13 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
 ; PR2389
 
-; CHECK: xor
-
 define i1 @test(i1 %a, i1 %b) {
-  %A = add i1 %a, %b
-  ret i1 %A
+; CHECK-LABEL: define i1 @test(
+; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
+; CHECK-NEXT:    [[R:%.*]] = xor i1 [[A]], [[B]]
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %r = add i1 %a, %b
+  ret i1 %r
 }

diff  --git a/llvm/test/Transforms/InstCombine/2008-05-31-Bools.ll b/llvm/test/Transforms/InstCombine/2008-05-31-Bools.ll
index e7dd74b06d944..fa7c5424c203f 100644
--- a/llvm/test/Transforms/InstCombine/2008-05-31-Bools.ll
+++ b/llvm/test/Transforms/InstCombine/2008-05-31-Bools.ll
@@ -1,24 +1,40 @@
-; RUN: opt < %s -passes=instcombine -S > %t
-; RUN: grep "xor" %t
-; RUN: grep "and" %t
-; RUN: not grep "div" %t
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
 
 define i1 @foo1(i1 %a, i1 %b) {
-  %A = sub i1 %a, %b
-  ret i1 %A
+; CHECK-LABEL: define i1 @foo1(
+; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
+; CHECK-NEXT:    [[R:%.*]] = xor i1 [[B]], [[A]]
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %r = sub i1 %a, %b
+  ret i1 %r
 }
 
 define i1 @foo2(i1 %a, i1 %b) {
-  %A = mul i1 %a, %b
-  ret i1 %A
+; CHECK-LABEL: define i1 @foo2(
+; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
+; CHECK-NEXT:    [[R:%.*]] = and i1 [[A]], [[B]]
+; CHECK-NEXT:    ret i1 [[R]]
+;
+  %r = mul i1 %a, %b
+  ret i1 %r
 }
 
 define i1 @foo3(i1 %a, i1 %b) {
-  %A = udiv i1 %a, %b
-  ret i1 %A
+; CHECK-LABEL: define i1 @foo3(
+; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
+; CHECK-NEXT:    ret i1 [[A]]
+;
+  %r = udiv i1 %a, %b
+  ret i1 %r
 }
 
 define i1 @foo4(i1 %a, i1 %b) {
-  %A = sdiv i1 %a, %b
-  ret i1 %A
+; CHECK-LABEL: define i1 @foo4(
+; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
+; CHECK-NEXT:    ret i1 [[A]]
+;
+  %r = sdiv i1 %a, %b
+  ret i1 %r
 }


        


More information about the llvm-commits mailing list