Searched refs:OvOp (Results 1 – 12 of 12) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Symbolic.hs | 37 , Op(..), PBOp(..), OvOp(..), FPOp(..), NROp(..), StrOp(..), SeqOp(..), SetOp(..)
196 | OverflowOp OvOp -- Overflow-ops, categorized separately
309 data OvOp = Overflow_SMul_OVFL -- ^ Signed multiplication overflow type
315 instance Show OvOp where
|
| H A D | Operations.hs | 926 svMkOverflow :: OvOp -> SVal -> SVal -> SVal
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
| H A D | SMTLib2.hs | 31 import Data.SBV.Core.Symbolic (QueryContext(..), SetOp(..), OvOp(..), CnstMap, getUserName', getSV,…
60 hasOverflows = (not . null) [() | (_ :: OvOp) <- G.universeBi asgnsSeq]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4689 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4690 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4703 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4704 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4703 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4704 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4927 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4928 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4927 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4928 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4927 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4928 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4953 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4954 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4927 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4928 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 4927 if (const auto *OvOp = dyn_cast<OverflowingBinaryOperator>(Op)) { in canCreateUndefOrPoison() local
4928 if (OvOp->hasNoSignedWrap() || OvOp->hasNoUnsignedWrap()) in canCreateUndefOrPoison()
|