Skip to content
Closed
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: 5 additions & 3 deletions bench/abc/optimized/ifDsd.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -14048,8 +14048,7 @@ Abc_Clock.exit: ; preds = %4, %10
%22 = load i32, ptr %17, align 8
%23 = call i32 @Ifn_NtkInputNum(ptr noundef nonnull %14) #38
%24 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.104, i32 noundef %22, i32 noundef %23)
call void @free(ptr noundef nonnull %14) #38
br label %183
br label %.sink.split

25: ; preds = %16
%26 = getelementptr inbounds i8, ptr %0, i64 664
Expand Down Expand Up @@ -14368,10 +14367,13 @@ Abc_Clock.exit107: ; preds = %.critedge2, %173
%181 = sitofp i64 %180 to double
%182 = fdiv double %181, 1.000000e+06
call void (i32, ptr, ...) @Abc_Print(i32 poison, ptr noundef nonnull @.str.121, double noundef %182)
br label %.sink.split

.sink.split: ; preds = %21, %Abc_Clock.exit107
call void @free(ptr noundef %14) #38
br label %183

183: ; preds = %Abc_Clock.exit107, %21, %Abc_Clock.exit
183: ; preds = %.sink.split, %Abc_Clock.exit
ret void
}

Expand Down
6 changes: 2 additions & 4 deletions bench/abc/optimized/lucky.c.ll
Original file line number Diff line number Diff line change
Expand Up @@ -398,15 +398,14 @@ define range(i32 0, 2) i32 @minimalFlip1(ptr noundef %0, ptr nocapture noundef %

memCompare.exit: ; preds = %21
tail call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %1, ptr nonnull align 8 %0, i64 %7, i1 false)
tail call void @Kit_TruthChangePhase_64bit(ptr noundef nonnull %0, i32 noundef %3, i32 noundef %.03648) #18
br label %23

.loopexit: ; preds = %11, %21
tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %0, ptr align 8 %1, i64 %7, i1 false)
tail call void @Kit_TruthChangePhase_64bit(ptr noundef %0, i32 noundef %3, i32 noundef %.03648) #18
br label %23

23: ; preds = %memCompare.exit, %.loopexit
tail call void @Kit_TruthChangePhase_64bit(ptr noundef %0, i32 noundef %3, i32 noundef %.03648) #18
%24 = add nuw nsw i32 %.03648, 1
%exitcond.not = icmp eq i32 %24, %3
br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !11
Expand Down Expand Up @@ -490,15 +489,14 @@ define range(i32 0, 2) i32 @minimalSwap1(ptr noundef %0, ptr nocapture noundef %

memCompare.exit: ; preds = %22
tail call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 8 %1, ptr nonnull align 8 %0, i64 %7, i1 false)
tail call void @Kit_TruthSwapAdjacentVars_64bit(ptr noundef nonnull %0, i32 noundef %3, i32 noundef %.03647) #18
br label %24

.loopexit: ; preds = %12, %22
tail call void @llvm.memcpy.p0.p0.i64(ptr align 8 %0, ptr align 8 %1, i64 %7, i1 false)
tail call void @Kit_TruthSwapAdjacentVars_64bit(ptr noundef %0, i32 noundef %3, i32 noundef %.03647) #18
br label %24

24: ; preds = %memCompare.exit, %.loopexit
tail call void @Kit_TruthSwapAdjacentVars_64bit(ptr noundef %0, i32 noundef %3, i32 noundef %.03647) #18
%25 = add nuw nsw i32 %.03647, 1
%exitcond.not = icmp eq i32 %.03647, %9
br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !12
Expand Down
Loading