; 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
}
Codebase Browser
llvm