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

Function isKnownToBeAPowerOfTwo

lib/Analysis/ValueTracking.cpp:1494–1585 · view source on GitHub ↗

Return true if the given value is known to have exactly one bit set when defined. For vectors return true if every element is known to be a power of two when defined. Supports values with integer or pointer types and vectors of integers.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 9

simplifyValueKnownNonZeroFunction · 0.85

visitSDivMethod · 0.85

visitURemMethod · 0.85

visitICmpInstMethod · 0.85

FoldOrOfICmpsMethod · 0.85

SimplifyAndInstFunction · 0.85

isKnownToBeAPowerOfTwoMethod · 0.85

computeKnownBitsFromAssumeFunction · 0.85

isKnownNonZeroFunction · 0.85

Calls 15

m_APIntFunction · 0.85

m_ShlFunction · 0.85

m_OneFunction · 0.85

m_ValueFunction · 0.85

m_LShrFunction · 0.85

m_SignBitFunction · 0.85

m_AndFunction · 0.85

m_NegFunction · 0.85

m_SpecificFunction · 0.85

m_AddFunction · 0.85

m_ExactFunction · 0.85

m_UDivFunction · 0.85

Tested by

no test coverage detected