From 95b83a7ee36054d0d6493412fde38f1cff603a4e Mon Sep 17 00:00:00 2001 From: Tim Hoffman Date: Tue, 24 Oct 2023 12:48:13 -0500 Subject: [PATCH] fix tests --- circom/tests/arrays/array8.circom | 6 +- circom/tests/arrays/array9.circom | 4 +- circom/tests/arrays/array_copy1.circom | 2 +- circom/tests/arrays/array_copy2.circom | 2 +- circom/tests/calls/call_with_array.circom | 4 +- .../calls/call_with_array_and_scalar.circom | 2 +- circom/tests/controlflow/van348F.circom | 4 +- circom/tests/controlflow/van544.circom | 2 +- circom/tests/loops/assign_in_loop_1.circom | 4 +- circom/tests/loops/assign_in_loop_2.circom | 14 ++--- circom/tests/loops/assign_in_loop_3.circom | 14 ++--- circom/tests/loops/call_inside_loop.circom | 6 +- circom/tests/loops/fib_input.circom | 2 +- circom/tests/loops/fib_template.circom | 2 +- .../tests/loops/fixed_idx_in_fixed_idx.circom | 4 +- circom/tests/loops/for_known.circom | 2 +- circom/tests/loops/for_unknown.circom | 2 +- circom/tests/loops/for_unknown_index.circom | 2 +- circom/tests/loops/init_nonzero.circom | 2 +- circom/tests/loops/inner_conditional_1.circom | 6 +- .../tests/loops/inner_conditional_10.circom | 2 +- .../tests/loops/inner_conditional_11.circom | 8 +-- circom/tests/loops/inner_conditional_2.circom | 10 ++-- circom/tests/loops/inner_conditional_3.circom | 4 +- circom/tests/loops/inner_conditional_4.circom | 6 +- circom/tests/loops/inner_conditional_5.circom | 10 ++-- circom/tests/loops/inner_conditional_6.circom | 4 +- circom/tests/loops/inner_conditional_7.circom | 8 +-- circom/tests/loops/inner_conditional_8.circom | 4 +- circom/tests/loops/inner_conditional_9.circom | 6 +- circom/tests/loops/inner_loop_simple.circom | 6 +- circom/tests/loops/inner_loops.circom | 6 +- circom/tests/loops/inner_loops2.circom | 12 ++-- circom/tests/loops/inner_loops3.circom | 12 ++-- circom/tests/loops/inner_loops4.circom | 6 +- circom/tests/loops/inner_loops5.circom | 4 +- circom/tests/loops/inner_loops6.circom | 6 +- circom/tests/loops/known_function.circom | 2 +- circom/tests/loops/known_signal_value.circom | 4 +- circom/tests/loops/simple_variant_idx.circom | 4 +- .../loops/unknown_index_from_array.circom | 2 +- .../loops/unknown_index_from_function.circom | 2 +- .../loops/unknown_local_array_index.circom | 2 +- .../tests/loops/unknown_loop_component.circom | 4 +- circom/tests/loops/unknown_loop_index.circom | 8 +-- circom/tests/loops/unknown_loop_oob.circom | 4 +- circom/tests/loops/vanguard-uc-comp.circom | 4 +- .../tests/loops/variant_idx_in_loop_A.circom | 4 +- .../tests/loops/variant_idx_in_loop_B.circom | 4 +- .../tests/loops/variant_idx_in_loop_C.circom | 2 +- .../subcmps/array_copy_constraints.circom | 2 +- circom/tests/subcmps/conv_map2idx_A.circom | 12 ++-- circom/tests/subcmps/conv_map2idx_B.circom | 12 ++-- circom/tests/subcmps/conv_map2idx_C.circom | 2 +- circom/tests/subcmps/large_array_param.circom | 8 +-- circom/tests/subcmps/mapped.circom | 10 ++-- circom/tests/subcmps/mapped2.circom | 10 ++-- circom/tests/subcmps/mapped3.circom | 28 ++++----- circom/tests/subcmps/mapped4.circom | 60 +++++++++---------- circom/tests/subcmps/subcmps0A.circom | 6 +- circom/tests/subcmps/subcmps0B.circom | 6 +- circom/tests/subcmps/subcmps0C.circom | 6 +- circom/tests/subcmps/subcmps0D.circom | 6 +- circom/tests/subcmps/subcmps1.circom | 4 +- circom/tests/subcmps/subcmps2.circom | 10 ++-- circom/tests/subcmps/subcmps3.circom | 10 ++-- circom/tests/type_conversions/bool_1.circom | 2 +- circom/tests/type_conversions/bool_2.circom | 2 +- circom/tests/type_conversions/bool_3.circom | 2 +- circom/tests/type_conversions/bool_4.circom | 2 +- .../tests/zzz/unreachable_code_crash.circom | 14 ++--- 71 files changed, 230 insertions(+), 230 deletions(-) diff --git a/circom/tests/arrays/array8.circom b/circom/tests/arrays/array8.circom index 2bfa1da79..f07688b8a 100644 --- a/circom/tests/arrays/array8.circom +++ b/circom/tests/arrays/array8.circom @@ -28,7 +28,7 @@ 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 @@ -36,12 +36,12 @@ component main = ArrayReturnTemplate(4); //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 diff --git a/circom/tests/arrays/array9.circom b/circom/tests/arrays/array9.circom index 2e24db45d..5eb163686 100644 --- a/circom/tests/arrays/array9.circom +++ b/circom/tests/arrays/array9.circom @@ -14,7 +14,7 @@ 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 @@ -22,7 +22,7 @@ component main = ArrayCopyTemplate(); //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 diff --git a/circom/tests/arrays/array_copy1.circom b/circom/tests/arrays/array_copy1.circom index 3317229d2..7d88ffad6 100644 --- a/circom/tests/arrays/array_copy1.circom +++ b/circom/tests/arrays/array_copy1.circom @@ -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 diff --git a/circom/tests/arrays/array_copy2.circom b/circom/tests/arrays/array_copy2.circom index 400ca754f..d4a099715 100644 --- a/circom/tests/arrays/array_copy2.circom +++ b/circom/tests/arrays/array_copy2.circom @@ -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 diff --git a/circom/tests/calls/call_with_array.circom b/circom/tests/calls/call_with_array.circom index 9f736893f..020ba32f3 100644 --- a/circom/tests/calls/call_with_array.circom +++ b/circom/tests/calls/call_with_array.circom @@ -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 @@ -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] diff --git a/circom/tests/calls/call_with_array_and_scalar.circom b/circom/tests/calls/call_with_array_and_scalar.circom index 1c93efbf4..756575127 100644 --- a/circom/tests/calls/call_with_array_and_scalar.circom +++ b/circom/tests/calls/call_with_array_and_scalar.circom @@ -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] diff --git a/circom/tests/controlflow/van348F.circom b/circom/tests/controlflow/van348F.circom index dcb16d3b8..2ab786b34 100644 --- a/circom/tests/controlflow/van348F.circom +++ b/circom/tests/controlflow/van348F.circom @@ -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 @@ -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 diff --git a/circom/tests/controlflow/van544.circom b/circom/tests/controlflow/van544.circom index 40d4acc70..290bb808d 100644 --- a/circom/tests/controlflow/van544.circom +++ b/circom/tests/controlflow/van544.circom @@ -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 diff --git a/circom/tests/loops/assign_in_loop_1.circom b/circom/tests/loops/assign_in_loop_1.circom index 54fba3e15..75dbeceea 100644 --- a/circom/tests/loops/assign_in_loop_1.circom +++ b/circom/tests/loops/assign_in_loop_1.circom @@ -24,7 +24,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]]: @@ -68,7 +68,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 diff --git a/circom/tests/loops/assign_in_loop_2.circom b/circom/tests/loops/assign_in_loop_2.circom index f6a7caa39..2a22110fe 100644 --- a/circom/tests/loops/assign_in_loop_2.circom +++ b/circom/tests/loops/assign_in_loop_2.circom @@ -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]* % diff --git a/circom/tests/loops/assign_in_loop_3.circom b/circom/tests/loops/assign_in_loop_3.circom index cef469df3..64f1aca39 100644 --- a/circom/tests/loops/assign_in_loop_3.circom +++ b/circom/tests/loops/assign_in_loop_3.circom @@ -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]* % diff --git a/circom/tests/loops/call_inside_loop.circom b/circom/tests/loops/call_inside_loop.circom index 95fc44437..6a53a4215 100644 --- a/circom/tests/loops/call_inside_loop.circom +++ b/circom/tests/loops/call_inside_loop.circom @@ -45,7 +45,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 @@ -70,7 +70,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 @@ -112,7 +112,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 diff --git a/circom/tests/loops/fib_input.circom b/circom/tests/loops/fib_input.circom index e821b45bb..f1962d5f2 100644 --- a/circom/tests/loops/fib_input.circom +++ b/circom/tests/loops/fib_input.circom @@ -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{{.*}}: diff --git a/circom/tests/loops/fib_template.circom b/circom/tests/loops/fib_template.circom index 003e1fcf1..3e6b8089e 100644 --- a/circom/tests/loops/fib_template.circom +++ b/circom/tests/loops/fib_template.circom @@ -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{{.*}}: diff --git a/circom/tests/loops/fixed_idx_in_fixed_idx.circom b/circom/tests/loops/fixed_idx_in_fixed_idx.circom index 3a9f6d140..78d1664c5 100644 --- a/circom/tests/loops/fixed_idx_in_fixed_idx.circom +++ b/circom/tests/loops/fixed_idx_in_fixed_idx.circom @@ -19,7 +19,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 @@ -46,7 +46,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 diff --git a/circom/tests/loops/for_known.circom b/circom/tests/loops/for_known.circom index acbecf2ed..7635ae5c0 100644 --- a/circom/tests/loops/for_known.circom +++ b/circom/tests/loops/for_known.circom @@ -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{{.*}}: diff --git a/circom/tests/loops/for_unknown.circom b/circom/tests/loops/for_unknown.circom index b3d522043..7a5c81102 100644 --- a/circom/tests/loops/for_unknown.circom +++ b/circom/tests/loops/for_unknown.circom @@ -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{{.*}}: diff --git a/circom/tests/loops/for_unknown_index.circom b/circom/tests/loops/for_unknown_index.circom index 091cbd8d7..9bf6356b4 100644 --- a/circom/tests/loops/for_unknown_index.circom +++ b/circom/tests/loops/for_unknown_index.circom @@ -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{{.*}}: diff --git a/circom/tests/loops/init_nonzero.circom b/circom/tests/loops/init_nonzero.circom index 9ac1520a6..542eb565b 100644 --- a/circom/tests/loops/init_nonzero.circom +++ b/circom/tests/loops/init_nonzero.circom @@ -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 diff --git a/circom/tests/loops/inner_conditional_1.circom b/circom/tests/loops/inner_conditional_1.circom index ca488de63..3ccb4e68b 100644 --- a/circom/tests/loops/inner_conditional_1.circom +++ b/circom/tests/loops/inner_conditional_1.circom @@ -33,7 +33,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: @@ -59,7 +59,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: @@ -85,7 +85,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 diff --git a/circom/tests/loops/inner_conditional_10.circom b/circom/tests/loops/inner_conditional_10.circom index ddc93e38e..4bac3ea42 100644 --- a/circom/tests/loops/inner_conditional_10.circom +++ b/circom/tests/loops/inner_conditional_10.circom @@ -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 diff --git a/circom/tests/loops/inner_conditional_11.circom b/circom/tests/loops/inner_conditional_11.circom index 12b303ad2..fb504ca2a 100644 --- a/circom/tests/loops/inner_conditional_11.circom +++ b/circom/tests/loops/inner_conditional_11.circom @@ -27,7 +27,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 @@ -47,7 +47,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 @@ -74,7 +74,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 @@ -101,7 +101,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 diff --git a/circom/tests/loops/inner_conditional_2.circom b/circom/tests/loops/inner_conditional_2.circom index 71421fb7b..ee753e7e0 100644 --- a/circom/tests/loops/inner_conditional_2.circom +++ b/circom/tests/loops/inner_conditional_2.circom @@ -30,7 +30,7 @@ template runner() { component main = runner(); -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store1 @@ -57,7 +57,7 @@ component main = runner(); //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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2]]: //CHECK-NEXT: br label %store1 @@ -84,7 +84,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional2_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional2_0_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [4 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -130,7 +130,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional2_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional2_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [4 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -178,7 +178,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @runner_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @runner_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/loops/inner_conditional_3.circom b/circom/tests/loops/inner_conditional_3.circom index ec6ffcc7a..ad45e30e7 100644 --- a/circom/tests/loops/inner_conditional_3.circom +++ b/circom/tests/loops/inner_conditional_3.circom @@ -22,7 +22,7 @@ template InnerConditional3(N) { component main = InnerConditional3(3); -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %branch1 @@ -68,7 +68,7 @@ component main = InnerConditional3(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional3_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional3_{{[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 diff --git a/circom/tests/loops/inner_conditional_4.circom b/circom/tests/loops/inner_conditional_4.circom index f5e58deb1..e908c16cd 100644 --- a/circom/tests/loops/inner_conditional_4.circom +++ b/circom/tests/loops/inner_conditional_4.circom @@ -19,7 +19,7 @@ template InnerConditional4(N) { component main = InnerConditional4(6); -//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-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F]]: //CHECK-NEXT: br label %fold_false1 @@ -43,7 +43,7 @@ component main = InnerConditional4(6); //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_2:[0-9]+\.T]]: //CHECK-NEXT: br label %fold_true1 @@ -68,7 +68,7 @@ component main = InnerConditional4(6); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional4_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional4_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/loops/inner_conditional_5.circom b/circom/tests/loops/inner_conditional_5.circom index a2887b8d9..aaeee5c56 100644 --- a/circom/tests/loops/inner_conditional_5.circom +++ b/circom/tests/loops/inner_conditional_5.circom @@ -27,7 +27,7 @@ template runner() { component main = runner(); -//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 @@ -49,7 +49,7 @@ component main = runner(); //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 %store1 @@ -71,7 +71,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional5_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional5_0_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 @@ -111,7 +111,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional5_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional5_1_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 @@ -154,7 +154,7 @@ component main = runner(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @runner_2_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @runner_2_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/loops/inner_conditional_6.circom b/circom/tests/loops/inner_conditional_6.circom index cd42cb635..085b73d61 100644 --- a/circom/tests/loops/inner_conditional_6.circom +++ b/circom/tests/loops/inner_conditional_6.circom @@ -27,7 +27,7 @@ template InnerConditional6(N) { component main = InnerConditional6(4); -//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_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store1 @@ -75,7 +75,7 @@ component main = InnerConditional6(4); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional6_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional6_{{[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 diff --git a/circom/tests/loops/inner_conditional_7.circom b/circom/tests/loops/inner_conditional_7.circom index 72374e5e2..6f880de72 100644 --- a/circom/tests/loops/inner_conditional_7.circom +++ b/circom/tests/loops/inner_conditional_7.circom @@ -29,7 +29,7 @@ template InnerConditional7(N) { component main = InnerConditional7(3); -//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-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F]]: //CHECK-NEXT: br label %fold_false1 @@ -54,7 +54,7 @@ component main = InnerConditional7(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//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-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.F]]: //CHECK-NEXT: br label %fold_false1 @@ -79,7 +79,7 @@ component main = InnerConditional7(3); //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]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_3:[0-9]+\.T]]: //CHECK-NEXT: br label %fold_true1 @@ -101,7 +101,7 @@ component main = InnerConditional7(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional7_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional7_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [6 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/loops/inner_conditional_8.circom b/circom/tests/loops/inner_conditional_8.circom index 7dc46fd06..79588f08c 100644 --- a/circom/tests/loops/inner_conditional_8.circom +++ b/circom/tests/loops/inner_conditional_8.circom @@ -23,7 +23,7 @@ template InnerConditional8(N) { component main = InnerConditional8(4); -//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_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]], i256* %fix_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store1 @@ -87,7 +87,7 @@ component main = InnerConditional8(4); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional8_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional8_0_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 diff --git a/circom/tests/loops/inner_conditional_9.circom b/circom/tests/loops/inner_conditional_9.circom index 9f87ead96..4ee375077 100644 --- a/circom/tests/loops/inner_conditional_9.circom +++ b/circom/tests/loops/inner_conditional_9.circom @@ -26,7 +26,7 @@ template InnerConditional9(N) { component main = InnerConditional9(4); -//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-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]], i256* %fix_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F]]: //CHECK-NEXT: br label %fold_false1 @@ -70,7 +70,7 @@ component main = InnerConditional9(4); //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]+]], i256* %fix_[[X3:[0-9]+]], i256* %fix_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.T]]: //CHECK-NEXT: br label %fold_true1 @@ -114,7 +114,7 @@ component main = InnerConditional9(4); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerConditional9_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerConditional9_0_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 diff --git a/circom/tests/loops/inner_loop_simple.circom b/circom/tests/loops/inner_loop_simple.circom index 670db5be6..4f82b2bc2 100644 --- a/circom/tests/loops/inner_loop_simple.circom +++ b/circom/tests/loops/inner_loop_simple.circom @@ -21,7 +21,7 @@ component main = InnerLoops(2, 3); // %0 (i.e. signal arena) = { out, in[0], in[1], in[2] } // %lvars = { n, m, b[0], b[1], i, j } // -//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 %store{{[0-9]+}} @@ -50,7 +50,7 @@ component main = InnerLoops(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 %store{{[0-9]+}} @@ -79,7 +79,7 @@ component main = InnerLoops(2, 3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %6 = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 5 //CHECK-NEXT: store i256 0, i256* %6, align 4 diff --git a/circom/tests/loops/inner_loops.circom b/circom/tests/loops/inner_loops.circom index bee25691a..112467068 100644 --- a/circom/tests/loops/inner_loops.circom +++ b/circom/tests/loops/inner_loops.circom @@ -31,7 +31,7 @@ component main = InnerLoops(2); // b[1] = b[1] + a[1 - 0 = 1]; //extracted function 2 // b[1] = b[1] + a[1 - 1 = 0]; //extracted function 2 // -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store1 @@ -76,7 +76,7 @@ component main = InnerLoops(2); //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 %store1 @@ -113,7 +113,7 @@ component main = InnerLoops(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %5 = getelementptr [5 x i256], [5 x i256]* %lvars, i32 0, i32 4 //CHECK-NEXT: store i256 0, i256* %5, align 4 diff --git a/circom/tests/loops/inner_loops2.circom b/circom/tests/loops/inner_loops2.circom index f84ab58b8..ea4ecfbf2 100644 --- a/circom/tests/loops/inner_loops2.circom +++ b/circom/tests/loops/inner_loops2.circom @@ -35,7 +35,7 @@ template InnerLoops(n) { component main = InnerLoops(5); -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -56,7 +56,7 @@ component main = InnerLoops(5); //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 %store{{[0-9]+}} @@ -80,7 +80,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_3:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_3]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -104,7 +104,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_4:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_4]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -128,7 +128,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_5:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_5]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -152,7 +152,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %9 = bitcast [8 x i256]* %lvars to [0 x i256]* //CHECK-NEXT: call void @..generated..loop.body.[[$F_ID_1]]([0 x i256]* %9, [0 x i256]* %0) diff --git a/circom/tests/loops/inner_loops3.circom b/circom/tests/loops/inner_loops3.circom index 0a611d0fd..4b999af75 100644 --- a/circom/tests/loops/inner_loops3.circom +++ b/circom/tests/loops/inner_loops3.circom @@ -26,7 +26,7 @@ template InnerLoops(n) { component main = InnerLoops(5); -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -47,7 +47,7 @@ component main = InnerLoops(5); //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 %store{{[0-9]+}} @@ -71,7 +71,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_3:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_3]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -95,7 +95,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_4:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_4]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -119,7 +119,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID_5:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_5]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -143,7 +143,7 @@ component main = InnerLoops(5); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %8 = bitcast [7 x i256]* %lvars to [0 x i256]* //CHECK-NEXT: call void @..generated..loop.body.[[$F_ID_1]]([0 x i256]* %8, [0 x i256]* %0) diff --git a/circom/tests/loops/inner_loops4.circom b/circom/tests/loops/inner_loops4.circom index e45d50e48..3cc1d67bb 100644 --- a/circom/tests/loops/inner_loops4.circom +++ b/circom/tests/loops/inner_loops4.circom @@ -32,7 +32,7 @@ component main = InnerLoops(2); // b[1] = a[1]; // b[1] = a[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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -69,7 +69,7 @@ component main = InnerLoops(2); //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 %store{{[0-9]+}} @@ -98,7 +98,7 @@ component main = InnerLoops(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @InnerLoops_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %6 = getelementptr [5 x i256], [5 x i256]* %lvars, i32 0, i32 3 //CHECK-NEXT: store i256 0, i256* %6, align 4 diff --git a/circom/tests/loops/inner_loops5.circom b/circom/tests/loops/inner_loops5.circom index 5a886c77a..f3f71cd52 100644 --- a/circom/tests/loops/inner_loops5.circom +++ b/circom/tests/loops/inner_loops5.circom @@ -20,7 +20,7 @@ template Num2Bits(n) { component main = Num2Bits(4); -//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){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1]]: //CHECK-NEXT: br label %store{{[0-9]+}} @@ -73,7 +73,7 @@ component main = Num2Bits(4); //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: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %4 = bitcast [4 x i256]* %lvars to [0 x i256]* //CHECK-NEXT: call void @..generated..loop.body.[[$F_ID_1]]([0 x i256]* %4, [0 x i256]* %0) diff --git a/circom/tests/loops/inner_loops6.circom b/circom/tests/loops/inner_loops6.circom index 367bc0409..79189f03e 100644 --- a/circom/tests/loops/inner_loops6.circom +++ b/circom/tests/loops/inner_loops6.circom @@ -36,7 +36,7 @@ component main = Num2Bits(2); // out[2] = in; // out[3] = in; // -//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 %store{{[0-9]+}} @@ -60,7 +60,7 @@ component main = Num2Bits(2); //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 %store{{[0-9]+}} @@ -84,7 +84,7 @@ component main = Num2Bits(2); //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: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %3 = getelementptr [3 x i256], [3 x i256]* %lvars, i32 0, i32 2 //CHECK-NEXT: store i256 0, i256* %3, align 4 diff --git a/circom/tests/loops/known_function.circom b/circom/tests/loops/known_function.circom index d88d7b790..49aecce73 100644 --- a/circom/tests/loops/known_function.circom +++ b/circom/tests/loops/known_function.circom @@ -25,7 +25,7 @@ template KnownFunctionArgs() { component main = KnownFunctionArgs(); -//CHECK-LABEL: define void @KnownFunctionArgs_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @KnownFunctionArgs_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //// Check storing initial constant values to 'out' //CHECK: store{{[0-9]+}}: diff --git a/circom/tests/loops/known_signal_value.circom b/circom/tests/loops/known_signal_value.circom index 881e15fa8..42d7ef923 100644 --- a/circom/tests/loops/known_signal_value.circom +++ b/circom/tests/loops/known_signal_value.circom @@ -23,7 +23,7 @@ template KnownLoopViaSignal() { component main = KnownLoopViaSignal(); //// Use the block labels to check that the loop is NOT unrolled -//CHECK-LABEL: define void @accumulate_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @accumulate_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: unrolled_loop{{.*}}: //CHECK: loop.cond{{.*}}: @@ -33,7 +33,7 @@ component main = KnownLoopViaSignal(); //CHECK: } //// Use the block labels to check that no loop related blocks are present -//CHECK-LABEL: define void @KnownLoopViaSignal_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @KnownLoopViaSignal_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: {{.*}}loop{{.*}}: //CHECK: } diff --git a/circom/tests/loops/simple_variant_idx.circom b/circom/tests/loops/simple_variant_idx.circom index a6f72c3da..94b18acca 100644 --- a/circom/tests/loops/simple_variant_idx.circom +++ b/circom/tests/loops/simple_variant_idx.circom @@ -24,7 +24,7 @@ component main = SimpleVariantIdx(3); // %lvars = [ n, lc, i ] // %subcmps = [] // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]]){{.*}} { //CHECK: store{{[0-9]+}}: //CHECK-NEXT: %0 = getelementptr [0 x i256], [0 x i256]* %signals, i32 0, i32 3 @@ -52,7 +52,7 @@ component main = SimpleVariantIdx(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SimpleVariantIdx_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @SimpleVariantIdx_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %4 = bitcast [3 x i256]* %lvars to [0 x i256]* diff --git a/circom/tests/loops/unknown_index_from_array.circom b/circom/tests/loops/unknown_index_from_array.circom index a1f033191..0214e955a 100644 --- a/circom/tests/loops/unknown_index_from_array.circom +++ b/circom/tests/loops/unknown_index_from_array.circom @@ -17,7 +17,7 @@ component main = Example(3); // %0 (i.e. signal arena) = { c[0], c[1], c[2] , a[0], a[1], a[2], b[0], b[1], b[2] } // %lvars = { n, i } // -//CHECK-LABEL: define void @Example_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @Example_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NOT: call void @..generated..loop.body.{{.*}} diff --git a/circom/tests/loops/unknown_index_from_function.circom b/circom/tests/loops/unknown_index_from_function.circom index 7f45c66ef..2ace9b198 100644 --- a/circom/tests/loops/unknown_index_from_function.circom +++ b/circom/tests/loops/unknown_index_from_function.circom @@ -26,7 +26,7 @@ component main = Example(3); // %0 (i.e. signal arena) { c[0], c[1], c[2] , a[0], a[1], a[2], b } // %lvars = { n, i, } // -//CHECK-LABEL: define void @Example_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @Example_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NOT: call void @..generated..loop.body.{{.*}} diff --git a/circom/tests/loops/unknown_local_array_index.circom b/circom/tests/loops/unknown_local_array_index.circom index 2cdcf38be..5796cdd80 100644 --- a/circom/tests/loops/unknown_local_array_index.circom +++ b/circom/tests/loops/unknown_local_array_index.circom @@ -23,7 +23,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{{.*}}: diff --git a/circom/tests/loops/unknown_loop_component.circom b/circom/tests/loops/unknown_loop_component.circom index 53ffd97af..671582d64 100644 --- a/circom/tests/loops/unknown_loop_component.circom +++ b/circom/tests/loops/unknown_loop_component.circom @@ -26,7 +26,7 @@ template UnknownLoopComponent() { component main = UnknownLoopComponent(); //// Use the block labels to check that the loop is NOT unrolled -//CHECK-LABEL: define void @nbits_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @nbits_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: unrolled_loop{{.*}}: //CHECK: loop.cond{{.*}}: @@ -36,7 +36,7 @@ component main = UnknownLoopComponent(); //CHECK: } //// Use the block labels to check that no loop related blocks are present -//CHECK-LABEL: define void @UnknownLoopComponent_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @UnknownLoopComponent_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: {{.*}}loop{{.*}}: //CHECK: } diff --git a/circom/tests/loops/unknown_loop_index.circom b/circom/tests/loops/unknown_loop_index.circom index 9b75d7e9d..2ed2e1ba3 100644 --- a/circom/tests/loops/unknown_loop_index.circom +++ b/circom/tests/loops/unknown_loop_index.circom @@ -67,7 +67,7 @@ template UnknownLoopIndex(n) { component main = UnknownLoopIndex(100); //// Use the block labels to check that the loop is unrolled -//CHECK-LABEL: define void @Num2Bits_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @Num2Bits_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: loop.cond{{.*}}: //CHECK-NOT: loop.body{{.*}}: @@ -79,13 +79,13 @@ component main = UnknownLoopIndex(100); //CHECK: } //// Use the block labels to check that no loop related blocks are present -//CHECK-LABEL: define void @LessThan_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @LessThan_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: {{.*}}loop{{.*}}: //CHECK: } //// Use the block labels to check that the loop is NOT unrolled -//CHECK-LABEL: define void @CountDown_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @CountDown_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: unrolled_loop{{.*}}: //CHECK: loop.cond{{.*}}: @@ -95,7 +95,7 @@ component main = UnknownLoopIndex(100); //CHECK: } //// Use the block labels to check that no loop related blocks are present -//CHECK-LABEL: define void @UnknownLoopIndex_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @UnknownLoopIndex_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: {{.*}}loop{{.*}}: //CHECK: } diff --git a/circom/tests/loops/unknown_loop_oob.circom b/circom/tests/loops/unknown_loop_oob.circom index 6b8c03676..4e9d7e832 100644 --- a/circom/tests/loops/unknown_loop_oob.circom +++ b/circom/tests/loops/unknown_loop_oob.circom @@ -25,7 +25,7 @@ template UnknownLoopOOB() { component main = UnknownLoopOOB(); //// Use the block labels to check that the loop is NOT unrolled -//CHECK-LABEL: define void @accumulate_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @accumulate_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: unrolled_loop{{.*}}: //CHECK: loop.cond{{.*}}: @@ -35,7 +35,7 @@ component main = UnknownLoopOOB(); //CHECK: } //// Use the block labels to check that no loop related blocks are present -//CHECK-LABEL: define void @UnknownLoopOOB_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @UnknownLoopOOB_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK-NOT: {{.*}}loop{{.*}}: //CHECK: } diff --git a/circom/tests/loops/vanguard-uc-comp.circom b/circom/tests/loops/vanguard-uc-comp.circom index 27e7ff0fb..4038a2287 100644 --- a/circom/tests/loops/vanguard-uc-comp.circom +++ b/circom/tests/loops/vanguard-uc-comp.circom @@ -25,7 +25,7 @@ component main = Num2Bits(2); // %lvars = [ n, lc1, e2, i ] // %subcmps = [] // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]], i256* %fix_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID]]: //CHECK-NEXT: br label %store1 @@ -89,7 +89,7 @@ component main = Num2Bits(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @Num2Bits_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @Num2Bits_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %5 = bitcast [4 x i256]* %lvars to [0 x i256]* diff --git a/circom/tests/loops/variant_idx_in_loop_A.circom b/circom/tests/loops/variant_idx_in_loop_A.circom index 64c8237db..2af2b4dc4 100644 --- a/circom/tests/loops/variant_idx_in_loop_A.circom +++ b/circom/tests/loops/variant_idx_in_loop_A.circom @@ -18,7 +18,7 @@ component main = VariantIndex(2); // %lvars = [ n, i ] // %subcmps = [] // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK: store{{[0-9]+}}: //CHECK-NEXT: %0 = getelementptr [0 x i256], [0 x i256]* %signals, i32 0, i32 2 @@ -42,7 +42,7 @@ component main = VariantIndex(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @VariantIndex_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @VariantIndex_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %3 = bitcast [2 x i256]* %lvars to [0 x i256]* diff --git a/circom/tests/loops/variant_idx_in_loop_B.circom b/circom/tests/loops/variant_idx_in_loop_B.circom index 52625cfad..2f9e38ced 100644 --- a/circom/tests/loops/variant_idx_in_loop_B.circom +++ b/circom/tests/loops/variant_idx_in_loop_B.circom @@ -20,7 +20,7 @@ component main = VariantIndex(2); // %lvars = [ n, temp[0], temp[1], i ] // %subcmps = [] // -//CHECK-LABEL: define void @..generated..loop.body. +//CHECK-LABEL: define{{.*}} void @..generated..loop.body. //CHECK-SAME: [[$F_ID:[0-9]+]]([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0){{.*}} { //CHECK: store{{[0-9]+}}: //CHECK-NEXT: %0 = getelementptr [0 x i256], [0 x i256]* %signals, i32 0, i32 1 @@ -44,7 +44,7 @@ component main = VariantIndex(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @VariantIndex_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @VariantIndex_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NEXT: %5 = bitcast [4 x i256]* %lvars to [0 x i256]* diff --git a/circom/tests/loops/variant_idx_in_loop_C.circom b/circom/tests/loops/variant_idx_in_loop_C.circom index f3313bc95..29b9297cf 100644 --- a/circom/tests/loops/variant_idx_in_loop_C.circom +++ b/circom/tests/loops/variant_idx_in_loop_C.circom @@ -23,7 +23,7 @@ component main = VariantIndex(2); // %lvars = [ n, lc1, e2, i ] // %subcmps = [] // -//CHECK-LABEL: define void @VariantIndex_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @VariantIndex_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %[[ARG:[0-9]+]]) //CHECK: unrolled_loop{{[0-9]+}}: //CHECK-NOT: call void @..generated..loop.body.{{.*}} diff --git a/circom/tests/subcmps/array_copy_constraints.circom b/circom/tests/subcmps/array_copy_constraints.circom index c2e5b8e2e..0aa085801 100644 --- a/circom/tests/subcmps/array_copy_constraints.circom +++ b/circom/tests/subcmps/array_copy_constraints.circom @@ -26,7 +26,7 @@ template Caller(n) { component main = Caller(5); -//CHECK-LABEL: define void @Caller_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @Caller_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %0) //CHECK: store{{[0-9]+}}: ; preds = %create_cmp{{[0-9]+}} //CHECK: %[[SUBCMP_PTR:[0-9]+]] = getelementptr [1 x { [0 x i256]*, i32 }], [1 x { [0 x i256]*, i32 }]* %subcmps, i32 0, i32 0, i32 0 diff --git a/circom/tests/subcmps/conv_map2idx_A.circom b/circom/tests/subcmps/conv_map2idx_A.circom index a3c2e43d0..9d9b5230a 100644 --- a/circom/tests/subcmps/conv_map2idx_A.circom +++ b/circom/tests/subcmps/conv_map2idx_A.circom @@ -19,7 +19,7 @@ template ComputeValue() { component main = ComputeValue(); -//CHECK-LABEL: define void @GetWeight_0_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_0_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [1 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -30,7 +30,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_0_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [1 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -45,7 +45,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_1_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_1_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [1 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -56,7 +56,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [1 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -71,7 +71,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @ComputeValue_2_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ComputeValue_2_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [0 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -81,7 +81,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @ComputeValue_2_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ComputeValue_2_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/conv_map2idx_B.circom b/circom/tests/subcmps/conv_map2idx_B.circom index 7fe243854..27e5bef79 100644 --- a/circom/tests/subcmps/conv_map2idx_B.circom +++ b/circom/tests/subcmps/conv_map2idx_B.circom @@ -22,7 +22,7 @@ template ComputeValue() { component main = ComputeValue(); -//CHECK-LABEL: define void @GetWeight_0_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_0_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [3 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -33,7 +33,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_0_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -58,7 +58,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_1_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_1_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [3 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -69,7 +69,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @GetWeight_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @GetWeight_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -94,7 +94,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @ComputeValue_2_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ComputeValue_2_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %1 = alloca [2 x i256], align 8 //CHECK-NEXT: %2 = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 @@ -105,7 +105,7 @@ component main = ComputeValue(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @ComputeValue_2_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ComputeValue_2_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/conv_map2idx_C.circom b/circom/tests/subcmps/conv_map2idx_C.circom index e598c3981..028e58c36 100644 --- a/circom/tests/subcmps/conv_map2idx_C.circom +++ b/circom/tests/subcmps/conv_map2idx_C.circom @@ -37,7 +37,7 @@ component main = EscalarMulFix(); //CHECK-NOT: ..generated..loop.body. // -//CHECK-LABEL: define void @EscalarMulFix_2_run([0 x i256]* %0) +//CHECK-LABEL: define{{.*}} void @EscalarMulFix_2_run([0 x i256]* %0) //CHECK: store i256 999 //CHECK: store i256 999 //CHECK: store i256 999 diff --git a/circom/tests/subcmps/large_array_param.circom b/circom/tests/subcmps/large_array_param.circom index 7ae353a95..e9d71a059 100644 --- a/circom/tests/subcmps/large_array_param.circom +++ b/circom/tests/subcmps/large_array_param.circom @@ -58,7 +58,7 @@ template Main(t) { component main = Main(2); -//CHECK-LABEL: define void @..generated..array.param. +//CHECK-LABEL: define{{.*}} void @..generated..array.param. //CHECK-SAME: [[$F_ID_1:[0-9]+]]([0 x i256]* %lvars){{.*}} { //CHECK-NEXT: ..generated..array.param.[[$F_ID_1]]: //CHECK-NEXT: br label %store1 @@ -88,9 +88,9 @@ component main = Main(2); //CHECK-NEXT: } // //There is only 1 produced, no duplicates -//CHECK-NOT: define void @..generated..array.param. +//CHECK-NOT: define{{.*}} void @..generated..array.param. // -//CHECK-LABEL: define void @Mixer_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Mixer_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [8 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -123,7 +123,7 @@ component main = Main(2); //CHECK-EMPTY: //CHECK-NEXT: unrolled_loop6: // -//CHECK-LABEL: define void @Mixer_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Mixer_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [8 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/mapped.circom b/circom/tests/subcmps/mapped.circom index ed3eab483..1bd72bc23 100644 --- a/circom/tests/subcmps/mapped.circom +++ b/circom/tests/subcmps/mapped.circom @@ -41,7 +41,7 @@ template B(n) { component main = B(2); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, //CHECK-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+]]: //CHECK-NEXT: br label %store1 @@ -71,7 +71,7 @@ component main = B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, //CHECK-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+]]: //CHECK-NEXT: br label %store1 @@ -101,7 +101,7 @@ component main = B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @A_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @A_0_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -149,7 +149,7 @@ component main = B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @A_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @A_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -187,7 +187,7 @@ component main = B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @B_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @B_{{[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 diff --git a/circom/tests/subcmps/mapped2.circom b/circom/tests/subcmps/mapped2.circom index cfb12afd3..f5c602629 100644 --- a/circom/tests/subcmps/mapped2.circom +++ b/circom/tests/subcmps/mapped2.circom @@ -58,7 +58,7 @@ template B(n, m, j) { component main = B(2, 3, 2); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0, i256* %fix_1){{.*}} { +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0, i256* %fix_1){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+]]: //CHECK-NEXT: br label %store1 //CHECK-EMPTY: @@ -85,7 +85,7 @@ component main = B(2, 3, 2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0, i256* %fix_1){{.*}} { +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, i256* %fix_0, i256* %fix_1){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+]]: //CHECK-NEXT: br label %store1 //CHECK-EMPTY: @@ -112,7 +112,7 @@ component main = B(2, 3, 2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @A_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @A_0_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -148,7 +148,7 @@ component main = B(2, 3, 2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @A_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @A_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [2 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -188,7 +188,7 @@ component main = B(2, 3, 2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @B_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @B_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [5 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [4 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/mapped3.circom b/circom/tests/subcmps/mapped3.circom index db960d89a..d814f600d 100644 --- a/circom/tests/subcmps/mapped3.circom +++ b/circom/tests/subcmps/mapped3.circom @@ -32,29 +32,29 @@ template Wrapper() { component main = Wrapper(); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_4:[0-9]+]]: // -//CHECK-LABEL: define void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @ArrayOp_ +//CHECK-LABEL: define{{.*}} void @ArrayOp_ //CHECK-SAME: [[$RUN_1:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK: call void @..generated..loop.body.[[$F_ID_1]]( //CHECK: call void @..generated..loop.body.[[$F_ID_1]]( @@ -72,13 +72,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_1]]( //CHECK: call void @..generated..loop.body.[[$F_ID_1]]( // -//CHECK-LABEL: define void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] -//CHECK-LABEL: define void @ArrayOp_ +//CHECK-LABEL: define{{.*}} void @ArrayOp_ //CHECK-SAME: [[$RUN_2:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK: call void @..generated..loop.body.[[$F_ID_2]]( //CHECK: call void @..generated..loop.body.[[$F_ID_2]]( @@ -96,13 +96,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_2]]( //CHECK: call void @..generated..loop.body.[[$F_ID_2]]( // -//CHECK-LABEL: define void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @ArrayOp_ +//CHECK-LABEL: define{{.*}} void @ArrayOp_ //CHECK-SAME: [[$RUN_3:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK: call void @..generated..loop.body.[[$F_ID_3]]( //CHECK: call void @..generated..loop.body.[[$F_ID_3]]( @@ -120,13 +120,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_3]]( //CHECK: call void @..generated..loop.body.[[$F_ID_3]]( // -//CHECK-LABEL: define void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @ArrayOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @ArrayOp_ +//CHECK-LABEL: define{{.*}} void @ArrayOp_ //CHECK-SAME: [[$RUN_4:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK: call void @..generated..loop.body.[[$F_ID_4]]( //CHECK: call void @..generated..loop.body.[[$F_ID_4]]( @@ -144,13 +144,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_4]]( //CHECK: call void @..generated..loop.body.[[$F_ID_4]]( // -//CHECK-LABEL: define void @Wrapper_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Wrapper_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [16 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %{{.*}}[[COUNTER]] // -//CHECK-LABEL: define void @Wrapper_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Wrapper_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: %lvars = alloca [2 x i256] //CHECK: unrolled_loop{{[0-9]+}}: //CHECK: call void @ArrayOp_[[$RUN_1]]_run([0 x i256]* % diff --git a/circom/tests/subcmps/mapped4.circom b/circom/tests/subcmps/mapped4.circom index 9e9b00c16..f34680977 100644 --- a/circom/tests/subcmps/mapped4.circom +++ b/circom/tests/subcmps/mapped4.circom @@ -36,93 +36,93 @@ template Wrapper() { component main = Wrapper(); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_01:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_02:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_03:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_04:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_05:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_06:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_07:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_08:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_09:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_10:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_11:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_12:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_13:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_14:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_15:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_16:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_17:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_18:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_19:[0-9]+]]: // -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([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_20:[0-9]+]]: // -//CHECK-LABEL: define void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @MatrixOp_ +//CHECK-LABEL: define{{.*}} void @MatrixOp_ //CHECK-SAME: [[$RUN_1:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [3 x i256] @@ -143,13 +143,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_05]]( //CHECK: call void @..generated..loop.body.[[$F_ID_05]]( // -//CHECK-LABEL: define void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @MatrixOp_ +//CHECK-LABEL: define{{.*}} void @MatrixOp_ //CHECK-SAME: [[$RUN_2:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [3 x i256] @@ -170,13 +170,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_10]]( //CHECK: call void @..generated..loop.body.[[$F_ID_10]]( // -//CHECK-LABEL: define void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @MatrixOp_ +//CHECK-LABEL: define{{.*}} void @MatrixOp_ //CHECK-SAME: [[$RUN_3:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [3 x i256] @@ -197,13 +197,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_15]]( //CHECK: call void @..generated..loop.body.[[$F_ID_15]]( // -//CHECK-LABEL: define void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @MatrixOp_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [30 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %[[COUNTER]] // -//CHECK-LABEL: define void @MatrixOp_ +//CHECK-LABEL: define{{.*}} void @MatrixOp_ //CHECK-SAME: [[$RUN_4:[0-9]+]]_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [3 x i256] @@ -224,13 +224,13 @@ component main = Wrapper(); //CHECK: call void @..generated..loop.body.[[$F_ID_20]]( //CHECK: call void @..generated..loop.body.[[$F_ID_20]]( // -//CHECK-LABEL: define void @Wrapper_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Wrapper_{{[0-9]+}}_build({ [0 x i256]*, i32 }* %0){{.*}} { //CHECK-NEXT: main: //CHECK-NEXT: %[[SIGNALS:.*]] = alloca [16 x i256] //CHECK-NEXT: %[[COUNTER:.*]] = getelementptr { [0 x i256]*, i32 }, { [0 x i256]*, i32 }* %0, i32 0, i32 1 //CHECK-NEXT: store i32 15, i32* %{{.*}}[[COUNTER]] // -//CHECK-LABEL: define void @Wrapper_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Wrapper_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: %lvars = alloca [3 x i256] //CHECK: unrolled_loop{{[0-9]+}}: //CHECK: call void @MatrixOp_[[$RUN_1]]_run([0 x i256]* % diff --git a/circom/tests/subcmps/subcmps0A.circom b/circom/tests/subcmps/subcmps0A.circom index ed77a72e8..38a14ecee 100644 --- a/circom/tests/subcmps/subcmps0A.circom +++ b/circom/tests/subcmps/subcmps0A.circom @@ -25,7 +25,7 @@ template SubCmps0A(n) { component main = SubCmps0A(2); -//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* %fix_[[X3:[0-9]+]], //CHECK-SAME: i256* %subfix_[[X4:[0-9]+]], [0 x i256]* %sub_[[X4]], i256* %subc_[[X4]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.T]]: @@ -69,7 +69,7 @@ component main = SubCmps0A(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -87,7 +87,7 @@ component main = SubCmps0A(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps0A_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps0A_{{[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 diff --git a/circom/tests/subcmps/subcmps0B.circom b/circom/tests/subcmps/subcmps0B.circom index f3f61f375..b29f71ff6 100644 --- a/circom/tests/subcmps/subcmps0B.circom +++ b/circom/tests/subcmps/subcmps0B.circom @@ -26,7 +26,7 @@ template SubCmps0B(n) { component main = SubCmps0B(2); -//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* %fix_[[X3:[0-9]+]], i256* %subfix_[[X4:[0-9]+]], //CHECK-SAME: i256* %subfix_[[X5:[0-9]+]], [0 x i256]* %sub_[[X5]], i256* %subc_[[X5]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.T]]: @@ -77,7 +77,7 @@ component main = SubCmps0B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -95,7 +95,7 @@ component main = SubCmps0B(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps0B_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps0B_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [3 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [2 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/subcmps0C.circom b/circom/tests/subcmps/subcmps0C.circom index 2b3cfacc8..d11e0f381 100644 --- a/circom/tests/subcmps/subcmps0C.circom +++ b/circom/tests/subcmps/subcmps0C.circom @@ -24,7 +24,7 @@ template SubCmps0C(n) { component main = SubCmps0C(2); -//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* %fix_[[X3:[0-9]+]], //CHECK-SAME: i256* %subfix_[[X4:[0-9]+]], [0 x i256]* %sub_[[X4]], i256* %subc_[[X4]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.T]]: @@ -68,7 +68,7 @@ component main = SubCmps0C(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @IsZero_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -96,7 +96,7 @@ component main = SubCmps0C(2); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps0C_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps0C_{{[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 diff --git a/circom/tests/subcmps/subcmps0D.circom b/circom/tests/subcmps/subcmps0D.circom index 5a34bb8fd..aabd0fdaa 100644 --- a/circom/tests/subcmps/subcmps0D.circom +++ b/circom/tests/subcmps/subcmps0D.circom @@ -25,7 +25,7 @@ template SubCmps0D(n) { component main = SubCmps0D(3); -//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* %subfix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %subfix_[[X3:[0-9]+]], i256* %fix_[[X4:[0-9]+]], //CHECK-SAME: i256* %fix_[[X5:[0-9]+]], i256* %subfix_[[X6:[0-9]+]], [0 x i256]* %sub_[[X6]], i256* %subc_[[X6]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+\.F\.T]]: @@ -86,7 +86,7 @@ component main = SubCmps0D(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @Add_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Add_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [0 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [0 x { [0 x i256]*, i32 }], align 8 @@ -106,7 +106,7 @@ component main = SubCmps0D(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps0D_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps0D_{{[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 diff --git a/circom/tests/subcmps/subcmps1.circom b/circom/tests/subcmps/subcmps1.circom index fbf635345..85559313a 100644 --- a/circom/tests/subcmps/subcmps1.circom +++ b/circom/tests/subcmps/subcmps1.circom @@ -35,7 +35,7 @@ component main = SubCmps1(3); // %lvars = [ n, i ] // %subcmps = [ IsZero[0]{signals=[out,in,inv]}, IsZero[1]{SAME} ] // -//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* %fix_[[X3:[0-9]+]], //CHECK-SAME: i256* %subfix_[[X4:[0-9]+]], [0 x i256]* %sub_[[X4]], i256* %subc_[[X4]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID:[0-9]+\.T]]: @@ -85,7 +85,7 @@ component main = SubCmps1(3); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps1_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps1_{{[0-9]+}}_run([0 x i256]* %0){{.*}} { //CHECK: unrolled_loop5: //CHECK-NEXT: %[[T07:[0-9]+]] = bitcast [2 x i256]* %lvars to [0 x i256]* //CHECK-NEXT: %[[T08:[0-9]+]] = getelementptr [3 x { [0 x i256]*, i32 }], [3 x { [0 x i256]*, i32 }]* %subcmps, i32 0, i32 0, i32 0 diff --git a/circom/tests/subcmps/subcmps2.circom b/circom/tests/subcmps/subcmps2.circom index 1aacf7ab4..5ef218e28 100644 --- a/circom/tests/subcmps/subcmps2.circom +++ b/circom/tests/subcmps/subcmps2.circom @@ -35,7 +35,7 @@ template Caller() { component main = Caller(); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, //CHECK-SAME: i256* %fix_[[X1:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+]]: //CHECK-NEXT: br label %store1 @@ -62,7 +62,7 @@ component main = Caller(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//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-SAME: i256* %subfix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], [0 x i256]* %sub_[[X3:[0-9]+]], i256* %subc_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.F]]: //CHECK-NEXT: br label %call1 @@ -104,7 +104,7 @@ component main = Caller(); //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* %subfix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], [0 x i256]* %sub_[[X3:[0-9]+]], i256* %subc_[[X4:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_3:[0-9]+\.T]]: //CHECK-NEXT: br label %call1 @@ -148,7 +148,7 @@ component main = Caller(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @Sum_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Sum_0_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 @@ -198,7 +198,7 @@ component main = Caller(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @Caller_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Caller_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [1 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [1 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/subcmps/subcmps3.circom b/circom/tests/subcmps/subcmps3.circom index ec49bb91a..f6f2c9cbe 100644 --- a/circom/tests/subcmps/subcmps3.circom +++ b/circom/tests/subcmps/subcmps3.circom @@ -32,7 +32,7 @@ template SubCmps3() { component main = SubCmps3(); -//CHECK-LABEL: define void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, +//CHECK-LABEL: define{{.*}} void @..generated..loop.body.{{[0-9]+}}([0 x i256]* %lvars, [0 x i256]* %signals, //CHECK-SAME: i256* %fix_[[X1:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_1:[0-9]+]]: //CHECK-NEXT: br label %store1 @@ -59,7 +59,7 @@ component main = SubCmps3(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//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-SAME: i256* %fix_[[X1:[0-9]+]], i256* %fix_[[X2:[0-9]+]], i256* %fix_[[X3:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_2:[0-9]+\.F]]: //CHECK-NEXT: br label %store1 @@ -89,7 +89,7 @@ component main = SubCmps3(); //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]+]], i256* %fix_[[X3:[0-9]+]]){{.*}} { //CHECK-NEXT: ..generated..loop.body.[[$F_ID_3:[0-9]+\.T]]: //CHECK-NEXT: br label %store1 @@ -126,7 +126,7 @@ component main = SubCmps3(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @Sum_0_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @Sum_0_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 @@ -176,7 +176,7 @@ component main = SubCmps3(); //CHECK-NEXT: ret void //CHECK-NEXT: } // -//CHECK-LABEL: define void @SubCmps3_1_run([0 x i256]* %0){{.*}} { +//CHECK-LABEL: define{{.*}} void @SubCmps3_1_run([0 x i256]* %0){{.*}} { //CHECK-NEXT: prelude: //CHECK-NEXT: %lvars = alloca [1 x i256], align 8 //CHECK-NEXT: %subcmps = alloca [1 x { [0 x i256]*, i32 }], align 8 diff --git a/circom/tests/type_conversions/bool_1.circom b/circom/tests/type_conversions/bool_1.circom index 9225add4a..9e9ad51c8 100644 --- a/circom/tests/type_conversions/bool_1.circom +++ b/circom/tests/type_conversions/bool_1.circom @@ -15,7 +15,7 @@ template A(x) { component main = A(5); -//CHECK-LABEL: define i256 @binop_comp_{{[0-9]+}} +//CHECK-LABEL: define{{.*}} i256 @binop_comp_{{[0-9]+}} //CHECK-SAME: (i256* %0) //CHECK: %call.fr_gt = call i1 @fr_gt(i256 %{{[0-9]+}}, i256 %{{[0-9]+}}) //CHECK: %[[RET:[0-9]+]] = zext i1 %call.fr_gt to i256 diff --git a/circom/tests/type_conversions/bool_2.circom b/circom/tests/type_conversions/bool_2.circom index 3836e98f0..79397cf23 100644 --- a/circom/tests/type_conversions/bool_2.circom +++ b/circom/tests/type_conversions/bool_2.circom @@ -24,7 +24,7 @@ template A(x) { component main = A(555); -//CHECK-LABEL: define i256 @binop_bool_{{[0-9]+}} +//CHECK-LABEL: define{{.*}} i256 @binop_bool_{{[0-9]+}} //CHECK-SAME: (i256* %0) //CHECK: %call.fr_logic_or = call i1 @fr_logic_or(i1 %{{[0-9]+}}, i1 %{{[0-9]+}}) //CHECK: %[[RET:[0-9]+]] = zext i1 %call.fr_logic_or to i256 diff --git a/circom/tests/type_conversions/bool_3.circom b/circom/tests/type_conversions/bool_3.circom index d3f2103e7..6a351867c 100644 --- a/circom/tests/type_conversions/bool_3.circom +++ b/circom/tests/type_conversions/bool_3.circom @@ -15,7 +15,7 @@ template A(x) { component main = A(99); -//CHECK-LABEL: define void @A_{{[0-9]+}}_run +//CHECK-LABEL: define{{.*}} void @A_{{[0-9]+}}_run //CHECK-SAME: ([0 x i256]* %0) //CHECK: branch{{[0-9]+}}: //CHECK: %[[VAL_PTR:[0-9]+]] = getelementptr [0 x i256], [0 x i256]* %0, i32 0, i32 1 diff --git a/circom/tests/type_conversions/bool_4.circom b/circom/tests/type_conversions/bool_4.circom index aadcd3cf3..f0f62637b 100644 --- a/circom/tests/type_conversions/bool_4.circom +++ b/circom/tests/type_conversions/bool_4.circom @@ -20,7 +20,7 @@ template A() { component main = A(); -//CHECK-LABEL: define void @binop_bool_array_{{[0-9]+}} +//CHECK-LABEL: define{{.*}} void @binop_bool_array_{{[0-9]+}} //CHECK-SAME: (i256* %0) //CHECK: %call.fr_logic_or = call i1 @fr_logic_or(i1 %{{[0-9]+}}, i1 %{{[0-9]+}}) //CHECK: %[[VAL:[0-9]+]] = zext i1 %call.fr_logic_or to i256 diff --git a/circom/tests/zzz/unreachable_code_crash.circom b/circom/tests/zzz/unreachable_code_crash.circom index e63e9810e..417f63ca8 100644 --- a/circom/tests/zzz/unreachable_code_crash.circom +++ b/circom/tests/zzz/unreachable_code_crash.circom @@ -32,10 +32,10 @@ component main = InvalidArgIndex(3, 2); //// Check that only the proper versions of the generated functions remain //// (i.e. the initial one was removed after conditional flattening). // -//CHECK-NOT: define void @..generated..loop.body.[[[0-9]+]]( -//CHECK: define void @..generated..loop.body.[[[0-9]+]].F( -//CHECK-NOT: define void @..generated..loop.body.[[[0-9]+]]( -//CHECK: define void @..generated..loop.body.[[[0-9]+]].T( -//CHECK-NOT: define void @..generated..loop.body.[[[0-9]+]]( -//CHECK: define void @..generated..loop.body.[[[0-9]+]].F.T( -//CHECK-NOT: define void @..generated..loop.body.[[[0-9]+]]( +//CHECK-NOT: define{{.*}} void @..generated..loop.body.[[[0-9]+]]( +//CHECK: define{{.*}} void @..generated..loop.body.[[[0-9]+]].F( +//CHECK-NOT: define{{.*}} void @..generated..loop.body.[[[0-9]+]]( +//CHECK: define{{.*}} void @..generated..loop.body.[[[0-9]+]].T( +//CHECK-NOT: define{{.*}} void @..generated..loop.body.[[[0-9]+]]( +//CHECK: define{{.*}} void @..generated..loop.body.[[[0-9]+]].F.T( +//CHECK-NOT: define{{.*}} void @..generated..loop.body.[[[0-9]+]](