/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/ |
H A D | Value.cpp | 21 const Value &Val2) { 23 auto *IndVal2 = cast<ReferenceValue>(&Val2); 27 auto *IndVal2 = cast<PointerValue>(&Val2); 33 bool areEquivalentValues(const Value &Val1, const Value &Val2) { argument 34 return &Val1 == &Val2 || (Val1.getKind() == Val2.getKind() && 36 areEquivalentIndirectionValues(Val1, Val2))); 20 areEquivalentIndirectionValues(const Value &Val1, const Value &Val2) argument
|
H A D | DataflowEnvironment.cpp | 53 const Environment &Env1, Value &Val2, 62 switch (Model.compare(Type, Val1, Env1, Val2, Env2)) { 85 /// Attempts to merge distinct values `Val1` and `Val2` in `Env1` and `Env2`, 90 const Environment &Env1, Value &Val2, 96 if (isa<BoolValue>(&Val1) && isa<BoolValue>(&Val2)) { 111 auto *Expr2 = cast<BoolValue>(&Val2); 126 if (Model.merge(Type, Val1, Env1, Val2, Env2, *MergedVal, MergedEnv)) 52 compareDistinctValues(QualType Type, Value &Val1, const Environment &Env1, Value &Val2, const Environment &Env2, Environment::ValueModel &Model) argument 89 mergeDistinctValues(QualType Type, Value &Val1, const Environment &Env1, Value &Val2, const Environment &Env2, Environment &MergedEnv, Environment::ValueModel &Model) argument
|
H A D | DataflowAnalysisContext.cpp | 219 BoolValue &Val2) { 221 &getOrCreateNegation(getOrCreateIff(Val1, Val2))}; 218 equivalentBoolValues(BoolValue &Val1, BoolValue &Val2) argument
|
/openbsd-current/gnu/llvm/llvm/include/llvm/Transforms/Utils/ |
H A D | BypassSlowDivision.h | 42 static bool isEqual(const DivRemMapKey &Val1, const DivRemMapKey &Val2) { argument 43 return Val1.SignedOp == Val2.SignedOp && Val1.Dividend == Val2.Dividend && 44 Val1.Divisor == Val2.Divisor;
|
/openbsd-current/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/Models/ |
H A D | UncheckedOptionalAccessModel.h | 58 const Environment &Env1, const Value &Val2, 62 const Value &Val2, const Environment &Env2, Value &MergedVal,
|
/openbsd-current/gnu/llvm/clang/lib/CodeGen/ |
H A D | CGAtomic.cpp | 376 Address Val1, Address Val2, 383 llvm::Value *Desired = CGF.Builder.CreateLoad(Val2); 426 Address Val1, Address Val2, 457 emitAtomicCmpXchg(CGF, E, IsWeak, Dest, Ptr, Val1, Val2, Size, SuccessOrder, 482 emitAtomicCmpXchg(CGF, E, IsWeak, Dest, Ptr, Val1, Val2, 487 emitAtomicCmpXchg(CGF, E, IsWeak, Dest, Ptr, Val1, Val2, Size, SuccessOrder, 492 emitAtomicCmpXchg(CGF, E, IsWeak, Dest, Ptr, Val1, Val2, Size, SuccessOrder, 522 Address Ptr, Address Val1, Address Val2, 538 emitAtomicCmpXchgFailureSet(CGF, E, false, Dest, Ptr, Val1, Val2, 544 emitAtomicCmpXchgFailureSet(CGF, E, true, Dest, Ptr, Val1, Val2, 374 emitAtomicCmpXchg(CodeGenFunction &CGF, AtomicExpr *E, bool IsWeak, Address Dest, Address Ptr, Address Val1, Address Val2, uint64_t Size, llvm::AtomicOrdering SuccessOrder, llvm::AtomicOrdering FailureOrder, llvm::SyncScope::ID Scope) argument 424 emitAtomicCmpXchgFailureSet(CodeGenFunction &CGF, AtomicExpr *E, bool IsWeak, Address Dest, Address Ptr, Address Val1, Address Val2, llvm::Value *FailureOrderVal, uint64_t Size, llvm::AtomicOrdering SuccessOrder, llvm::SyncScope::ID Scope) argument 521 EmitAtomicOp(CodeGenFunction &CGF, AtomicExpr *E, Address Dest, Address Ptr, Address Val1, Address Val2, llvm::Value *IsWeak, llvm::Value *FailureOrder, uint64_t Size, llvm::AtomicOrdering Order, llvm::SyncScope::ID Scope) argument 723 EmitAtomicOp(CodeGenFunction &CGF, AtomicExpr *Expr, Address Dest, Address Ptr, Address Val1, Address Val2, llvm::Value *IsWeak, llvm::Value *FailureOrder, uint64_t Size, llvm::AtomicOrdering Order, llvm::Value *Scope) argument 814 Address Val2 = Address::invalid(); local [all...] |
/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
H A D | MismatchedIteratorChecker.cpp | 40 const SVal &Val2, CheckerContext &C, 282 const SVal &Val2, 288 R->markInteresting(Val2); 280 reportBug(const StringRef &Message, const SVal &Val1, const SVal &Val2, CheckerContext &C, ExplodedNode *ErrNode) const argument
|
H A D | GTestChecker.cpp | 117 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2, 271 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2, argument 275 auto DVal2 = Val2.getAs<DefinedOrUnknownSVal>();
|
/openbsd-current/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/ |
H A D | DataflowEnvironment.h | 74 /// `Same`: `Val1` is equivalent to `Val2`, according to the model. 75 /// `Different`: `Val1` is distinct from `Val2`, according to the model. 77 /// `Val2`. 81 /// `Val1` and `Val2` must be distinct. 83 /// `Val1` and `Val2` must model values of type `Type`. 85 /// `Val1` and `Val2` must be assigned to the same storage location in 88 const Environment &Env1, const Value &Val2, 95 /// Modifies `MergedVal` to approximate both `Val1` and `Val2`. This could 102 /// implications of `Val1` and `Val2` respectively. 106 /// `Val1` and `Val2` mus 87 compare(QualType Type, const Value &Val1, const Environment &Env1, const Value &Val2, const Environment &Env2) argument 112 merge(QualType Type, const Value &Val1, const Environment &Env1, const Value &Val2, const Environment &Env2, Value &MergedVal, Environment &MergedEnv) argument [all...] |
H A D | Value.h | 90 bool areEquivalentValues(const Value &Val1, const Value &Val2);
|
H A D | DataflowAnalysisContext.h | 262 /// Returns true if `Val1` is equivalent to `Val2`. 264 /// `Val2` imposed by the flow condition. 265 bool equivalentBoolValues(BoolValue &Val1, BoolValue &Val2);
|
/openbsd-current/gnu/llvm/llvm/lib/IR/ |
H A D | Constants.cpp | 1536 APFloat Val2 = APFloat(Val); 1544 if (&Val2.getSemantics() == &APFloat::IEEEhalf()) 1546 Val2.convert(APFloat::IEEEhalf(), APFloat::rmNearestTiesToEven, &losesInfo); 1550 if (&Val2.getSemantics() == &APFloat::BFloat()) 1552 Val2.convert(APFloat::BFloat(), APFloat::rmNearestTiesToEven, &losesInfo); 1556 if (&Val2.getSemantics() == &APFloat::IEEEsingle()) 1558 Val2.convert(APFloat::IEEEsingle(), APFloat::rmNearestTiesToEven, &losesInfo); 1562 if (&Val2.getSemantics() == &APFloat::IEEEhalf() || 1563 &Val2.getSemantics() == &APFloat::BFloat() || 1564 &Val2 [all...] |
/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/Models/ |
H A D | UncheckedOptionalAccessModel.cpp | 837 const Value &Val2, const Environment &Env2) { 841 bool MustNonEmpty2 = isNonEmptyOptional(Val2, Env2); 847 return (isEmptyOptional(Val1, Env1) && isEmptyOptional(Val2, Env2)) 854 const Value &Val2, 864 bool MustNonEmpty2 = isNonEmptyOptional(Val2, Env2); 871 isEmptyOptional(Val2, Env2))
|
/openbsd-current/gnu/llvm/llvm/lib/Target/AMDGPU/ |
H A D | AMDGPURegBankCombiner.cpp | 61 Register Val0, Val1, Val2; member in struct:AMDGPURegBankCombinerHelper::Med3MatchInfo 326 getAsVgpr(MatchInfo.Val2)},
|
/openbsd-current/gnu/llvm/llvm/lib/Transforms/Utils/ |
H A D | LibCallsShrinkWrap.cpp | 106 CmpInst::Predicate Cmp2, float Val2) { 109 auto Cond2 = createCond(BBBuilder, Arg, Cmp2, Val2); 105 createOrCond(CallInst *CI, CmpInst::Predicate Cmp, float Val, CmpInst::Predicate Cmp2, float Val2) argument
|
H A D | InlineFunction.cpp | 794 auto *Val2 = mdconst::dyn_extract<ConstantInt>(*CallsiteStackIter); local 795 assert(Val1 && Val2); 796 if (Val1->getZExtValue() != Val2->getZExtValue())
|
/openbsd-current/gnu/llvm/llvm/include/llvm/ProfileData/ |
H A D | InstrProf.h | 683 static inline double score(uint64_t Val1, uint64_t Val2, double Sum1, argument 687 return std::min(Val1 / Sum1, Val2 / Sum2);
|
/openbsd-current/gnu/llvm/llvm/lib/Target/ARM/ |
H A D | ARMISelDAGToDAG.cpp | 3109 SDValue Val2 = Ins2.getOperand(1); local 3110 if (Val1.getOpcode() == ISD::FP_ROUND || Val2.getOpcode() == ISD::FP_ROUND) 3116 (Val2.getOpcode() == ISD::EXTRACT_VECTOR_ELT || 3117 Val2.getOpcode() == ARMISD::VGETLANEu) && 3119 isa<ConstantSDNode>(Val2.getOperand(1)) && 3122 (Val2.getOperand(0).getValueType() == MVT::v8f16 || 3123 Val2.getOperand(0).getValueType() == MVT::v8i16)) { 3125 unsigned ExtractLane2 = Val2.getConstantOperandVal(1); 3129 if (Val1.getOperand(0) == Val2.getOperand(0) && ExtractLane2 % 2 == 0 && 3146 ARM::ssub_0 + ExtractLane2 / 2, dl, MVT::f32, Val2 [all...] |
H A D | ARMBaseInstrInfo.h | 862 /// Returns true if Val1 has a lower Constant Materialization Cost than Val2. 865 bool HasLowerConstantMaterializationCost(unsigned Val1, unsigned Val2,
|
H A D | ARMBaseInstrInfo.cpp | 5661 bool llvm::HasLowerConstantMaterializationCost(unsigned Val1, unsigned Val2, 5666 unsigned Cost2 = ConstantMaterializationCost(Val2, Subtarget, ForCodesize); 5674 ConstantMaterializationCost(Val2, Subtarget, !ForCodesize);
|
H A D | ARMISelLowering.cpp | 5323 int64_t Val2 = cast<ConstantSDNode>(K2)->getSExtValue(); local 5324 int64_t PosVal = std::max(Val1, Val2); 5325 int64_t NegVal = std::min(Val1, Val2); 5327 if (!((Val1 > Val2 && isLTorLE(CC1)) || (Val1 < Val2 && isLTorLE(CC2))) || 5336 if (Val1 == ~Val2)
|
/openbsd-current/gnu/llvm/llvm/lib/Transforms/InstCombine/ |
H A D | InstCombineCalls.cpp | 1735 // sat(sat(X + Val2) + Val) -> sat(X + (Val+Val2)) 1736 // sat(sat(X - Val2) - Val) -> sat(X - (Val+Val2)) 1737 // if Val and Val2 have the same sign 1740 const APInt *Val, *Val2; local 1747 match(Other->getArgOperand(1), m_APInt(Val2))) { 1749 NewVal = Val->uadd_sat(*Val2); 1750 else if (Val->isNonNegative() == Val2->isNonNegative()) { 1752 NewVal = Val->sadd_ov(*Val2, Overflo [all...] |
/openbsd-current/gnu/llvm/clang/lib/AST/ |
H A D | ASTStructuralEquivalence.cpp | 1767 llvm::APSInt Val2 = EC2->getInitVal(); local 1768 if (!llvm::APSInt::isSameValue(Val1, Val2) ||
|
/openbsd-current/gnu/llvm/llvm/lib/CodeGen/SelectionDAG/ |
H A D | SelectionDAG.cpp | 129 APFloat Val2 = APFloat(Val); local 131 (void) Val2.convert(SelectionDAG::EVTToAPFloatSemantics(VT),
|
/openbsd-current/gnu/llvm/llvm/lib/Target/AArch64/ |
H A D | AArch64ISelLowering.cpp | 17155 SDValue Val2 = Op2.getOperand(0); local 17158 SDValue AddVal = DAG.getNode(ISD::ADD, DL, ValVT, Val1, Val2);
|