akirilov-arm commented on issue #4851:
At the top level, so I understand correctly: the verifier already ensures that this op can only be used when
preserve_frame_pointersis true; so the additional conditions here are to document that / ensure it remains the case?Yes, I added the check as an additional safety net, and your suggestion to write a comment next to the verifier check makes perfect sense, thanks!
Last updated: Dec 13 2025 at 19:03 UTC