| /dports/devel/binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | ldst-reg-pair.d | 22 38: 697fbfe7 ldpsw x7, x15, \[sp, #-4\]
23 3c: 69403fe7 ldpsw x7, x15, \[sp\]
24 40: 6947bfe7 ldpsw x7, x15, \[sp, #60\]
28 50: a93fbfe7 stp x7, x15, \[sp, #-8\]
29 54: a9003fe7 stp x7, x15, \[sp\]
30 58: a907bfe7 stp x7, x15, \[sp, #120\]
31 5c: a91fbfe7 stp x7, x15, \[sp, #504\]
34 68: a97fbfe7 ldp x7, x15, \[sp, #-8\]
35 6c: a9403fe7 ldp x7, x15, \[sp\]
221 354: a8003fe7 stnp x7, x15, \[sp\]
[all …]
|
| H A D | ldst-reg-uns-imm.d | 153 244: f90003e7 str x7, \[sp\]
154 248: f90003e7 str x7, \[sp\]
157 254: f90007e7 str x7, \[sp, #8\]
197 2f4: f94003e7 ldr x7, \[sp\]
198 2f8: f94003e7 ldr x7, \[sp\]
208 320: 398003e7 ldrsb x7, \[sp\]
209 324: 398003e7 ldrsb x7, \[sp\]
219 34c: 798003e7 ldrsh x7, \[sp\]
220 350: 798003e7 ldrsh x7, \[sp\]
230 378: b98003e7 ldrsw x7, \[sp\]
[all …]
|
| H A D | ldst-reg-imm-post-ind.d | 127 1dc: f80007e7 str x7, \[sp\], #0
128 1e0: f80027e7 str x7, \[sp\], #2
129 1e4: f80047e7 str x7, \[sp\], #4
130 1e8: f80087e7 str x7, \[sp\], #8
131 1ec: f80107e7 str x7, \[sp\], #16
132 1f0: f80557e7 str x7, \[sp\], #85
163 26c: f84007e7 ldr x7, \[sp\], #0
164 270: f84027e7 ldr x7, \[sp\], #2
165 274: f84047e7 ldr x7, \[sp\], #4
166 278: f84087e7 ldr x7, \[sp\], #8
[all …]
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/aarch64/ |
| H A D | ldst-reg-uns-imm.d | 153 244: f90003e7 str x7, \[sp\]
154 248: f90003e7 str x7, \[sp\]
157 254: f90007e7 str x7, \[sp,#8\]
197 2f4: f94003e7 ldr x7, \[sp\]
198 2f8: f94003e7 ldr x7, \[sp\]
208 320: 398003e7 ldrsb x7, \[sp\]
209 324: 398003e7 ldrsb x7, \[sp\]
219 34c: 798003e7 ldrsh x7, \[sp\]
220 350: 798003e7 ldrsh x7, \[sp\]
230 378: b98003e7 ldrsw x7, \[sp\]
[all …]
|
| H A D | ldst-reg-imm-post-ind.d | 127 1dc: f80007e7 str x7, \[sp\],#0
128 1e0: f80027e7 str x7, \[sp\],#2
129 1e4: f80047e7 str x7, \[sp\],#4
130 1e8: f80087e7 str x7, \[sp\],#8
131 1ec: f80107e7 str x7, \[sp\],#16
132 1f0: f80557e7 str x7, \[sp\],#85
163 26c: f84007e7 ldr x7, \[sp\],#0
164 270: f84027e7 ldr x7, \[sp\],#2
165 274: f84047e7 ldr x7, \[sp\],#4
166 278: f84087e7 ldr x7, \[sp\],#8
[all …]
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | ldst-reg-uns-imm.d | 153 244: f90003e7 str x7, \[sp\]
154 248: f90003e7 str x7, \[sp\]
157 254: f90007e7 str x7, \[sp, #8\]
197 2f4: f94003e7 ldr x7, \[sp\]
198 2f8: f94003e7 ldr x7, \[sp\]
208 320: 398003e7 ldrsb x7, \[sp\]
209 324: 398003e7 ldrsb x7, \[sp\]
219 34c: 798003e7 ldrsh x7, \[sp\]
220 350: 798003e7 ldrsh x7, \[sp\]
230 378: b98003e7 ldrsw x7, \[sp\]
[all …]
|
| H A D | ldst-reg-imm-post-ind.d | 127 1dc: f80007e7 str x7, \[sp\], #0
128 1e0: f80027e7 str x7, \[sp\], #2
129 1e4: f80047e7 str x7, \[sp\], #4
130 1e8: f80087e7 str x7, \[sp\], #8
131 1ec: f80107e7 str x7, \[sp\], #16
132 1f0: f80557e7 str x7, \[sp\], #85
163 26c: f84007e7 ldr x7, \[sp\], #0
164 270: f84027e7 ldr x7, \[sp\], #2
165 274: f84047e7 ldr x7, \[sp\], #4
166 278: f84087e7 ldr x7, \[sp\], #8
[all …]
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/aarch64/ |
| H A D | ldst-reg-uns-imm.d | 153 244: f90003e7 str x7, \[sp\]
154 248: f90003e7 str x7, \[sp\]
157 254: f90007e7 str x7, \[sp, #8\]
197 2f4: f94003e7 ldr x7, \[sp\]
198 2f8: f94003e7 ldr x7, \[sp\]
208 320: 398003e7 ldrsb x7, \[sp\]
209 324: 398003e7 ldrsb x7, \[sp\]
219 34c: 798003e7 ldrsh x7, \[sp\]
220 350: 798003e7 ldrsh x7, \[sp\]
230 378: b98003e7 ldrsw x7, \[sp\]
[all …]
|
| H A D | ldst-reg-imm-post-ind.d | 127 1dc: f80007e7 str x7, \[sp\], #0
128 1e0: f80027e7 str x7, \[sp\], #2
129 1e4: f80047e7 str x7, \[sp\], #4
130 1e8: f80087e7 str x7, \[sp\], #8
131 1ec: f80107e7 str x7, \[sp\], #16
132 1f0: f80557e7 str x7, \[sp\], #85
163 26c: f84007e7 ldr x7, \[sp\], #0
164 270: f84027e7 ldr x7, \[sp\], #2
165 274: f84047e7 ldr x7, \[sp\], #4
166 278: f84087e7 ldr x7, \[sp\], #8
[all …]
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/aarch64/ |
| H A D | ldst-reg-uns-imm.d | 153 244: f90003e7 str x7, \[sp\]
154 248: f90003e7 str x7, \[sp\]
157 254: f90007e7 str x7, \[sp,#8\]
197 2f4: f94003e7 ldr x7, \[sp\]
198 2f8: f94003e7 ldr x7, \[sp\]
208 320: 398003e7 ldrsb x7, \[sp\]
209 324: 398003e7 ldrsb x7, \[sp\]
219 34c: 798003e7 ldrsh x7, \[sp\]
220 350: 798003e7 ldrsh x7, \[sp\]
230 378: b98003e7 ldrsw x7, \[sp\]
[all …]
|
| H A D | ldst-reg-imm-post-ind.d | 127 1dc: f80007e7 str x7, \[sp\],#0
128 1e0: f80027e7 str x7, \[sp\],#2
129 1e4: f80047e7 str x7, \[sp\],#4
130 1e8: f80087e7 str x7, \[sp\],#8
131 1ec: f80107e7 str x7, \[sp\],#16
132 1f0: f80557e7 str x7, \[sp\],#85
163 26c: f84007e7 ldr x7, \[sp\],#0
164 270: f84027e7 ldr x7, \[sp\],#2
165 274: f84047e7 ldr x7, \[sp\],#4
166 278: f84087e7 ldr x7, \[sp\],#8
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/push-pop/ |
| H A D | fuzz_52.smt2 | 19 (declare-fun x7 () Bool)
21 …x7)) (and (or x7 x4) (or x6 x7))) (not (not (or x6 x4))))) (not (or (or (and (or x1 x5) (and x4 x7…
22 …x7)) (and (not x0) (or x4 x5))) (or (or (and x6 x7) (or x3 x3)) (or (or x2 x2) (and x5 x6)))) (not…
25 …(not (not (not (or (and (or (and x6 x5) (or x6 x7)) (or (not x2) (not x7))) (or (or (and x6 x3) (a…
26 …x7 x3))))) (or (or (and (and (not x2) (not x0)) (and (not x4) (not x2))) (not (and (not x6) (not x…
27 (assert (not (or (not (not x4)) (and (and x5 x0) (and x6 x7)))))
28 …t (not (not (and (and (or (not x5) (or x4 x5)) (or (and x7 x5) (or x7 x0))) (not (not (and x1 x7))…
37 (assert (or (not (or x0 x6)) (not (and x1 x7))))
40 (assert (or (and (not x7) (not x4)) (or (not x3) (or x7 x7))))
41 …x7 x7) (not x3))) (not (not (and x0 x7))))) (or (or (and (or (not x7) (or x0 x0)) (and (and x2 x4)…
|
| H A D | fuzz_28.smt2 | 18 (declare-fun x7 () Bool)
21 …x7) (or x1 x6))) (and (or (or x6 x7) (or x8 x7)) (not (and x0 x8))))) (and (not (and (and (and x2 …
23 …x7 x6) (and x8 x3)) (or (and x1 x8) (and x0 x9))))) (not (not (or (and (and x8 x7) (or x9 x2)) (an…
28 …x7) (and x3 x3))))))) (not (or (and (not (or (or (and x6 x6) (not x6)) (and (not x1) (not x4)))) (…
29 …x7 x6) (and x4 x6)) (not (or x4 x2))) (and (and (or x7 x6) (or x9 x1)) (or (not x1) (and x1 x8))))…
32 …x7)) (and (or x0 x3) (or x0 x0)))) (and (not (and (not x6) (not x9))) (or (not (and x9 x4)) (and (…
34 …x7))) (and (and (and x4 x9) (not x2)) (not (and x8 x5))))) (or (or (and (not (not x3)) (or (and x9…
39 …x7))) (not (or (or x3 x5) (not x6)))) (not (and (and (and x9 x5) (and x2 x4)) (and (or x0 x9) (not…
42 (assert (and x5 x7))
|
| H A D | fuzz_9.smt2 | 20 (declare-fun x7 () Bool)
22 …x7))) (not (and (and x5 x7) (not x7)))) (and (and (and (and x6 x6) (not x0)) (not (or x3 x1))) (an…
25 …x7 x7) (and x7 x0)))) (or (and (or (and x8 x7) (or x3 x2)) (not (not x7))) (not (and (not x8) (not…
28 (assert (and (or x7 x5) (and x2 x6)))
34 (assert (or x7 x7))
35 (assert (not (or x0 x7)))
38 …and x6 x2) (or x2 x8)) (or (and x7 x3) (or x2 x5)))) (and (or (not (not x4)) (and (not x4) (not x2…
41 …x7) (or x2 x7)) (or (or x7 x3) (and x5 x2))) (or (or (and x7 x0) (and x1 x1)) (and (not x7) (or x6…
47 (assert (not (and (not (and (not x5) (not x7))) (and (or (not x1) (and x4 x1)) (not (and x5 x8))))))
48 …x7))) (and (and (and x6 x1) (not x3)) (not (and x5 x1)))) (and (or (or (or x7 x2) (or x2 x6)) (not…
[all …]
|
| H A D | fuzz_15.smt2 | 15 (declare-fun x7 () Bool)
20 …x7))) (and (not (or x3 x2)) (and (not x5) (or x1 x6)))) (and (and (or (and x4 x2) (or x4 x1)) (not…
24 …x7 x0) (not x2))))) (or (not (not (and (not x5) (not x7)))) (or (and (and (not x3) (or x0 x6)) (or…
26 …x7))))) (or (not (and (not (not x3)) (or (not x0) (not x2)))) (and (not (not (and x4 x1))) (and (o…
|
| /dports/math/frobby/frobby-0.9.1/test/commonIdeals/ |
| H A D | t16.intersection | 1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 x1^99*x2^63*x3^26*x4^58*x5^70*x6^11*x7^17*x8^20,
5 x1^81*x2^73*x3^87*x4^70*x5^93*x6^85*x7^62*x8^30,
6 x1^74*x2^74*x3^34*x4^67*x5^96*x6^4*x7^98*x8^37,
7 x1^68*x2^45*x3^64*x4^20*x5^80*x6^20*x7^6*x8^58,
8 x1^47*x2^63*x3^65*x4^55*x5^47*x6^43*x7^37*x8^33,
9 x1^44*x2^29*x3^78*x4^16*x5^84*x6^53*x7^81*x8^36,
10 x1^41*x2^7*x3^33*x4^77*x5^76*x6^58*x7^54*x8^50,
11 x1^29*x2^40*x3^91*x4^51*x5^24*x6^58*x7^6*x8^57,
15 x1^17*x3^70*x4^32*x5^92*x6^98*x7*x8^56,
[all …]
|
| H A D | t16.minimize | 1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 x1^99*x2^63*x3^26*x4^58*x5^70*x6^11*x7^17*x8^20,
5 x1^81*x2^73*x3^87*x4^70*x5^93*x6^85*x7^62*x8^30,
6 x1^74*x2^74*x3^34*x4^67*x5^96*x6^4*x7^98*x8^37,
7 x1^68*x2^45*x3^64*x4^20*x5^80*x6^20*x7^6*x8^58,
8 x1^47*x2^63*x3^65*x4^55*x5^47*x6^43*x7^37*x8^33,
9 x1^44*x2^29*x3^78*x4^16*x5^84*x6^53*x7^81*x8^36,
10 x1^41*x2^7*x3^33*x4^77*x5^76*x6^58*x7^54*x8^50,
11 x1^29*x2^40*x3^91*x4^51*x5^24*x6^58*x7^6*x8^57,
15 x1^17*x3^70*x4^32*x5^92*x6^98*x7*x8^56,
[all …]
|
| H A D | t16.test | 1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 x1^13*x2^25*x3^45*x4^32*x5^54*x6^45*x7^94*x8^48,
4 x1^29*x2^40*x3^91*x4^51*x5^24*x6^58*x7^6*x8^57,
5 x1^99*x2^63*x3^26*x4^58*x5^70*x6^11*x7^17*x8^20,
6 x1^12*x2^18*x3^47*x4^48*x5^70*x6^40*x7^88*x8^67,
7 x1^41*x2^7*x3^33*x4^77*x5^76*x6^58*x7^54*x8^50,
8 x1^23*x2^36*x3^82*x4^71*x5^50*x6^56*x7^92*x8^13,
9 x1^44*x2^29*x3^78*x4^16*x5^84*x6^53*x7^81*x8^36,
12 x1^18*x2^64*x3^14*x4^79*x5^46*x6^3*x7^82*x8^51,
15 x1^17*x3^70*x4^32*x5^92*x6^98*x7*x8^56,
[all …]
|
| /dports/math/SCIP/scip-7.0.3/applications/MinIISC/data/ |
| H A D | prob.20.50.100.0.lp | 4 - 66 x1 + 49 x2 - 81 x3 + 73 x4 + 15 x5 + 56 x6 + 38 x7 - 26 x8 + 74 x9 + 48 x10 - 11 x11 - 29 x12 …
5 - 78 x1 + 8 x2 - 22 x3 + 13 x4 + 91 x5 + 73 x6 - 68 x7 - 45 x8 - 48 x9 + 84 x10 - 13 x11 + 57 x12 -…
6 - 14 x1 - 47 x2 - 37 x3 + 53 x4 - 79 x5 + 53 x6 + 40 x7 - 57 x8 + 52 x9 - 18 x10 + 29 x11 + 85 x12 …
7 92 x1 - 71 x2 - 11 x3 - 35 x4 + 90 x5 - 29 x6 - 20 x7 - 80 x8 + 90 x9 + 96 x10 + 14 x11 + 73 x12 - …
9 - 27 x1 + 45 x2 - 61 x3 - 69 x4 - 68 x5 + 66 x6 + 9 x7 - 37 x8 + 5 x9 - 13 x10 - 58 x11 + 45 x12 - …
12 - 74 x1 - 5 x2 + 56 x3 + 13 x5 - 11 x6 - 93 x7 - 34 x8 - 15 x9 + 16 x10 - 83 x11 + 34 x12 + 17 x13 …
14 26 x1 - 52 x2 - 76 x3 + 74 x4 - 80 x5 + 50 x6 - 24 x7 + 10 x8 - 85 x9 - 25 x10 + 24 x11 + 57 x12 - …
33 15 x1 + 62 x2 + 56 x3 + 41 x4 - 32 x5 + 87 x6 - 59 x7 + 44 x8 + 66 x9 - 31 x10 - 35 x11 - 32 x12 + …
38 46 x1 - 96 x2 - 23 x3 + 22 x4 + 19 x5 + 87 x6 + 57 x7 + 63 x8 + 64 x9 + 22 x10 - 38 x11 + 63 x12 - …
47 - 67 x1 + 31 x2 - 29 x3 - 5 x4 + 5 x5 + 94 x6 + 77 x7 - 42 x8 + 63 x9 - 36 x10 - 70 x11 + 37 x12 + …
[all …]
|
| /dports/science/afni/afni-AFNI_21.3.16/src/ |
| H A D | dct8.c | 86 x8=x7+x0; x0-=x7; x7=x1+x6; x1-=x6; in dct8()
90 x4=x8+x5; x8-=x5; x5=x7+x6; x7-=x6; in dct8()
96 x5=r2c6*(x7+x8); x7=(-r2s6-r2c6)*x7+x5; x8=(r2s6-r2c6)*x8+x5; in dct8()
132 int x8=x7+x1; x1 -= x7; in idct8()
139 x3=x7+x2; x7-=x2; x2=x0+x6; x0-= x6; in idct8()
166 x8=x7+x0; x0-=x7; x7=x1+x6; x1-=x6; in fdct8()
169 x4=x8+x5; x8-=x5; x5=x7+x6; x7-=x6; in fdct8()
174 x5=R2C6*(x7+x8); x7=(-R2S6-R2C6)*x7+x5; x8=(R2S6-R2C6)*x8+x5; in fdct8()
186 x6=vv[6] , x7=vv[7], x8=x7+x1 ; in ifdct8() local
188 x1 -= x7; in ifdct8()
[all …]
|
| /dports/math/giacxcas/giac-1.6.0/examples/groebner/ |
| H A D | katsura12 | 1 …x7 + 2*x8 + 2*x9 + 2*x10 + 2*x11 + 2*x12 - 1, x1^2 + 2*x2^2 + 2*x3^2 + 2*x4^2 + 2*x5^2 + 2*x6^2 + …
3 time(H:=gbasis(kat12 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12],revlex,modular_check));
|
| H A D | katsura11 | 1 …x7 + 2*x8 + 2*x9 + 2*x10 + 2*x11 - 1, x1^2 + 2*x2^2 + 2*x3^2 + 2*x4^2 + 2*x5^2 + 2*x6^2 + 2*x7^2 +…
2 // time(H:=gbasis(kat11 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11],revlex));
4 time(H:=gbasis(kat11 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11],revlex,modular_check));
|
| H A D | katsura10 | 1 …x7 + 2*x8 + 2*x9 + 2*x10 - 1, x1^2 + 2*x2^2 + 2*x3^2 + 2*x4^2 + 2*x5^2 + 2*x6^2 + 2*x7^2 + 2*x8^2 …
3 time(H:=gbasis(kat10 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10],revlex));
4 time(H:=gbasis(kat10 ,[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10],revlex,modular_check));
|
| /dports/math/frobby/frobby-0.9.1/test/bench/ |
| H A D | sqfreeV25G1000.test | 3 x2*x6*x7*x11*x15*x16*x17*x18*x19*x21,
4 x2*x3*x6*x7*x8*x11*x12*x13*x21*x24,
52 x1*x7*x8*x12*x15*x16*x19*x22*x25,
56 x5*x7*x9*x11*x12*x16*x17*x20*x25,
69 x3*x7*x9*x10*x13*x14*x17*x20*x25,
90 x4*x5*x7*x9*x14*x16*x18*x25,
128 x5*x6*x7*x8*x11*x13*x14*x16*x19,
582 x3*x4*x7*x12*x17*x18*x20*x24,
688 x4*x7*x10*x13*x14*x19*x20*x23,
735 x1*x2*x7*x13*x14*x15*x20*x21,
[all …]
|
| /dports/multimedia/vapoursynth-l-smash-works/L-SMASH-Works-0.0-940-g198cc78/AviUtl/ |
| H A D | lwcolor_simd.c | 102 x6 = _mm_unpacklo_epi16(x0, x7); in fill_rgb_buffer_sse41()
103 x7 = _mm_unpackhi_epi16(x0, x7); in fill_rgb_buffer_sse41()
105 x7 = _mm_add_epi32(x7, x4); in fill_rgb_buffer_sse41()
107 x7 = _mm_add_epi32(x7, _mm_load_si128((__m128i*)PD_1_20)); in fill_rgb_buffer_sse41()
109 x7 = _mm_srai_epi32(x7, 21); in fill_rgb_buffer_sse41()
110 x6 = _mm_packs_epi32(x6, x7); in fill_rgb_buffer_sse41()
117 x7 = _mm_unpackhi_epi16(x2, x7); in fill_rgb_buffer_sse41()
119 x7 = _mm_add_epi32(x7, x4); in fill_rgb_buffer_sse41()
121 x7 = _mm_add_epi32(x7, _mm_load_si128((__m128i*)PD_1_20)); in fill_rgb_buffer_sse41()
123 x7 = _mm_srai_epi32(x7, 21); in fill_rgb_buffer_sse41()
[all …]
|