MCPcopy Create free account
hub / github.com/GoSSIP-SJTU/Armariris / getSignedMax

Method getSignedMax

lib/IR/ConstantRange.cpp:288–298  ·  view source on GitHub ↗

getSignedMax - Return the largest signed value contained in the ConstantRange.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

makeAllowedICmpRegionMethod · 0.80
makeGuaranteedNoWrapRegionMethod · 0.80
multiplyMethod · 0.80
smaxMethod · 0.80
sminMethod · 0.80
getSignedOverflowLimitForStepFunction · 0.80
getRangeForAffineARMethod · 0.80
SimplifyICmpOperandsMethod · 0.80
isKnownNegativeMethod · 0.80
isKnownNonPositiveMethod · 0.80
doesIVOverflowOnLTMethod · 0.80
doesIVOverflowOnGTMethod · 0.80

Calls 3

getBitWidthFunction · 0.85
sleMethod · 0.80
isNegativeMethod · 0.45

Tested by 1

TEST_FFunction · 0.64