| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerContext.cpp | 125 static bool evalComparison(SVal LHSVal, BinaryOperatorKind ComparisonOp, in evalComparison() argument
127 if (LHSVal.isUnknownOrUndef()) in evalComparison()
130 if (!isa<NonLoc>(LHSVal)) { in evalComparison()
131 LHSVal = Mgr.getStoreManager().getBinding(State->getStore(), in evalComparison()
132 LHSVal.castAs<Loc>()); in evalComparison()
133 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
138 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
|
| H A D | ExprEngineC.cpp | 164 SVal LHSVal; in VisitBinaryOperator() local
170 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
173 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); in VisitBinaryOperator()
178 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); in VisitBinaryOperator()
188 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal); in VisitBinaryOperator()
|
| /openbsd/gnu/llvm/llvm/lib/Target/AMDGPU/ |
| H A D | AMDGPUISelDAGToDAG.h | 59 uint32_t LHSVal, RHSVal; variable
60 if (getConstantValue(N->getOperand(0), LHSVal) &&
63 uint32_t K = Negate ? (-LHSVal & 0xffff) | (-RHSVal << 16)
64 : (LHSVal & 0xffff) | (RHSVal << 16);
|
| /openbsd/gnu/llvm/compiler-rt/lib/ubsan/ |
| H A D | ubsan_handlers.cpp | 289 Value LHSVal(Data->Type, LHS); in handleDivremOverflowImpl() local
309 << LHSVal << Data->Type; in handleDivremOverflowImpl()
334 Value LHSVal(Data->LHSType, LHS); in handleShiftOutOfBoundsImpl() local
357 if (LHSVal.isNegative()) in handleShiftOutOfBoundsImpl()
358 Diag(Loc, DL_Error, ET, "left shift of negative value %0") << LHSVal; in handleShiftOutOfBoundsImpl()
362 << LHSVal << RHSVal << Data->LHSType; in handleShiftOutOfBoundsImpl()
|
| /openbsd/gnu/llvm/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombinePHI.cpp | 411 Value *LHSVal = FirstInst->getOperand(0); in foldPHIArgBinOpIntoPHI() local
414 Type *LHSType = LHSVal->getType(); in foldPHIArgBinOpIntoPHI()
433 if (I->getOperand(0) != LHSVal) LHSVal = nullptr; in foldPHIArgBinOpIntoPHI()
441 if (!LHSVal && !RHSVal) in foldPHIArgBinOpIntoPHI()
449 if (!LHSVal) { in foldPHIArgBinOpIntoPHI()
454 LHSVal = NewLHS; in foldPHIArgBinOpIntoPHI()
484 LHSVal, RHSVal); in foldPHIArgBinOpIntoPHI()
491 BinaryOperator::Create(BinOp->getOpcode(), LHSVal, RHSVal); in foldPHIArgBinOpIntoPHI()
|
| /openbsd/gnu/llvm/clang/lib/CodeGen/ |
| H A D | CGExprComplex.cpp | 1092 ComplexPairTy LHSVal = EmitLoadOfLValue(LHS, Loc); in EmitCompoundAssignLValue() local
1095 EmitComplexToComplexCast(LHSVal, LHSTy, PromotionTypeLHS, Loc); in EmitCompoundAssignLValue()
1097 OpInfo.LHS = EmitComplexToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc); in EmitCompoundAssignLValue()
1099 llvm::Value *LHSVal = CGF.EmitLoadOfScalar(LHS, Loc); in EmitCompoundAssignLValue() local
1109 LHSVal = CGF.EmitScalarConversion(LHSVal, LHSTy, in EmitCompoundAssignLValue()
1113 LHSVal = in EmitCompoundAssignLValue()
1114 CGF.EmitScalarConversion(LHSVal, LHSTy, ComplexElementTy, Loc); in EmitCompoundAssignLValue()
1116 OpInfo.LHS = ComplexPairTy(LHSVal, nullptr); in EmitCompoundAssignLValue()
1118 OpInfo.LHS = EmitScalarToComplexCast(LHSVal, LHSTy, OpInfo.Ty, Loc); in EmitCompoundAssignLValue()
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | PointerArithChecker.cpp | 335 SVal LHSVal = C.getSVal(Lhs); in checkPreStmt() local
336 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
|
| /openbsd/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | JumpThreading.cpp | 777 for (const auto &LHSVal : LHSVals) in computeValueKnownInPredecessorsImpl() local
778 if (LHSVal.first == InterestingVal || isa<UndefValue>(LHSVal.first)) { in computeValueKnownInPredecessorsImpl()
779 Result.emplace_back(InterestingVal, LHSVal.second); in computeValueKnownInPredecessorsImpl()
780 LHSKnownBBs.insert(LHSVal.second); in computeValueKnownInPredecessorsImpl()
820 for (const auto &LHSVal : LHSVals) { in computeValueKnownInPredecessorsImpl() local
821 Constant *V = LHSVal.first; in computeValueKnownInPredecessorsImpl()
826 Result.emplace_back(KC, LHSVal.second); in computeValueKnownInPredecessorsImpl()
955 for (const auto &LHSVal : LHSVals) { in computeValueKnownInPredecessorsImpl() local
956 Constant *V = LHSVal.first; in computeValueKnownInPredecessorsImpl()
959 Result.emplace_back(KC, LHSVal.second); in computeValueKnownInPredecessorsImpl()
|
| /openbsd/gnu/llvm/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 162 BoolValue &LHSVal = getLogicOperatorSubExprValue(*LHS); in VisitBinaryOperator() local
168 Env.setValue(Loc, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
170 Env.setValue(Loc, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
|
| /openbsd/gnu/llvm/llvm/include/llvm/TableGen/ |
| H A D | Record.h | 2115 unsigned LHSVal, RHSVal; in operator() local
2117 bool LHSFailed = LHSPart.second.getAsInteger(10, LHSVal); (void)LHSFailed; in operator()
2122 if (LHSVal != RHSVal) in operator()
2123 return LHSVal < RHSVal; in operator()
|
| /openbsd/gnu/llvm/llvm/lib/Target/PowerPC/AsmParser/ |
| H A D | PPCAsmParser.cpp | 75 int64_t LHSVal = EvaluateCRExpr(BE->getLHS()); in EvaluateCRExpr() local
79 if (LHSVal < 0 || RHSVal < 0) in EvaluateCRExpr()
84 case MCBinaryExpr::Add: Res = LHSVal + RHSVal; break; in EvaluateCRExpr()
85 case MCBinaryExpr::Mul: Res = LHSVal * RHSVal; break; in EvaluateCRExpr()
|
| /openbsd/gnu/llvm/clang/lib/Sema/ |
| H A D | SemaStmt.cpp | 510 Sema::ActOnCaseStmt(SourceLocation CaseLoc, ExprResult LHSVal, in ActOnCaseStmt() argument
513 assert((LHSVal.isInvalid() || LHSVal.get()) && "missing LHS value"); in ActOnCaseStmt()
523 if (LHSVal.isInvalid() || RHSVal.isInvalid()) { in ActOnCaseStmt()
528 auto *CS = CaseStmt::Create(Context, LHSVal.get(), RHSVal.get(), in ActOnCaseStmt()
|
| /openbsd/gnu/llvm/llvm/lib/CodeGen/SelectionDAG/ |
| H A D | SelectionDAGBuilder.cpp | 3328 SDValue LHSVal = getValue(I.getOperand(1)); in visitSelect() local
3419 LHSVal = getValue(LHS); in visitSelect()
3426 LHSVal = getValue(LHS); in visitSelect()
3434 EVT VT = LHSVal.getNode()->getValueType(LHSVal.getResNo() + i); in visitSelect()
3436 DAG.getNode(OpCode, dl, VT, LHSVal.getValue(LHSVal.getResNo() + i)); in visitSelect()
3443 Ops.push_back(SDValue(LHSVal.getNode(), LHSVal.getResNo() + i)); in visitSelect()
3447 LHSVal.getNode()->getValueType(LHSVal.getResNo() + i), Ops, Flags); in visitSelect()
|
| /openbsd/gnu/llvm/clang/lib/AST/ |
| H A D | ExprConstant.cpp | 12725 const APValue &LHSVal = LHSResult.Val; in VisitBinOp() local
12729 if (E->isAdditiveOp() && LHSVal.isLValue() && RHSVal.isInt()) { in VisitBinOp()
12730 Result = LHSVal; in VisitBinOp()
12737 RHSVal.isLValue() && LHSVal.isInt()) { in VisitBinOp()
12739 addOrSubLValueAsInteger(Result, LHSVal.getInt(), /*IsSub*/false); in VisitBinOp()
12743 if (E->getOpcode() == BO_Sub && LHSVal.isLValue() && RHSVal.isLValue()) { in VisitBinOp()
12745 if (!LHSVal.getLValueOffset().isZero() || in VisitBinOp()
12748 const Expr *LHSExpr = LHSVal.getLValueBase().dyn_cast<const Expr*>(); in VisitBinOp()
12765 if (!LHSVal.isInt() || !RHSVal.isInt()) in VisitBinOp()
12773 if (!handleIntIntBinOp(Info, E, LHSVal.getInt(), E->getOpcode(), in VisitBinOp()
|