[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