| /dports/math/z3/z3-z3-4.8.13/src/tactic/portfolio/ |
| H A D | solver_subsumption_tactic.cpp | 36 expr_ref_vector fmls(m); in subsumed() local
37 fmls.push_back(m.mk_not(f)); in subsumed()
58 fmls.push_back(nf); in simplify()
91 if (fmls.size() == 0) in simplify()
94 if (fmls.size() == 1) { in simplify()
103 unsigned mid = fmls.size() / 2; in simplify()
106 vector<std::pair<unsigned, expr_ref>> post(fmls.size() - mid, fmls.data() + mid); in simplify()
118 fmls.reset(); in simplify()
119 fmls.append(pre); in simplify()
120 fmls.append(post); in simplify()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_plugin.cpp | 122 erase(fmls, i); in extract_literals()
130 fmls[i--] = f1; in extract_literals()
131 push_back(fmls, f2); in extract_literals()
136 fmls[i] = f2; in extract_literals()
153 erase(fmls, i); in extract_literals()
157 erase(fmls, i); in extract_literals()
171 erase(fmls, i); in extract_literals()
179 push_back(fmls, f1); in extract_literals()
181 erase(fmls, i); in extract_literals()
186 erase(fmls, i); in extract_literals()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_plugin.cpp | 122 push_back(fmls, f1); in reduce()
123 push_back(fmls, f2); in reduce()
129 push_back(fmls, f2); in reduce()
136 push_back(fmls, f1); in reduce()
137 push_back(fmls, f2); in reduce()
141 push_back(fmls, f3); in reduce()
145 push_back(fmls, nfml); in reduce()
166 push_back(fmls, f1); in reduce()
167 push_back(fmls, f2); in reduce()
170 push_back(fmls, f1); in reduce()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | qe_mbp.cpp | 137 for (expr* fml : fmls) { in project_bools()
142 fmls[j++] = val; in project_bools()
145 fmls.shrink(j); in project_bools()
274 for (expr* f : fmls) { in validate_model()
320 fmls.shrink(j); in operator ()()
330 if (fmls.empty()) { in operator ()()
333 fmls.append(unused_fmls); in operator ()()
347 expr_ref_vector fmls(m); in do_qe_bool() local
348 fmls.push_back(fml); in do_qe_bool()
350 fml = mk_and(fmls); in do_qe_bool()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | qe_mbp.cpp | 137 for (expr* fml : fmls) { in project_bools()
142 fmls[j++] = val; in project_bools()
145 fmls.shrink(j); in project_bools()
274 for (expr* f : fmls) { in validate_model()
320 fmls.shrink(j); in operator ()()
330 if (fmls.empty()) { in operator ()()
333 fmls.append(unused_fmls); in operator ()()
347 expr_ref_vector fmls(m); in do_qe_bool() local
348 fmls.push_back(fml); in do_qe_bool()
350 fml = mk_and(fmls); in do_qe_bool()
[all …]
|
| /dports/math/blasfeo/blasfeo-0.1.2/kernel/armv8a/ |
| H A D | kernel_dgemm_12x4_lib4.S | 1696 fmls v0.2d, v24.2d, v0.2d[0]
1697 fmls v1.2d, v25.2d, v0.2d[0]
1698 fmls v8.2d, v26.2d, v0.2d[0]
1699 fmls v9.2d, v27.2d, v0.2d[0]
1702 fmls v2.2d, v24.2d, v2.2d[0]
1703 fmls v3.2d, v25.2d, v2.2d[0]
1708 fmls v4.2d, v24.2d, v4.2d[0]
1709 fmls v5.2d, v25.2d, v4.2d[0]
1714 fmls v6.2d, v24.2d, v6.2d[0]
1715 fmls v7.2d, v25.2d, v6.2d[0]
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| H A D | fmls.s | 10 fmls z0.h, p7/m, z1.h, z31.h label
16 fmls z0.s, p7/m, z1.s, z31.s label
22 fmls z0.d, p7/m, z1.d, z31.d label
28 fmls z0.h, z1.h, z7.h[7] label
34 fmls z0.s, z1.s, z7.s[3] label
40 fmls z0.d, z1.d, z7.d[1] label
56 fmls z0.d, p7/m, z1.d, z31.d label
68 fmls z0.d, p7/m, z1.d, z31.d label
80 fmls z0.d, z1.d, z7.d[1] label
|
| /dports/devel/llvm10/llvm-10.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| H A D | fmls.s | 10 fmls z0.h, p7/m, z1.h, z31.h label
16 fmls z0.s, p7/m, z1.s, z31.s label
22 fmls z0.d, p7/m, z1.d, z31.d label
28 fmls z0.h, z1.h, z7.h[7] label
34 fmls z0.s, z1.s, z7.s[3] label
40 fmls z0.d, z1.d, z7.d[1] label
56 fmls z0.d, p7/m, z1.d, z31.d label
68 fmls z0.d, p7/m, z1.d, z31.d label
80 fmls z0.d, z1.d, z7.d[1] label
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| H A D | fmls.s | 12 fmls z0.h, p7/m, z1.h, z31.h label
18 fmls z0.s, p7/m, z1.s, z31.s label
24 fmls z0.d, p7/m, z1.d, z31.d label
30 fmls z0.h, z1.h, z7.h[7] label
36 fmls z0.s, z1.s, z7.s[3] label
42 fmls z0.d, z1.d, z7.d[1] label
58 fmls z0.d, p7/m, z1.d, z31.d label
70 fmls z0.d, p7/m, z1.d, z31.d label
82 fmls z0.d, z1.d, z7.d[1] label
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| H A D | fmls.s | 10 fmls z0.h, p7/m, z1.h, z31.h label
16 fmls z0.s, p7/m, z1.s, z31.s label
22 fmls z0.d, p7/m, z1.d, z31.d label
28 fmls z0.h, z1.h, z7.h[7] label
34 fmls z0.s, z1.s, z7.s[3] label
40 fmls z0.d, z1.d, z7.d[1] label
56 fmls z0.d, p7/m, z1.d, z31.d label
68 fmls z0.d, p7/m, z1.d, z31.d label
80 fmls z0.d, z1.d, z7.d[1] label
|
| /dports/devel/llvm11/llvm-11.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/llvm90/llvm-9.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/llvm80/llvm-8.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h
16 fmls z0.s, p7/m, z1.h, z2.h
25 fmls z0.h, z1.h, z8.h[0]
30 fmls z0.s, z1.s, z8.s[0]
35 fmls z0.d, z1.d, z16.d[0]
44 fmls z0.h, z1.h, z2.h[-1]
49 fmls z0.h, z1.h, z2.h[8]
54 fmls z0.s, z1.s, z2.s[-1]
59 fmls z0.s, z1.s, z2.s[4]
69 fmls z0.d, z1.d, z2.d[2]
[all …]
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/llvm70/llvm-7.0.1.src/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/MC/AArch64/SVE/ |
| H A D | fmls-diagnostics.s | 7 fmls z0.h, p8/m, z1.h, z2.h label
16 fmls z0.s, p7/m, z1.h, z2.h label
25 fmls z0.h, z1.h, z8.h[0] label
30 fmls z0.s, z1.s, z8.s[0] label
35 fmls z0.d, z1.d, z16.d[0] label
44 fmls z0.h, z1.h, z2.h[-1] label
49 fmls z0.h, z1.h, z2.h[8] label
54 fmls z0.s, z1.s, z2.s[-1] label
59 fmls z0.s, z1.s, z2.s[4] label
69 fmls z0.d, z1.d, z2.d[2] label
[all …]
|