Skip to content

Commit

Permalink
pre-commit: Update
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-actions
github-actions[bot] committed Oct 12, 2024
1 parent a1fca1a commit 6ab1760
Show file tree
Hide file tree
Showing 83 changed files with 3,421 additions and 3,739 deletions.
155 changes: 76 additions & 79 deletions bench/abc/optimized/acecTree.c.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1923,16 +1923,16 @@ Vec_IntCountLarger.exit88.thread: ; preds = %Vec_IntCountLarger.
%87 = getelementptr i8, ptr %0, i64 160
br label %88

88: ; preds = %.lr.ph117, %135
%indvars.iv133 = phi i64 [ 0, %.lr.ph117 ], [ %indvars.iv.next134.pre-phi, %135 ]
88: ; preds = %.lr.ph117, %134
%indvars.iv133 = phi i64 [ 0, %.lr.ph117 ], [ %indvars.iv.next134.pre-phi, %134 ]
%89 = getelementptr inbounds i32, ptr %12, i64 %indvars.iv133
%90 = load i32, ptr %89, align 4
%91 = icmp sgt i32 %90, 1
br i1 %91, label %92, label %._crit_edge

._crit_edge: ; preds = %88
%.pre139 = add nuw nsw i64 %indvars.iv133, 1
br label %135
br label %134

92: ; preds = %88
%.val80 = load ptr, ptr %87, align 8
Expand All @@ -1948,110 +1948,107 @@ Vec_IntCountLarger.exit88.thread: ; preds = %Vec_IntCountLarger.
%99 = shl nsw i32 %98, 1
%100 = sext i32 %99 to i64
%.not.i.i97 = icmp slt i64 %indvars.iv133, %100
%101 = sext i32 %98 to i64
%.not.i.i.not.i.i = icmp slt i64 %indvars.iv133, %101
br i1 %.not.i.i97, label %114, label %102

102: ; preds = %97
br i1 %.not.i.i.not.i.i, label %Vec_IntGrow.exit.i.i.i, label %103

103: ; preds = %102
%104 = getelementptr inbounds i8, ptr %.val80, i64 8
%105 = load ptr, ptr %104, align 8
%.not9.i.i.i.i = icmp eq ptr %105, null
%106 = shl nuw nsw i64 %93, 2
br i1 %.not9.i.i.i.i, label %109, label %107

107: ; preds = %103
%108 = tail call ptr @realloc(ptr noundef nonnull %105, i64 noundef %106) #23
br label %111

109: ; preds = %103
%110 = tail call noalias ptr @malloc(i64 noundef %106) #22
br label %111

111: ; preds = %109, %107
%112 = phi ptr [ %108, %107 ], [ %110, %109 ]
store ptr %112, ptr %104, align 8
%113 = trunc nuw nsw i64 %93 to i32
br i1 %.not.i.i97, label %112, label %101

101: ; preds = %97
%102 = getelementptr inbounds i8, ptr %.val80, i64 8
%103 = load ptr, ptr %102, align 8
%.not9.i.i.i.i = icmp eq ptr %103, null
%104 = shl nuw nsw i64 %93, 2
br i1 %.not9.i.i.i.i, label %107, label %105

105: ; preds = %101
%106 = tail call ptr @realloc(ptr noundef nonnull %103, i64 noundef %104) #23
br label %109

107: ; preds = %101
%108 = tail call noalias ptr @malloc(i64 noundef %104) #22
br label %109

109: ; preds = %107, %105
%110 = phi ptr [ %106, %105 ], [ %108, %107 ]
store ptr %110, ptr %102, align 8
%111 = trunc nuw nsw i64 %93 to i32
br label %Vec_IntGrow.exit.sink.split.i.i.i

114: ; preds = %97
br i1 %.not.i.i.not.i.i, label %Vec_IntGrow.exit.i.i.i, label %115

115: ; preds = %114
%116 = getelementptr inbounds i8, ptr %.val80, i64 8
%117 = load ptr, ptr %116, align 8
%.not9.i21.i.i.i = icmp eq ptr %117, null
%118 = shl nsw i64 %100, 2
br i1 %.not9.i21.i.i.i, label %121, label %119

119: ; preds = %115
%120 = tail call ptr @realloc(ptr noundef nonnull %117, i64 noundef %118) #23
br label %123

121: ; preds = %115
%122 = tail call noalias ptr @malloc(i64 noundef %118) #22
br label %123

123: ; preds = %121, %119
%124 = phi ptr [ %120, %119 ], [ %122, %121 ]
store ptr %124, ptr %116, align 8
112: ; preds = %97
%113 = sext i32 %98 to i64
%.not.i.i.not.i.i = icmp slt i64 %indvars.iv133, %113
br i1 %.not.i.i.not.i.i, label %Vec_IntGrow.exit.i.i.i, label %114

114: ; preds = %112
%115 = getelementptr inbounds i8, ptr %.val80, i64 8
%116 = load ptr, ptr %115, align 8
%.not9.i21.i.i.i = icmp eq ptr %116, null
%117 = shl nsw i64 %100, 2
br i1 %.not9.i21.i.i.i, label %120, label %118

118: ; preds = %114
%119 = tail call ptr @realloc(ptr noundef nonnull %116, i64 noundef %117) #23
br label %122

120: ; preds = %114
%121 = tail call noalias ptr @malloc(i64 noundef %117) #22
br label %122

122: ; preds = %120, %118
%123 = phi ptr [ %119, %118 ], [ %121, %120 ]
store ptr %123, ptr %115, align 8
br label %Vec_IntGrow.exit.sink.split.i.i.i

Vec_IntGrow.exit.sink.split.i.i.i: ; preds = %123, %111
%.sink.i.i.i = phi i32 [ %99, %123 ], [ %113, %111 ]
Vec_IntGrow.exit.sink.split.i.i.i: ; preds = %122, %109
%.sink.i.i.i = phi i32 [ %99, %122 ], [ %111, %109 ]
store i32 %.sink.i.i.i, ptr %.val80, align 8
%.pre.i.i = load i32, ptr %94, align 4
%.pre = sext i32 %.pre.i.i to i64
br label %Vec_IntGrow.exit.i.i.i

Vec_IntGrow.exit.i.i.i: ; preds = %Vec_IntGrow.exit.sink.split.i.i.i, %114, %102
%.pre-phi = phi i64 [ %.pre, %Vec_IntGrow.exit.sink.split.i.i.i ], [ %96, %114 ], [ %96, %102 ]
Vec_IntGrow.exit.i.i.i: ; preds = %Vec_IntGrow.exit.sink.split.i.i.i, %112
%.pre-phi = phi i64 [ %.pre, %Vec_IntGrow.exit.sink.split.i.i.i ], [ %96, %112 ]
%.not3.i.i = icmp sgt i64 %.pre-phi, %indvars.iv133
br i1 %.not3.i.i, label %._crit_edge.i.i.i, label %.lr.ph.i.i.i

.lr.ph.i.i.i: ; preds = %Vec_IntGrow.exit.i.i.i
%125 = getelementptr inbounds i8, ptr %.val80, i64 8
br label %126

126: ; preds = %126, %.lr.ph.i.i.i
%indvars.iv.i.i.i = phi i64 [ %.pre-phi, %.lr.ph.i.i.i ], [ %indvars.iv.next.i.i.i, %126 ]
%127 = load ptr, ptr %125, align 8
%128 = getelementptr inbounds i32, ptr %127, i64 %indvars.iv.i.i.i
store i32 0, ptr %128, align 4
%124 = getelementptr inbounds i8, ptr %.val80, i64 8
br label %125

125: ; preds = %125, %.lr.ph.i.i.i
%indvars.iv.i.i.i = phi i64 [ %.pre-phi, %.lr.ph.i.i.i ], [ %indvars.iv.next.i.i.i, %125 ]
%126 = load ptr, ptr %124, align 8
%127 = getelementptr inbounds i32, ptr %126, i64 %indvars.iv.i.i.i
store i32 0, ptr %127, align 4
%indvars.iv.next.i.i.i = add nsw i64 %indvars.iv.i.i.i, 1
%exitcond.not.i.i.i = icmp eq i64 %indvars.iv.i.i.i, %indvars.iv133
br i1 %exitcond.not.i.i.i, label %._crit_edge.i.i.i, label %126, !llvm.loop !32
br i1 %exitcond.not.i.i.i, label %._crit_edge.i.i.i, label %125, !llvm.loop !32

._crit_edge.i.i.i: ; preds = %126, %Vec_IntGrow.exit.i.i.i
%129 = trunc nuw nsw i64 %93 to i32
store i32 %129, ptr %94, align 4
._crit_edge.i.i.i: ; preds = %125, %Vec_IntGrow.exit.i.i.i
%128 = trunc nuw nsw i64 %93 to i32
store i32 %128, ptr %94, align 4
br label %Gia_ObjLevelId.exit

Gia_ObjLevelId.exit: ; preds = %92, %._crit_edge.i.i.i
%130 = getelementptr i8, ptr %.val80, i64 8
%.val.i.i = load ptr, ptr %130, align 8
%131 = getelementptr inbounds i32, ptr %.val.i.i, i64 %indvars.iv133
%132 = load i32, ptr %131, align 4
%133 = trunc nuw nsw i64 %indvars.iv133 to i32
%134 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef %133, i32 noundef %132, i32 noundef %90)
br label %135

135: ; preds = %._crit_edge, %Gia_ObjLevelId.exit
%129 = getelementptr i8, ptr %.val80, i64 8
%.val.i.i = load ptr, ptr %129, align 8
%130 = getelementptr inbounds i32, ptr %.val.i.i, i64 %indvars.iv133
%131 = load i32, ptr %130, align 4
%132 = trunc nuw nsw i64 %indvars.iv133 to i32
%133 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11, i32 noundef %132, i32 noundef %131, i32 noundef %90)
br label %134

134: ; preds = %._crit_edge, %Gia_ObjLevelId.exit
%indvars.iv.next134.pre-phi = phi i64 [ %.pre139, %._crit_edge ], [ %93, %Gia_ObjLevelId.exit ]
%exitcond136.not = icmp eq i64 %indvars.iv.next134.pre-phi, %wide.trip.count.i
br i1 %exitcond136.not, label %.critedge8, label %88, !llvm.loop !33

.critedge8: ; preds = %135, %Vec_IntCountLarger.exit88.thread
.critedge8: ; preds = %134, %Vec_IntCountLarger.exit88.thread
%.not.i98 = icmp eq ptr %12, null
br i1 %.not.i98, label %Vec_IntFree.exit, label %136
br i1 %.not.i98, label %Vec_IntFree.exit, label %135

136: ; preds = %.critedge8
135: ; preds = %.critedge8
tail call void @free(ptr noundef nonnull %12) #21
br label %Vec_IntFree.exit

Vec_IntFree.exit: ; preds = %.critedge8, %136
Vec_IntFree.exit: ; preds = %.critedge8, %135
ret void
}

Expand Down
51 changes: 22 additions & 29 deletions bench/abc/optimized/giaBalLut.c.ll
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3446,7 +3446,7 @@ Vec_IntSelectSortCostLit.exit.i: ; preds = %._crit_edge.i.i
503: ; preds = %505, %.lr.ph.i85
%.012.in.i.i.i = phi i32 [ %.val52139.i, %.lr.ph.i85 ], [ %.012.i.i.i, %505 ]
%504 = icmp sgt i32 %.012.in.i.i.i, 1
br i1 %504, label %505, label %.lr.ph52.i.i.preheader
br i1 %504, label %505, label %.lr.ph52.preheader.i.i

505: ; preds = %503
%.012.i.i.i = add nsw i32 %.012.in.i.i.i, -1
Expand All @@ -3462,10 +3462,6 @@ Vec_IntSelectSortCostLit.exit.i: ; preds = %._crit_edge.i.i
br i1 %513, label %.preheader.lr.ph.i.i, label %503, !llvm.loop !38

.preheader.lr.ph.i.i: ; preds = %505
%.not9420.not.i.not.i = icmp slt i32 %.val52139.i, %.012.in.i.i.i
br i1 %.not9420.not.i.not.i, label %._crit_edge53.thread.i.i, label %.preheader.preheader.i.i

.preheader.preheader.i.i: ; preds = %.preheader.lr.ph.i.i
%.08227.i.i = add nsw i32 %.012.in.i.i.i, -2
%514 = zext nneg i32 %.012.i.i.i to i64
%515 = zext nneg i32 %.08227.i.i to i64
Expand All @@ -3476,11 +3472,11 @@ Vec_IntSelectSortCostLit.exit.i: ; preds = %._crit_edge.i.i
%516 = icmp sgt i64 %indvars.iv63.i.i, 0
br i1 %516, label %.preheader.i.i, label %._crit_edge.i88.i, !llvm.loop !39

.preheader.i.i: ; preds = %..loopexit3_crit_edge.i.i, %.preheader.preheader.i.i
%indvars.iv63.i.i = phi i64 [ %515, %.preheader.preheader.i.i ], [ %indvars.iv.next64.i.i, %..loopexit3_crit_edge.i.i ]
%.030.i.i = phi i32 [ 1000000000, %.preheader.preheader.i.i ], [ %.2.i.i, %..loopexit3_crit_edge.i.i ]
%.07029.i.i = phi i32 [ -1, %.preheader.preheader.i.i ], [ %.272.i.i, %..loopexit3_crit_edge.i.i ]
%.07628.i.i = phi i32 [ -1, %.preheader.preheader.i.i ], [ %.278.i.i, %..loopexit3_crit_edge.i.i ]
.preheader.i.i: ; preds = %..loopexit3_crit_edge.i.i, %.preheader.lr.ph.i.i
%indvars.iv63.i.i = phi i64 [ %515, %.preheader.lr.ph.i.i ], [ %indvars.iv.next64.i.i, %..loopexit3_crit_edge.i.i ]
%.030.i.i = phi i32 [ 1000000000, %.preheader.lr.ph.i.i ], [ %.2.i.i, %..loopexit3_crit_edge.i.i ]
%.07029.i.i = phi i32 [ -1, %.preheader.lr.ph.i.i ], [ %.272.i.i, %..loopexit3_crit_edge.i.i ]
%.07628.i.i = phi i32 [ -1, %.preheader.lr.ph.i.i ], [ %.278.i.i, %..loopexit3_crit_edge.i.i ]
%517 = getelementptr inbounds i32, ptr %.val57.i, i64 %indvars.iv63.i.i
%518 = trunc nuw nsw i64 %indvars.iv63.i.i to i32
br label %Gia_ObjIsXor.exit.i87.i
Expand Down Expand Up @@ -3560,7 +3556,7 @@ Bal_ManEvalTwo.exit.thread.i.i: ; preds = %560, %558, %Bal_Man

._crit_edge.i88.i: ; preds = %..loopexit3_crit_edge.i.i
%.not.i89.i = icmp eq i32 %.2.i.i, 1000000000
br i1 %.not.i89.i, label %._crit_edge.thread.i.i, label %562
br i1 %.not.i89.i, label %.lr.ph52.preheader.i.i, label %562

562: ; preds = %._crit_edge.i88.i
%563 = sext i32 %.272.i.i to i64
Expand All @@ -3575,21 +3571,18 @@ Bal_ManEvalTwo.exit.thread.i.i: ; preds = %560, %558, %Bal_Man
%570 = load i32, ptr %569, align 4
%.unshifted.i.i = xor i32 %570, %.2.i.i
%571 = icmp ult i32 %.unshifted.i.i, 16
br i1 %571, label %572, label %._crit_edge.thread.i.i
br i1 %571, label %572, label %.lr.ph52.preheader.i.i

572: ; preds = %562
%573 = shl i32 %.272.i.i, 16
%574 = or i32 %573, %.278.i.i
br label %Bal_ManFindBestPair.exit.i

._crit_edge.thread.i.i: ; preds = %562, %._crit_edge.i88.i
%575 = sext i32 %.012.i.i.i to i64
br label %.lr.ph52.i.i.preheader

.lr.ph52.i.i.preheader: ; preds = %503, %._crit_edge.thread.i.i
%indvars.iv71.i.i.ph = phi i64 [ %575, %._crit_edge.thread.i.i ], [ 0, %503 ]
%.37349.i.i.ph = phi i32 [ %.272.i.i, %._crit_edge.thread.i.i ], [ -1, %503 ]
%.37948.i.i.ph = phi i32 [ %.278.i.i, %._crit_edge.thread.i.i ], [ -1, %503 ]
.lr.ph52.preheader.i.i: ; preds = %503, %._crit_edge.i88.i, %562
%.012.lcssa.i7783.i.i100 = phi i32 [ %.012.i.i.i, %562 ], [ %.012.i.i.i, %._crit_edge.i88.i ], [ 0, %503 ]
%.076.lcssa84.i.i99 = phi i32 [ %.278.i.i, %562 ], [ %.278.i.i, %._crit_edge.i88.i ], [ -1, %503 ]
%.070.lcssa85.i.i98 = phi i32 [ %.272.i.i, %562 ], [ %.272.i.i, %._crit_edge.i88.i ], [ -1, %503 ]
%575 = sext i32 %.012.lcssa.i7783.i.i100 to i64
br label %.lr.ph52.i.i

.loopexit.i.i: ; preds = %Bal_ManEvalTwo.exit111.thread.i.i, %.lr.ph52.i.i
Expand All @@ -3599,13 +3592,13 @@ Bal_ManEvalTwo.exit.thread.i.i: ; preds = %560, %558, %Bal_Man
%exitcond74.not.i.i = icmp eq i64 %indvars.iv.next72.i.i, %494
br i1 %exitcond74.not.i.i, label %._crit_edge53.i.i, label %.lr.ph52.i.i, !llvm.loop !41

.lr.ph52.i.i: ; preds = %.lr.ph52.i.i.preheader, %.loopexit.i.i
%indvars.iv71.i.i = phi i64 [ %indvars.iv.next72.i.i, %.loopexit.i.i ], [ %indvars.iv71.i.i.ph, %.lr.ph52.i.i.preheader ]
%.350.i.i = phi i32 [ %.4.lcssa.i.i, %.loopexit.i.i ], [ 1000000000, %.lr.ph52.i.i.preheader ]
%.37349.i.i = phi i32 [ %.474.lcssa.i.i, %.loopexit.i.i ], [ %.37349.i.i.ph, %.lr.ph52.i.i.preheader ]
%.37948.i.i = phi i32 [ %.480.lcssa.i.i, %.loopexit.i.i ], [ %.37948.i.i.ph, %.lr.ph52.i.i.preheader ]
%indvars.iv.next72.i.i = add nuw nsw i64 %indvars.iv71.i.i, 1
%.not93.not37.i.i = icmp ult i64 %indvars.iv.next72.i.i, %494
.lr.ph52.i.i: ; preds = %.loopexit.i.i, %.lr.ph52.preheader.i.i
%indvars.iv71.i.i = phi i64 [ %575, %.lr.ph52.preheader.i.i ], [ %indvars.iv.next72.i.i, %.loopexit.i.i ]
%.350.i.i = phi i32 [ 1000000000, %.lr.ph52.preheader.i.i ], [ %.4.lcssa.i.i, %.loopexit.i.i ]
%.37349.i.i = phi i32 [ %.070.lcssa85.i.i98, %.lr.ph52.preheader.i.i ], [ %.474.lcssa.i.i, %.loopexit.i.i ]
%.37948.i.i = phi i32 [ %.076.lcssa84.i.i99, %.lr.ph52.preheader.i.i ], [ %.480.lcssa.i.i, %.loopexit.i.i ]
%indvars.iv.next72.i.i = add nsw i64 %indvars.iv71.i.i, 1
%.not93.not37.i.i = icmp slt i64 %indvars.iv.next72.i.i, %494
br i1 %.not93.not37.i.i, label %.lr.ph.i82.i, label %.loopexit.i.i

.lr.ph.i82.i: ; preds = %.lr.ph52.i.i
Expand Down Expand Up @@ -3688,7 +3681,7 @@ Bal_ManEvalTwo.exit111.thread.i.i: ; preds = %625, %623, %Bal_Man
%.581.i.i = phi i32 [ %.48039.i.i, %Bal_ManEvalTwo.exit111.i.i ], [ %577, %625 ], [ %.48039.i.i, %623 ], [ %.48039.i.i, %Gia_ObjIsXor.exit107.i.i ]
%.575.i.i = phi i32 [ %.47440.i.i, %Bal_ManEvalTwo.exit111.i.i ], [ %626, %625 ], [ %.47440.i.i, %623 ], [ %.47440.i.i, %Gia_ObjIsXor.exit107.i.i ]
%.5.i.i = phi i32 [ %.441.i.i, %Bal_ManEvalTwo.exit111.i.i ], [ %603, %625 ], [ %.441.i.i, %623 ], [ %.441.i.i, %Gia_ObjIsXor.exit107.i.i ]
%indvars.iv.next69.i.i = add nuw nsw i64 %indvars.iv68.i.i, 1
%indvars.iv.next69.i.i = add nsw i64 %indvars.iv68.i.i, 1
%lftr.wideiv.i.i = trunc i64 %indvars.iv.next69.i.i to i32
%exitcond.not.i83.i = icmp eq i32 %.val52139.i, %lftr.wideiv.i.i
br i1 %exitcond.not.i83.i, label %.loopexit.i.i, label %Gia_ObjIsXor.exit107.i.i, !llvm.loop !42
Expand All @@ -3702,7 +3695,7 @@ Bal_ManEvalTwo.exit111.thread.i.i: ; preds = %625, %623, %Bal_Man
%630 = or i32 %629, %.480.lcssa.i.i
br label %Bal_ManFindBestPair.exit.i

._crit_edge53.thread.i.i: ; preds = %.preheader.lr.ph.i.i, %._crit_edge53.i.i
._crit_edge53.thread.i.i: ; preds = %._crit_edge53.i.i
%631 = shl i32 %.val52139.i, 16
%632 = add i32 %631, -65536
%633 = add nsw i32 %.val52139.i, -2
Expand Down
Loading

0 comments on commit 6ab1760

Please sign in to comment.