Searched defs:addIntegerConstant (Results 1 – 3 of 3) sorted by relevance
255 unsigned Signature::addIntegerConstant(const vstring& number,bool defaultSort) in addIntegerConstant() function in Signature289 unsigned Signature::addIntegerConstant(const IntegerConstantType& value) in addIntegerConstant() function in Signature
4062 unsigned TPTP::addIntegerConstant(const vstring& name, Set<vstring>& overflow, bool defaultSort) in addIntegerConstant() function in TPTP
1054 SPIRVValue *SPIRVModuleImpl::addIntegerConstant(SPIRVTypeInt *Ty, uint64_t V) { in addIntegerConstant() function in SPIRV::SPIRVModuleImpl