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
+}