reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
217 if (InitNum.getBitWidth() != BoundNum.getBitWidth()) { 218 InitNum = InitNum.zextOrSelf(BoundNum.getBitWidth()); 218 InitNum = InitNum.zextOrSelf(BoundNum.getBitWidth()); 219 BoundNum = BoundNum.zextOrSelf(InitNum.getBitWidth()); 223 maxStep = (BoundNum - InitNum + 1).abs().getZExtValue(); 225 maxStep = (BoundNum - InitNum).abs().getZExtValue();