Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 3 additions & 5 deletions bench/abc/optimized/abcBalance.ll
Original file line number Diff line number Diff line change
Expand Up @@ -617,7 +617,7 @@ Vec_PtrPush.exit: ; preds = %.Vec_PtrGrow.exit11
br label %common.ret41

common.ret41: ; preds = %Vec_PtrPush.exit, %10, %48
%common.ret41.op = phi i32 [ %78, %48 ], [ 0, %Vec_PtrPush.exit ], [ 1, %10 ]
%common.ret41.op = phi i32 [ %76, %48 ], [ 0, %Vec_PtrPush.exit ], [ 1, %10 ]
ret i32 %common.ret41.op

48: ; preds = %14, %._crit_edge
Expand Down Expand Up @@ -667,10 +667,8 @@ common.ret41: ; preds = %Vec_PtrPush.exit, %
%72 = getelementptr inbounds ptr, ptr %.val31.val.val, i64 %71
%73 = load ptr, ptr %72, align 8, !tbaa !27
%74 = tail call i32 @Abc_NodeBalanceConeExor_rec(ptr noundef %73, ptr noundef nonnull %1, i32 noundef 0)
%75 = icmp ne i32 %61, 0
%76 = icmp ne i32 %74, 0
%77 = select i1 %75, i1 true, i1 %76
%78 = zext i1 %77 to i32
%75 = trunc nuw i32 %61 to i1
%76 = select i1 %75, i32 1, i32 %74
br label %common.ret41
}

Expand Down
13 changes: 6 additions & 7 deletions bench/abc/optimized/bmcCexTools.ll
Original file line number Diff line number Diff line change
Expand Up @@ -3863,7 +3863,7 @@ define noundef ptr @Bmc_CexEssentialBitOne(ptr noundef readonly captures(none) %
.lr.ph183.split: ; preds = %.lr.ph183, %221
%.val144199 = phi i32 [ %.val144, %221 ], [ %.val142, %.lr.ph183 ]
%.0112181 = phi i32 [ %.1113, %221 ], [ %38, %.lr.ph183 ]
%.0114180 = phi i32 [ %.1115, %221 ], [ 0, %.lr.ph183 ]
%.0114180 = phi i1 [ %.1115, %221 ], [ false, %.lr.ph183 ]
%.3120179 = phi i32 [ %222, %221 ], [ 0, %.lr.ph183 ]
%.val148.val = load i32, ptr %178, align 4, !tbaa !36
%190 = sub i32 %.3120179, %.val144199
Expand All @@ -3873,7 +3873,7 @@ define noundef ptr @Bmc_CexEssentialBitOne(ptr noundef readonly captures(none) %
%194 = load i32, ptr %193, align 4, !tbaa !10
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds %struct.Gia_Obj_t_, ptr %.val150, i64 %195
%197 = icmp ne i32 %.0112181, 0
%197 = trunc nuw i32 %.0112181 to i1
%or.cond9 = and i1 %37, %197
%.pre = load i64, ptr %196, align 4
br i1 %or.cond9, label %198, label %210
Expand Down Expand Up @@ -3914,15 +3914,14 @@ define noundef ptr @Bmc_CexEssentialBitOne(ptr noundef readonly captures(none) %

221: ; preds = %210, %212
%.val144 = phi i32 [ %.val144199, %210 ], [ %.val144.pre, %212 ]
%.1115 = phi i32 [ %.0114180, %210 ], [ 1, %212 ]
%.1115 = phi i1 [ %.0114180, %210 ], [ true, %212 ]
%222 = add nuw nsw i32 %.3120179, 1
%223 = icmp slt i32 %222, %.val144
br i1 %223, label %.lr.ph183.split, label %.critedge7, !llvm.loop !98

.critedge7: ; preds = %221
%224 = icmp ne i32 %.1115, 0
%225 = icmp eq i32 %.1113, 0
%or.cond11.not = select i1 %224, i1 %225, i1 false
%224 = icmp eq i32 %.1113, 0
%or.cond11.not = select i1 %.1115, i1 %224, i1 false
br i1 %or.cond11.not, label %.critedge140, label %.critedge7.thread

.critedge7.thread: ; preds = %181, %.lr.ph183, %.critedge7
Expand All @@ -3943,7 +3942,7 @@ define noundef ptr @Bmc_CexEssentialBitOne(ptr noundef readonly captures(none) %
br i1 %228, label %.preheader, label %.loopexit, !llvm.loop !99

.loopexit: ; preds = %.critedge5, %.critedge140, %7, %227
%.2 = phi ptr [ null, %227 ], [ %13, %7 ], [ %13, %.critedge140 ], [ %13, %.critedge5 ]
%.2 = phi ptr [ null, %226 ], [ %13, %7 ], [ %13, %.critedge140 ], [ %13, %.critedge5 ]
ret ptr %.2
}

Expand Down
40 changes: 18 additions & 22 deletions bench/abc/optimized/giaSupp.ll
Original file line number Diff line number Diff line change
Expand Up @@ -1038,11 +1038,11 @@ define internal fastcc range(i32 0, 2) i32 @Gia_ManGatherSupp_rec(ptr noundef %0
%9 = load i32, ptr %8, align 4, !tbaa !47
%10 = add nsw i32 %.val29, -1
%.not = icmp eq i32 %9, %10
br i1 %.not, label %93, label %11
br i1 %.not, label %91, label %11

11: ; preds = %4
%.not43 = icmp eq i32 %9, %.val29
br i1 %.not43, label %93, label %12
br i1 %.not43, label %91, label %12

12: ; preds = %11
store i32 %.val29, ptr %8, align 4, !tbaa !47
Expand Down Expand Up @@ -1121,7 +1121,7 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i32, ptr %43, i64 %46
store i32 %1, ptr %47, align 4, !tbaa !47
br label %93
br label %91

48: ; preds = %12
%49 = trunc i64 %.val35 to i32
Expand Down Expand Up @@ -1200,14 +1200,12 @@ Vec_IntPush.exit42: ; preds = %.Vec_IntGrow.exit10
%87 = sext i32 %85 to i64
%88 = getelementptr inbounds i32, ptr %84, i64 %87
store i32 %1, ptr %88, align 4, !tbaa !47
%89 = icmp ne i32 %52, 0
%90 = icmp ne i32 %57, 0
%91 = select i1 %89, i1 true, i1 %90
%92 = zext i1 %91 to i32
br label %93

93: ; preds = %11, %4, %Vec_IntPush.exit42, %Vec_IntPush.exit
%.0 = phi i32 [ %92, %Vec_IntPush.exit42 ], [ 1, %4 ], [ 0, %Vec_IntPush.exit ], [ 0, %11 ]
%89 = trunc nuw i32 %52 to i1
%90 = select i1 %89, i32 1, i32 %57
br label %91

91:; preds = %11, %4, %Vec_IntPush.exit42, %Vec_IntPush.exit
%.0 = phi i32 [ %90, %Vec_IntPush.exit42 ], [ 1, %4 ], [ 0, %Vec_IntPush.exit ], [ 0, %11 ]
ret i32 %.0
}

Expand Down Expand Up @@ -3721,11 +3719,11 @@ define internal fastcc range(i32 0, 2) i32 @Gia_Min2ManGatherSupp_rec(ptr nounde
%9 = load i32, ptr %8, align 4, !tbaa !47
%10 = add nsw i32 %.val29, -1
%.not = icmp eq i32 %9, %10
br i1 %.not, label %93, label %11
br i1 %.not, label %91, label %11

11: ; preds = %4
%.not43 = icmp eq i32 %9, %.val29
br i1 %.not43, label %93, label %12
br i1 %.not43, label %91, label %12

12: ; preds = %11
store i32 %.val29, ptr %8, align 4, !tbaa !47
Expand Down Expand Up @@ -3804,7 +3802,7 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i32, ptr %43, i64 %46
store i32 %1, ptr %47, align 4, !tbaa !47
br label %93
br label %91

48: ; preds = %12
%49 = trunc i64 %.val35 to i32
Expand Down Expand Up @@ -3883,14 +3881,12 @@ Vec_IntPush.exit42: ; preds = %.Vec_IntGrow.exit10
%87 = sext i32 %85 to i64
%88 = getelementptr inbounds i32, ptr %84, i64 %87
store i32 %1, ptr %88, align 4, !tbaa !47
%89 = icmp ne i32 %52, 0
%90 = icmp ne i32 %57, 0
%91 = select i1 %89, i1 true, i1 %90
%92 = zext i1 %91 to i32
br label %93

93: ; preds = %11, %4, %Vec_IntPush.exit42, %Vec_IntPush.exit
%.0 = phi i32 [ %92, %Vec_IntPush.exit42 ], [ 1, %4 ], [ 0, %Vec_IntPush.exit ], [ 0, %11 ]
%89 = trunc nuw i32 %52 to i1
%90 = select i1 %89, i32 1, i32 %57
br label %91

91:; preds = %11, %4, %Vec_IntPush.exit42, %Vec_IntPush.exit
%.0 = phi i32 [ %90, %Vec_IntPush.exit42 ], [ 1, %4 ], [ 0, %Vec_IntPush.exit ], [ 0, %11 ]
ret i32 %.0
}

Expand Down
45 changes: 21 additions & 24 deletions bench/abc/optimized/sbdCut2.ll
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,7 @@ define range(i32 0, 2) i32 @Sbd_ManCutIsTopo_rec(ptr noundef %0, ptr noundef %1,
br i1 %narrow.i.not, label %common.ret35, label %20

common.ret35: ; preds = %16, %3, %10, %20
%common.ret35.op = phi i32 [ %33, %20 ], [ 1, %10 ], [ 0, %16 ], [ 1, %3 ]
%common.ret35.op = phi i32 [ %31, %20 ], [ 1, %10 ], [ 0, %16 ], [ 1, %3 ]
ret i32 %common.ret35.op

20: ; preds = %16
Expand All @@ -200,10 +200,8 @@ common.ret35: ; preds = %16, %3, %10, %20
%27 = and i32 %26, 536870911
%28 = sub nsw i32 %spec.select, %27
%29 = tail call i32 @Sbd_ManCutIsTopo_rec(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %28)
%30 = icmp ne i32 %24, 0
%31 = icmp ne i32 %29, 0
%32 = select i1 %30, i1 %31, i1 false
%33 = zext i1 %32 to i32
%30 = trunc nuw i32 %24 to i1
%31 = select i1 %30, i32 %29, i32 0
br label %common.ret35
}

Expand Down Expand Up @@ -728,7 +726,7 @@ define range(i32 0, 2) i32 @Sbd_ManCutCollect_rec(ptr noundef %0, ptr noundef %1
%12 = icmp slt i32 %10, 0
%spec.select = select i1 %12, i32 %2, i32 %11
%.not = icmp eq i32 %spec.select, 0
br i1 %.not, label %76, label %13
br i1 %.not, label %common.ret56, label %13

13: ; preds = %6
%14 = getelementptr i8, ptr %0, i64 176
Expand All @@ -739,7 +737,7 @@ define range(i32 0, 2) i32 @Sbd_ManCutCollect_rec(ptr noundef %0, ptr noundef %1
%17 = getelementptr inbounds i32, ptr %.val45, i64 %16
%18 = load i32, ptr %17, align 4, !tbaa !33
%.not52 = icmp eq i32 %18, %.val44
br i1 %.not52, label %76, label %19
br i1 %.not52, label %common.ret56, label %19

19: ; preds = %13
store i32 %.val44, ptr %17, align 4, !tbaa !33
Expand All @@ -757,7 +755,7 @@ define range(i32 0, 2) i32 @Sbd_ManCutCollect_rec(ptr noundef %0, ptr noundef %1
%25 = getelementptr inbounds i32, ptr %.val41, i64 %16
%26 = load i32, ptr %25, align 4, !tbaa !33
%.not40 = icmp sgt i32 %26, %3
br i1 %.not40, label %63, label %27
br i1 %.not40, label %64, label %27

27: ; preds = %23, %19
%28 = getelementptr inbounds nuw i8, ptr %5, i64 4
Expand Down Expand Up @@ -831,28 +829,27 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
%60 = getelementptr inbounds i32, ptr %.val, i64 %16
%61 = load i32, ptr %60, align 4, !tbaa !33
%62 = icmp sle i32 %61, %3
br label %76

63: ; preds = %23
%64 = trunc i64 %.val49 to i32
%65 = and i32 %64, 536870911
%66 = sub nsw i32 %spec.select, %65
%67 = tail call i32 @Sbd_ManCutCollect_rec(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %66, i32 noundef %3, ptr noundef nonnull %4, ptr noundef %5)
%63 = zext i1 %62 to i32
br label %common.ret56

common.ret56:; preds = %6, %13, %Vec_IntPush.exit, %64
%common.ret56.op = phi i32 [ %75, %64 ], [ 1, %13 ], [ 1, %6 ], [ %63, %Vec_IntPush.exit ]
ret i32 %common.ret56.op

64: ; preds = %23
%65 = trunc i64 %.val49 to i32
%66 = and i32 %65, 536870911
%67 = sub nsw i32 %spec.select, %66
%68 = tail call i32 @Sbd_ManCutCollect_rec(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %67, i32 noundef %3, ptr noundef nonnull %4, ptr noundef %5)
%.val51 = load i64, ptr %21, align 4
%68 = lshr i64 %.val51, 32
%69 = trunc nuw i64 %68 to i32
%70 = and i32 %69, 536870911
%71 = sub nsw i32 %spec.select, %70
%72 = tail call i32 @Sbd_ManCutCollect_rec(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %71, i32 noundef %3, ptr noundef nonnull %4, ptr noundef %5)
%73 = icmp ne i32 %67, 0
%74 = icmp ne i32 %72, 0
%75 = select i1 %73, i1 %74, i1 false
br label %76

76: ; preds = %6, %13, %63, %Vec_IntPush.exit
%.0.shrunk = phi i1 [ %75, %63 ], [ %62, %Vec_IntPush.exit ], [ true, %13 ], [ true, %6 ]
%.0 = zext i1 %.0.shrunk to i32
ret i32 %.0
%74 = trunc nuw i32 %68 to i1
%75 = select i1 %74, i32 %72, i32 0
br label %common.ret56
}

; Function Attrs: nounwind memory(readwrite, target_mem0: none, target_mem1: none) uwtable
Expand Down
2 changes: 1 addition & 1 deletion bench/abseil-cpp/optimized/gtest-all.ll
Original file line number Diff line number Diff line change
Expand Up @@ -22863,7 +22863,7 @@ define dso_local void @_ZN7testing8internal13PrintStringToERKNSt7__cxx1112basic_
%4 = getelementptr inbounds nuw i8, ptr %0, i64 8
%5 = load i64, ptr %4, align 8, !tbaa !26
%6 = tail call fastcc noundef i32 @_ZN7testing8internalL20PrintCharsAsStringToIcEENS0_10CharFormatEPKT_mPSo(ptr noundef %3, i64 noundef %5, ptr noundef %1)
%7 = icmp ne i32 %6, 0
%7 = trunc nuw i32 %6 to i1
%8 = load i8, ptr @_ZN7testing22FLAGS_gtest_print_utf8E, align 1, !range !17
%9 = trunc nuw i8 %8 to i1
%or.cond = select i1 %7, i1 %9, i1 false
Expand Down
34 changes: 15 additions & 19 deletions bench/arrow/optimized/api_vector.ll
Original file line number Diff line number Diff line change
Expand Up @@ -23722,7 +23722,7 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
%.val.i4.i.i.i.i = load i32, ptr %11, align 4, !tbaa !696
%.val3.i5.i.i.i.i = load i32, ptr %12, align 4, !tbaa !696
%13 = icmp eq i32 %.val.i4.i.i.i.i, %.val3.i5.i.i.i.i
%14 = and i1 %8, %13
%14 = select i1 %13, i1 %8, i1 false
ret i1 %14
}

Expand Down Expand Up @@ -27772,7 +27772,7 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
br i1 %33, label %21, label %_ZN5arrow7compute8internal11CompareImplINS0_11SortOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEEEEEEERKS3_SI_RKT_.exit

_ZN5arrow7compute8internal11CompareImplINS0_11SortOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEEEEEEERKS3_SI_RKT_.exit: ; preds = %21, %.lr.ph.i.i.i.i.i.i, %3, %.preheader.i.i.i.i.i.i
%.011.i.i.i.i.i.i = phi i1 [ false, %3 ], [ true, %.preheader.i.i.i.i.i.i ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%.011.i.i.i.i.i.i = phi i1 [ true, %.preheader.i.i.i.i.i.i ], [ false, %3 ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%34 = getelementptr inbounds nuw i8, ptr %0, i64 24
%35 = load i64, ptr %34, align 8, !tbaa !818
%36 = getelementptr inbounds i8, ptr %1, i64 %35
Expand Down Expand Up @@ -37992,7 +37992,7 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
%.val.i4.i.i.i.i = load i32, ptr %11, align 4, !tbaa !696
%.val3.i5.i.i.i.i = load i32, ptr %12, align 4, !tbaa !696
%13 = icmp eq i32 %.val.i4.i.i.i.i, %.val3.i5.i.i.i.i
%14 = and i1 %8, %13
%14 = select i1 %13, i1 %8, i1 false
ret i1 %14
}

Expand Down Expand Up @@ -41311,13 +41311,9 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
%38 = tail call noundef zeroext i1 @_ZNK5arrow7compute7SortKey6EqualsERKS1_(ptr noundef nonnull align 8 dereferenceable(44) %35, ptr noundef nonnull align 8 dereferenceable(44) %37)
br i1 %38, label %26, label %_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEclINS_8internal18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaIS9_EEEEEEvRKT_m.exit.loopexit.i.i.i.i

_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEclINS_8internal18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaIS9_EEEEEEvRKT_m.exit.loopexit.i.i.i.i: ; preds = %.lr.ph.i.i.i.i.i.i, %26
%39 = and i1 %8, %38
br label %_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_lEENS8_IS3_St6vectorINS0_7SortKeyESaISB_EEEEEEEEERKS3_SH_RKT_.exit

_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_lEENS8_IS3_St6vectorINS0_7SortKeyESaISB_EEEEEEEEERKS3_SH_RKT_.exit: ; preds = %3, %.preheader.i.i.i.i.i.i, %_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEclINS_8internal18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaIS9_EEEEEEvRKT_m.exit.loopexit.i.i.i.i
%.011.i.i.i.i.i.i = phi i1 [ false, %3 ], [ %8, %.preheader.i.i.i.i.i.i ], [ %39, %_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEclINS_8internal18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaIS9_EEEEEEvRKT_m.exit.loopexit.i.i.i.i ]
ret i1 %.011.i.i.i.i.i.i
_ZN5arrow7compute8internal11CompareImplINS0_14SelectKOptionsEEclINS_8internal18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaIS9_EEEEEEvRKT_m.exit.loopexit.i.i.i.i: ; preds = %26, %.lr.ph.i.i.i.i.i.i, %3, %.preheader.i.i.i.i.i.i
%.shrunk = phi i1 [ %8, %.preheader.i.i.i.i.i.i ], [ false, %3 ], [ %8, %26 ], [ false, %.lr.ph.i.i.i.i.i.i ]
ret i1 %.shrunk
}

; Function Attrs: mustprogress uwtable
Expand Down Expand Up @@ -44653,8 +44649,8 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
%.val.i4.i.i.i.i = load i8, ptr %15, align 1, !tbaa !485, !range !125, !noundef !126
%.val3.i5.i.i.i.i = load i8, ptr %16, align 1, !tbaa !485, !range !125, !noundef !126
%17 = icmp eq i8 %.val.i4.i.i.i.i, %.val3.i5.i.i.i.i
%18 = and i1 %spec.select.i.i.i.i.i.i, %17
ret i1 %18
%narrow = select i1 %17, i1 %spec.select.i.i.i.i.i.i, i1 false
ret i1 %narrow
}

; Function Attrs: mustprogress uwtable
Expand Down Expand Up @@ -48579,24 +48575,24 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
br i1 %33, label %21, label %_ZN5arrow7compute8internal11CompareImplINS0_11RankOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEENS8_IS3_NS3_10TiebreakerEEEEEEEERKS3_SK_RKT_.exit

_ZN5arrow7compute8internal11CompareImplINS0_11RankOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEENS8_IS3_NS3_10TiebreakerEEEEEEEERKS3_SK_RKT_.exit: ; preds = %21, %.lr.ph.i.i.i.i.i.i, %3, %.preheader.i.i.i.i.i.i
%.011.i.i.i.i.i.i = phi i1 [ false, %3 ], [ true, %.preheader.i.i.i.i.i.i ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%.011.i.i.i.i.i.i = phi i1 [ true, %.preheader.i.i.i.i.i.i ], [ false, %3 ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%34 = getelementptr inbounds nuw i8, ptr %0, i64 48
%35 = load i64, ptr %34, align 8, !tbaa !1457
%36 = getelementptr inbounds i8, ptr %1, i64 %35
%37 = getelementptr inbounds i8, ptr %2, i64 %35
%.val.i.i.i.i.i = load i32, ptr %36, align 4, !tbaa !696
%.val3.i.i.i.i.i = load i32, ptr %37, align 4, !tbaa !696
%38 = icmp eq i32 %.val.i.i.i.i.i, %.val3.i.i.i.i.i
%39 = and i1 %.011.i.i.i.i.i.i, %38
%40 = getelementptr inbounds nuw i8, ptr %0, i64 24
%41 = load i64, ptr %40, align 8, !tbaa !1459
%42 = getelementptr inbounds i8, ptr %1, i64 %41
%43 = getelementptr inbounds i8, ptr %2, i64 %41
%.val.i6.i.i.i.i = load i32, ptr %42, align 4, !tbaa !1461
%.val3.i7.i.i.i.i = load i32, ptr %43, align 4, !tbaa !1461
%44 = icmp eq i32 %.val.i6.i.i.i.i, %.val3.i7.i.i.i.i
%45 = and i1 %39, %44
ret i1 %45
%45 = select i1 %44, i1 %39, i1 false
%46 = and i1 %34, %45
ret i1 %46
}

; Function Attrs: mustprogress uwtable
Expand Down Expand Up @@ -52861,7 +52857,7 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
br i1 %33, label %21, label %_ZN5arrow7compute8internal11CompareImplINS0_19RankQuantileOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEEEEEEERKS3_SI_RKT_.exit

_ZN5arrow7compute8internal11CompareImplINS0_19RankQuantileOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_St6vectorINS0_7SortKeyESaISA_EEEENS8_IS3_NS0_13NullPlacementEEEEEEEERKS3_SI_RKT_.exit: ; preds = %21, %.lr.ph.i.i.i.i.i.i, %3, %.preheader.i.i.i.i.i.i
%.011.i.i.i.i.i.i = phi i1 [ false, %3 ], [ true, %.preheader.i.i.i.i.i.i ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%.011.i.i.i.i.i.i = phi i1 [ true, %.preheader.i.i.i.i.i.i ], [ false, %3 ], [ %33, %.lr.ph.i.i.i.i.i.i ], [ %33, %21 ]
%34 = getelementptr inbounds nuw i8, ptr %0, i64 24
%35 = load i64, ptr %34, align 8, !tbaa !1579
%36 = getelementptr inbounds i8, ptr %1, i64 %35
Expand Down Expand Up @@ -59273,8 +59269,8 @@ define linkonce_odr noundef zeroext i1 @_ZZN5arrow7compute8internal22GetFunction
_ZN5arrow7compute8internal11CompareImplINS0_25InversePermutationOptionsEEC2INS_8internal13PropertyTupleIJNS6_18DataMemberPropertyIS3_lEENS8_IS3_St10shared_ptrINS_8DataTypeEEEEEEEEERKS3_SG_RKT_.exit: ; preds = %14, %16
%.0.i.i.i.i.i.i = phi i1 [ %15, %14 ], [ %17, %16 ]
%18 = icmp eq i64 %.val.i.i.i.i.i, %.val3.i.i.i.i.i
%19 = and i1 %18, %.0.i.i.i.i.i.i
ret i1 %19
%narrow = select i1 %.0.i.i.i.i.i.i, i1 %18, i1 false
ret i1 %narrow
}

; Function Attrs: mustprogress uwtable
Expand Down
Loading