[llvm] 4de9a8a - [InstSimplify] Add tests for and/or with implied conditions (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Fri May 13 03:08:24 PDT 2022
Author: Nikita Popov
Date: 2022-05-13T12:08:16+02:00
New Revision: 4de9a8ae3f2b4a827d785f06024f723ab6a074af
URL: https://github.com/llvm/llvm-project/commit/4de9a8ae3f2b4a827d785f06024f723ab6a074af
DIFF: https://github.com/llvm/llvm-project/commit/4de9a8ae3f2b4a827d785f06024f723ab6a074af.diff
LOG: [InstSimplify] Add tests for and/or with implied conditions (NFC)
Added:
llvm/test/Transforms/InstSimplify/and-or-implied-cond.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstSimplify/and-or-implied-cond.ll b/llvm/test/Transforms/InstSimplify/and-or-implied-cond.ll
new file mode 100644
index 0000000000000..1bdc75e6b265b
--- /dev/null
+++ b/llvm/test/Transforms/InstSimplify/and-or-implied-cond.ll
@@ -0,0 +1,152 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -instsimplify < %s | FileCheck %s
+
+define i1 @or_implied(i8 %x, i1 %c) {
+; CHECK-LABEL: @or_implied(
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 1
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[AND]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[OR]]
+;
+ %cmp = icmp eq i8 %x, 0
+ %cmp2 = icmp ne i8 %x, 1
+ %and = and i1 %cmp, %c
+ %or = or i1 %and, %cmp2
+ ret i1 %or
+}
+
+define i1 @or_implied_comm1(i8 %x, i1 %c) {
+; CHECK-LABEL: @or_implied_comm1(
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 1
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP2]], [[AND]]
+; CHECK-NEXT: ret i1 [[OR]]
+;
+ %cmp = icmp eq i8 %x, 0
+ %cmp2 = icmp ne i8 %x, 1
+ %and = and i1 %cmp, %c
+ %or = or i1 %cmp2, %and
+ ret i1 %or
+}
+
+define i1 @or_implied_comm2(i8 %x, i1 %c) {
+; CHECK-LABEL: @or_implied_comm2(
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 1
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[C:%.*]], [[CMP]]
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[AND]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[OR]]
+;
+ %cmp = icmp eq i8 %x, 0
+ %cmp2 = icmp ne i8 %x, 1
+ %and = and i1 %c, %cmp
+ %or = or i1 %and, %cmp2
+ ret i1 %or
+}
+
+define i1 @or_implied_comm3(i8 %x, i1 %c) {
+; CHECK-LABEL: @or_implied_comm3(
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 1
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[C:%.*]], [[CMP]]
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP2]], [[AND]]
+; CHECK-NEXT: ret i1 [[OR]]
+;
+ %cmp = icmp eq i8 %x, 0
+ %cmp2 = icmp ne i8 %x, 1
+ %and = and i1 %c, %cmp
+ %or = or i1 %cmp2, %and
+ ret i1 %or
+}
+
+define i1 @or_not_implied(i8 %x, i1 %c) {
+; CHECK-LABEL: @or_not_implied(
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i8 [[X]], 0
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[AND]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[OR]]
+;
+ %cmp = icmp eq i8 %x, 0
+ %cmp2 = icmp ne i8 %x, 0
+ %and = and i1 %cmp, %c
+ %or = or i1 %and, %cmp2
+ ret i1 %or
+}
+
+define i1 @and_implied(i8 %x, i1 %c) {
+; CHECK-LABEL: @and_implied(
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 1
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[OR]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[AND]]
+;
+ %cmp = icmp ne i8 %x, 0
+ %cmp2 = icmp eq i8 %x, 1
+ %or = or i1 %cmp, %c
+ %and = and i1 %or, %cmp2
+ ret i1 %and
+}
+
+define i1 @and_implied_comm1(i8 %x, i1 %c) {
+; CHECK-LABEL: @and_implied_comm1(
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 1
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP2]], [[OR]]
+; CHECK-NEXT: ret i1 [[AND]]
+;
+ %cmp = icmp ne i8 %x, 0
+ %cmp2 = icmp eq i8 %x, 1
+ %or = or i1 %cmp, %c
+ %and = and i1 %cmp2, %or
+ ret i1 %and
+}
+
+define i1 @and_implied_comm2(i8 %x, i1 %c) {
+; CHECK-LABEL: @and_implied_comm2(
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 1
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[C:%.*]], [[CMP]]
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[OR]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[AND]]
+;
+ %cmp = icmp ne i8 %x, 0
+ %cmp2 = icmp eq i8 %x, 1
+ %or = or i1 %c, %cmp
+ %and = and i1 %or, %cmp2
+ ret i1 %and
+}
+
+define i1 @and_implied_comm3(i8 %x, i1 %c) {
+; CHECK-LABEL: @and_implied_comm3(
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 1
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[C:%.*]], [[CMP]]
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP2]], [[OR]]
+; CHECK-NEXT: ret i1 [[AND]]
+;
+ %cmp = icmp ne i8 %x, 0
+ %cmp2 = icmp eq i8 %x, 1
+ %or = or i1 %c, %cmp
+ %and = and i1 %cmp2, %or
+ ret i1 %and
+}
+
+define i1 @and_not_implied(i8 %x, i1 %c) {
+; CHECK-LABEL: @and_not_implied(
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[X:%.*]], 0
+; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i8 [[X]], 0
+; CHECK-NEXT: [[OR:%.*]] = or i1 [[CMP]], [[C:%.*]]
+; CHECK-NEXT: [[AND:%.*]] = and i1 [[OR]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[AND]]
+;
+ %cmp = icmp ne i8 %x, 0
+ %cmp2 = icmp eq i8 %x, 0
+ %or = or i1 %cmp, %c
+ %and = and i1 %or, %cmp2
+ ret i1 %and
+}
More information about the llvm-commits
mailing list