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

Method verifyStackFrame

lib/CodeGen/MachineVerifier.cpp:1947–2049 · view source on GitHub ↗

Make sure on every path through the CFG, a FrameSetup is always followed by a FrameDestroy , stack adjustments are identical on all CFG edges to a merge point, and frame is destroyed at end of a return block.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 15

df_ext_beginFunction · 0.85

df_ext_endFunction · 0.85

getCallFrameSetupOpcodeMethod · 0.80

getCallFrameDestroyOpcodeMethod · 0.80

getPathLengthMethod · 0.80

assertFunction · 0.50

resizeMethod · 0.45

getNumBlockIDsMethod · 0.45

getPathMethod · 0.45

countMethod · 0.45

getNumberMethod · 0.45

getOpcodeMethod · 0.45

Tested by

no test coverage detected