Skip to content

pre-commit: test PR107114 #1285

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

Closed
wants to merge 2 commits into from
Closed

pre-commit: test PR107114 #1285

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
78f9f09
pre-commit: test PR107114
dtcxzyw Sep 9, 2024
d42ed10
pre-commit: Update
github-actions[bot] Sep 9, 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
2 changes: 1 addition & 1 deletion bench/abc/optimized/AbcGlucoseCmd.cpp.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -168,7 +168,7 @@ declare void @Extra_UtilGetoptReset() local_unnamed_addr #1
declare i32 @Extra_UtilGetopt(i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define internal void @_ZL9Abc_PrintiPKcz(i32 noundef %0, ptr noundef %1, ...) unnamed_addr #0 {
define internal void @_ZL9Abc_PrintiPKcz(i32 noundef range(i32 -2, 0) %0, ptr noundef %1, ...) unnamed_addr #0 {
%3 = alloca [1 x %struct.__va_list_tag], align 16
%4 = load i32, ptr @enable_dbg_outs, align 4
%.not = icmp eq i32 %4, 0
Expand Down
4 changes: 2 additions & 2 deletions bench/abc/optimized/FxchDiv.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1643,7 +1643,7 @@ Vec_QueIsMember.exit.thread: ; preds = %144, %Vec_QueIsMemb
156: ; preds = %Vec_QueIsMember.exit.thread
%157 = add nsw i32 %155, 1
%158 = shl nsw i32 %145, 1
%159 = tail call noundef i32 @llvm.smax.i32(i32 %157, i32 %158)
%159 = tail call range(i32 -2147483647, -2147483648) i32 @llvm.smax.i32(i32 %157, i32 %158)
tail call fastcc void @Vec_QueGrow(ptr noundef nonnull %143, i32 noundef %159)
%.pre.i46 = load i32, ptr %143, align 8
br label %160
Expand All @@ -1656,7 +1656,7 @@ Vec_QueIsMember.exit.thread: ; preds = %144, %Vec_QueIsMemb
162: ; preds = %160
%163 = add nsw i32 %9, 1
%164 = shl nsw i32 %161, 1
%165 = tail call noundef i32 @llvm.smax.i32(i32 %163, i32 %164)
%165 = tail call range(i32 -2147483647, -2147483648) i32 @llvm.smax.i32(i32 %163, i32 %164)
tail call fastcc void @Vec_QueGrow(ptr noundef nonnull %143, i32 noundef %165)
br label %166

Expand Down
6 changes: 3 additions & 3 deletions bench/abc/optimized/FxchSCHashTable.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -937,7 +937,7 @@ define internal fastcc void @Vec_WecPush(ptr nocapture noundef %0, i32 noundef %
6: ; preds = %3
%7 = add nsw i32 %1, 1
%8 = shl nsw i32 %5, 1
%9 = tail call noundef i32 @llvm.smax.i32(i32 %8, i32 %7)
%9 = tail call range(i32 -2147483647, -2147483648) i32 @llvm.smax.i32(i32 %8, i32 %7)
%10 = load i32, ptr %0, align 8
%.not.i = icmp slt i32 %10, %9
br i1 %.not.i, label %11, label %Vec_WecGrow.exit
Expand Down Expand Up @@ -1431,7 +1431,7 @@ define void @Fxch_SCHashTablePrint(ptr noundef %0) local_unnamed_addr #10 {
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #11

; Function Attrs: nounwind uwtable
define internal fastcc void @Vec_IntAppendSkip(ptr nocapture noundef %0, ptr nocapture noundef readonly %1, i32 noundef %2) unnamed_addr #2 {
define internal fastcc void @Vec_IntAppendSkip(ptr nocapture noundef %0, ptr nocapture noundef readonly %1, i32 noundef range(i32 1, 65536) %2) unnamed_addr #2 {
%4 = getelementptr i8, ptr %1, i64 4
%.val9 = load i32, ptr %4, align 4
%5 = icmp sgt i32 %.val9, 0
Expand All @@ -1441,7 +1441,7 @@ define internal fastcc void @Vec_IntAppendSkip(ptr nocapture noundef %0, ptr noc
%6 = getelementptr i8, ptr %1, i64 8
%7 = getelementptr inbounds i8, ptr %0, i64 4
%.phi.trans.insert.i = getelementptr inbounds i8, ptr %0, i64 8
%8 = zext i32 %2 to i64
%8 = zext nneg i32 %2 to i64
br label %9

9: ; preds = %.lr.ph, %41
Expand Down
26 changes: 13 additions & 13 deletions bench/abc/optimized/abcBlifMv.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1296,12 +1296,12 @@ Abc_ObjMvVarNum.exit501: ; preds = %81, %92, %94
%indvars.iv721 = phi i64 [ 0, %.lr.ph586.us ], [ %indvars.iv.next722, %116 ]
%118 = getelementptr inbounds ptr, ptr %43, i64 %indvars.iv721
%119 = load ptr, ptr %118, align 8
%120 = ptrtoint ptr %119 to i64
%121 = trunc nuw nsw i64 %indvars.iv721 to i32
%122 = lshr i32 %115, %121
%123 = and i32 %122, 1
%124 = zext nneg i32 %123 to i64
%125 = xor i64 %120, %124
%120 = trunc nuw nsw i64 %indvars.iv721 to i32
%121 = lshr i32 %115, %120
%122 = and i32 %121, 1
%123 = ptrtoint ptr %119 to i64
%124 = zext nneg i32 %122 to i64
%125 = xor i64 %123, %124
%126 = inttoptr i64 %125 to ptr
%127 = load ptr, ptr %72, align 8
%128 = call ptr @Abc_AigAnd(ptr noundef %127, ptr noundef %117, ptr noundef %126) #14
Expand Down Expand Up @@ -1472,12 +1472,12 @@ Abc_ObjMvVarNum.exit508: ; preds = %157, %168, %170
%indvars.iv744 = phi i64 [ 0, %.lr.ph602.us ], [ %indvars.iv.next745, %193 ]
%195 = getelementptr inbounds ptr, ptr %43, i64 %indvars.iv744
%196 = load ptr, ptr %195, align 8
%197 = ptrtoint ptr %196 to i64
%198 = trunc nuw nsw i64 %indvars.iv744 to i32
%199 = lshr i32 %192, %198
%200 = and i32 %199, 1
%201 = zext nneg i32 %200 to i64
%202 = xor i64 %197, %201
%197 = trunc nuw nsw i64 %indvars.iv744 to i32
%198 = lshr i32 %192, %197
%199 = and i32 %198, 1
%200 = ptrtoint ptr %196 to i64
%201 = zext nneg i32 %199 to i64
%202 = xor i64 %200, %201
%203 = inttoptr i64 %202 to ptr
%204 = load ptr, ptr %74, align 8
%205 = call ptr @Abc_AigAnd(ptr noundef %204, ptr noundef %194, ptr noundef %203) #14
Expand Down Expand Up @@ -3654,7 +3654,7 @@ declare ptr @Abc_NtkCreateObj(ptr noundef, i32 noundef) local_unnamed_addr #1
declare noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: nounwind uwtable
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef %1) unnamed_addr #0 {
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef range(i32 -2147483647, -2147483648) %1) unnamed_addr #0 {
%3 = getelementptr inbounds i8, ptr %0, i64 4
%4 = load i32, ptr %3, align 4
%.not = icmp sgt i32 %1, %4
Expand Down
20 changes: 10 additions & 10 deletions bench/abc/optimized/abcDress.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -97,9 +97,9 @@ define void @Abc_NtkDress(ptr noundef %0, ptr noundef %1, i32 noundef %2) local_
43: ; preds = %36
%44 = load ptr, ptr %37, align 8
%45 = ptrtoint ptr %44 to i64
%46 = ptrtoint ptr %31 to i64
%47 = and i64 %45, 1
%48 = xor i64 %47, %46
%46 = and i64 %45, 1
%47 = ptrtoint ptr %31 to i64
%48 = xor i64 %46, %47
%49 = inttoptr i64 %48 to ptr
%50 = tail call i32 @stmm_insert(ptr noundef %23, ptr noundef %41, ptr noundef %49) #4
br label %51
Expand Down Expand Up @@ -165,9 +165,9 @@ Abc_NtkDressDeriveMapping.exit: ; preds = %51, %.split
82: ; preds = %75
%83 = load ptr, ptr %76, align 8
%84 = ptrtoint ptr %83 to i64
%85 = ptrtoint ptr %70 to i64
%86 = and i64 %84, 1
%87 = xor i64 %86, %85
%85 = and i64 %84, 1
%86 = ptrtoint ptr %70 to i64
%87 = xor i64 %85, %86
%88 = inttoptr i64 %87 to ptr
%89 = tail call i32 @stmm_insert(ptr noundef %62, ptr noundef %80, ptr noundef %88) #4
br label %90
Expand Down Expand Up @@ -280,12 +280,12 @@ define internal fastcc void @Abc_NtkDressTransferNames(ptr nocapture noundef rea
%35 = load ptr, ptr %4, align 8
%36 = load ptr, ptr %28, align 8
%37 = ptrtoint ptr %36 to i64
%38 = ptrtoint ptr %35 to i64
%39 = and i64 %37, 1
%40 = xor i64 %39, %38
%38 = and i64 %37, 1
%39 = ptrtoint ptr %35 to i64
%40 = xor i64 %38, %39
%41 = inttoptr i64 %40 to ptr
store ptr %41, ptr %4, align 8
%42 = and i64 %38, -2
%42 = and i64 %39, -2
%43 = inttoptr i64 %42 to ptr
%.val39 = load ptr, ptr %43, align 8
%44 = getelementptr i8, ptr %43, i64 48
Expand Down
8 changes: 4 additions & 4 deletions bench/abc/optimized/abcFanOrder.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1025,7 +1025,7 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
%152 = getelementptr inbounds i8, ptr %29, i64 24
%153 = getelementptr inbounds i8, ptr %29, i64 28
store i32 0, ptr %153, align 4
tail call fastcc void @Vec_IntAppend(ptr noundef nonnull %152, ptr noundef nonnull %18)
tail call fastcc void @Vec_IntAppend(ptr noundef %152, ptr noundef nonnull %18)
%.pre = load ptr, ptr %22, align 8
br label %154

Expand Down Expand Up @@ -1097,7 +1097,7 @@ Vec_PtrFree.exit: ; preds = %Vec_StrFree.exit, %
}

; Function Attrs: nounwind uwtable
define internal fastcc void @Vec_IntAppend(ptr nocapture noundef %0, ptr nocapture noundef readonly %1) unnamed_addr #0 {
define internal fastcc void @Vec_IntAppend(ptr nocapture noundef nonnull %0, ptr nocapture noundef readonly %1) unnamed_addr #0 {
%3 = getelementptr i8, ptr %1, i64 4
%.val67 = load i32, ptr %3, align 4
%4 = icmp sgt i32 %.val67, 0
Expand Down Expand Up @@ -1657,7 +1657,7 @@ Vec_IntPush.exit: ; preds = %.Vec_IntGrow.exit10
%194 = getelementptr inbounds i8, ptr %29, i64 24
%195 = getelementptr inbounds i8, ptr %29, i64 28
store i32 0, ptr %195, align 4
tail call fastcc void @Vec_IntAppend(ptr noundef nonnull %194, ptr noundef nonnull %18)
tail call fastcc void @Vec_IntAppend(ptr noundef %194, ptr noundef nonnull %18)
%.pre = load ptr, ptr %22, align 8
br label %196

Expand Down Expand Up @@ -2238,7 +2238,7 @@ Vec_IntPush.exit145: ; preds = %.Vec_IntGrow.exit10
%202 = getelementptr inbounds i8, ptr %29, i64 24
%203 = getelementptr inbounds i8, ptr %29, i64 28
store i32 0, ptr %203, align 4
tail call fastcc void @Vec_IntAppend(ptr noundef nonnull %202, ptr noundef nonnull %14)
tail call fastcc void @Vec_IntAppend(ptr noundef %202, ptr noundef nonnull %14)
%.pre = load ptr, ptr %22, align 8
br label %204

Expand Down
12 changes: 6 additions & 6 deletions bench/abc/optimized/abcHie.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1239,12 +1239,12 @@ Vec_IntFillExtra.exit341: ; preds = %405, %._crit_edge.i
br i1 %.not.i312, label %Abc_ObjMvVarNum.exit, label %573

573: ; preds = %566
%574 = call fastcc ptr @Abc_ObjMvVar(ptr noundef nonnull readonly %561)
%574 = call fastcc ptr @Abc_ObjMvVar(ptr noundef readonly %561)
%.not3.i = icmp eq ptr %574, null
br i1 %.not3.i, label %Abc_ObjMvVarNum.exit, label %575

575: ; preds = %573
%576 = call fastcc ptr @Abc_ObjMvVar(ptr noundef nonnull readonly %561)
%576 = call fastcc ptr @Abc_ObjMvVar(ptr noundef readonly %561)
%577 = load i32, ptr %576, align 4
br label %Abc_ObjMvVarNum.exit

Expand Down Expand Up @@ -2872,12 +2872,12 @@ Vec_IntFillExtra.exit366: ; preds = %465, %._crit_edge.i
br i1 %.not.i336, label %Abc_ObjMvVarNum.exit, label %640

640: ; preds = %633
%641 = tail call fastcc ptr @Abc_ObjMvVar(ptr noundef nonnull readonly %628)
%641 = tail call fastcc ptr @Abc_ObjMvVar(ptr noundef readonly %628)
%.not3.i = icmp eq ptr %641, null
br i1 %.not3.i, label %Abc_ObjMvVarNum.exit, label %642

642: ; preds = %640
%643 = tail call fastcc ptr @Abc_ObjMvVar(ptr noundef nonnull readonly %628)
%643 = tail call fastcc ptr @Abc_ObjMvVar(ptr noundef readonly %628)
%644 = load i32, ptr %643, align 4
br label %Abc_ObjMvVarNum.exit

Expand Down Expand Up @@ -4892,7 +4892,7 @@ define ptr @Abc_NtkInsertNewLogic(ptr nocapture noundef %0, ptr noundef %1) loca
declare ptr @Abc_NtkFindNet(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef %1) unnamed_addr #0 {
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef range(i32 -2147483647, -2147483648) %1) unnamed_addr #0 {
%3 = getelementptr inbounds i8, ptr %0, i64 4
%4 = load i32, ptr %3, align 4
%.not = icmp sgt i32 %1, %4
Expand Down Expand Up @@ -4995,7 +4995,7 @@ declare noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr #7
declare ptr @Abc_NtkCreateObj(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define internal fastcc ptr @Abc_ObjMvVar(ptr nocapture noundef readonly %0) unnamed_addr #0 {
define internal fastcc ptr @Abc_ObjMvVar(ptr nocapture noundef nonnull readonly %0) unnamed_addr #0 {
%2 = load ptr, ptr %0, align 8
%3 = getelementptr i8, ptr %2, i64 432
%.val3 = load ptr, ptr %3, align 8
Expand Down
10 changes: 5 additions & 5 deletions bench/abc/optimized/abcHieNew.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4419,7 +4419,7 @@ Vec_IntPush.exit262: ; preds = %.Vec_IntGrow.exit10
br i1 %353, label %._crit_edge311, label %354

354: ; preds = %.lr.ph310
tail call fastcc void @Au_NtkParseCBlifNum(ptr noundef nonnull %65, ptr noundef nonnull %351, ptr noundef %61)
tail call fastcc void @Au_NtkParseCBlifNum(ptr noundef nonnull %65, ptr noundef %351, ptr noundef %61)
%355 = tail call ptr @strtok(ptr noundef null, ptr noundef nonnull @.str.28) #31
%356 = icmp eq ptr %355, null
br i1 %356, label %._crit_edge311, label %.lr.ph310
Expand Down Expand Up @@ -4655,7 +4655,7 @@ Vec_IntPush.exit283: ; preds = %.Vec_IntGrow.exit10
br i1 %470, label %._crit_edge, label %471

471: ; preds = %.lr.ph
tail call fastcc void @Au_NtkParseCBlifNum(ptr noundef nonnull %65, ptr noundef nonnull %468, ptr noundef %61)
tail call fastcc void @Au_NtkParseCBlifNum(ptr noundef nonnull %65, ptr noundef %468, ptr noundef %61)
%472 = tail call ptr @strtok(ptr noundef null, ptr noundef nonnull @.str.28) #31
%473 = icmp eq ptr %472, null
br i1 %473, label %._crit_edge, label %.lr.ph
Expand Down Expand Up @@ -4922,8 +4922,8 @@ declare ptr @strtok(ptr noundef, ptr nocapture noundef readonly) local_unnamed_a
declare i32 @atoi(ptr nocapture noundef) local_unnamed_addr #15

; Function Attrs: nounwind uwtable
define internal fastcc void @Au_NtkParseCBlifNum(ptr nocapture noundef %0, ptr nocapture noundef readonly %1, ptr nocapture noundef readonly %2) unnamed_addr #2 {
%4 = tail call i32 @atoi(ptr nocapture noundef %1) #29
define internal fastcc void @Au_NtkParseCBlifNum(ptr nocapture noundef %0, ptr nocapture noundef nonnull readonly %1, ptr nocapture noundef readonly %2) unnamed_addr #2 {
%4 = tail call i32 @atoi(ptr nocapture noundef nonnull %1) #29
br label %5

5: ; preds = %94, %3
Expand Down Expand Up @@ -8082,7 +8082,7 @@ declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias
declare void @qsort(ptr noundef, i64 noundef, i64 noundef, ptr nocapture noundef) local_unnamed_addr #21

; Function Attrs: nounwind uwtable
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef %1) unnamed_addr #2 {
define internal fastcc void @Vec_IntFillExtra(ptr nocapture noundef %0, i32 noundef range(i32 -2147483647, -2147483648) %1) unnamed_addr #2 {
%3 = getelementptr inbounds i8, ptr %0, i64 4
%4 = load i32, ptr %3, align 4
%.not = icmp sgt i32 %1, %4
Expand Down
13 changes: 6 additions & 7 deletions bench/abc/optimized/abcMap.c.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1434,7 +1434,7 @@ declare ptr @Map_ManReadBufs(ptr noundef) local_unnamed_addr #1
declare ptr @Map_ManReadBufDriver(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define internal fastcc ptr @Abc_NodeFromMap_rec(ptr noundef %0, ptr noundef %1, i32 noundef %2) unnamed_addr #0 {
define internal fastcc ptr @Abc_NodeFromMap_rec(ptr noundef %0, ptr noundef %1, i32 noundef range(i32 0, 2) %2) unnamed_addr #0 {
%4 = tail call i32 @Map_NodeIsConst(ptr noundef %1) #13
%.not = icmp eq i32 %4, 0
br i1 %.not, label %17, label %5
Expand Down Expand Up @@ -1477,8 +1477,7 @@ define internal fastcc ptr @Abc_NodeFromMap_rec(ptr noundef %0, ptr noundef %1,
br label %30

23: ; preds = %19
%.not30 = icmp eq i32 %2, 0
%24 = zext i1 %.not30 to i32
%24 = xor i32 %2, 1
%25 = tail call fastcc ptr @Abc_NodeFromMapPhase_rec(ptr noundef %0, ptr noundef %1, i32 noundef %24)
%26 = tail call ptr @Abc_NtkCreateObj(ptr noundef %0, i32 noundef 7) #13
tail call void @Abc_ObjAddFanin(ptr noundef %26, ptr noundef %25) #13
Expand Down Expand Up @@ -1917,7 +1916,7 @@ Extra_ProgressBarUpdate.exit.i: ; preds = %176, %172
br i1 %exitcond.not.i143.i, label %._crit_edge.i138.i, label %189, !llvm.loop !27

._crit_edge.i138.i: ; preds = %189, %183
%197 = call fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %70, ptr noundef nonnull %181, ptr noundef nonnull %2, i32 noundef %185)
%197 = call fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %70, ptr noundef nonnull %181, ptr noundef %2, i32 noundef %185)
br label %Abc_NodeFromMapCutPhase.exit144.i

Abc_NodeFromMapCutPhase.exit144.i: ; preds = %._crit_edge.i138.i, %.lr.ph.i.i
Expand Down Expand Up @@ -1954,7 +1953,7 @@ Abc_NodeFromMapCutPhase.exit144.i: ; preds = %._crit_edge.i138.i,
br i1 %exitcond.not.i.i, label %._crit_edge.i.i, label %206, !llvm.loop !27

._crit_edge.i.i: ; preds = %206, %200
%214 = call fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %70, ptr noundef nonnull %198, ptr noundef nonnull %3, i32 noundef %202)
%214 = call fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %70, ptr noundef nonnull %198, ptr noundef %3, i32 noundef %202)
br label %Abc_NodeFromMapCutPhase.exit.i

Abc_NodeFromMapCutPhase.exit.i: ; preds = %._crit_edge.i.i, %Abc_NodeFromMapCutPhase.exit144.i
Expand Down Expand Up @@ -3290,7 +3289,7 @@ declare ptr @Map_NodeReadData(ptr noundef, i32 noundef) local_unnamed_addr #1
declare ptr @Map_NodeReadCutBest(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define internal fastcc ptr @Abc_NodeFromMapPhase_rec(ptr noundef %0, ptr noundef %1, i32 noundef %2) unnamed_addr #0 {
define internal fastcc ptr @Abc_NodeFromMapPhase_rec(ptr noundef %0, ptr noundef %1, i32 noundef range(i32 0, 2) %2) unnamed_addr #0 {
%4 = alloca [10 x ptr], align 16
%5 = tail call ptr @Map_NodeReadData(ptr noundef %1, i32 noundef %2) #13
%.not = icmp eq ptr %5, null
Expand Down Expand Up @@ -3361,7 +3360,7 @@ declare ptr @Map_NodeReadCuts(ptr noundef) local_unnamed_addr #1
declare ptr @Map_CutReadNext(ptr noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define internal fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %0, ptr noundef %1, ptr nocapture noundef readonly %2, i32 noundef %3) unnamed_addr #0 {
define internal fastcc ptr @Abc_NodeFromMapSuperChoice_rec(ptr noundef %0, ptr noundef %1, ptr nocapture noundef nonnull readonly %2, i32 noundef %3) unnamed_addr #0 {
%5 = tail call ptr (...) @Abc_FrameReadLibGen() #13
%6 = tail call ptr @Map_SuperReadRoot(ptr noundef %1) #13
%7 = icmp eq ptr %6, null
Expand Down
Loading