Home
last modified time | relevance | path

Searched refs:Exp (Results 1 – 25 of 1225) sorted by relevance

12345678910>>...49

/openbsd-src/gnu/llvm/clang/lib/Analysis/
H A DExprMutationAnalyzer.cpp44 auto *Exp = dyn_cast<Expr>(&Node); in AST_MATCHER_P() local
45 if (!Exp) { in AST_MATCHER_P()
79 return ComplexMatcher.matches(*Exp, Finder, Builder); in AST_MATCHER_P()
147 const Stmt *ExprMutationAnalyzer::findMutation(const Expr *Exp) { in findMutation() argument
148 return findMutationMemoized(Exp, in findMutation()
163 const Stmt *ExprMutationAnalyzer::findPointeeMutation(const Expr *Exp) { in findPointeeMutation() argument
164 return findMutationMemoized(Exp, {/*TODO*/}, PointeeResults); in findPointeeMutation()
172 const Expr *Exp, llvm::ArrayRef<MutationFinder> Finders, in findMutationMemoized() argument
174 const auto Memoized = MemoizedResults.find(Exp); in findMutationMemoized()
178 if (isUnevaluated(Exp)) in findMutationMemoized()
[all …]
H A DThreadSafety.cpp397 const Expr *Exp = nullptr; member
405 bool isReference() { return !Exp; } in isReference()
410 : Dec(D), Exp(E), Ctx(C) {} in VarDefinition()
447 if (VarDefinitions[i].Exp) { in lookupExpr()
449 return VarDefinitions[i].Exp; in lookupExpr()
487 const Expr *Exp = VarDefinitions[i].Exp; in dump() local
492 if (Exp) Exp->dump(); in dump()
529 Context addDefinition(const NamedDecl *D, const Expr *Exp, Context Ctx) { in addDefinition() argument
533 VarDefinitions.push_back(VarDefinition(D, Exp, Ctx)); in addDefinition()
547 Context updateDefinition(const NamedDecl *D, Expr *Exp, Context Ctx) { in updateDefinition() argument
[all …]
/openbsd-src/gnu/llvm/clang/include/clang/Analysis/Analyses/
H A DExprMutationAnalyzer.h28 bool isMutated(const Expr *Exp) { return findMutation(Exp) != nullptr; } in isMutated() argument
30 const Stmt *findMutation(const Expr *Exp);
33 bool isPointeeMutated(const Expr *Exp) { in isPointeeMutated() argument
34 return findPointeeMutation(Exp) != nullptr; in isPointeeMutated()
39 const Stmt *findPointeeMutation(const Expr *Exp);
48 const Stmt *findMutationMemoized(const Expr *Exp,
53 bool isUnevaluated(const Expr *Exp);
62 const Stmt *findDirectMutation(const Expr *Exp);
63 const Stmt *findMemberMutation(const Expr *Exp);
64 const Stmt *findArrayElementMutation(const Expr *Exp);
[all …]
H A DThreadSafetyLogical.h83 LExpr *Exp; variable
86 Not(LExpr *Exp) : LExpr(LExpr::Not), Exp(Exp) {} in Not() argument
88 const LExpr *exp() const { return Exp; } in exp()
89 LExpr *exp() { return Exp; } in exp()
/openbsd-src/gnu/llvm/llvm/lib/Target/ARM/MCTargetDesc/
H A DARMAddressingModes.h648 uint8_t Exp = (Imm >> 4) & 0x7; in getFPImmFloat() local
657 I |= ((Exp & 0x4) != 0 ? 0 : 1) << 30; in getFPImmFloat()
658 I |= ((Exp & 0x4) != 0 ? 0x1f : 0) << 25; in getFPImmFloat()
659 I |= (Exp & 0x3) << 23; in getFPImmFloat()
669 int32_t Exp = (Imm.lshr(10).getSExtValue() & 0x1f) - 15; // -14 to 15 in getFP16Imm() local
679 if (Exp < -3 || Exp > 4) in getFP16Imm()
681 Exp = ((Exp+3) & 0x7) ^ 4; in getFP16Imm()
683 return ((int)Sign << 7) | (Exp << 4) | Mantissa; in getFP16Imm()
707 int32_t Exp = (Imm.lshr(23).getSExtValue() & 0xff) - 127; // -126 to 127 in getFP32Imm() local
719 if (Exp < -3 || Exp > 4) in getFP32Imm()
[all …]
/openbsd-src/gnu/llvm/llvm/include/llvm/Support/
H A DSMTAPI.h181 virtual void addConstraint(const SMTExprRef &Exp) const = 0;
214 virtual SMTExprRef mkBVNeg(const SMTExprRef &Exp) = 0;
217 virtual SMTExprRef mkBVNot(const SMTExprRef &Exp) = 0;
253 virtual SMTExprRef mkNot(const SMTExprRef &Exp) = 0;
269 virtual SMTExprRef mkBVSignExt(unsigned i, const SMTExprRef &Exp) = 0;
272 virtual SMTExprRef mkBVZeroExt(unsigned i, const SMTExprRef &Exp) = 0;
276 const SMTExprRef &Exp) = 0;
311 virtual SMTExprRef mkBVNegNoOverflow(const SMTExprRef &Exp) = 0;
325 virtual SMTExprRef mkFPNeg(const SMTExprRef &Exp) = 0;
328 virtual SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) = 0;
[all …]
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h41 const llvm::SMTExprRef &Exp) { in fromUnOp() argument
44 return Solver->mkBVNeg(Exp); in fromUnOp()
47 return Solver->mkBVNot(Exp); in fromUnOp()
50 return Solver->mkNot(Exp); in fromUnOp()
60 const llvm::SMTExprRef &Exp) { in fromFloatUnOp() argument
63 return Solver->mkFPNeg(Exp); in fromFloatUnOp()
66 return fromUnOp(Solver, Op, Exp); in fromFloatUnOp()
261 const llvm::SMTExprRef &Exp, in fromCast() argument
274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
280 ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp) in fromCast()
[all …]
H A DSMTConstraintManager.h51 llvm::SMTExprRef Exp = in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
59 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
61 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
89 llvm::SMTExprRef Exp = in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
96 ConditionTruthVal isSat = checkModel(State, Sym, Exp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
126 llvm::SMTExprRef Exp = SMTConv::fromData(Solver, Ctx, SD); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
137 if (!Solver->getInterpretation(Exp, Value)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
142 Solver, Exp, BO_NE, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
299 const llvm::SMTExprRef &Exp) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
301 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Target/AArch64/MCTargetDesc/
H A DAArch64AddressingModes.h348 uint8_t Exp = (Imm >> 4) & 0x7; in getFPImmFloat() local
358 I |= ((Exp & 0x4) != 0 ? 0 : 1) << 30; in getFPImmFloat()
359 I |= ((Exp & 0x4) != 0 ? 0x1f : 0) << 25; in getFPImmFloat()
360 I |= (Exp & 0x3) << 23; in getFPImmFloat()
370 int32_t Exp = (Imm.lshr(10).getSExtValue() & 0x1f) - 15; // -14 to 15 in getFP16Imm() local
380 if (Exp < -3 || Exp > 4) in getFP16Imm()
382 Exp = ((Exp+3) & 0x7) ^ 4; in getFP16Imm()
384 return ((int)Sign << 7) | (Exp << 4) | Mantissa; in getFP16Imm()
396 int32_t Exp = (Imm.lshr(23).getSExtValue() & 0xff) - 127; // -126 to 127 in getFP32Imm() local
408 if (Exp < -3 || Exp > 4) in getFP32Imm()
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Support/
H A DZ3Solver.cpp288 void addConstraint(const SMTExprRef &Exp) const override { in addConstraint()
289 Z3_solver_assert(Context.Context, Solver, toZ3Expr(*Exp).AST); in addConstraint()
301 SMTExprRef newExprRef(const SMTExpr &Exp) { in newExprRef() argument
302 auto It = CachedExprs.insert(toZ3Expr(Exp)); in newExprRef()
315 SMTSortRef getSort(const SMTExprRef &Exp) override { in getSort() argument
317 Z3Sort(Context, Z3_get_sort(Context.Context, toZ3Expr(*Exp).AST))); in getSort()
336 SMTExprRef mkBVNeg(const SMTExprRef &Exp) override { in mkBVNeg() argument
338 Z3Expr(Context, Z3_mk_bvneg(Context.Context, toZ3Expr(*Exp).AST))); in mkBVNeg()
341 SMTExprRef mkBVNot(const SMTExprRef &Exp) override { in mkBVNot() argument
343 Z3Expr(Context, Z3_mk_bvnot(Context.Context, toZ3Expr(*Exp).AST))); in mkBVNot()
[all …]
/openbsd-src/gnu/llvm/clang/lib/ARCMigrate/
H A DTransARCAssign.cpp41 bool VisitBinaryOperator(BinaryOperator *Exp) { in VisitBinaryOperator() argument
42 if (Exp->getType()->isDependentType()) in VisitBinaryOperator()
45 Expr *E = Exp->getLHS(); in VisitBinaryOperator()
58 Exp->getOperatorLoc())) { in VisitBinaryOperator()
/openbsd-src/regress/usr.bin/rcs/
H A Dkeywords.out3 Header: file,v 1.1 YYYY/MM/DD HH:MI:SS USER Exp
4 Id: file,v 1.1 YYYY/MM/DD HH:MI:SS USER Exp
9 State: Exp
H A Drlog-rflag2.out15 date: 2006/01/01 00:00:00; author: foo; state: Exp; lines: +1 -0;
19 date: 2006/01/01 00:00:00; author: foo; state: Exp; lines: +1 -0;
23 date: 2006/01/01 00:00:00; author: foo; state: Exp;
H A Drlog-rflag3.out15 date: 2006/01/01 00:00:00; author: foo; state: Exp; lines: +1 -0;
19 date: 2006/01/01 00:00:00; author: foo; state: Exp; lines: +1 -0;
/openbsd-src/regress/usr.bin/cvs/
H A Dtest_opencvs_import_01_seed1.txt,v12 date 2000.01.01.00.00.00; author user; state Exp;
18 date 2000.01.01.00.00.00; author user; state Exp;
32 @$Id: seed1.txt,v 1.1 2016/09/30 22:11:37 bluhm Exp $
H A Dtest_cvs_import_01_seed1.txt,v10 date 2000.01.01.00.00.00; author user; state Exp;
15 date 2000.01.01.00.00.00; author user; state Exp;
30 @$Id: seed1.txt,v 1.1 2007/06/05 05:49:41 niallo Exp $
/openbsd-src/gnu/llvm/llvm/include/llvm/Testing/Support/
H A DError.h22 template <typename T> ExpectedHolder<T> TakeExpected(Expected<T> &Exp) { in TakeExpected() argument
23 return {TakeError(Exp.takeError()), Exp}; in TakeExpected()
26 template <typename T> ExpectedHolder<T> TakeExpected(Expected<T> &&Exp) { in TakeExpected() argument
27 return TakeExpected(Exp); in TakeExpected()
42 bool result = Matcher.MatchAndExplain(*Holder.Exp, listener); in MatchAndExplain()
H A DSupportHelpers.h32 ExpectedHolder(ErrorHolder Err, Expected<T> &Exp) in ExpectedHolder()
33 : ErrorHolder(std::move(Err)), Exp(Exp) {} in ExpectedHolder()
35 Expected<T> &Exp; member
55 *Out << "succeeded with value " << ::testing::PrintToString(*Item.Exp); in PrintTo()
/openbsd-src/gnu/llvm/clang/lib/Frontend/Rewrite/
H A DRewriteModernObjC.cpp349 Stmt *RewriteAtEncode(ObjCEncodeExpr *Exp);
352 Stmt *RewriteAtSelector(ObjCSelectorExpr *Exp);
353 Stmt *RewriteMessageExpr(ObjCMessageExpr *Exp);
354 Stmt *RewriteObjCStringLiteral(ObjCStringLiteral *Exp);
355 Stmt *RewriteObjCBoolLiteralExpr(ObjCBoolLiteralExpr *Exp);
356 Stmt *RewriteObjCBoxedExpr(ObjCBoxedExpr *Exp);
357 Stmt *RewriteObjCArrayLiteralExpr(ObjCArrayLiteral *Exp);
358 Stmt *RewriteObjCDictionaryLiteralExpr(ObjCDictionaryLiteral *Exp);
359 Stmt *RewriteObjCProtocolExpr(ObjCProtocolExpr *Exp);
424 Stmt *SynthMessageExpr(ObjCMessageExpr *Exp,
[all …]
H A DRewriteObjC.cpp294 Stmt *RewriteAtEncode(ObjCEncodeExpr *Exp);
297 Stmt *RewriteAtSelector(ObjCSelectorExpr *Exp);
298 Stmt *RewriteMessageExpr(ObjCMessageExpr *Exp);
299 Stmt *RewriteObjCStringLiteral(ObjCStringLiteral *Exp);
300 Stmt *RewriteObjCProtocolExpr(ObjCProtocolExpr *Exp);
359 Stmt *SynthMessageExpr(ObjCMessageExpr *Exp,
386 Stmt *SynthesizeBlockCall(CallExpr *Exp, const Expr* BlockExp);
390 Stmt *SynthBlockInitExpr(BlockExpr *Exp,
402 void CollectBlockDeclRefInfo(BlockExpr *Exp);
1985 Stmt *RewriteObjC::RewriteAtEncode(ObjCEncodeExpr *Exp) { in RewriteAtEncode() argument
[all …]
/openbsd-src/gnu/usr.bin/gcc/gcc/f/
H A Dste.c170 #define ffeste_f2c_init_charnolen_(Exp,Init,Spec) \ argument
174 Exp = ffecom_arg_ptr_to_const_expr ((Spec)->u.expr, &ignore); \
176 Exp = null_pointer_node; \
177 if (Exp) \
178 Init = Exp; \
186 #define ffeste_f2c_init_char_(Exp,Init,Lenexp,Leninit,Spec) \ argument
190 Exp = ffecom_arg_ptr_to_const_expr ((Spec)->u.expr, &Lenexp); \
193 Exp = null_pointer_node; \
196 if (Exp) \
197 Init = Exp; \
[all …]
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Utils/
H A DLibCallsShrinkWrap.cpp430 Value *Exp = CI->getArgOperand(1); in generateCondForPow() local
443 if (!Exp->getType()->isFloatTy()) in generateCondForPow()
444 V = ConstantExpr::getFPExtend(V, Exp->getType()); in generateCondForPow()
445 return BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V); in generateCondForPow()
472 if (!Exp->getType()->isFloatTy()) in generateCondForPow()
473 V = ConstantExpr::getFPExtend(V, Exp->getType()); in generateCondForPow()
475 V0 = ConstantExpr::getFPExtend(V0, Exp->getType()); in generateCondForPow()
477 Value *Cond = BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V); in generateCondForPow()
/openbsd-src/regress/usr.bin/m4/
H A Dm4wrap.m41 dnl $OpenBSD: m4wrap.m4,v 1.1.1.1 2000/07/01 00:31:01 espie Exp $
2 dnl $NetBSD: m4wrap.m4,v 1.1 1997/12/30 23:30:57 cgd Exp $
/openbsd-src/sys/arch/sh/conf/
H A Dfiles.shpcic1 # $OpenBSD: files.shpcic,v 1.4 2009/04/25 16:25:12 kettenis Exp $
2 # $NetBSD: files.shpcic,v 1.2 2005/12/11 12:18:58 christos Exp $
H A Dfiles.shb1 # $OpenBSD: files.shb,v 1.1.1.1 2006/10/06 21:02:55 miod Exp $
2 # $NetBSD: files.shb,v 1.4 2005/12/11 12:18:58 christos Exp $

12345678910>>...49