| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Target/RISCV/ |
| H A D | RISCVInstrInfoV.td | 1033 …E1024_V : VUnitStrideSegmentLoad<!add(nf, -1), LUMOPUnitStride, LSWidth1024, "vlseg"#nf#"e1024.v">;
1051 def VSSEG#nf#E1024_V : VUnitStrideSegmentStore<!add(nf, -1), LSWidth1024, "vsseg"#nf#"e1024.v">;
1061 def VLSSEG#nf#E1024_V : VStridedSegmentLoad<!add(nf, -1), LSWidth1024, "vlsseg"#nf#"e1024.v">;
1070 def VSSSEG#nf#E1024_V : VStridedSegmentStore<!add(nf, -1), LSWidth1024, "vssseg"#nf#"e1024.v">;
|
| /dports/math/fplll/fplll-5.4.1/fplll/ |
| H A D | factorial.const | 461 "1.4485403354484377321946598467762747909890903376e1024",
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/auflia/ |
| H A D | fuzz-error1099.smt | 1052 (flet ($e1024 (xor $e897 $e843))
1068 (flet ($e1040 (iff $e1024 $e1007))
|
| H A D | fuzz01.smt | 1033 (flet ($e1024 (p1 ?e490))
1808 (flet ($e1799 (implies $e1168 $e1024))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | bug136.smt | 1029 (flet ($e1024 (not $e854))
1107 (flet ($e1102 (xor $e1024 $e1062))
|
| /dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
| H A D | 0013.b.smt2 | 1030 (let ((e1024 (or e1004 e941)))
1033 (let ((e1027 (and e1024 e1026)))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
| H A D | bug374.smt | 1038 (flet ($e1024 (not $e903))
1108 (flet ($e1094 (implies $e373 $e1024))
|
| H A D | bug374.delta01.smt | 1038 (flet ($e1024 (not $e903))
1108 (flet ($e1094 (implies $e373 $e1024))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
| H A D | bug374a.smt | 1041 (flet ($e1024 (not $e903))
1111 (flet ($e1094 (implies $e373 $e1024))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
| H A D | fifo32bc06k08.smt | 1102 (let (?e1024 (select a959 ?e16))
1103 (let (?e1025 (store ?e1023 ?e15 ?e1024))
|
| H A D | fifo32in06k08.smt | 1104 (let (?e1024 (store ?e1022 ?e23 ?e1023))
1106 (let (?e1026 (store ?e1024 ?e24 ?e1025))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/bv/ |
| H A D | bv-proof00.smt | 1029 (flet ($e1024 (bvult ?e120 ?e224))
1514 (flet ($e1509 (implies $e461 $e1024))
|
| H A D | fuzz34.smt | 1029 (flet ($e1024 (= ?e445 ?e322))
3198 (or $e1024 (not $e803) $e1236)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | incorrect1.smt | 1032 (flet ($e1024 (> ?e317 ?e39))
2273 (flet ($e2265 (if_then_else $e1024 $e1592 $e1354))
|
| H A D | incorrect2.smt | 1032 (flet ($e1024 (> ?e317 ?e39))
2273 (flet ($e2265 (if_then_else $e1024 $e1592 $e1354))
|
| /dports/editors/fpc-ide/fpc-3.2.2/rtl/inc/ |
| H A D | genmath.inc | 1861 (1,1e512,1e1024,1e1536,
|
| /dports/lang/fpc-source/fpc-3.2.2/rtl/inc/ |
| H A D | genmath.inc | 1861 (1,1e512,1e1024,1e1536,
|
| /dports/lang/fpc/fpc-3.2.2/rtl/inc/ |
| H A D | genmath.inc | 1861 (1,1e512,1e1024,1e1536,
|
| /dports/lang/fpc-utils/fpc-3.2.2/rtl/inc/ |
| H A D | genmath.inc | 1861 (1,1e512,1e1024,1e1536,
|
| /dports/emulators/riscv-isa-sim/riscv-isa-sim-4f12984/riscv/ |
| H A D | decode.h | 387 #define e1024 1024 // 1024b elements macro
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
| H A D | fuzz17.smt | 1029 (flet ($e1024 (bvsge (zero_extend[13] ?e585) ?e474))
2895 (or $e602 $e1024 $e1322)
|
| H A D | fuzz15.smt | 1029 (flet ($e1024 (= (zero_extend[3] ?e43) ?e299))
|
| H A D | fuzz16.smt | 1029 (flet ($e1024 (bvult ?e254 ?e224))
|
| /dports/net-mgmt/netdisco-mibs/netdisco-mibs-4.010/lancom/ |
| H A D | LC-UNIFIED-LCOS-10-12-REL-OIDS.mib | 54642 e1024 (1024),
132951 e1024 (1024),
133426 e1024 (1024),
|
| /dports/net-mgmt/observium/observium/mibs/lancom/ |
| H A D | LCOS-MIB | 54642 e1024 (1024),
132951 e1024 (1024),
133426 e1024 (1024),
|