fix tests

Veridise · Oct 24, 2023 · 95b83a7 · 95b83a7
1 parent 0a3d776
commit 95b83a7
Show file tree

Hide file tree

Showing 71 changed files with 230 additions and 230 deletions.
diff --git a/circom/tests/arrays/array8.circom b/circom/tests/arrays/array8.circom
@@ -28,20 +28,20 @@ template ArrayReturnTemplate(n) {
 
 component main = ArrayReturnTemplate(4);
 
-//CHECK-LABEL: define void @return_array_B_{{[0-9]+}}
+//CHECK-LABEL: define{{.*}} void @return_array_B_{{[0-9]+}}
 //CHECK-SAME: (i256* %[[ARENA:.*]])
 //CHECK: call void @return_array_A_{{[0-9]+}}(i256* %{{.*}})
 //CHECK: %[[TEMP:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 2
 //CHECK: call void @fr_copy_n(i256* %{{.*}}, i256* %{{.*}}[[TEMP]], i32 5)
 //CHECK: ret void
 //CHECK: }
 
-//CHECK-LABEL: define void @return_array_A_{{[0-9]+}}
+//CHECK-LABEL: define{{.*}} void @return_array_A_{{[0-9]+}}
 //CHECK-SAME: (i256* %[[ARENA:.*]])
 //CHECK: ret void
 //CHECK: }
 
-//CHECK-LABEL: define void @ArrayReturnTemplate_{{[0-9]+}}_run
+//CHECK-LABEL: define{{.*}} void @ArrayReturnTemplate_{{[0-9]+}}_run
 //CHECK-SAME: ([0 x i256]* %{{.*}})
 //CHECK: %lvars = alloca [6 x i256]
 //CHECK: %[[TEMP:.*]] = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 1

diff --git a/circom/tests/arrays/array9.circom b/circom/tests/arrays/array9.circom
@@ -14,15 +14,15 @@ template ArrayCopyTemplate() {
 
 component main = ArrayCopyTemplate();
 
-//CHECK-LABEL: define void @copy_{{[0-9]+}}
+//CHECK-LABEL: define{{.*}} void @copy_{{[0-9]+}}
 //CHECK-SAME: (i256* %[[ARENA:.*]])
 //CHECK: %[[TEMP1:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 3
 //CHECK: %[[TEMP2:.*]] = getelementptr i256, i256* %{{.*}}[[ARENA]], i32 0
 //CHECK: call void @fr_copy_n(i256* %{{.*}}[[TEMP2]], i256* %{{.*}}[[TEMP1]], i32 3)
 //CHECK: ret void
 //CHECK: }
 
-//CHECK-LABEL: define void @ArrayCopyTemplate_{{[0-9]+}}_run
+//CHECK-LABEL: define{{.*}} void @ArrayCopyTemplate_{{[0-9]+}}_run
 //CHECK-SAME: ([0 x i256]* %{{.*}})
 //CHECK: %lvars = alloca [6 x i256]
 //CHECK: %[[TEMP:.*]] = getelementptr [6 x i256], [6 x i256]* %lvars, i32 0, i32 3

diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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