reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
379 if (Total.getBitWidth() > Max.getBitWidth()) { 380 if (Total.ugt(Max.zext(Total.getBitWidth()))) 382 } else if (Max.getBitWidth() > Total.getBitWidth()) { 383 if (Total.zext(Max.getBitWidth()).ugt(Max)) 383 if (Total.zext(Max.getBitWidth()).ugt(Max)) 385 } else if (Total.ugt(Max))