Home
last modified time | relevance | path

Searched refs:f25 (Results 1 – 25 of 4412) sorted by relevance

12345678910>>...177

/dports/math/cvc4/CVC4-1.7/test/regress/regress0/fmf/
H A DArrow_Order-smtlib.778341.smt32 (f25 S18 S8 S8)
122 :assumption (forall (?v0 S5) (?v1 S8) (= (f25 (f32 f33 (f25 (f26 f27 ?v0) ?v1)) f24) (f25 (f26 f27 …
125 :assumption (forall (?v0 S5) (= (f25 (f26 f36 ?v0) f24) (f25 (f26 f27 ?v0) f24)) )
136 …) (?v2 S5) (?v3 S8) (= (f25 (f32 f33 (f25 (f26 f27 ?v0) ?v1)) (f25 (f26 f27 ?v2) ?v3)) (f25 (f26 f…
188 …umption (forall (?v0 S5) (?v1 S8) (= (f25 f74 (f25 (f26 f27 ?v0) ?v1)) (ite (= ?v1 f24) f24 (f25 (…
194 :assumption (forall (?v0 S8) (implies (not (= ?v0 f24)) (= (f25 (f32 f77 (f25 f74 ?v0)) (f25 (f26 f…
216 …S8) (?v4 S8) (implies (= (f25 (f32 f77 ?v0) ?v1) ?v2) (implies (= ?v3 (f25 (f32 f77 ?v1) ?v4)) (= …
225 …f25 (f32 f77 ?v0) ?v1) (f25 (f32 f77 ?v2) ?v3)) (exists (?v4 S8) (or (and (= ?v0 (f25 (f32 f77 ?v2…
228 …ion (forall (?v0 S8) (?v1 S8) (?v2 S8) (= (f25 (f32 f77 (f25 (f32 f77 ?v0) ?v1)) ?v2) (f25 (f32 f7…
232 …ion (forall (?v0 S5) (?v1 S8) (?v2 S8) (= (f25 (f32 f77 (f25 (f26 f27 ?v0) ?v1)) ?v2) (f25 (f26 f2…
[all …]
/dports/multimedia/opentoonz/opentoonz-1.5.0/thirdparty/openblas/xianyi-OpenBLAS-e6e87a2/kernel/alpha/
H A Drot.S98 MUL C, $f14, $f25
132 MUL C, $f18, $f25
172 MUL C, $f14, $f25
212 MUL C, $f18, $f25
252 MUL C, $f14, $f25
294 MUL C, $f18, $f25
334 MUL C, $f14, $f25
374 MUL C, $f18, $f25
479 MUL C, $f14, $f25
505 MUL C, $f18, $f25
[all …]
H A Dzrot.S101 MUL C, $f14, $f25
135 MUL C, $f18, $f25
175 MUL C, $f14, $f25
215 MUL C, $f18, $f25
255 MUL C, $f14, $f25
297 MUL C, $f18, $f25
337 MUL C, $f14, $f25
377 MUL C, $f18, $f25
428 MUL C, $f14, $f25
477 MUL C, $f14, $f25
[all …]
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/plugins_unsupported/external/GotoBLAS2/kernel/alpha/
H A Drot.S81 MUL C, $f14, $f25
115 MUL C, $f18, $f25
155 MUL C, $f14, $f25
195 MUL C, $f18, $f25
235 MUL C, $f14, $f25
277 MUL C, $f18, $f25
317 MUL C, $f14, $f25
357 MUL C, $f18, $f25
462 MUL C, $f14, $f25
488 MUL C, $f18, $f25
[all …]
H A Dzrot.S84 MUL C, $f14, $f25
118 MUL C, $f18, $f25
158 MUL C, $f14, $f25
198 MUL C, $f18, $f25
238 MUL C, $f14, $f25
280 MUL C, $f18, $f25
320 MUL C, $f14, $f25
360 MUL C, $f18, $f25
411 MUL C, $f14, $f25
460 MUL C, $f14, $f25
[all …]
/dports/math/openblas/OpenBLAS-0.3.18/kernel/alpha/
H A Drot.S98 MUL C, $f14, $f25
132 MUL C, $f18, $f25
172 MUL C, $f14, $f25
212 MUL C, $f18, $f25
252 MUL C, $f14, $f25
294 MUL C, $f18, $f25
334 MUL C, $f14, $f25
374 MUL C, $f18, $f25
479 MUL C, $f14, $f25
505 MUL C, $f18, $f25
[all …]
H A Dzrot.S101 MUL C, $f14, $f25
135 MUL C, $f18, $f25
175 MUL C, $f14, $f25
215 MUL C, $f18, $f25
255 MUL C, $f14, $f25
297 MUL C, $f18, $f25
337 MUL C, $f14, $f25
377 MUL C, $f18, $f25
428 MUL C, $f14, $f25
477 MUL C, $f14, $f25
[all …]
/dports/math/gotoblas/GotoBLAS2/kernel/alpha/
H A Drot.S98 MUL C, $f14, $f25
132 MUL C, $f18, $f25
172 MUL C, $f14, $f25
212 MUL C, $f18, $f25
252 MUL C, $f14, $f25
294 MUL C, $f18, $f25
334 MUL C, $f14, $f25
374 MUL C, $f18, $f25
479 MUL C, $f14, $f25
505 MUL C, $f18, $f25
[all …]
H A Dzrot.S101 MUL C, $f14, $f25
135 MUL C, $f18, $f25
175 MUL C, $f14, $f25
215 MUL C, $f18, $f25
255 MUL C, $f14, $f25
297 MUL C, $f18, $f25
337 MUL C, $f14, $f25
377 MUL C, $f18, $f25
428 MUL C, $f14, $f25
477 MUL C, $f14, $f25
[all …]
/dports/multimedia/opentoonz/opentoonz-1.5.0/thirdparty/openblas/xianyi-OpenBLAS-e6e87a2/kernel/power/
H A Dzgemv_t.S184 stfd f25, 88(SP)
388 LFD f25, 2 * SIZE(BO)
461 LFD f25, 10 * SIZE(BO)
591 LFD f25, 18 * SIZE(BO)
796 LFD f25, 10 * SIZE(BO)
937 LFDU f25, 2 * SIZE(BO)
979 LFDU f25, 2 * SIZE(BO)
1205 LFD f25, 2 * SIZE(BO)
1234 LFD f25, 10 * SIZE(BO)
1274 LFD f25, 18 * SIZE(BO)
[all …]
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/plugins_unsupported/external/GotoBLAS2/kernel/power/
H A Dzgemv_t.S167 stfd f25, 88(SP)
371 LFD f25, 2 * SIZE(BO)
444 LFD f25, 10 * SIZE(BO)
574 LFD f25, 18 * SIZE(BO)
779 LFD f25, 10 * SIZE(BO)
920 LFDU f25, 2 * SIZE(BO)
962 LFDU f25, 2 * SIZE(BO)
1188 LFD f25, 2 * SIZE(BO)
1217 LFD f25, 10 * SIZE(BO)
1257 LFD f25, 18 * SIZE(BO)
[all …]
/dports/math/openblas/OpenBLAS-0.3.18/kernel/power/
H A Dzgemv_t.S195 stfd f25, 88(SP)
399 LFD f25, 2 * SIZE(BO)
472 LFD f25, 10 * SIZE(BO)
602 LFD f25, 18 * SIZE(BO)
807 LFD f25, 10 * SIZE(BO)
948 LFDU f25, 2 * SIZE(BO)
990 LFDU f25, 2 * SIZE(BO)
1216 LFD f25, 2 * SIZE(BO)
1245 LFD f25, 10 * SIZE(BO)
1285 LFD f25, 18 * SIZE(BO)
[all …]
/dports/math/gotoblas/GotoBLAS2/kernel/power/
H A Dzgemv_t.S184 stfd f25, 88(SP)
388 LFD f25, 2 * SIZE(BO)
461 LFD f25, 10 * SIZE(BO)
591 LFD f25, 18 * SIZE(BO)
796 LFD f25, 10 * SIZE(BO)
937 LFDU f25, 2 * SIZE(BO)
979 LFDU f25, 2 * SIZE(BO)
1205 LFD f25, 2 * SIZE(BO)
1234 LFD f25, 10 * SIZE(BO)
1274 LFD f25, 18 * SIZE(BO)
[all …]
/dports/math/gap/gap-4.11.0/pkg/anupq-3.2.1/tst/
H A Danusp.tst70 f36^-1*f34^-1*f31^-1*f25^-1,
105 7^-1*f36^-1*f25^-1*f21^-1,
157 f29^-1*f26^-1*f25^-1,
260 f25^-1*f1^-1*f25*f1*f29^-1, f25^-1*f2^-1*f25*f2*f30^-1,
261 f25^-1*f3^-1*f25*f3*f51^-1*f50^-1*f45^-1*f43^-1*f40^-1*f39^-1*f35^-1*f34^-1,
262 f25^-1*f4^-1*f25*f4*f52^-1*f51^-1*f46^-1*f44^-1*f43^-1*f39^-1,
263 f25^-1*f5^-1*f25*f5*f50^-1*f48^-1*f46^-1*f39^-1,
264 f25^-1*f6^-1*f25*f6*f52^-1*f51^-1*f50^-1*f49^-1*f48^-1*f45^-1,
265 f25^-1*f8^-1*f25*f8*f50^-1*f49^-1*f48^-1,
266 f25^-1*f9^-1*f25*f9*f50^-1*f49^-1*f48^-1,
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/
H A D20040219-1.c21 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
29 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
45 f12 = f13 / f14 * f25; in main()
56 f23 = f24 / f25 * f30; in main()
57 f24 = f25 / f26 * f30; in main()
58 f25 = f26 / f27 * f30; in main()
69 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/testsuite/gcc.dg/
H A D20040219-1.c21 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
29 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
45 f12 = f13 / f14 * f25; in main()
56 f23 = f24 / f25 * f30; in main()
57 f24 = f25 / f26 * f30; in main()
58 f25 = f26 / f27 * f30; in main()
69 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/
H A D20040219-1.c22 double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30; in main() local
30 f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5; in main()
46 f12 = f13 / f14 * f25; in main()
57 f23 = f24 / f25 * f30; in main()
58 f24 = f25 / f26 * f30; in main()
59 f25 = f26 / f27 * f30; in main()
70 (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30); in main()

12345678910>>...177