78         RK.ArgValue =  in canonicalizedKnowledge()
79             MinAlign(RK.ArgValue,  in canonicalizedKnowledge()
92     RK.ArgValue = RK.ArgValue + Offset;  in canonicalizedKnowledge()
125           if (RKOther.ArgValue >= RK.ArgValue) {  in tryToPreserveWithoutAddingAssume()
139           ConstantInt::get(Type::getInt64Ty(M->getContext()), RK.ArgValue));  in tryToPreserveWithoutAddingAssume()
156            Arg->getAttribute(RK.AttrKind).getValueAsInt() >= RK.ArgValue))  in isKnowledgeWorthPreserving()
182       AssumedKnowledgeMap[Key] = RK.ArgValue;  in addKnowledge()
185     assert(((Lookup->second == 0 && RK.ArgValue == 0) ||  in addKnowledge()
186             (Lookup->second != 0 && RK.ArgValue != 0)) &&  in addKnowledge()
191     Lookup->second = std::max(Lookup->second, RK.ArgValue);  in addKnowledge()
365       unsigned ArgValue;  in dropRedundantKnowledge()  member
396                       RK.ArgValue) {  in dropRedundantKnowledge()
405               Arg->addAttr(Attribute::get(C, RK.AttrKind, RK.ArgValue));  in dropRedundantKnowledge()
415             if (Elem.ArgValue >= RK.ArgValue) {  in dropRedundantKnowledge()
420                   ConstantInt::get(Type::getInt64Ty(C), RK.ArgValue));  in dropRedundantKnowledge()
426           Lookup.push_back({Assume, RK.ArgValue, &BOI});  in dropRedundantKnowledge()