1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -mtriple=x86_64-unknown-unknown -passes=mergeicmps -verify-dom-info -S | FileCheck %s --check-prefix=X86 3 4%S = type { i32, i32, i32, i32, i32} 5 6define zeroext i1 @opeq1( 7; X86-LABEL: @opeq1( 8; X86-NEXT: "entry+land.rhs.i+land.rhs.i.2+land.rhs.i.3": 9; X86-NEXT: [[PTR:%.*]] = alloca i32, align 4 10; X86-NEXT: store i32 42, ptr [[PTR]], align 4 11; X86-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(ptr [[A:%.*]], ptr [[B:%.*]], i64 16) 12; X86-NEXT: [[TMP2:%.*]] = icmp eq i32 [[MEMCMP]], 0 13; X86-NEXT: br label [[OPEQ1_EXIT:%.*]] 14; X86: opeq1.exit: 15; X86-NEXT: ret i1 [[TMP2]] 16; 17 ptr nocapture readonly dereferenceable(16) %a, 18 ptr nocapture readonly dereferenceable(16) %b) local_unnamed_addr nofree nosync { 19 20entry: 21 %ptr = alloca i32 22 %0 = load i32, ptr %a, align 4 23 %1 = load i32, ptr %b, align 4 24 ; Does other work, has no interference, merge block 25 store i32 42, ptr %ptr 26 %cmp.i = icmp eq i32 %0, %1 27 br i1 %cmp.i, label %land.rhs.i, label %opeq1.exit 28 29land.rhs.i: 30 %second.i = getelementptr inbounds %S, ptr %a, i64 0, i32 1 31 %2 = load i32, ptr %second.i, align 4 32 %second2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 1 33 %3 = load i32, ptr %second2.i, align 4 34 %cmp2.i = icmp eq i32 %2, %3 35 br i1 %cmp2.i, label %land.rhs.i.2, label %opeq1.exit 36 37land.rhs.i.2: 38 %third.i = getelementptr inbounds %S, ptr %a, i64 0, i32 2 39 %4 = load i32, ptr %third.i, align 4 40 %third2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 2 41 %5 = load i32, ptr %third2.i, align 4 42 %cmp3.i = icmp eq i32 %4, %5 43 br i1 %cmp3.i, label %land.rhs.i.3, label %opeq1.exit 44 45land.rhs.i.3: 46 %fourth.i = getelementptr inbounds %S, ptr %a, i64 0, i32 3 47 %6 = load i32, ptr %fourth.i, align 4 48 %fourth2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 3 49 %7 = load i32, ptr %fourth2.i, align 4 50 %cmp4.i = icmp eq i32 %6, %7 51 br label %opeq1.exit 52 53opeq1.exit: 54 %8 = phi i1 [ false, %entry ], [ false, %land.rhs.i] , [ false, %land.rhs.i.2 ], [ %cmp4.i, %land.rhs.i.3 ] 55 ret i1 %8 56} 57 58define zeroext i1 @part_sequent_eq_with_metadata() { 59; X86-LABEL: @part_sequent_eq_with_metadata( 60; X86-NEXT: bb01: 61; X86-NEXT: [[A:%.*]] = alloca [[S:%.*]], align 8 62; X86-NEXT: [[B:%.*]] = alloca [[S]], align 8 63; X86-NEXT: [[TMP0:%.*]] = load i32, ptr [[A]], align 4, !range [[RNG0:![0-9]+]], !noundef !1 64; X86-NEXT: [[TMP1:%.*]] = load i32, ptr [[B]], align 4, !range [[RNG0]], !noundef !1 65; X86-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0]], [[TMP1]] 66; X86-NEXT: br i1 [[TMP2]], label %"bb1+bb2+bb3", label [[EXIT:%.*]] 67; X86: "bb1+bb2+bb3": 68; X86-NEXT: [[TMP3:%.*]] = getelementptr inbounds [[S]], ptr [[A]], i64 0, i32 2 69; X86-NEXT: [[TMP4:%.*]] = getelementptr inbounds [[S]], ptr [[B]], i64 0, i32 2 70; X86-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(ptr [[TMP3]], ptr [[TMP4]], i64 12) 71; X86-NEXT: [[TMP5:%.*]] = icmp eq i32 [[MEMCMP]], 0 72; X86-NEXT: br label [[EXIT]] 73; X86: exit: 74; X86-NEXT: [[RET:%.*]] = phi i1 [ [[TMP5]], %"bb1+bb2+bb3" ], [ false, [[BB01:%.*]] ] 75; X86-NEXT: ret i1 [[RET]] 76; 77bb0: 78 %a = alloca %S, align 8 79 %b = alloca %S, align 8 80 %value0 = load i32, ptr %a, align 4, !range !0, !noundef !1 81 %value1 = load i32, ptr %b, align 4, !range !0, !noundef !1 82 %cmp.i = icmp eq i32 %value0, %value1 83 br i1 %cmp.i, label %bb1, label %exit 84 85bb1: 86 %second.i = getelementptr inbounds %S, ptr %a, i64 0, i32 2 87 %value2 = load i32, ptr %second.i, align 4 88 %second2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 2 89 %value3 = load i32, ptr %second2.i, align 4 90 %cmp2.i = icmp eq i32 %value2, %value3 91 br i1 %cmp2.i, label %bb2, label %exit 92 93bb2: 94 %third.i = getelementptr inbounds %S, ptr %a, i64 0, i32 3 95 %value4 = load i32, ptr %third.i, align 4 96 %third2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 3 97 %value5 = load i32, ptr %third2.i, align 4 98 %cmp3.i = icmp eq i32 %value4, %value5 99 br i1 %cmp3.i, label %bb3, label %exit 100 101bb3: 102 %fourth.i = getelementptr inbounds %S, ptr %a, i64 0, i32 4 103 %value6 = load i32, ptr %fourth.i, align 4 104 %fourth2.i = getelementptr inbounds %S, ptr %b, i64 0, i32 4 105 %value7 = load i32, ptr %fourth2.i, align 4 106 %cmp4.i = icmp eq i32 %value6, %value7 107 br label %exit 108 109exit: 110 %ret = phi i1 [ false, %bb0 ], [ false, %bb1] , [ false, %bb2] ,[ %cmp4.i, %bb3 ] 111 ret i1 %ret 112} 113 114!0 = !{i32 0, i32 2} 115!1 = !{} 116