lowerBitcodeFunctionModel

Lowers a reviewed model after source-level endpoints have been resolved against the exact function ABI.

Generated with STIG