KhronosGroup / SPIRV-Cross

SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.
Apache License 2.0
1.96k stars 549 forks source link

Mark function call results as control dependent as necessary. #2321

Closed HansKristian-Work closed 1 month ago

HansKristian-Work commented 1 month ago

Inner function calls can contain flow-control sensitive code. In this case, the function call itself must inherit the control-dependence.

Rarely happens in practice since optimized code with SSA tends to inline.