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_pointers
is 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 23 2024 at 12:05 UTC