Searched refs:Val2 (Results 1 - 25 of 25) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DValue.cpp21 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 DDataflowEnvironment.cpp53 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 DDataflowAnalysisContext.cpp219 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 DBypassSlowDivision.h42 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 DUncheckedOptionalAccessModel.h58 const Environment &Env1, const Value &Val2,
62 const Value &Val2, const Environment &Env2, Value &MergedVal,
/openbsd-current/gnu/llvm/clang/lib/CodeGen/
H A DCGAtomic.cpp376 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 DMismatchedIteratorChecker.cpp40 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 DGTestChecker.cpp117 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 DDataflowEnvironment.h74 /// `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 DValue.h90 bool areEquivalentValues(const Value &Val1, const Value &Val2);
H A DDataflowAnalysisContext.h262 /// 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 DConstants.cpp1536 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 DUncheckedOptionalAccessModel.cpp837 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 DAMDGPURegBankCombiner.cpp61 Register Val0, Val1, Val2; member in struct:AMDGPURegBankCombinerHelper::Med3MatchInfo
326 getAsVgpr(MatchInfo.Val2)},
/openbsd-current/gnu/llvm/llvm/lib/Transforms/Utils/
H A DLibCallsShrinkWrap.cpp106 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 DInlineFunction.cpp794 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 DInstrProf.h683 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 DARMISelDAGToDAG.cpp3109 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 DARMBaseInstrInfo.h862 /// Returns true if Val1 has a lower Constant Materialization Cost than Val2.
865 bool HasLowerConstantMaterializationCost(unsigned Val1, unsigned Val2,
H A DARMBaseInstrInfo.cpp5661 bool llvm::HasLowerConstantMaterializationCost(unsigned Val1, unsigned Val2,
5666 unsigned Cost2 = ConstantMaterializationCost(Val2, Subtarget, ForCodesize);
5674 ConstantMaterializationCost(Val2, Subtarget, !ForCodesize);
H A DARMISelLowering.cpp5323 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 DInstCombineCalls.cpp1735 // 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 DASTStructuralEquivalence.cpp1767 llvm::APSInt Val2 = EC2->getInitVal(); local
1768 if (!llvm::APSInt::isSameValue(Val1, Val2) ||
/openbsd-current/gnu/llvm/llvm/lib/CodeGen/SelectionDAG/
H A DSelectionDAG.cpp129 APFloat Val2 = APFloat(Val); local
131 (void) Val2.convert(SelectionDAG::EVTToAPFloatSemantics(VT),
/openbsd-current/gnu/llvm/llvm/lib/Target/AArch64/
H A DAArch64ISelLowering.cpp17155 SDValue Val2 = Op2.getOperand(0); local
17158 SDValue AddVal = DAG.getNode(ISD::ADD, DL, ValVT, Val1, Val2);

Completed in 672 milliseconds