| /dports/math/cvc4/CVC4-1.7/src/util/ |
| H A D | floatingpoint.cpp | 365 wrappedBitVector<isSigned> wrappedBitVector<isSigned>::extend( in extend() function in CVC4::symfpuLiteral::wrappedBitVector
442 void traits::precondition(const prop &p) in precondition()
447 void traits::postcondition(const prop &p) in postcondition()
452 void traits::invariant(const prop &p) in invariant()
639 FloatingPoint FloatingPoint::makeInf (const FloatingPointSize &t, bool sign) { in makeInf()
648 FloatingPoint FloatingPoint::makeZero (const FloatingPointSize &t, bool sign) { in makeZero()
753 FloatingPoint FloatingPoint::maxTotal (const FloatingPoint &arg, bool zeroCaseLeft) const { in maxTotal() argument
763 FloatingPoint FloatingPoint::minTotal (const FloatingPoint &arg, bool zeroCaseLeft) const { in minTotal() argument
890 PartialRational p(convertToRational()); in convertToRationalTotal() local
911 Integer sign((this->fpl.getSign()) ? -1 : 1); in convertToRational() local
|
| /dports/lang/polyml/polyml-5.8.2/libpolyml/ |
| H A D | arb.cpp | 210 int sign = OBJ_IS_NEGATIVE(GetLengthWord(number)) ? -1 : 0; in getPolySigned() local
296 static mp_limb_t *convertToLong(Handle x, mp_limb_t *extend, mp_size_t *length, int *sign) in convertToLong()
316 static byte *convertToLong(Handle x, byte *extend, POLYUNSIGNED *length, int *sign) in convertToLong()
346 static Handle make_canonical(TaskData *taskData, Handle x, int sign) in make_canonical()
610 static Handle add_unsigned_long(TaskData *taskData, Handle x, Handle y, int sign) in add_unsigned_long()
660 static Handle add_unsigned_long(TaskData *taskData, Handle x, Handle y, int sign) in add_unsigned_long()
729 static Handle sub_unsigned_long(TaskData *taskData, Handle x, Handle y, int sign) in sub_unsigned_long()
785 static Handle sub_unsigned_long(TaskData *taskData, Handle x, Handle y, int sign) in sub_unsigned_long()
1334 int sign, signU, signV; in logical_long() local
1910 POLYUNSIGNED PolyGetLowOrderAsLargeWord(FirstArgument threadId, PolyWord arg) in PolyGetLowOrderAsLargeWord()
[all …]
|
| /dports/sysutils/fluent-bit/fluent-bit-1.8.11/lib/onigmo/ |
| H A D | regparse.c | 555 void* arg; member
872 int* p; in name_add() local
1018 Node** p; in scan_env_add_mem_entry() local
2526 int r, sign, is_num, exist_level; in fetch_name_with_level() local
2645 int r, is_num, sign; in fetch_name() local
2768 int r, is_num, sign; in fetch_name() local
4556 UChar *p; in parse_char_class() local
5503 int to_len, void* arg) in i_apply_case_fold()
5725 int extend = propname2ctype(env, "Grapheme_Cluster_Break=Extend"); in node_extended_grapheme_cluster() local
7015 UChar* p; in onig_parse_make_tree() local
[all …]
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/wiredtiger/bench/workgen/ |
| H A D | workgen.cxx | 110 static void *thread_runner_main(void *arg) { in thread_runner_main()
120 static void *monitor_main(void *arg) { in monitor_main()
185 pretty_print(const char *p, const char *indent, std::stringstream &sstm) in pretty_print()
815 int sign = ((r & 0x1) == 0 ? 1 : -1); in random_signed() local
894 ThreadListWrapper::extend(const ThreadListWrapper &other) { in extend() function in workgen::ThreadListWrapper
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | guest_arm64_toIR.c | 136 static inline UInt getUIntLittleEndianly ( const UChar* p ) in getUIntLittleEndianly()
997 static IRTemp mathROR ( IRType ty, IRTemp arg, UInt imm ) in mathROR()
1020 static IRTemp mathREPLICATE ( IRType ty, IRTemp arg, UInt imm ) in mathREPLICATE()
2639 Bool extend = False; in dis_ARM64_data_processing_immediate() local
7357 ULong sign = (imm8 >> 7) & 1; in VFPExpandImm() local
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/VEX/priv/ |
| H A D | guest_arm64_toIR.c | 136 static inline UInt getUIntLittleEndianly ( const UChar* p ) in getUIntLittleEndianly()
997 static IRTemp mathROR ( IRType ty, IRTemp arg, UInt imm ) in mathROR()
1020 static IRTemp mathREPLICATE ( IRType ty, IRTemp arg, UInt imm ) in mathREPLICATE()
2639 Bool extend = False; in dis_ARM64_data_processing_immediate() local
7357 ULong sign = (imm8 >> 7) & 1; in VFPExpandImm() local
|