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

Jump to bottom

[VAN-719] use LLVM pass to remove unused functions #64

Merged
merged 4 commits into from
Oct 31, 2023
Merged

[VAN-719] use LLVM pass to remove unused functions #64

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6f7c878
[VAN-719] use LLVM pass to remove unused functions
tim-hoffman Oct 24, 2023
919573c
fix tests
tim-hoffman Oct 24, 2023
9211430
fix test
tim-hoffman Oct 31, 2023
044306e
XFAIL the test instead of commenting out the lines that aren't genera…
tim-hoffman Oct 31, 2023
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
6 changes: 3 additions & 3 deletions circom/tests/arrays/array8.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,20 +28,20 @@ template ArrayReturnTemplate(n) {

component main = ArrayReturnTemplate(4);

//CHECK-LABEL: define void @return_array_B_{{[0-9]+}}
//CHECK-LABEL: define{{.*}} void @return_array_B_{{[0-9]+}}
//CHECK-SAME: (i256* %[[ARENA:.*]])
//CHECK: call void @return_array_A_{{[0-9]+}}(i256* %{{.*}})
//CHECK: %[[TEMP:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 2
//CHECK: call void @fr_copy_n(i256* %{{.*}}, i256* %{{.*}}[[TEMP]], i32 5)
//CHECK: ret void
//CHECK: }

//CHECK-LABEL: define void @return_array_A_{{[0-9]+}}
//CHECK-LABEL: define{{.*}} void @return_array_A_{{[0-9]+}}
//CHECK-SAME: (i256* %[[ARENA:.*]])
//CHECK: ret void
//CHECK: }

//CHECK-LABEL: define void @ArrayReturnTemplate_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @ArrayReturnTemplate_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %{{.*}})
//CHECK: %lvars = alloca [6 x i256]
//CHECK: %[[TEMP:.*]] = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 1
Expand Down
4 changes: 2 additions & 2 deletions circom/tests/arrays/array9.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,15 +14,15 @@ template ArrayCopyTemplate() {

component main = ArrayCopyTemplate();

//CHECK-LABEL: define void @copy_{{[0-9]+}}
//CHECK-LABEL: define{{.*}} void @copy_{{[0-9]+}}
//CHECK-SAME: (i256* %[[ARENA:.*]])
//CHECK: %[[TEMP1:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 3
//CHECK: %[[TEMP2:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 0
//CHECK: call void @fr_copy_n(i256* %{{.*}}[[TEMP2]], i256* %{{.*}}[[TEMP1]], i32 3)
//CHECK: ret void
//CHECK: }

//CHECK-LABEL: define void @ArrayCopyTemplate_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @ArrayCopyTemplate_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %{{.*}})
//CHECK: %lvars = alloca [6 x i256]
//CHECK: %[[TEMP:.*]] = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 3
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/arrays/array_copy1.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ template A(n) {

component main = A(5);

//CHECK-LABEL: define void @A_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @A_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %0)
//CHECK: %[[INP_PTR:[0-9]+]] = getelementptr [0 x i256], [0 x i256]* %0, i32 0, i32 0
//CHECK: %[[INP_PTR_DST:[0-9]+]] = getelementptr [0 x i256], [0 x i256]* %0, i32 0, i32 5
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/arrays/array_copy2.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ template A(n, S) {

component main = A(5, [11,22,33,44,55]);

//CHECK-LABEL: define void @A_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @A_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %0)
//CHECK: %[[INP_PTR:[0-9]+]] = getelementptr [0 x i256], [0 x i256]* %0, i32 0, i32 0
//CHECK: %[[INP_PTR_DST:[0-9]+]] = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 0
Expand Down
4 changes: 2 additions & 2 deletions circom/tests/calls/call_with_array.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ template CallWithArray() {

component main = CallWithArray();

//CHECK-LABEL: define void @fr_copy_n
//CHECK-LABEL: define{{.*}} void @fr_copy_n
//CHECK-SAME: (i256* %[[SRC:[0-9]+]], i256* %[[DST:[0-9]+]], i32 %[[LEN:[0-9]+]])
//CHECK: [[ENTRY_BB:.*]]:
//CHECK: %[[I:.*]] = alloca i32
Expand All @@ -40,7 +40,7 @@ component main = CallWithArray();
//CHECK-SAME: preds = %[[COND_BB]]
//CHECK: ret void

//CHECK-LABEL: define void @CallWithArray_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @CallWithArray_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//CHECK: call1:
//CHECK: %[[ARENA:sum_.*_arena]] = alloca [4 x i256]
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/calls/call_with_array_and_scalar.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ template CallWithArray() {

component main = CallWithArray();

//CHECK-LABEL: define void @CallWithArray_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @CallWithArray_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//CHECK: call1:
//CHECK: %[[ARENA:sum_.*_arena]] = alloca [6 x i256]
Expand Down
4 changes: 2 additions & 2 deletions circom/tests/controlflow/van348F.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ template BigModOld(n) {

component main = BigModOld(2);

//CHECK-LABEL: define i256 @long_div_{{[0-9]+}}
//CHECK-LABEL: define{{.*}} i256 @long_div_{{[0-9]+}}
//CHECK-SAME: (i256* %[[ARENA:.*]])
//CHECK: %[[TEMP1:.*]] = call i256 @short_div_{{.*}}
//CHECK: %[[TEMP2:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 1
Expand All @@ -36,7 +36,7 @@ component main = BigModOld(2);
//CHECK: ret i256 %{{.*}}[[TEMP4]]
//CHECK: }

//CHECK-LABEL: define i256 @short_div_{{[0-9]+}}
//CHECK-LABEL: define{{.*}} i256 @short_div_{{[0-9]+}}
//CHECK-SAME: (i256* %[[ARENA:.*]])
//CHECK: %[[TEMP1:.*]] = call i256 @identity_{{.*}}
//CHECK: %[[TEMP2:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 1
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/controlflow/van544.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ template Conditional() {

component main = Conditional();

//CHECK-LABEL: define void @Conditional_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @Conditional_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %0)
//CHECK: %[[INP_PTR:.*]] = getelementptr [0 x i256], [0 x i256]* %0, i32 0, i32 0
//CHECK: %[[INP:.*]] = load i256, i256* %2
Expand Down
4 changes: 2 additions & 2 deletions circom/tests/loops/assign_in_loop_1.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ template Num2Bits(n) {

component main = Num2Bits(3);

//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-SAME: i256* %subfix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %subfix_[[X3:[0-9]+]],
//CHECK-SAME: [0 x i256]* %sub_[[X3]], i256* %subc_[[X3]]){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.T]]:
Expand Down Expand Up @@ -66,7 +66,7 @@ component main = Num2Bits(3);
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [2 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [3 x { [0 x i256]*, i32 }], align 8
Expand Down
14 changes: 7 additions & 7 deletions circom/tests/loops/assign_in_loop_2.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,22 +24,22 @@ template Num2Bits(n) {

component main = Num2Bits(3);

//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_1:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_2:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_3:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK: unrolled_loop{{[0-9]+}}:
//CHECK: call void @Inner_[[$RUN_1]]_run([0 x i256]* %
//CHECK: call void @Inner_[[$RUN_2]]_run([0 x i256]* %
Expand Down
14 changes: 7 additions & 7 deletions circom/tests/loops/assign_in_loop_3.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,22 +24,22 @@ template Num2Bits(n) {

component main = Num2Bits(3);

//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_1:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_2:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Inner_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} {
//
//CHECK-LABEL: define void @Inner_
//CHECK-LABEL: define{{.*}} void @Inner_
//CHECK-SAME: [[$RUN_3:[0-9]+]]_run([0 x i256]* %0){{.*}} {
//
//CHECK-LABEL: define void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Num2Bits_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK: unrolled_loop{{[0-9]+}}:
//CHECK: call void @Inner_[[$RUN_1]]_run([0 x i256]* %
//CHECK: call void @Inner_[[$RUN_2]]_run([0 x i256]* %
Expand Down
6 changes: 3 additions & 3 deletions circom/tests/loops/call_inside_loop.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ component main = CallInLoop(2, 3);
// i = 2;
// out <-- b[0];
//
//CHECK-LABEL: define void @..generated..loop.body.
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.
//CHECK-SAME: [[$F_ID_1:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]:
//CHECK-NEXT: br label %store1
Expand All @@ -69,7 +69,7 @@ component main = CallInLoop(2, 3);
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @..generated..loop.body.
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.
//CHECK-SAME: [[$F_ID_2:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_2]]:
//CHECK-NEXT: br label %call1
Expand Down Expand Up @@ -111,7 +111,7 @@ component main = CallInLoop(2, 3);
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @CallInLoop_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @CallInLoop_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [7 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/fib_input.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ template Fibonacci() {
component main = Fibonacci();

//// Use the block labels to check that the loop is NOT unrolled
//CHECK-LABEL: define void @Fibonacci_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @Fibonacci_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//CHECK-NOT: unrolled_loop{{.*}}:
//CHECK: loop.cond{{.*}}:
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/fib_template.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ template FibonacciTmpl(N) {

component main = FibonacciTmpl(5);

//CHECK-LABEL: define void @FibonacciTmpl_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @FibonacciTmpl_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//// Use the block labels to check that the loop is unrolled
//CHECK-NOT: loop.cond{{.*}}:
Expand Down
4 changes: 2 additions & 2 deletions circom/tests/loops/fixed_idx_in_fixed_idx.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ template EmulatedAesencRowShifting() {

component main = EmulatedAesencRowShifting();

//CHECK-LABEL: define void @..generated..loop.body.
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.
//CHECK-SAME: [[$F_ID_1:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0, i256* %fix_1){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]:
//CHECK-NEXT: br label %store1
Expand All @@ -45,7 +45,7 @@ component main = EmulatedAesencRowShifting();
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @EmulatedAesencRowShifting_0_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @EmulatedAesencRowShifting_0_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [17 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/for_known.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ template ForKnown(N) {

component main = ForKnown(10);

//CHECK-LABEL: define void @ForKnown_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @ForKnown_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//// Use the block labels to check that the loop is unrolled
//CHECK-NOT: loop.cond{{.*}}:
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/for_unknown.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ template ForUnknown() {
component main = ForUnknown();

//// Use the block labels to check that the loop is NOT unrolled
//CHECK-LABEL: define void @ForUnknown_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @ForUnknown_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//CHECK-NOT: unrolled_loop{{.*}}:
//CHECK: loop.cond{{.*}}:
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/for_unknown_index.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ template ForUnknownIndex() {
component main = ForUnknownIndex();

//// Use the block labels to check that the loop is NOT unrolled
//CHECK-LABEL: define void @ForUnknownIndex_{{[0-9]+}}_run
//CHECK-LABEL: define{{.*}} void @ForUnknownIndex_{{[0-9]+}}_run
//CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]])
//CHECK-NOT: unrolled_loop{{.*}}:
//CHECK: loop.cond{{.*}}:
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/init_nonzero.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ template NonZeroInit() {

component main = NonZeroInit();

//CHECK-LABEL: define void @NonZeroInit_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @NonZeroInit_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//
//CHECK: store{{[0-9]+}}:
//CHECK-NEXT: %[[VAR1:[0-9]+]] = getelementptr [1 x i256], [1 x i256]* %lvars, i32 0, i32 0
Expand Down
6 changes: 3 additions & 3 deletions circom/tests/loops/inner_conditional_1.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ template InnerConditional1(N) {

component main = InnerConditional1(10);

//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}.F([0 x i256]* %lvars, [0 x i256]* %signals){{.*}} {
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}.F([0 x i256]* %lvars, [0 x i256]* %signals){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F]]:
//CHECK-NEXT: br label %fold_false1
//CHECK-EMPTY:
Expand All @@ -58,7 +58,7 @@ component main = InnerConditional1(10);
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}.T([0 x i256]* %lvars, [0 x i256]* %signals){{.*}} {
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}.T([0 x i256]* %lvars, [0 x i256]* %signals){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.T]]:
//CHECK-NEXT: br label %fold_true1
//CHECK-EMPTY:
Expand All @@ -84,7 +84,7 @@ component main = InnerConditional1(10);
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @InnerConditional1_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @InnerConditional1_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [3 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8
Expand Down
2 changes: 1 addition & 1 deletion circom/tests/loops/inner_conditional_10.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ template Poseidon() {

component main = Poseidon();

//CHECK-LABEL: define void @Poseidon_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Poseidon_{{[0-9]+}}_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [2 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8
Expand Down
8 changes: 4 additions & 4 deletions circom/tests/loops/inner_conditional_11.circom
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ template Poseidon() {

component main = Poseidon();

//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+\.F\.F}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+\.F\.F}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F\.F]]:
//CHECK-NEXT: br label %fold_false1
Expand All @@ -46,7 +46,7 @@ component main = Poseidon();
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+\.F\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+\.F\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.F\.T]]:
//CHECK-NEXT: br label %fold_false1
Expand All @@ -73,7 +73,7 @@ component main = Poseidon();
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+\.T}}([0 x i256]* %lvars, [0 x i256]* %signals,
//CHECK-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} {
//CHECK-NEXT: ..generated..loop.body.[[$F_ID_3:[0-9]+\.T]]:
//CHECK-NEXT: br label %fold_true1
Expand All @@ -100,7 +100,7 @@ component main = Poseidon();
//CHECK-NEXT: ret void
//CHECK-NEXT: }
//
//CHECK-LABEL: define void @Poseidon_1_run([0 x i256]* %0){{.*}} {
//CHECK-LABEL: define{{.*}} void @Poseidon_1_run([0 x i256]* %0){{.*}} {
//CHECK-NEXT: prelude:
//CHECK-NEXT: %lvars = alloca [1 x i256], align 8
//CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8
Expand Down
Loading
Loading