82         RK.ArgValue =  in canonicalizedKnowledge()
83             MinAlign(RK.ArgValue, GEP->getMaxPreservedAlignment(DL).value());  in canonicalizedKnowledge()
95     RK.ArgValue = RK.ArgValue + Offset;  in canonicalizedKnowledge()
128           if (RKOther.ArgValue >= RK.ArgValue) {  in tryToPreserveWithoutAddingAssume()
141           ConstantInt::get(Type::getInt64Ty(M->getContext()), RK.ArgValue));  in tryToPreserveWithoutAddingAssume()
158            Arg->getAttribute(RK.AttrKind).getValueAsInt() >= RK.ArgValue))  in isKnowledgeWorthPreserving()
184       AssumedKnowledgeMap[Key] = RK.ArgValue;  in addKnowledge()
187     assert(((Lookup->second == 0 && RK.ArgValue == 0) ||  in addKnowledge()
188             (Lookup->second != 0 && RK.ArgValue != 0)) &&  in addKnowledge()
193     Lookup->second = std::max(Lookup->second, RK.ArgValue);  in addKnowledge()
395       uint64_t ArgValue;  in dropRedundantKnowledge()  member
427                       RK.ArgValue) {  in dropRedundantKnowledge()
436               Arg->addAttr(Attribute::get(C, RK.AttrKind, RK.ArgValue));  in dropRedundantKnowledge()
446             if (Elem.ArgValue >= RK.ArgValue) {  in dropRedundantKnowledge()
451                   ConstantInt::get(Type::getInt64Ty(C), RK.ArgValue));  in dropRedundantKnowledge()
457           Lookup.push_back({Assume, RK.ArgValue, &BOI});  in dropRedundantKnowledge()