| /dports/math/cvc4/CVC4-1.7/src/theory/fp/ |
| H A D | type_enumerator.h | 109 d_rm = roundTowardZero;
111 case roundTowardZero:
|
| H A D | fp_converter.cpp | 809 nm->mkConst(roundTowardZero))))); in rmToNode()
885 case roundTowardZero: r.insert(current, traits::RTZ()); break; in convert()
|
| H A D | theory_fp_rewriter.cpp | 960 case roundTowardZero: in roundingModeBitBlast()
1339 Node RTP(nm->mkConst(roundTowardZero)); in postRewrite()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
| H A D | validate_1.gold | 13 [GOOD] (define-fun s1 () RoundingMode roundTowardZero)
|
| /dports/lang/gawk/gawk-5.1.1/doc/ |
| H A D | wordlist3 | 209 roundTowardZero
|
| H A D | wordlist | 1544 roundTowardZero
|
| /dports/math/R-cran-Rmpfr/Rmpfr/man/ |
| H A D | mpfr.Rd | 64 \item{GMP_RND\bold{Z}:}{round toward \bold{z}ero (roundTowardZero in
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Kind.hs | 490 smtRoundingMode RoundTowardZero = "roundTowardZero"
|
| /dports/devel/llvm70/llvm-7.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1555 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1564 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1570 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/WebCore/platform/mac/ |
| H A D | ScrollAnimatorMac.mm | 1113 static inline float roundTowardZero(float num)
1124 return roundTowardZero(num);
|
| /dports/devel/llvm10/llvm-10.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1626 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1635 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1641 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1626 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1635 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1641 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1626 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1635 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1641 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/llvm90/llvm-9.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1596 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1605 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1611 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/llvm80/llvm-8.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1584 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1593 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1599 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/math/cvc4/CVC4-1.7/src/util/ |
| H A D | floatingpoint.cpp | 438 rm traits::RTZ(void) { return ::CVC4::roundTowardZero; }; in RTZ()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1733 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1742 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1748 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/llvm11/llvm-11.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1734 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1743 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1749 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1776 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1785 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1791 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1722 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1731 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1737 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1776 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1785 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1791 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1755 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1764 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1770 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1820 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero,
1829 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero
1835 (!roundTowardZero || status != APFloat::opInexact))
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1820 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1829 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1835 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/lib/Analysis/ |
| H A D | ConstantFolding.cpp | 1820 Constant *ConstantFoldSSEConvertToInt(const APFloat &Val, bool roundTowardZero, in ConstantFoldSSEConvertToInt() argument
1829 APFloat::roundingMode mode = roundTowardZero? APFloat::rmTowardZero in ConstantFoldSSEConvertToInt()
1835 (!roundTowardZero || status != APFloat::opInexact)) in ConstantFoldSSEConvertToInt()
|