| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | TraversalChecker.cpp | 30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
35 void TraversalDumper::checkBranchCondition(const Stmt *Condition, in checkBranchCondition() argument
39 const Stmt *Parent = dyn_cast<ObjCForCollectionStmt>(Condition); in checkBranchCondition()
42 Parent = Parents.getParent(Condition); in checkBranchCondition()
|
| D | UndefBranchChecker.cpp | 56 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
61 void UndefBranchChecker::checkBranchCondition(const Stmt *Condition, in checkBranchCondition() argument
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
88 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition()
|
| D | CheckerDocumentation.cpp | 117 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} in checkBranchCondition() argument
|
| /freebsd-9-stable/contrib/llvm/lib/Transforms/Scalar/ |
| D | StructurizeCFG.cpp | 188 Value *invert(Value *Condition);
311 Value *StructurizeCFG::invert(Value *Condition) { in invert() argument
313 if (Condition == BoolTrue) in invert()
316 if (Condition == BoolFalse) in invert()
319 if (Condition == BoolUndef) in invert()
323 if (match(Condition, m_Not(m_Value(Condition)))) in invert()
324 return Condition; in invert()
326 if (Instruction *Inst = dyn_cast<Instruction>(Condition)) { in invert()
329 for (Value::use_iterator I = Condition->use_begin(), in invert()
330 E = Condition->use_end(); I != E; ++I) { in invert()
[all …]
|
| D | JumpThreading.cpp | 675 Value *Condition; in ProcessBlock() local
680 Condition = BI->getCondition(); in ProcessBlock()
682 Condition = SI->getCondition(); in ProcessBlock()
686 Condition = IB->getAddress()->stripPointerCasts(); in ProcessBlock()
694 if (Instruction *I = dyn_cast<Instruction>(Condition)) { in ProcessBlock()
699 Condition = SimpleVal; in ProcessBlock()
705 if (isa<UndefValue>(Condition)) { in ProcessBlock()
725 if (getKnownConstant(Condition, Preference)) { in ProcessBlock()
733 Instruction *CondInst = dyn_cast<Instruction>(Condition); in ProcessBlock()
738 if (ProcessThreadableEdges(Condition, BB, Preference)) in ProcessBlock()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 1296 const Stmt *Condition, in RecoverCastedSymbol() argument
1300 const Expr *Ex = dyn_cast<Expr>(Condition); in RecoverCastedSymbol()
1332 static const Stmt *ResolveCondition(const Stmt *Condition, in ResolveCondition() argument
1334 if (const Expr *Ex = dyn_cast<Expr>(Condition)) in ResolveCondition()
1335 Condition = Ex->IgnoreParens(); in ResolveCondition()
1337 const BinaryOperator *BO = dyn_cast<BinaryOperator>(Condition); in ResolveCondition()
1339 return Condition; in ResolveCondition()
1355 if (CS->getStmt() != Condition) in ResolveCondition()
1357 return Condition; in ResolveCondition()
1362 while (Condition) { in ResolveCondition()
[all …]
|
| D | CheckerManager.cpp | 380 const Stmt *Condition; member
388 : Checkers(checkers), Condition(Cond), Eng(eng) {} in CheckBranchConditionContext()
392 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(), in runChecker()
395 checkFn(Condition, C); in runChecker()
401 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition, in runCheckersForBranchCondition() argument
407 CheckBranchConditionContext C(BranchConditionCheckers, Condition, Eng); in runCheckersForBranchCondition()
|
| /freebsd-9-stable/contrib/gcc/config/ |
| D | vxworks.opt | 24 Target Report RejectNegative Mask(VXWORKS_RTP) Condition(VXWORKS_KIND == VXWORKS_KIND_NORMAL)
31 Target RejectNegative Condition(VXWORKS_KIND == VXWORKS_KIND_AE)
|
| /freebsd-9-stable/contrib/gcc/config/s390/ |
| D | s390-modes.def | 33 Condition Codes
55 Condition codes resulting from add with overflow
61 Condition codes of unsigned adds and subs
|
| D | constraints.md | 28 ;; c -- Condition code register 33.
83 "Condition code register 33")
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 497 const Expr *Condition; variable
503 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {} in SwitchNodeBuilder()
538 const Expr *getCondition() const { return Condition; } in getCondition()
|
| D | SubEngine.h | 68 virtual void processBranch(const Stmt *Condition, const Stmt *Term,
|
| D | ExprEngine.h | 222 void processBranch(const Stmt *Condition, const Stmt *Term,
|
| /freebsd-9-stable/contrib/gcc/config/mips/ |
| D | mips-ps-3d.md | 440 ; Branch on Any of Four Floating Point Condition Codes True
452 ; Branch on Any of Four Floating Point Condition Codes False
464 ; Branch on Any of Two Floating Point Condition Codes True
476 ; Branch on Any of Two Floating Point Condition Codes False
|
| /freebsd-9-stable/share/misc/ |
| D | scsi_modes | 122 0x1a "Power Condition Page" {
127 {Idle Condition Timer} i4
128 {Standby Condition Timer} i4
|
| /freebsd-9-stable/contrib/tcsh/nls/french/ |
| D | set2 | 37 34 Condition urgente sur canal d'E-S
|
| /freebsd-9-stable/contrib/llvm/lib/Target/PowerPC/ |
| D | PPCRegisterInfo.td | 101 // Condition register bits
135 // Condition registers
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 247 static void _checkBranchCondition(void *checker, const Stmt *Condition, in _checkBranchCondition() argument
249 ((const CHECKER *)checker)->checkBranchCondition(Condition, C); in _checkBranchCondition()
|
| /freebsd-9-stable/contrib/gcc/ |
| D | predict.def | 80 /* Condition emitted by preconditiong code to ensure that variable
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/ASTMatchers/ |
| D | ASTMatchers.h | 2265 const Expr *const Condition = Node.getCond(); in AST_POLYMORPHIC_MATCHER_P() local
2266 return (Condition != NULL && in AST_POLYMORPHIC_MATCHER_P()
2267 InnerMatcher.matches(*Condition, Finder, Builder)); in AST_POLYMORPHIC_MATCHER_P()
|
| /freebsd-9-stable/contrib/llvm/include/llvm/CodeGen/ |
| D | SelectionDAGNodes.h | 1620 ISD::CondCode Condition;
1624 Condition(Cond) {
1628 ISD::CondCode get() const { return Condition; }
|
| /freebsd-9-stable/contrib/gcc/config/rs6000/ |
| D | power5.md | 258 ; Condition Register logical ops are split if non-destructive (RT != RB)
|
| D | power4.md | 305 ; Condition Register logical ops are split if non-destructive (RT != RB)
|
| /freebsd-9-stable/contrib/llvm/lib/Target/Sparc/ |
| D | SparcInstrInfo.td | 510 // Section B.21 - Branch on Integer Condition Codes Instructions, p. 119
550 // Section B.22 - Branch on Floating-point Condition Codes Instructions, p. 121
825 // Move Integer Register on Condition (MOVcc) p. 194 of the V9 manual.
|
| /freebsd-9-stable/contrib/llvm/lib/CodeGen/SelectionDAG/ |
| D | SelectionDAGBuilder.cpp | 1407 ISD::CondCode Condition; in EmitBranchForMergedCondition() local
1409 Condition = getICmpCondCode(IC->getPredicate()); in EmitBranchForMergedCondition()
1411 Condition = getFCmpCondCode(FC->getPredicate()); in EmitBranchForMergedCondition()
1413 Condition = getFCmpCodeWithoutNaN(Condition); in EmitBranchForMergedCondition()
1415 Condition = ISD::SETEQ; // silence warning. in EmitBranchForMergedCondition()
1419 CaseBlock CB(Condition, BOp->getOperand(0), in EmitBranchForMergedCondition()
2820 ISD::CondCode Condition = getFCmpCondCode(predicate); in visitFCmp() local
2822 Condition = getFCmpCodeWithoutNaN(Condition); in visitFCmp()
2824 setValue(&I, DAG.getSetCC(getCurSDLoc(), DestVT, Op1, Op2, Condition)); in visitFCmp()
|