Searched refs:RBitWidth (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 621 uint64_t RBitWidth = Ctx.getTypeSize(RTy); in doTypeConversion() local
674 uint64_t RBitWidth = Ctx.getTypeSize(RTy); in doIntTypeConversion() local
691 RBitWidth = NewBitWidth; in doIntTypeConversion()
722 } else if (LBitWidth != RBitWidth) { in doIntTypeConversion()
740 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); in doIntTypeConversion()
742 LHS = (doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); in doIntTypeConversion()
756 uint64_t RBitWidth = Ctx.getTypeSize(RTy); in doFloatTypeConversion() local
760 LHS = (*doCast)(Solver, LHS, RTy, RBitWidth, LTy, LBitWidth); in doFloatTypeConversion()
762 LBitWidth = RBitWidth; in doFloatTypeConversion()
765 RHS = (*doCast)(Solver, RHS, LTy, LBitWidth, RTy, RBitWidth); in doFloatTypeConversion()
[all …]
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ScalarEvolution.cpp | 748 unsigned LBitWidth = LA.getBitWidth(), RBitWidth = RA.getBitWidth(); in CompareSCEVComplexity() local
749 if (LBitWidth != RBitWidth) in CompareSCEVComplexity()
750 return (int)LBitWidth - (int)RBitWidth; in CompareSCEVComplexity()
|