Searched refs:MergedVal (Results 1 – 6 of 6) sorted by relevance
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 88 auto &MergedVal = MergedEnv.makeAtomicBoolValue(); in mergeDistinctValues() local
91 MergedEnv.makeIff(MergedVal, *Expr1)), in mergeDistinctValues()
93 MergedEnv.makeIff(MergedVal, *Expr2)))); in mergeDistinctValues()
94 return &MergedVal; in mergeDistinctValues()
104 if (Value *MergedVal = MergedEnv.createValue(Type)) in mergeDistinctValues() local
105 if (Model.merge(Type, *Val1, Env1, *Val2, Env2, *MergedVal, MergedEnv)) in mergeDistinctValues()
106 return MergedVal; in mergeDistinctValues()
311 if (Value *MergedVal = mergeDistinctValues( in join() local
313 JoinedEnv.LocToVal.insert({Loc, MergedVal}); in join()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.h | 62 const Value &Val2, const Environment &Env2, Value &MergedVal,
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 358 const Value &Val2, const Environment &Env2, Value &MergedVal, in merge() argument
374 MergedVal.setProperty("is_set", IsSet); in merge()
502 const Value &Val2, const Environment &Env2, Value &MergedVal, in merge() argument
518 MergedVal.setProperty("has_value", *HasValue1); in merge()
520 MergedVal.setProperty("has_value", HasValueTop); in merge()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 105 const Environment &Env2, Value &MergedVal, in merge() argument
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineLoadStoreAlloca.cpp | 1531 Value *MergedVal = OtherStore->getOperand(0); in mergeStoreIntoSuccessor() local
1535 if (MergedVal != SI.getOperand(0)) { in mergeStoreIntoSuccessor()
1536 PHINode *PN = PHINode::Create(MergedVal->getType(), 2, "storemerge"); in mergeStoreIntoSuccessor()
1539 MergedVal = InsertNewInstBefore(PN, DestBB->front()); in mergeStoreIntoSuccessor()
1546 new StoreInst(MergedVal, SI.getOperand(1), SI.isVolatile(), SI.getAlign(), in mergeStoreIntoSuccessor()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 729 Value &MergedVal, in merge() argument
739 setHasValue(MergedVal, HasValueVal); in merge()
|