lowerBitcodeMemoryTransfer

Materialize a union of selected-memory/scalar dependencies in a scalar return. Dependency loads read individual bytes and never include padding outside the configured ranges. Count fields contribute even when an array is empty or its count exceeds capacity.

Generated with STIG