diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
--- a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
@@ -5702,6 +5702,27 @@
   return ExtractValueInst::Create(UAddOv, 1);
 }
 
+static bool foldICmpInvariantGroup(ICmpInst &I) {
+  bool Changed = false;
+  while (auto *O = dyn_cast<Instruction>(I.getOperand(0))) {
+    if (O->isLaunderOrStripInvariantGroup()) {
+      I.setOperand(0, O->getOperand(0));
+      Changed = true;
+    } else {
+      break;
+    }
+  }
+  while (auto *O = dyn_cast<Instruction>(I.getOperand(1))) {
+    if (O->isLaunderOrStripInvariantGroup()) {
+      I.setOperand(1, O->getOperand(0));
+      Changed = true;
+    } else {
+      break;
+    }
+  }
+  return Changed;
+}
+
 Instruction *InstCombinerImpl::visitICmpInst(ICmpInst &I) {
   bool Changed = false;
   const SimplifyQuery Q = SQ.getWithInstruction(&I);
@@ -5942,6 +5963,8 @@
     if (Instruction *Res = foldVectorCmp(I, Builder))
       return Res;
 
+  Changed |= foldICmpInvariantGroup(I);
+
   return Changed ? &I : nullptr;
 }
 
diff --git a/llvm/test/Transforms/InstCombine/invariant.group.ll b/llvm/test/Transforms/InstCombine/invariant.group.ll
--- a/llvm/test/Transforms/InstCombine/invariant.group.ll
+++ b/llvm/test/Transforms/InstCombine/invariant.group.ll
@@ -107,7 +107,6 @@
 
 define i1 @simplifyForCompare(i8* %a) {
 ; CHECK-LABEL: @simplifyForCompare(
-; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
 ; CHECK-NEXT:    ret i1 true
 ;
   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
@@ -161,10 +160,7 @@
 
 define i1 @icmp1(i8* %a) {
 ; CHECK-LABEL: @icmp1(
-; CHECK-NEXT:    [[A2:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[A:%.*]])
-; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A]])
-; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A2]], [[TMP1]]
-; CHECK-NEXT:    ret i1 [[R]]
+; CHECK-NEXT:    ret i1 true
 ;
   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)
   %a3 = call i8* @llvm.strip.invariant.group.p0i8(i8* %a2)
@@ -174,9 +170,7 @@
 
 define i1 @icmp2(i8* %a, i8* %b) {
 ; CHECK-LABEL: @icmp2(
-; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* [[A:%.*]])
-; CHECK-NEXT:    [[TMP2:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* [[B:%.*]])
-; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[TMP1]], [[TMP2]]
+; CHECK-NEXT:    [[R:%.*]] = icmp eq i8* [[A:%.*]], [[B:%.*]]
 ; CHECK-NEXT:    ret i1 [[R]]
 ;
   %a2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %a)