Index: llvm/test/Transforms/MergeICmps/X86/pr59740.ll
===================================================================
--- /dev/null
+++ llvm/test/Transforms/MergeICmps/X86/pr59740.ll
@@ -0,0 +1,336 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=mergeicmps -verify-dom-info -S -mtriple=x86_64-unknown-unknown | FileCheck %s
+
+%struct.S = type { i8, i8, i8, i8 }
+%struct1.S = type { i32, i32, i32, i8 }
+%"struct.media::WebrtcVideoStatsDB::VideoDescKey" = type { i8, i32, i8, i32 }
+%"c" = type { i32, i32, i32, float}
+
+define noundef i1 @full_sequent_ne(ptr nocapture readonly align 1 dereferenceable(4) %s0, ptr nocapture readonly align 1 dereferenceable(4) %s1) {
+; CHECK-LABEL: @full_sequent_ne(
+; CHECK-NEXT:  bb0:
+; CHECK-NEXT:    [[V0:%.*]] = load i8, ptr [[S0:%.*]], align 1
+; CHECK-NEXT:    [[V1:%.*]] = load i8, ptr [[S1:%.*]], align 1
+; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i8 [[V0]], [[V1]]
+; CHECK-NEXT:    br i1 [[CMP0]], label [[BB1:%.*]], label [[BB4:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[S2:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[S0]], i64 0, i32 1
+; CHECK-NEXT:    [[V2:%.*]] = load i8, ptr [[S2]], align 1
+; CHECK-NEXT:    [[S3:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S1]], i64 0, i32 1
+; CHECK-NEXT:    [[V3:%.*]] = load i8, ptr [[S3]], align 1
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[V2]], [[V3]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[BB2:%.*]], label [[BB4]]
+; CHECK:       bb2:
+; CHECK-NEXT:    [[S4:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S0]], i64 0, i32 2
+; CHECK-NEXT:    [[V4:%.*]] = load i8, ptr [[S4]], align 1
+; CHECK-NEXT:    [[S5:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S1]], i64 0, i32 2
+; CHECK-NEXT:    [[V5:%.*]] = load i8, ptr [[S5]], align 1
+; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[V4]], [[V5]]
+; CHECK-NEXT:    br i1 [[CMP2]], label [[BB3:%.*]], label [[BB4]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[S6:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S0]], i64 0, i32 3
+; CHECK-NEXT:    [[V6:%.*]] = load i8, ptr [[S6]], align 1
+; CHECK-NEXT:    [[S7:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S1]], i64 0, i32 3
+; CHECK-NEXT:    [[V7:%.*]] = load i8, ptr [[S7]], align 1
+; CHECK-NEXT:    [[CMP3:%.*]] = icmp ne i8 [[V6]], [[V7]]
+; CHECK-NEXT:    br label [[BB4]]
+; CHECK:       bb4:
+; CHECK-NEXT:    [[CMP:%.*]] = phi i1 [ true, [[BB0:%.*]] ], [ true, [[BB1]] ], [ true, [[BB2]] ], [ [[CMP3]], [[BB3]] ]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+bb0:
+  %v0 = load i8, ptr %s0, align 1
+  %v1 = load i8, ptr %s1, align 1
+  %cmp0 = icmp eq i8 %v0, %v1
+  br i1 %cmp0, label %bb1, label %bb4
+
+bb1:                                              ; preds = %bb0
+  %s2 = getelementptr inbounds %struct.S, ptr %s0, i64 0, i32 1
+  %v2 = load i8, ptr %s2, align 1
+  %s3 = getelementptr inbounds %struct.S, ptr %s1, i64 0, i32 1
+  %v3 = load i8, ptr %s3, align 1
+  %cmp1 = icmp eq i8 %v2, %v3
+  br i1 %cmp1, label %bb2, label %bb4
+
+bb2:                                             ; preds = %bb1
+  %s4 = getelementptr inbounds %struct.S, ptr %s0, i64 0, i32 2
+  %v4 = load i8, ptr %s4, align 1
+  %s5 = getelementptr inbounds %struct.S, ptr %s1, i64 0, i32 2
+  %v5 = load i8, ptr %s5, align 1
+  %cmp2 = icmp eq i8 %v4, %v5
+  br i1 %cmp2, label %bb3, label %bb4
+
+bb3:                                               ; preds = %bb2
+  %s6 = getelementptr inbounds %struct.S, ptr %s0, i64 0, i32 3
+  %v6 = load i8, ptr %s6, align 1
+  %s7 = getelementptr inbounds %struct.S, ptr %s1, i64 0, i32 3
+  %v7 = load i8, ptr %s7, align 1
+  %cmp3 = icmp ne i8 %v6, %v7
+  br label %bb4
+
+bb4:                                               ; preds = %bb0, %bb1, %bb2, %bb3
+  %cmp = phi i1 [ true, %bb0 ], [ true, %bb1 ], [ true, %bb2 ], [ %cmp3, %bb3 ]
+  ret i1 %cmp
+}
+
+; Negative test: Incorrect const value in PHI node
+define noundef i1 @cmp_ne_incorrect_const(ptr nocapture readonly align 1 dereferenceable(4) %s0, ptr nocapture readonly align 1 dereferenceable(4) %s1) {
+; CHECK-LABEL: @cmp_ne_incorrect_const(
+; CHECK-NEXT:  bb0:
+; CHECK-NEXT:    [[V0:%.*]] = load i8, ptr [[S0:%.*]], align 1
+; CHECK-NEXT:    [[V1:%.*]] = load i8, ptr [[S1:%.*]], align 1
+; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i8 [[V0]], [[V1]]
+; CHECK-NEXT:    br i1 [[CMP0]], label [[BB1:%.*]], label [[BB2:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[S6:%.*]] = getelementptr inbounds [[STRUCT_S:%.*]], ptr [[S0]], i64 0, i32 1
+; CHECK-NEXT:    [[V6:%.*]] = load i8, ptr [[S6]], align 1
+; CHECK-NEXT:    [[S7:%.*]] = getelementptr inbounds [[STRUCT_S]], ptr [[S1]], i64 0, i32 1
+; CHECK-NEXT:    [[V7:%.*]] = load i8, ptr [[S7]], align 1
+; CHECK-NEXT:    [[CMP3:%.*]] = icmp ne i8 [[V6]], [[V7]]
+; CHECK-NEXT:    br label [[BB2]]
+; CHECK:       bb2:
+; CHECK-NEXT:    [[CMP:%.*]] = phi i1 [ false, [[BB0:%.*]] ], [ [[CMP3]], [[BB1]] ]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+bb0:
+  %v0 = load i8, ptr %s0, align 1
+  %v1 = load i8, ptr %s1, align 1
+  %cmp0 = icmp eq i8 %v0, %v1
+  br i1 %cmp0, label %bb1, label %bb2
+
+bb1:                                               ; preds = %bb0
+  %s6 = getelementptr inbounds %struct.S, ptr %s0, i64 0, i32 1
+  %v6 = load i8, ptr %s6, align 1
+  %s7 = getelementptr inbounds %struct.S, ptr %s1, i64 0, i32 1
+  %v7 = load i8, ptr %s7, align 1
+  %cmp3 = icmp ne i8 %v6, %v7
+  br label %bb2
+
+bb2:                                               ; preds = %bb0, %bb1
+  %cmp = phi i1 [ false, %bb0 ], [ %cmp3, %bb1 ]
+  ret i1 %cmp
+}
+
+; https://alive2.llvm.org/ce/z/Zi2Z3Y
+define noundef i1 @partial_sequent_eq(ptr nocapture readonly dereferenceable(16) %s0, ptr nocapture readonly dereferenceable(16) %s1) {
+; CHECK-LABEL: @partial_sequent_eq(
+; CHECK-NEXT:  bb01:
+; CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[S0:%.*]], align 8
+; CHECK-NEXT:    [[TMP1:%.*]] = load i32, ptr [[S1:%.*]], align 8
+; CHECK-NEXT:    [[TMP2:%.*]] = icmp eq i32 [[TMP0]], [[TMP1]]
+; CHECK-NEXT:    br i1 [[TMP2]], label %"bb1+bb2", label [[BB3:%.*]]
+; CHECK:       "bb1+bb2":
+; CHECK-NEXT:    [[TMP3:%.*]] = getelementptr inbounds [[STRUCT1_S:%.*]], ptr [[S0]], i64 0, i32 2
+; CHECK-NEXT:    [[TMP4:%.*]] = getelementptr inbounds [[STRUCT1_S]], ptr [[S1]], i64 0, i32 2
+; CHECK-NEXT:    [[MEMCMP:%.*]] = call i32 @memcmp(ptr [[TMP3]], ptr [[TMP4]], i64 5)
+; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i32 [[MEMCMP]], 0
+; CHECK-NEXT:    br label [[BB3]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[CMP:%.*]] = phi i1 [ [[TMP5]], %"bb1+bb2" ], [ false, [[BB01:%.*]] ]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+bb0:
+  %v0 = load i32, ptr %s0, align 8
+  %v1 = load i32, ptr %s1, align 8
+  %cmp0 = icmp eq i32 %v0, %v1
+  br i1 %cmp0, label %bb1, label %bb3
+
+bb1:                                              ; preds = %bb0
+  %s2 = getelementptr inbounds %struct1.S, ptr %s0, i64 0, i32 2
+  %v2 = load i32, ptr %s2, align 8
+  %s3 = getelementptr inbounds %struct1.S, ptr %s1, i64 0, i32 2
+  %v3 = load i32, ptr %s3, align 8
+  %cmp1 = icmp eq i32 %v2, %v3
+  br i1 %cmp1, label %bb2, label %bb3
+
+bb2:                                               ; preds = %bb2
+  %s6 = getelementptr inbounds %struct1.S, ptr %s0, i64 0, i32 3
+  %v6 = load i8, ptr %s6, align 1
+  %s7 = getelementptr inbounds %struct1.S, ptr %s1, i64 0, i32 3
+  %v7 = load i8, ptr %s7, align 1
+  %cmp3 = icmp eq i8 %v6, %v7
+  br label %bb3
+
+bb3:                                               ; preds = %bb0, %bb1, %bb2
+  %cmp = phi i1 [ false, %bb0 ], [ false, %bb1 ], [ %cmp3, %bb2 ]
+  ret i1 %cmp
+}
+
+; https://alive2.llvm.org/ce/z/sL5Uz6
+define noundef i1 @partial_sequent_ne(ptr nocapture readonly dereferenceable(16) %s0, ptr nocapture readonly dereferenceable(16) %s1) {
+; CHECK-LABEL: @partial_sequent_ne(
+; CHECK-NEXT:  bb0:
+; CHECK-NEXT:    [[V0:%.*]] = load i32, ptr [[S0:%.*]], align 8
+; CHECK-NEXT:    [[V1:%.*]] = load i32, ptr [[S1:%.*]], align 8
+; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i32 [[V0]], [[V1]]
+; CHECK-NEXT:    br i1 [[CMP0]], label [[BB1:%.*]], label [[BB3:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[S2:%.*]] = getelementptr inbounds [[STRUCT1_S:%.*]], ptr [[S0]], i64 0, i32 2
+; CHECK-NEXT:    [[V2:%.*]] = load i32, ptr [[S2]], align 8
+; CHECK-NEXT:    [[S3:%.*]] = getelementptr inbounds [[STRUCT1_S]], ptr [[S1]], i64 0, i32 2
+; CHECK-NEXT:    [[V3:%.*]] = load i32, ptr [[S3]], align 8
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[V2]], [[V3]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[BB2:%.*]], label [[BB3]]
+; CHECK:       bb2:
+; CHECK-NEXT:    [[S6:%.*]] = getelementptr inbounds [[STRUCT1_S]], ptr [[S0]], i64 0, i32 3
+; CHECK-NEXT:    [[V6:%.*]] = load i8, ptr [[S6]], align 1
+; CHECK-NEXT:    [[S7:%.*]] = getelementptr inbounds [[STRUCT1_S]], ptr [[S1]], i64 0, i32 3
+; CHECK-NEXT:    [[V7:%.*]] = load i8, ptr [[S7]], align 1
+; CHECK-NEXT:    [[CMP3:%.*]] = icmp ne i8 [[V6]], [[V7]]
+; CHECK-NEXT:    br label [[BB3]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[CMP:%.*]] = phi i1 [ true, [[BB0:%.*]] ], [ true, [[BB1]] ], [ [[CMP3]], [[BB2]] ]
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+bb0:
+  %v0 = load i32, ptr %s0, align 8
+  %v1 = load i32, ptr %s1, align 8
+  %cmp0 = icmp eq i32 %v0, %v1
+  br i1 %cmp0, label %bb1, label %bb3
+
+bb1:                                              ; preds = %bb0
+  %s2 = getelementptr inbounds %struct1.S, ptr %s0, i64 0, i32 2
+  %v2 = load i32, ptr %s2, align 8
+  %s3 = getelementptr inbounds %struct1.S, ptr %s1, i64 0, i32 2
+  %v3 = load i32, ptr %s3, align 8
+  %cmp1 = icmp eq i32 %v2, %v3
+  br i1 %cmp1, label %bb2, label %bb3
+
+bb2:                                               ; preds = %bb2
+  %s6 = getelementptr inbounds %struct1.S, ptr %s0, i64 0, i32 3
+  %v6 = load i8, ptr %s6, align 1
+  %s7 = getelementptr inbounds %struct1.S, ptr %s1, i64 0, i32 3
+  %v7 = load i8, ptr %s7, align 1
+  %cmp3 = icmp ne i8 %v6, %v7
+  br label %bb3
+
+bb3:                                               ; preds = %bb0, %bb1, %bb2
+  %cmp = phi i1 [ true, %bb0 ], [ true, %bb1 ], [ %cmp3, %bb2 ]
+  ret i1 %cmp
+}
+
+; https://alive2.llvm.org/ce/z/EQtb_S
+define i1 @WebrtcVideoStats(ptr nocapture noundef dereferenceable(16) %S0, ptr nocapture noundef dereferenceable(16) %S1) {
+; CHECK-LABEL: @WebrtcVideoStats(
+; CHECK-NEXT:  bb0:
+; CHECK-NEXT:    [[V0:%.*]] = load i8, ptr [[S0:%.*]], align 4
+; CHECK-NEXT:    [[V1:%.*]] = load i8, ptr [[S1:%.*]], align 4
+; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i8 [[V0]], [[V1]]
+; CHECK-NEXT:    br i1 [[CMP0]], label [[BB1:%.*]], label [[BB4:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[BASE2:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S0]], i64 0, i32 1
+; CHECK-NEXT:    [[V2:%.*]] = load i32, ptr [[BASE2]], align 4
+; CHECK-NEXT:    [[BASE3:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S1]], i64 0, i32 1
+; CHECK-NEXT:    [[V3:%.*]] = load i32, ptr [[BASE3]], align 4
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[V2]], [[V3]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[BB2:%.*]], label [[BB4]]
+; CHECK:       bb2:
+; CHECK-NEXT:    [[BASE4:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S0]], i64 0, i32 2
+; CHECK-NEXT:    [[V4:%.*]] = load i8, ptr [[BASE4]], align 4
+; CHECK-NEXT:    [[BASE5:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S1]], i64 0, i32 2
+; CHECK-NEXT:    [[V5:%.*]] = load i8, ptr [[BASE5]], align 4
+; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[V4]], [[V5]]
+; CHECK-NEXT:    br i1 [[CMP2]], label [[BB3:%.*]], label [[BB4]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[BASE6:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S0]], i64 0, i32 3
+; CHECK-NEXT:    [[V6:%.*]] = load i32, ptr [[BASE6]], align 4
+; CHECK-NEXT:    [[BASE7:%.*]] = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr [[S1]], i64 0, i32 3
+; CHECK-NEXT:    [[V7:%.*]] = load i32, ptr [[BASE7]], align 4
+; CHECK-NEXT:    [[CMP3:%.*]] = icmp ne i32 [[V6]], [[V7]]
+; CHECK-NEXT:    br label [[BB4]]
+; CHECK:       bb4:
+; CHECK-NEXT:    [[RESULT:%.*]] = phi i1 [ [[CMP3]], [[BB3]] ], [ true, [[BB2]] ], [ true, [[BB1]] ], [ true, [[BB0:%.*]] ]
+; CHECK-NEXT:    ret i1 [[RESULT]]
+;
+bb0:
+  %V0 = load i8, ptr %S0, align 4
+  %V1 = load i8, ptr %S1, align 4
+  %Cmp0 = icmp eq i8 %V0, %V1
+  br i1 %Cmp0, label %bb1, label %bb4
+
+bb1:                                                ; preds = %bb0
+  %Base2 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S0, i64 0, i32 1
+  %V2 = load i32, ptr %Base2, align 4
+  %Base3 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S1, i64 0, i32 1
+  %V3 = load i32, ptr %Base3, align 4
+  %Cmp1 = icmp eq i32 %V2, %V3
+  br i1 %Cmp1, label %bb2, label %bb4
+
+bb2:                                               ; preds = %bb1
+  %Base4 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S0, i64 0, i32 2
+  %V4 = load i8, ptr %Base4, align 4
+  %Base5 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S1, i64 0, i32 2
+  %V5 = load i8, ptr %Base5, align 4
+  %Cmp2 = icmp eq i8 %V4, %V5
+  br i1 %Cmp2, label %bb3, label %bb4
+
+bb3:                                               ; preds = %bb2
+  %Base6 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S0, i64 0, i32 3
+  %V6 = load i32, ptr %Base6, align 4
+  %Base7 = getelementptr inbounds %"struct.media::WebrtcVideoStatsDB::VideoDescKey", ptr %S1, i64 0, i32 3
+  %V7 = load i32, ptr %Base7, align 4
+  %Cmp3 = icmp ne i32 %V6, %V7
+  br label %bb4
+
+bb4:                                               ; preds = %bb3, %bb2, %bb1, %bb0
+  %result = phi i1 [ %Cmp3, %bb3 ], [ true, %bb2 ], [ true, %bb1 ], [ true, %bb0 ]
+  ret i1 %result
+}
+
+; the comparison link sequence will be reordered according the memory offset,
+; and the unconditionla comparison will not at the end of the chain.
+define i1 @full_revert_order_ne(ptr nocapture noundef nonnull readonly dereferenceable(24) %0, ptr nocapture noundef nonnull readonly dereferenceable(24) %1) {
+; CHECK-LABEL: @full_revert_order_ne(
+; CHECK-NEXT:  bb0:
+; CHECK-NEXT:    [[S0:%.*]] = getelementptr inbounds [[C:%.*]], ptr [[TMP0:%.*]], i64 0, i32 2
+; CHECK-NEXT:    [[V0:%.*]] = load i32, ptr [[S0]], align 4
+; CHECK-NEXT:    [[S1:%.*]] = getelementptr inbounds [[C]], ptr [[TMP1:%.*]], i64 0, i32 2
+; CHECK-NEXT:    [[V1:%.*]] = load i32, ptr [[S1]], align 4
+; CHECK-NEXT:    [[CMP0:%.*]] = icmp eq i32 [[V0]], [[V1]]
+; CHECK-NEXT:    br i1 [[CMP0]], label [[BB1:%.*]], label [[BB3:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[S2:%.*]] = getelementptr inbounds [[C]], ptr [[TMP0]], i64 0, i32 1
+; CHECK-NEXT:    [[V2:%.*]] = load i32, ptr [[S2]], align 4
+; CHECK-NEXT:    [[S3:%.*]] = getelementptr inbounds [[C]], ptr [[TMP1]], i64 0, i32 1
+; CHECK-NEXT:    [[V3:%.*]] = load i32, ptr [[S3]], align 4
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i32 [[V2]], [[V3]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[BB2:%.*]], label [[BB3]]
+; CHECK:       bb2:
+; CHECK-NEXT:    [[S4:%.*]] = getelementptr inbounds [[C]], ptr [[TMP0]], i64 0, i32 0
+; CHECK-NEXT:    [[V4:%.*]] = load i32, ptr [[S4]], align 4
+; CHECK-NEXT:    [[S5:%.*]] = getelementptr inbounds [[C]], ptr [[TMP1]], i64 0, i32 0
+; CHECK-NEXT:    [[V5:%.*]] = load i32, ptr [[S5]], align 4
+; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[V4]], [[V5]]
+; CHECK-NEXT:    br label [[BB3]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[CMP3:%.*]] = phi i1 [ true, [[BB1]] ], [ true, [[BB0:%.*]] ], [ [[CMP2]], [[BB2]] ]
+; CHECK-NEXT:    ret i1 [[CMP3]]
+;
+bb0:
+  %s0 = getelementptr inbounds %"c", ptr %0, i64 0, i32 2
+  %v0 = load i32, ptr %s0, align 4
+  %s1 = getelementptr inbounds %"c", ptr %1, i64 0, i32 2
+  %v1 = load i32, ptr %s1, align 4
+  %cmp0 = icmp eq i32 %v0, %v1
+  br i1 %cmp0, label %bb1, label %bb3
+
+bb1:                                                ; preds = %bb0
+  %s2 = getelementptr inbounds %"c", ptr %0, i64 0, i32 1
+  %v2 = load i32, ptr %s2, align 4
+  %s3 = getelementptr inbounds %"c", ptr %1, i64 0, i32 1
+  %v3 = load i32, ptr %s3, align 4
+  %cmp1 = icmp eq i32 %v2, %v3
+  br i1 %cmp1, label %bb2, label %bb3
+
+bb2:                                               ; preds = %bb1
+  %s4 = getelementptr inbounds %"c", ptr %0, i64 0, i32 0
+  %v4 = load i32, ptr %s4, align 4
+  %s5 = getelementptr inbounds %"c", ptr %1, i64 0, i32 0
+  %v5 = load i32, ptr %s5, align 4
+  %cmp2 = icmp ne i32 %v4, %v5
+  br label %bb3
+
+bb3:                                               ; preds = %bb2, %bb1, %bb0
+  %cmp3 = phi i1 [ true, %bb1 ], [ true, %bb0 ], [ %cmp2, %bb2 ]
+  ret i1 %cmp3
+}