Searched refs:vc_merge (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | sorting_network.h | 1127 vc vc_merge(unsigned a, unsigned b) { in vc_merge() function
1143 vc_merge(ceil2(a), ceil2(b)) + in vc_merge_rec()
1144 vc_merge(floor2(a), floor2(b)) + in vc_merge_rec()
1233 case 2: return vc_merge(1,1); in vc_sorting()
1246 return vc_sorting(l) + vc_sorting(n-l) + vc_merge(l, n-l); in vc_sorting_rec()
1353 if (a + b <= c) return vc_merge(a, b); in vc_smerge()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | sorting_network.h | 1127 vc vc_merge(unsigned a, unsigned b) { in vc_merge() function
1143 vc_merge(ceil2(a), ceil2(b)) + in vc_merge_rec()
1144 vc_merge(floor2(a), floor2(b)) + in vc_merge_rec()
1233 case 2: return vc_merge(1,1); in vc_sorting()
1246 return vc_sorting(l) + vc_sorting(n-l) + vc_merge(l, n-l); in vc_sorting_rec()
1353 if (a + b <= c) return vc_merge(a, b); in vc_smerge()
|
| /dports/lang/racket-minimal/racket-8.3/src/bc/src/ |
| H A D | validate.c | 1110 int did_one = 0, vc_merge = 0, vc_merge_start = 0, result = 2; in validate_expr() local
1528 if (!vc_merge) { in validate_expr()
1529 vc_merge = 1; in validate_expr()
1878 if (vc_merge) { in validate_expr()
|
| /dports/lang/racket/racket-8.3/src/bc/src/ |
| H A D | validate.c | 1110 int did_one = 0, vc_merge = 0, vc_merge_start = 0, result = 2; in validate_expr() local
1528 if (!vc_merge) { in validate_expr()
1529 vc_merge = 1; in validate_expr()
1878 if (vc_merge) { in validate_expr()
|