/dports/math/gap/gap-4.11.0/tst/teststandard/ |
H A D | grppcnrm.tst | 52 > f54*f55*f56*f57*f58*f59 ], [ 56, 2, f55*f56*f57*f58*f59 ], [ 57, 2, 78 > f55*f57*f58*f59 ], [ 58, 3, f54*f58*f59 ], [ 59, 3, f55*f59 ], [ 60, 111 > f33*f35*f54*f55*f56*f57*f58 ], [ 34, 6, f30*f32*f54*f55*f58*f59 ], [ 130 > f33*f35*f54*f55*f56*f57*f58 ], [ 34, 7, f30*f32*f54*f55*f58*f59 ], [ 159 > f54*f55*f56*f58*f59 ], [ 58, 8, f55*f56*f58*f59 ], [ 59, 8, 184 > 56, 9, f54*f55*f56*f58 ], [ 57, 9, f54*f55*f56*f58*f59 ], [ 58, 9, 209 > 11, f30*f32*f54*f56*f58 ], [ 33, 11, f32*f34*f54*f55*f58 ], [ 34, 11, 237 > ], [ 31, 24, f55*f57*f58 ], [ 32, 24, f54*f56*f58*f59 ], [ 33, 24, 238 > f54*f56*f57*f58 ], [ 34, 24, f54*f56*f57 ], [ 35, 24, f54*f55*f57*f58 245 > f54*f55*f57*f58*f59 ], [ 34, 27, f54*f55*f57*f58 ], [ 35, 27, [all …]
|
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vmaxnm-vminnm.d | 16 [^>]*> ff10 0f58 vmaxnm.f16 q0, q0, q4 17 [^>]*> ff30 0f58 vminnm.f16 q0, q0, q4 28 [^>]*> ff12 0f58 vmaxnm.f16 q0, q1, q4 29 [^>]*> ff32 0f58 vminnm.f16 q0, q1, q4 40 [^>]*> ff14 0f58 vmaxnm.f16 q0, q2, q4 41 [^>]*> ff34 0f58 vminnm.f16 q0, q2, q4 52 [^>]*> ff18 0f58 vmaxnm.f16 q0, q4, q4 53 [^>]*> ff38 0f58 vminnm.f16 q0, q4, q4 64 [^>]*> ff1e 0f58 vmaxnm.f16 q0, q7, q4 65 [^>]*> ff3e 0f58 vminnm.f16 q0, q7, q4 [all …]
|
H A D | mve-vcvt-1.d | 961 [^>]*> efbf 0f58 vcvt.s32.f32 q0, q4, #1 966 [^>]*> efbf 2f58 vcvt.s32.f32 q1, q4, #1 971 [^>]*> efbf 4f58 vcvt.s32.f32 q2, q4, #1 976 [^>]*> efbf 8f58 vcvt.s32.f32 q4, q4, #1 986 [^>]*> efb0 0f58 vcvt.s32.f32 q0, q4, #16 991 [^>]*> efb0 2f58 vcvt.s32.f32 q1, q4, #16 996 [^>]*> efb0 4f58 vcvt.s32.f32 q2, q4, #16 1136 [^>]*> ffbf 0f58 vcvt.u32.f32 q0, q4, #1 1141 [^>]*> ffbf 2f58 vcvt.u32.f32 q1, q4, #1 1146 [^>]*> ffbf 4f58 vcvt.u32.f32 q2, q4, #1 [all …]
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vmaxnm-vminnm.d | 16 [^>]*> ff10 0f58 vmaxnm.f16 q0, q0, q4 17 [^>]*> ff30 0f58 vminnm.f16 q0, q0, q4 28 [^>]*> ff12 0f58 vmaxnm.f16 q0, q1, q4 29 [^>]*> ff32 0f58 vminnm.f16 q0, q1, q4 40 [^>]*> ff14 0f58 vmaxnm.f16 q0, q2, q4 41 [^>]*> ff34 0f58 vminnm.f16 q0, q2, q4 52 [^>]*> ff18 0f58 vmaxnm.f16 q0, q4, q4 53 [^>]*> ff38 0f58 vminnm.f16 q0, q4, q4 64 [^>]*> ff1e 0f58 vmaxnm.f16 q0, q7, q4 65 [^>]*> ff3e 0f58 vminnm.f16 q0, q7, q4 [all …]
|
H A D | mve-vcvt-1.d | 961 [^>]*> efbf 0f58 vcvt.s32.f32 q0, q4, #1 966 [^>]*> efbf 2f58 vcvt.s32.f32 q1, q4, #1 971 [^>]*> efbf 4f58 vcvt.s32.f32 q2, q4, #1 976 [^>]*> efbf 8f58 vcvt.s32.f32 q4, q4, #1 986 [^>]*> efb0 0f58 vcvt.s32.f32 q0, q4, #16 991 [^>]*> efb0 2f58 vcvt.s32.f32 q1, q4, #16 996 [^>]*> efb0 4f58 vcvt.s32.f32 q2, q4, #16 1136 [^>]*> ffbf 0f58 vcvt.u32.f32 q0, q4, #1 1141 [^>]*> ffbf 2f58 vcvt.u32.f32 q1, q4, #1 1146 [^>]*> ffbf 4f58 vcvt.u32.f32 q2, q4, #1 [all …]
|
/dports/devel/binutils/binutils-2.37/gas/testsuite/gas/arm/ |
H A D | mve-vmaxnm-vminnm.d | 16 [^>]*> ff10 0f58 vmaxnm.f16 q0, q0, q4 17 [^>]*> ff30 0f58 vminnm.f16 q0, q0, q4 28 [^>]*> ff12 0f58 vmaxnm.f16 q0, q1, q4 29 [^>]*> ff32 0f58 vminnm.f16 q0, q1, q4 40 [^>]*> ff14 0f58 vmaxnm.f16 q0, q2, q4 41 [^>]*> ff34 0f58 vminnm.f16 q0, q2, q4 52 [^>]*> ff18 0f58 vmaxnm.f16 q0, q4, q4 53 [^>]*> ff38 0f58 vminnm.f16 q0, q4, q4 64 [^>]*> ff1e 0f58 vmaxnm.f16 q0, q7, q4 65 [^>]*> ff3e 0f58 vminnm.f16 q0, q7, q4 [all …]
|
H A D | mve-vcvt-1.d | 961 [^>]*> efbf 0f58 vcvt.s32.f32 q0, q4, #1 966 [^>]*> efbf 2f58 vcvt.s32.f32 q1, q4, #1 971 [^>]*> efbf 4f58 vcvt.s32.f32 q2, q4, #1 976 [^>]*> efbf 8f58 vcvt.s32.f32 q4, q4, #1 986 [^>]*> efb0 0f58 vcvt.s32.f32 q0, q4, #16 991 [^>]*> efb0 2f58 vcvt.s32.f32 q1, q4, #16 996 [^>]*> efb0 4f58 vcvt.s32.f32 q2, q4, #16 1136 [^>]*> ffbf 0f58 vcvt.u32.f32 q0, q4, #1 1141 [^>]*> ffbf 2f58 vcvt.u32.f32 q1, q4, #1 1146 [^>]*> ffbf 4f58 vcvt.u32.f32 q2, q4, #1 [all …]
|
/dports/math/opensolaris-libm/opensolaris-libm-2017.01.31/usr/src/libm/src/mvec/vis/ |
H A D | __vhypot.S | 368 fsubd %f58,D2ON28,%f58 ! (1_1) x_hi -= D2ON28; 384 fmuld %f58,%f58,%f60 ! (1_1) res = x_hi * x_hi; 393 fsubd %f36,%f58,%f58 ! (1_1) x_lo = x - x_hi; 526 fsubd %f58,%f4,%f58 ! (3_2) y_lo = y - y_hi; 576 fmuld %f58,%f58,%f6 ! (0_1) res = x_hi * x_hi; 622 fsubd %f58,D2ON28,%f58 ! (1_1) x_hi -= D2ON28; 650 fsubd %f36,%f58,%f58 ! (1_1) x_lo = x - x_hi; 788 fsubd %f58,%f4,%f58 ! (3_2) y_lo = y - y_hi; 860 fsubd %f58,D2ON28,%f58 ! (1_1) x_hi -= D2ON28; 869 fsubd %f36,%f58,%f58 ! (1_1) x_lo = x - x_hi; [all …]
|
H A D | __vpowf.S | 962 fmuld %f24,%f58,%f58 ! (Y0_1) yy0 *= dtmp0; 1202 fmuld %f24,%f58,%f58 ! (Y0_1) yy0 *= dtmp0; 1441 fmuld %f24,%f58,%f58 ! (Y0_1) yy0 *= dtmp0; 1797 faddd %f56,%f58,%f58 ! yy0 = dtmp3 + dtmp4; 2458 faddd %f58,KB1,%f58 ! (Y1_3) dtmp0 += KB1; 2511 faddd %f58,%f50,%f58 ! (Y1_3) dtmp0 += di0; 2559 faddd %f58,KB1,%f58 ! (Y1_3) dtmp0 += KB1; 2646 faddd %f58,KB1,%f58 ! (Y1_3) dtmp0 += KB1; 2739 faddd %f58,KB1,%f58 ! (Y1_3) dtmp0 += KB1; 2826 faddd %f58,KB1,%f58 ! (Y1_3) dtmp0 += KB1; [all …]
|
H A D | __vpow.S | 1501 faddd %f58,KB4,%f58 ! (Y0_1) dtmp1 = dtmp0 + KB4; 1515 fmuld %f58,%f60,%f58 ! (Y0_1) dtmp2 = dtmp1 * y; 1538 faddd %f58,KB3,%f58 ! (Y0_0) dtmp3 = dtmp2 + KB3; 1694 faddd %f58,KB4,%f58 ! (Y1_0) dtmp1 = dtmp0 + KB4; 1711 fmuld %f58,%f60,%f58 ! (Y1_0) dtmp2 = dtmp1 * y; 1739 faddd %f58,KB3,%f58 ! (Y1_0) dtmp3 = dtmp2 + KB3; 1755 fmuld %f58,%f60,%f58 ! (Y1_0) dtmp4 = dtmp3 * y; 1903 faddd %f58,KB4,%f58 ! (Y0_1) dtmp1 = dtmp0 + KB4; 1922 fmuld %f58,%f60,%f58 ! (Y0_1) dtmp2 = dtmp1 * y; 1939 faddd %f58,KB3,%f58 ! (Y0_0) dtmp3 = dtmp2 + KB3; [all …]
|
H A D | __vhypotf.S | 362 fsubd %f46,%f58,%f58 ! (4_1) xx0 = h0 - h_hi0; 375 fmuld %f58,%f22,%f58 ! (4_1) xx0 *= dmp0; 443 fmuld %f54,%f58,%f58 ! (4_2) res0 *= xx0; 471 faddd %f58,DC1,%f36 ! (4_2) res0 += DC1; 473 faddd %f56,K1,%f58 ! (0_1) res0 += K1; 521 fsubd %f46,%f58,%f58 ! (2_1) xx0 = h0 - h_hi0; 538 fmuld %f58,%f22,%f58 ! (2_1) xx0 *= dmp0; 630 fsubd %f46,%f58,%f58 ! (4_1) xx0 = h0 - h_hi0; 647 fmuld %f58,%f22,%f58 ! (4_1) xx0 *= dmp0; 718 fmuld %f54,%f58,%f58 ! (4_2) res0 *= xx0; [all …]
|
/dports/multimedia/v4l-utils/linux-5.13-rc2/arch/sparc/lib/ |
H A D | xor.S | 62 fxor %f42, %f58, %f58 86 fxor %f42, %f58, %f58 130 fxor %f58, %f42, %f58 153 fxor %f58, %f42, %f58 207 fxor %f42, %f58, %f58 239 fxor %f42, %f58, %f58 284 fxor %f58, %f42, %f58 295 fxor %f58, %f26, %f58 304 fxor %f58, %f42, %f58 327 fxor %f58, %f42, %f58 [all …]
|
/dports/multimedia/v4l_compat/linux-5.13-rc2/arch/sparc/lib/ |
H A D | xor.S | 62 fxor %f42, %f58, %f58 86 fxor %f42, %f58, %f58 130 fxor %f58, %f42, %f58 153 fxor %f58, %f42, %f58 207 fxor %f42, %f58, %f58 239 fxor %f42, %f58, %f58 284 fxor %f58, %f42, %f58 295 fxor %f58, %f26, %f58 304 fxor %f58, %f42, %f58 327 fxor %f58, %f42, %f58 [all …]
|
/dports/multimedia/libv4l/linux-5.13-rc2/arch/sparc/lib/ |
H A D | xor.S | 62 fxor %f42, %f58, %f58 86 fxor %f42, %f58, %f58 130 fxor %f58, %f42, %f58 153 fxor %f58, %f42, %f58 207 fxor %f42, %f58, %f58 239 fxor %f42, %f58, %f58 284 fxor %f58, %f42, %f58 295 fxor %f58, %f26, %f58 304 fxor %f58, %f42, %f58 327 fxor %f58, %f42, %f58 [all …]
|
/dports/math/gap/gap-4.11.0/tst/testinstall/ |
H A D | rwspcgrp.tst | 4 #@local f57,f58,f59,f6,f60,f61,f7,f8,f9,g,grp,l,p,r,rws,w,x,i 190 gap> f58 := g[58];; 199 > f44 ], [ 50, f51 ], [ 57, f58 ], 214 > f43*f57*f58 ], [ 58, 1, f44*f58 ], [ 59, 1, f45*f59^4 ], [ 60, 1, 231 > f50*f57*f58 ], [ 58, 2, f51*f58 ], [ 59, 2, f52*f59^4 ], [ 60, 2, 268 > f42*f56^30 ], [ 57, 4, f43*f57*f58 ], [ 58, 4, f44*f58 ], [ 59, 4, 538 gap> f58 := g[58];; 547 > f44 ], [ 50, f51 ], [ 57, f58 ], 562 > f43*f57*f58 ], [ 58, 1, f44*f58 ], [ 59, 1, f45*f59^4 ], [ 60, 1, 579 > f50*f57*f58 ], [ 58, 2, f51*f58 ], [ 59, 2, f52*f59^4 ], [ 60, 2, [all …]
|
H A D | rwspcsng.tst | 4 #@local f57,f58,f59,f6,f60,f61,f7,f8,f9,g,l,p,r,rws,w,x 243 gap> f58 := g[58];; 252 > f44 ], [ 50, f51 ], [ 57, f58 ], 267 > f43*f57*f58 ], [ 58, 1, f44*f58 ], [ 59, 1, f45*f59^4 ], [ 60, 1, 284 > f50*f57*f58 ], [ 58, 2, f51*f58 ], [ 59, 2, f52*f59^4 ], [ 60, 2, 321 > f42*f56^30 ], [ 57, 4, f43*f57*f58 ], [ 58, 4, f44*f58 ], [ 59, 4, 624 gap> f58 := g[58];; 633 > f44 ], [ 50, f51 ], [ 57, f58 ], 648 > f43*f57*f58 ], [ 58, 1, f44*f58 ], [ 59, 1, f45*f59^4 ], [ 60, 1, 665 > f50*f57*f58 ], [ 58, 2, f51*f58 ], [ 59, 2, f52*f59^4 ], [ 60, 2, [all …]
|
/dports/multimedia/xvid/xvidcore/src/dct/ia64_asm/ |
H A D | idct_ia64_ecc.s | 313 setf.sig f58 = r43 378 fcvt.xf f58 = f58 443 fpack f53 = f58, f59 453 fpack f58 = f68, f69 885 fmix.r f82 = f58, f74 902 fmix.l f58 = f58, f74 944 fpnma f58 = f58, c0, f56 991 fpnma f58 = f58, c13, f48 1332 fmix.l f58 = f58, f57 1351 fpcvt.fx f58 = f58 [all …]
|
H A D | idct_ia64_gcc.s | 313 setf.sig f58 = r43 378 fcvt.xf f58 = f58 443 fpack f53 = f58, f59 453 fpack f58 = f68, f69 885 fmix.r f82 = f58, f74 902 fmix.l f58 = f58, f74 944 fpnma f58 = f58, c0, f56 991 fpnma f58 = f58, c13, f48 1332 fmix.l f58 = f58, f57 1351 fpcvt.fx f58 = f58 [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/ |
H A D | infer-arith-trigger-eq.smt2 | 126 (declare-fun f58 (S33 Int) S27) 210 (assert (forall ((?v0 Int) (?v1 Int)) (= (= (+ (f47 (f58 f59 ?v0) ?v0) (f47 (f58 f59 ?v1) ?v1)) 0) … 290 (assert (forall ((?v0 Int)) (= (f9 (f55 f56 ?v0) (f15 f16 3)) (f47 (f58 f59 (f47 (f58 f59 ?v0) ?v0)… 293 (assert (forall ((?v0 Int)) (= (f9 (f55 f56 ?v0) (f15 f16 2)) (f47 (f58 f59 ?v0) ?v0)))) 299 (assert (forall ((?v0 Int)) (= (f47 (f58 f59 ?v0) ?v0) (f9 (f55 f56 ?v0) (f15 f16 2))))) 311 …forall ((?v0 Int) (?v1 Int) (?v2 S3)) (= (f9 (f55 f56 (f47 (f58 f59 ?v0) ?v1)) ?v2) (f47 (f58 f59 … 314 … Int) (?v1 S3)) (let ((?v_0 (f9 (f55 f56 ?v0) ?v1))) (= (f47 (f58 f59 ?v_0) ?v0) (f47 (f58 f59 ?v0… 351 …all ((?v0 Int) (?v1 Int) (?v2 Int)) (= (f47 (f58 f59 (+ ?v0 ?v1)) ?v2) (+ (f47 (f58 f59 ?v0) ?v2) … 357 (assert (forall ((?v0 Int)) (let ((?v_0 (f47 f112 ?v0))) (= (f47 (f58 f59 ?v_0) ?v_0) (f47 (f58 f59… 358 (assert (forall ((?v0 Int) (?v1 Int)) (= (f47 f112 (f47 (f58 f59 ?v0) ?v1)) (f47 (f58 f59 (f47 f112… [all …]
|
/dports/emulators/qemu60/qemu-6.0.0/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 391 ldd [$key + 0x100-0x60], %f58 406 des_round %f56, %f58, %f0, %f0 414 ldd [$key + 0x100+0x48], %f58 428 des_round %f56, %f58, %f0, %f0 542 ldd [$key + 0x80+0x58], %f58 557 des_round %f56, %f58, %f0, %f0 565 ldd [$key + 0x80-0x50], %f58 579 des_round %f56, %f58, %f0, %f0
|
/dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/openssl-src-111.16.0+1.1.1l/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 391 ldd [$key + 0x100-0x60], %f58 406 des_round %f56, %f58, %f0, %f0 414 ldd [$key + 0x100+0x48], %f58 428 des_round %f56, %f58, %f0, %f0 542 ldd [$key + 0x80+0x58], %f58 557 des_round %f56, %f58, %f0, %f0 565 ldd [$key + 0x80-0x50], %f58 579 des_round %f56, %f58, %f0, %f0
|
/dports/security/vaultwarden/vaultwarden-1.23.1/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 393 ldd [$key + 0x100-0x60], %f58 408 des_round %f56, %f58, %f0, %f0 416 ldd [$key + 0x100+0x48], %f58 430 des_round %f56, %f58, %f0, %f0 544 ldd [$key + 0x80+0x58], %f58 559 des_round %f56, %f58, %f0, %f0 567 ldd [$key + 0x80-0x50], %f58 581 des_round %f56, %f58, %f0, %f0
|
/dports/emulators/qemu42/qemu-4.2.1/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 391 ldd [$key + 0x100-0x60], %f58 406 des_round %f56, %f58, %f0, %f0 414 ldd [$key + 0x100+0x48], %f58 428 des_round %f56, %f58, %f0, %f0 542 ldd [$key + 0x80+0x58], %f58 557 des_round %f56, %f58, %f0, %f0 565 ldd [$key + 0x80-0x50], %f58 579 des_round %f56, %f58, %f0, %f0
|
/dports/sysutils/uefi-edk2-qemu/edk2-edk2-stable201911/CryptoPkg/Library/OpensslLib/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 391 ldd [$key + 0x100-0x60], %f58 406 des_round %f56, %f58, %f0, %f0 414 ldd [$key + 0x100+0x48], %f58 428 des_round %f56, %f58, %f0, %f0 542 ldd [$key + 0x80+0x58], %f58 557 des_round %f56, %f58, %f0, %f0 565 ldd [$key + 0x80-0x50], %f58 579 des_round %f56, %f58, %f0, %f0
|
/dports/sysutils/vector/vector-0.10.0/cargo-crates/openssl-src-111.9.0+1.1.1g/openssl/crypto/des/asm/ |
H A D | dest4-sparcv9.pl | 391 ldd [$key + 0x100-0x60], %f58 406 des_round %f56, %f58, %f0, %f0 414 ldd [$key + 0x100+0x48], %f58 428 des_round %f56, %f58, %f0, %f0 542 ldd [$key + 0x80+0x58], %f58 557 des_round %f56, %f58, %f0, %f0 565 ldd [$key + 0x80-0x50], %f58 579 des_round %f56, %f58, %f0, %f0
|