Searched refs:ToBitWidth (Results 1 – 3 of 3) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 260 QualType ToTy, uint64_t ToBitWidth, in fromCast() argument
269 assert(ToBitWidth > 0 && "BitWidth must be positive!"); in fromCast()
271 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
272 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
275 if (ToBitWidth > FromBitWidth) in fromCast()
280 if (ToBitWidth < FromBitWidth) in fromCast()
281 return Solver->mkBVExtract(ToBitWidth - 1, 0, Exp); in fromCast()
288 if (ToBitWidth != FromBitWidth) in fromCast()
295 SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast()
303 ? Solver->mkFPtoSBV(Exp, ToBitWidth) in fromCast()
[all …]
|
| /freebsd-12.1/contrib/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineInternal.h | 438 bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const;
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/AST/ |
| H A D | ASTImporter.cpp | 3306 Expr *ToBitWidth; in VisitFieldDecl() local
3313 ToType, ToTInfo, ToBitWidth, ToInnerLocStart, ToInitializer) = *Imp; in VisitFieldDecl()
3320 ToType, ToTInfo, ToBitWidth, D->isMutable(), in VisitFieldDecl()
3511 Expr *ToBitWidth; in VisitObjCIvarDecl() local
3515 std::tie(ToType, ToTypeSourceInfo, ToBitWidth, ToInnerLocStart) = *Imp; in VisitObjCIvarDecl()
3524 D->getAccessControl(),ToBitWidth, D->getSynthesize())) in VisitObjCIvarDecl()
|