reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
948 this_max * Other_max + 1); 966 this_max = getSignedMax().sext(getBitWidth() * 2); 971 this_max * Other_min, this_max * Other_max}; 971 this_max * Other_min, this_max * Other_max};