Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pre-commit: test PR102943 #1237

Closed
wants to merge 2 commits into from
Closed

pre-commit: test PR102943 #1237

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
52a1726
pre-commit: test PR102943
dtcxzyw Aug 23, 2024
9ee6f9b
pre-commit: Update
github-actions[bot] Aug 23, 2024
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
242 changes: 122 additions & 120 deletions bench/abc/optimized/abcFx.c.ll
View file
Open in desktop

Large diffs are not rendered by default.

388 changes: 193 additions & 195 deletions bench/abc/optimized/abcOrchestration.c.ll
View file
Open in desktop

Large diffs are not rendered by default.

52 changes: 26 additions & 26 deletions bench/abc/optimized/abcRestruct.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2011,24 +2011,24 @@ define range(i32 0, -2147483648) i32 @Abc_NodeEvaluateDsd_rec(ptr noundef %0, pt
%7 = alloca i32, align 4
%8 = ptrtoint ptr %2 to i64
%9 = trunc i64 %8 to i32
%10 = and i64 %8, -2
%11 = inttoptr i64 %10 to ptr
%12 = tail call i32 @Dsd_NodeReadType(ptr noundef %11) #19
%.fr587 = freeze i32 %12
%13 = icmp eq i32 %.fr587, 2
br i1 %13, label %14, label %21

14: ; preds = %6
%15 = and i32 %9, 1
%16 = tail call ptr @Dsd_NodeReadFunc(ptr noundef %11) #19
%10 = and i32 %9, 1
%11 = and i64 %8, -2
%12 = inttoptr i64 %11 to ptr
%13 = tail call i32 @Dsd_NodeReadType(ptr noundef %12) #19
%.fr587 = freeze i32 %13
%14 = icmp eq i32 %.fr587, 2
br i1 %14, label %15, label %21

15: ; preds = %6
%16 = tail call ptr @Dsd_NodeReadFunc(ptr noundef %12) #19
%17 = load i32, ptr %16, align 8
%18 = shl i32 %17, 1
%19 = and i32 %18, 2147483646
%20 = or disjoint i32 %19, %15
%20 = or disjoint i32 %19, %10
br label %1099

21: ; preds = %6
%22 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %11) #19
%22 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %12) #19
%23 = tail call noalias dereferenceable_or_null(16) ptr @malloc(i64 noundef 16) #21
%24 = add i32 %22, -1
%or.cond.i = icmp ult i32 %24, 15
Expand All @@ -2049,7 +2049,7 @@ Vec_IntAlloc.exit: ; preds = %21, %26
%30 = phi ptr [ %29, %26 ], [ null, %21 ]
%31 = getelementptr inbounds i8, ptr %23, i64 8
store ptr %30, ptr %31, align 8
%32 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %11) #19
%32 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %12) #19
%33 = icmp sgt i32 %32, 0
br i1 %33, label %.lr.ph, label %.critedge

Expand All @@ -2060,7 +2060,7 @@ Vec_IntAlloc.exit: ; preds = %21, %26

.lr.ph.split.us: ; preds = %.lr.ph, %Vec_IntPush.exit.us
%.0371578.us = phi i32 [ %68, %Vec_IntPush.exit.us ], [ 0, %.lr.ph ]
%36 = tail call ptr @Dsd_NodeReadDec(ptr noundef %11, i32 noundef %.0371578.us) #19
%36 = tail call ptr @Dsd_NodeReadDec(ptr noundef %12, i32 noundef %.0371578.us) #19
%.not.us = icmp eq ptr %36, null
br i1 %.not.us, label %.critedge, label %37

Expand Down Expand Up @@ -2133,15 +2133,15 @@ Vec_IntPush.exit.us: ; preds = %Vec_IntGrow.exit.i.
%67 = getelementptr inbounds i32, ptr %64, i64 %66
store i32 %38, ptr %67, align 4
%68 = add nuw nsw i32 %.0371578.us, 1
%69 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %11) #19
%69 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %12) #19
%70 = icmp slt i32 %68, %69
br i1 %70, label %.lr.ph.split.us, label %.critedge, !llvm.loop !20

.lr.ph.split: ; preds = %.lr.ph, %Abc_NodeEdgeDsdPushOrdered.exit
%71 = phi ptr [ %99, %Abc_NodeEdgeDsdPushOrdered.exit ], [ %30, %.lr.ph ]
%72 = phi i32 [ %80, %Abc_NodeEdgeDsdPushOrdered.exit ], [ 0, %.lr.ph ]
%.0371578 = phi i32 [ %102, %Abc_NodeEdgeDsdPushOrdered.exit ], [ 0, %.lr.ph ]
%73 = tail call ptr @Dsd_NodeReadDec(ptr noundef %11, i32 noundef %.0371578) #19
%73 = tail call ptr @Dsd_NodeReadDec(ptr noundef %12, i32 noundef %.0371578) #19
%.not = icmp eq ptr %73, null
br i1 %.not, label %.critedge, label %74

Expand Down Expand Up @@ -2212,7 +2212,7 @@ Abc_NodeEdgeDsdPushOrdered.exit: ; preds = %96, %84, %79
%101 = getelementptr inbounds i8, ptr %99, i64 %100
store i32 %75, ptr %101, align 4
%102 = add nuw nsw i32 %.0371578, 1
%103 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %11) #19
%103 = tail call i32 @Dsd_NodeReadDecsNum(ptr noundef %12) #19
%104 = icmp slt i32 %102, %103
br i1 %104, label %.lr.ph.split, label %.critedge, !llvm.loop !20

Expand Down Expand Up @@ -2510,8 +2510,8 @@ Vec_IntFree.exit489: ; preds = %Abc_NodeEdgeDsdPush
%262 = load i32, ptr %261, align 4
tail call void @free(ptr noundef nonnull %259) #19
tail call void @free(ptr noundef nonnull %23) #19
%263 = xor i32 %262, %9
%264 = and i32 %263, 1
%263 = and i32 %262, 1
%264 = xor i32 %263, %10
%265 = and i32 %262, 2147483646
%266 = or disjoint i32 %264, %265
br label %1099
Expand Down Expand Up @@ -3208,16 +3208,16 @@ Vec_IntFree.exit521: ; preds = %Abc_NodeEdgeDsdPush
%654 = load i32, ptr %653, align 4
call void @free(ptr noundef nonnull %651) #19
call void @free(ptr noundef nonnull %23) #19
%655 = xor i32 %654, %9
%656 = and i32 %655, 1
%655 = and i32 %654, 1
%656 = xor i32 %655, %10
%657 = and i32 %654, 2147483646
%658 = or disjoint i32 %656, %657
br label %1099

659: ; preds = %.critedge
%660 = getelementptr inbounds i8, ptr %1, i64 24
%661 = load ptr, ptr %660, align 8
%662 = tail call ptr @Dsd_TreeGetPrimeFunction(ptr noundef %661, ptr noundef %11) #19
%662 = tail call ptr @Dsd_TreeGetPrimeFunction(ptr noundef %661, ptr noundef %12) #19
tail call void @Cudd_Ref(ptr noundef %662) #19
%663 = load ptr, ptr %660, align 8
%664 = getelementptr inbounds i8, ptr %663, i64 344
Expand Down Expand Up @@ -3959,8 +3959,8 @@ Vec_IntFree.exit535: ; preds = %1086, %1088

Vec_IntFree.exit537: ; preds = %1089, %1091
call void @free(ptr noundef nonnull %23) #19
%1092 = xor i32 %.sroa.031.0.i, %9
%1093 = and i32 %1092, 1
%1092 = and i32 %.sroa.031.0.i, 1
%1093 = xor i32 %1092, %10
%1094 = and i32 %.sroa.031.0.i, 2147483646
%1095 = or disjoint i32 %1093, %1094
br label %1099
Expand All @@ -3978,8 +3978,8 @@ Vec_IntFree.exit539: ; preds = %1096, %1098
tail call void @free(ptr noundef nonnull %23) #19
br label %1099

1099: ; preds = %Vec_IntFree.exit539, %Vec_IntFree.exit537, %Vec_IntFree.exit535, %710, %Vec_IntFree.exit521, %Vec_IntFree.exit511, %Vec_IntFree.exit489, %Vec_IntFree.exit479, %Vec_IntFree.exit, %14
%.sroa.0366.0 = phi i32 [ %20, %14 ], [ 4012, %Vec_IntFree.exit ], [ 4012, %Vec_IntFree.exit479 ], [ %266, %Vec_IntFree.exit489 ], [ 4012, %Vec_IntFree.exit511 ], [ %658, %Vec_IntFree.exit521 ], [ 4012, %Vec_IntFree.exit535 ], [ %1095, %Vec_IntFree.exit537 ], [ 4012, %710 ], [ 4012, %Vec_IntFree.exit539 ]
1099: ; preds = %Vec_IntFree.exit539, %Vec_IntFree.exit537, %Vec_IntFree.exit535, %710, %Vec_IntFree.exit521, %Vec_IntFree.exit511, %Vec_IntFree.exit489, %Vec_IntFree.exit479, %Vec_IntFree.exit, %15
%.sroa.0366.0 = phi i32 [ %20, %15 ], [ 4012, %Vec_IntFree.exit ], [ 4012, %Vec_IntFree.exit479 ], [ %266, %Vec_IntFree.exit489 ], [ 4012, %Vec_IntFree.exit511 ], [ %658, %Vec_IntFree.exit521 ], [ 4012, %Vec_IntFree.exit535 ], [ %1095, %Vec_IntFree.exit537 ], [ 4012, %710 ], [ 4012, %Vec_IntFree.exit539 ]
ret i32 %.sroa.0366.0
}

Expand Down
4 changes: 2 additions & 2 deletions bench/abc/optimized/acecPool.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2534,8 +2534,8 @@ Vec_IntGrow.exit.sink.split.i: ; preds = %29, %31, %21, %23
%wide.trip.count.i = sext i32 %13 to i64
%34 = shl nsw i64 %33, 2
%scevgep = getelementptr i8, ptr %storemerge38, i64 %34
%35 = sub nsw i64 %wide.trip.count.i, %33
%36 = shl nsw i64 %35, 2
%35 = shl nsw i64 %wide.trip.count.i, 2
%36 = sub nsw i64 %35, %34
tail call void @llvm.memset.p0.i64(ptr align 4 %scevgep, i8 0, i64 %36, i1 false)
br label %Vec_IntFillExtra.exit

Expand Down
117 changes: 59 additions & 58 deletions bench/abc/optimized/cuddApprox.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2798,7 +2798,7 @@ define internal fastcc ptr @gatherInfoAux(ptr noundef %0, ptr noundef %1, i32 no

16: ; preds = %12, %11
%17 = load ptr, ptr %4, align 8
br label %89
br label %90

18: ; preds = %3
%19 = getelementptr inbounds i8, ptr %7, i64 16
Expand All @@ -2814,13 +2814,13 @@ define internal fastcc ptr @gatherInfoAux(ptr noundef %0, ptr noundef %1, i32 no
%29 = xor i64 %28, %23
%30 = call fastcc ptr @gatherInfoAux(ptr noundef %25, ptr noundef nonnull %1, i32 noundef %2)
%31 = icmp eq ptr %30, null
br i1 %31, label %89, label %32
br i1 %31, label %90, label %32

32: ; preds = %18
%33 = inttoptr i64 %29 to ptr
%34 = call fastcc ptr @gatherInfoAux(ptr noundef %33, ptr noundef nonnull %1, i32 noundef %2)
%35 = icmp eq ptr %34, null
br i1 %35, label %89, label %36
br i1 %35, label %90, label %36

36: ; preds = %32
%37 = getelementptr inbounds i8, ptr %30, i64 16
Expand All @@ -2840,64 +2840,65 @@ define internal fastcc ptr @gatherInfoAux(ptr noundef %0, ptr noundef %1, i32 no
%48 = sext i32 %46 to i64
%49 = getelementptr inbounds %struct.NodeData, ptr %44, i64 %48
store ptr %49, ptr %4, align 8
%50 = trunc i64 %5 to i16
%51 = and i16 %50, 1
%50 = trunc i64 %5 to i32
%51 = and i32 %50, 1
%52 = getelementptr inbounds i8, ptr %49, i64 22
%53 = load i16, ptr %52, align 2
%54 = add nuw nsw i16 %51, 1
%55 = or i16 %53, %54
store i16 %55, ptr %52, align 2
%56 = load double, ptr %30, align 8
%57 = fmul double %56, 5.000000e-01
%58 = load ptr, ptr %4, align 8
store double %57, ptr %58, align 8
%59 = getelementptr inbounds i8, ptr %30, i64 8
%60 = load double, ptr %59, align 8
%61 = fmul double %60, 5.000000e-01
%62 = load ptr, ptr %4, align 8
%63 = getelementptr inbounds i8, ptr %62, i64 8
store double %61, ptr %63, align 8
%64 = xor i64 %29, %5
%65 = and i64 %64, 1
%.not38 = icmp eq i64 %65, 0
br i1 %.not38, label %72, label %66

66: ; preds = %36
%67 = getelementptr inbounds i8, ptr %34, i64 8
%68 = load double, ptr %67, align 8
%69 = fmul double %68, 5.000000e-01
%70 = load double, ptr %62, align 8
%71 = fadd double %70, %69
store double %71, ptr %62, align 8
br label %78

72: ; preds = %36
%73 = load double, ptr %34, align 8
%74 = fmul double %73, 5.000000e-01
%75 = load double, ptr %62, align 8
%76 = fadd double %75, %74
store double %76, ptr %62, align 8
%77 = getelementptr inbounds i8, ptr %34, i64 8
br label %78
%54 = trunc nuw nsw i32 %51 to i16
%55 = add nuw nsw i16 %54, 1
%56 = or i16 %53, %55
store i16 %56, ptr %52, align 2
%57 = load double, ptr %30, align 8
%58 = fmul double %57, 5.000000e-01
%59 = load ptr, ptr %4, align 8
store double %58, ptr %59, align 8
%60 = getelementptr inbounds i8, ptr %30, i64 8
%61 = load double, ptr %60, align 8
%62 = fmul double %61, 5.000000e-01
%63 = load ptr, ptr %4, align 8
%64 = getelementptr inbounds i8, ptr %63, i64 8
store double %62, ptr %64, align 8
%65 = trunc i64 %29 to i32
%66 = and i32 %65, 1
%.not38 = icmp eq i32 %66, %51
br i1 %.not38, label %73, label %67

67: ; preds = %36
%68 = getelementptr inbounds i8, ptr %34, i64 8
%69 = load double, ptr %68, align 8
%70 = fmul double %69, 5.000000e-01
%71 = load double, ptr %63, align 8
%72 = fadd double %71, %70
store double %72, ptr %63, align 8
br label %79

73: ; preds = %36
%74 = load double, ptr %34, align 8
%75 = fmul double %74, 5.000000e-01
%76 = load double, ptr %63, align 8
%77 = fadd double %76, %75
store double %77, ptr %63, align 8
%78 = getelementptr inbounds i8, ptr %34, i64 8
br label %79

79: ; preds = %73, %67
%.sink44 = phi ptr [ %78, %73 ], [ %34, %67 ]
%80 = load double, ptr %.sink44, align 8
%81 = fmul double %80, 5.000000e-01
%82 = load ptr, ptr %4, align 8
%83 = getelementptr inbounds i8, ptr %82, i64 8
%84 = load double, ptr %83, align 8
%85 = fadd double %81, %84
store double %85, ptr %83, align 8
%86 = load ptr, ptr %8, align 8
%87 = call i32 @st__insert(ptr noundef %86, ptr noundef nonnull %7, ptr noundef nonnull %82) #10
%88 = icmp eq i32 %87, -10000
%89 = load ptr, ptr %4, align 8
%spec.select = select i1 %88, ptr null, ptr %89
br label %90

78: ; preds = %72, %66
%.sink44 = phi ptr [ %77, %72 ], [ %34, %66 ]
%79 = load double, ptr %.sink44, align 8
%80 = fmul double %79, 5.000000e-01
%81 = load ptr, ptr %4, align 8
%82 = getelementptr inbounds i8, ptr %81, i64 8
%83 = load double, ptr %82, align 8
%84 = fadd double %80, %83
store double %84, ptr %82, align 8
%85 = load ptr, ptr %8, align 8
%86 = call i32 @st__insert(ptr noundef %85, ptr noundef nonnull %7, ptr noundef nonnull %81) #10
%87 = icmp eq i32 %86, -10000
%88 = load ptr, ptr %4, align 8
%spec.select = select i1 %87, ptr null, ptr %88
br label %89

89: ; preds = %78, %32, %18, %16
%.0 = phi ptr [ %17, %16 ], [ null, %18 ], [ null, %32 ], [ %spec.select, %78 ]
90: ; preds = %79, %32, %18, %16
%.0 = phi ptr [ %17, %16 ], [ null, %18 ], [ null, %32 ], [ %spec.select, %79 ]
ret ptr %.0
}

Expand Down
Loading