hub / github.com/GoSSIP-SJTU/Armariris / isKnownNonZero

Function isKnownNonZero

lib/Analysis/ValueTracking.cpp:1671–1865 · view source on GitHub ↗

Return true if the given value is known to be non-zero when defined. For vectors return true if every element is known to be non-zero when defined. Supports values with integer or pointer type and vectors of integers.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 10

visitPHINodeMethod · 0.85

SimplifyICmpInstFunction · 0.85

isKnownNonZeroMethod · 0.85

isKnownPositiveMethod · 0.85

computeKnownBitsMulFunction · 0.85

computeKnownBitsFromShiftOperatorFunction · 0.85

isGEPKnownNonNullFunction · 0.85

isAddOfNonZeroFunction · 0.85

matchSelectPatternFunction · 0.85

isKnownPredicateViaConstantRangesMethod · 0.85

Calls 15

rangeMetadataExcludesValueFunction · 0.85

isGEPKnownNonNullFunction · 0.85

getBitWidthFunction · 0.85

m_OrFunction · 0.85

m_ValueFunction · 0.85

m_ShlFunction · 0.85

m_ShrFunction · 0.85

m_ExactFunction · 0.85

m_IDivFunction · 0.85

m_AddFunction · 0.85

isKnownToBeAPowerOfTwoFunction · 0.85

m_MulFunction · 0.85

Tested by

no test coverage detected