Searched refs:ToBitWidth (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 272 assert(ToBitWidth > 0 && "BitWidth must be positive!"); in fromCast()
274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
278 if (ToBitWidth > FromBitWidth) in fromCast()
283 if (ToBitWidth < FromBitWidth) in fromCast()
284 return Solver->mkBVExtract(ToBitWidth - 1, 0, Exp); in fromCast()
291 if (ToBitWidth != FromBitWidth) in fromCast()
292 return Solver->mkFPtoFP(Exp, Solver->getFloatSort(ToBitWidth)); in fromCast()
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast()
306 ? Solver->mkFPtoSBV(Exp, ToBitWidth) in fromCast()
[all …]
|
| /llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineInternal.h | 198 bool shouldChangeType(unsigned FromBitWidth, unsigned ToBitWidth) const;
|
| /llvm-project-15.0.7/clang/lib/AST/ |
| H A D | ASTImporter.cpp | 3762 auto ToBitWidth = importChecked(Err, D->getBitWidth()); in VisitFieldDecl() local
3775 ToType, ToTInfo, ToBitWidth, D->isMutable(), in VisitFieldDecl()
4026 auto ToBitWidth = importChecked(Err, D->getBitWidth()); in VisitObjCIvarDecl() local
4036 D->getAccessControl(),ToBitWidth, D->getSynthesize())) in VisitObjCIvarDecl()
|