/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_bvconst_shifts.c | 34 uint64_t lshl, lshr, ashr; in test_shift64() local 70 uint32_t lshr[2]; in test_shift() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | bv_inverter_utils.cpp | 1227 Node lshr = nm->mkNode(BITVECTOR_LSHR, shl, s); in getICBvLshr() local 1314 Node lshr = nm->mkNode(BITVECTOR_LSHR, nm->mkNode(BITVECTOR_NOT, s), s); in getICBvLshr() local 1353 Node lshr = nm->mkNode(BITVECTOR_LSHR, nnt, s); in getICBvLshr() local 1365 Node lshr = nm->mkNode(BITVECTOR_LSHR, ones, s); in getICBvLshr() local 1394 Node lshr = nm->mkNode(BITVECTOR_LSHR, s, one); in getICBvLshr() local 1415 Node lshr = nm->mkNode(BITVECTOR_LSHR, shl, s); in getICBvLshr() local 1439 Node lshr = nm->mkNode(BITVECTOR_LSHR, s, one); in getICBvLshr() local 1613 Node lshr = nm->mkNode(BITVECTOR_LSHR, s, nm->mkNode(BITVECTOR_NOT, t)); in getICBvAshr() local 1687 Node lshr = nm->mkNode(BITVECTOR_LSHR, max, s); in getICBvAshr() local 1766 Node lshr = nm->mkNode(BITVECTOR_LSHR, t, s); in getICBvShl() local [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.target/i386/ |
H A D | sse2-v1ti-shift-2.c | 9 uv1ti lshr(uv1ti x, unsigned int i) { return x >> i; } in lshr() function
|
H A D | pr100637-1w.c | 37 __v2hu lshr (__v2hu a, int b) { return a >> b; }; in lshr() function
|
H A D | sse2-v1ti-shift.c | 9 ti lshr(ti x, unsigned int i) { return x >> i; } in lshr() function 99 fun lshr; member
|
/dports/lang/scheme48/scheme48-1.9.2/ps-compiler/prescheme/primop/ |
H A D | c-arith.scm | 47 (define-c-generator lshr #t unknown
|
H A D | arith.scm | 169 (define-scheme-primop lshr #f type/integer simplify-lshr) unknown
|
/dports/lang/rust/rustc-1.58.1-src/vendor/compiler_builtins/src/int/ |
H A D | shift.rs | 52 fn lshr(self, shr: u32) -> Self { in lshr() method
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Utils/BVDomain/ |
H A D | Bitwise.hs | 306 lshr w (BVBitInterval mask lo hi) y = BVBitInterval mask (shr lo) (shr hi) function
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/include/llvm/ADT/ |
H A D | APInt.h | 804 APInt lshr(unsigned shiftAmt) const { in lshr() function 853 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/llvm90/llvm-9.0.1.src/include/llvm/ADT/ |
H A D | APInt.h | 970 APInt lshr(unsigned shiftAmt) const { in lshr() function 1019 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/llvm70/llvm-7.0.1.src/include/llvm/ADT/ |
H A D | APInt.h | 970 APInt lshr(unsigned shiftAmt) const { in lshr() function 1019 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/llvm80/llvm-8.0.1.src/include/llvm/ADT/ |
H A D | APInt.h | 971 APInt lshr(unsigned shiftAmt) const { in lshr() function 1020 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/security/clamav-lts/clamav-0.103.5/libclamav/c++/llvm/lib/Support/ |
H A D | ConstantRange.cpp | 616 ConstantRange::lshr(const ConstantRange &Other) const { in lshr() function in ConstantRange
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Utils/ |
H A D | BVDomain.hs | 511 lshr w (BVDBitwise a) (asArithDomain -> b) function 518 lshr w (asArithDomain -> a) (asArithDomain -> b) = BVDArith (A.lshr w a b) function
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/include/llvm/ADT/ |
H A D | APInt.h | 989 APInt lshr(unsigned shiftAmt) const { in lshr() function 1038 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/llvm10/llvm-10.0.1.src/include/llvm/ADT/ |
H A D | APInt.h | 987 APInt lshr(unsigned shiftAmt) const { in lshr() function 1036 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/llvm11/llvm-11.0.1.src/include/llvm/ADT/ |
H A D | APInt.h | 989 APInt lshr(unsigned shiftAmt) const { in lshr() function 1038 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/include/llvm/ADT/ |
H A D | APInt.h | 987 APInt lshr(unsigned shiftAmt) const { in lshr() function 1036 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/include/llvm/ADT/ |
H A D | APInt.h | 987 APInt lshr(unsigned shiftAmt) const { in lshr() function 1036 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/devel/binaryen/binaryen-version_98/third_party/llvm-project/include/llvm/ADT/ |
H A D | APInt.h | 970 APInt lshr(unsigned shiftAmt) const { in lshr() function 1019 APInt lshr(const APInt &ShiftAmt) const { in lshr() function
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Support/ |
H A D | KnownBits.cpp | 172 KnownBits KnownBits::lshr(const KnownBits &LHS, const KnownBits &RHS) { in lshr() function in KnownBits
|
/dports/security/klee/klee-2.2/include/klee/Support/ |
H A D | IntEvaluation.h | 88 inline uint64_t lshr(uint64_t l, uint64_t shift, unsigned inWidth) { in lshr() function
|
/dports/security/libressl/libressl-3.4.3/crypto/bio/ |
H A D | bss_acpt.c | 222 /* break; */
|
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/Support/ |
H A D | KnownBits.cpp | 193 KnownBits KnownBits::lshr(const KnownBits &LHS, const KnownBits &RHS) { in lshr() function in KnownBits
|